yoshihiro503
(yoshihiro503)

利用開始日: 2012/09/26

Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskell、SML#、Scala、F#などの関数型言語も好きです。
トップSEの講師もしています。http://www.topse.jp/lecturers

2017

12/02

(土)

14:00〜

申込済

NGK2017B 昼の部(LT大会) 終了

NGK2017B

NGK2017B 昼の部(LT大会)

mogami mogami

愛知県名古屋市中村区名駅4丁目5−27

126/138

2016

04/16

(土)

10:00〜

申込済

NL名古屋 終了

LLなごや

NL名古屋

terurou terurou

愛知県名古屋市中区栄2-2-31(ニュープラスビル4F)

56/90