yoshihiro503
(yoshihiro503)

Usage start date: 09/26/2012

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

2020

05/31

(Sun)

2020

05/24

(Sun)

14:00〜

Attending

2020

05/14

(Thu)

2020

04/17

(Fri)

2020

02/21

(Fri)

18:00〜

Waitlist

型システム祭り 中止

Opt Technologies/オプトテクノロジーズ

型システム祭り

kmizu kmizu

東京都千代田区四番町6番 東急番町ビル

229/115

2020

01/18

(Sat)

18:30〜

Bookmarked

Attending

NGK2020S 夜の部 Ended

NGK2020S

NGK2020S 夜の部

Tatsuno Tatsuno

愛知県名古屋市中村区名駅4-24-24 名駅司ビル4F

105/107

2020

01/18

(Sat)

13:00〜

Attending

NGK2020S 昼の部 LT大会 Ended

NGK2020S

NGK2020S 昼の部 LT大会

Tatsuno Tatsuno

愛知県名古屋市中村区平池町4丁目60−11 中京テレビ放送

158/214