yoshihiro503
(yoshihiro503)

利用開始日: 09/26/2012

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

2019

07/29

(Mon)

19:30〜

Attending

2017

12/02

(Sat)

14:00〜

Attending

NGK2017B 昼の部(LT大会) Ended

NGK2017B

NGK2017B 昼の部(LT大会)

exoego exoego

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

126/138

2016

04/16

(Sat)

10:00〜

Attending

NL名古屋 Ended

LLなごや

NL名古屋

terurou terurou

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

56/90