Takashi Miyamoto @tmiya_
関数型言語と定理証明に興味があります。Formal Methods Forumに所属。
-
[定理証明支援系] Coqは"コック"で問題ない?
9216pv 16 -
プログラミングが出来ないSE(システムエンジニア)がソフトウェア開発を指揮している?
56952pv 19 36 users 106