Matsuura Tomoya Research Note

検索

SearchSearch
Home

❯

Emilio Jesús Gallego Arias

Emilio Jesús Gallego Arias

2024/02/081 min read

person

Coqの開発とかW-calculusとかFaustの形式的証明プロジェクトとかやってらっしゃる

https://www.irif.fr/~gallego/


グラフビュー

バックリンク

  • Coqの勉強
  • The w-calculus a synchronous framework for the verified modelling of digital signal processing algorithms

Recent writing

  • Barry Vercoe

    2025/05/22

    • person
  • ChucK

    2025/05/22

    • programming-language
    • computermusic
  • Domain-Specificity、 Normativity and Generality in the CSTs for Arts - through the development of programmable music software
 「otopoiesis」

    2025/05/22

    • talk
    • programming
    • music
    • creativity-support-tool

作成 Quartz v4.3.0 © 2025

  • Top
  • Mastodon
  • Twitter
  • GitHub