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