yoshihiro503
(yoshihiro503)
利用開始日: 2012/09/26
Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskell、SML#、Scala、F#などの関数型言語も好きです。
トップSEの講師もしています。http://www.topse.jp/lecturers
2018
03/10
(土)14:00〜
主催
申込済
2018
02/26
(月)19:00〜
申込済
2018
02/17
(土)14:30〜
主催
申込済
2018
02/10
(土)14:00〜
主催
申込済
2018
01/13
(土)14:00〜
主催
申込済
2017
12/05
(火)19:00〜
申込済
2017
12/02
(土)19:30〜
申込済
2017
12/02
(土)14:00〜
申込済
2017
11/08
(水)19:30〜
申込済