Matsuura Tomoya Research Note
検索
Search
Search
ダークモード
ライトモード
Home
❯
OCaml
OCaml
2025/01/07
1 min read
stub
programming-language
グラフビュー
バックリンク
The w-calculus a synchronous framework for the verified modelling of digital signal processing algorithms
Vult
Recent writing
想像しうる音を、すべてあなた（たち）に-音楽の道具としてのパーソナル・コンピューター論概説
2025/01/24
memo
Any Sound You Can Imagine - Paul Theberge
2025/01/24
book
Donald Norman
2025/01/24
person