Takashi Miyamoto @tmiya_
関数型言語と定理証明に興味があります。Formal Methods Forumに所属。
-
[定理証明支援系] Coqは"コック"で問題ない?
9216pv 16 -
Coqチュートリアルへのアドバイスやご指摘
2335pv 6 1 user -
ICFP付近のFunctional Meetingについて
1915pv 2 1 user
-
Falso 定理証明系の大革命
5066pv 27 7 users -
プログラミングが出来ないSE(システムエンジニア)がソフトウェア開発を指揮している?
56956pv 19 36 users 106 -
関数型言語でのデザイン手法
31876pv 102 110 users 10