yoshihiro503
(yoshihiro503)

Usage start date: 09/26/2012

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

2021

04/13

(Tue)

2021

03/16

(Tue)

2021

03/02

(Tue)

2021

01/23

(Sat)

14:00〜

Attending

NGK2021S Ended

NGK2021S

NGK2021S

terurou terurou

オンライン

152/320

2020

05/31

(Sun)

2020

05/24

(Sun)

14:00〜

Attending

2020

05/14

(Thu)