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