yoshihiro503
(yoshihiro503)

Usage start date: 09/26/2012

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

2022

06/22

(Wed)

19:00〜

Attending

Kyoto.Mokumoku Vol.1 Ended

Kyoto.Mokumoku

Kyoto.Mokumoku Vol.1

kmizu kmizu

京都府京都市中京区壬生上大竹町22

11/40

2022

06/21

(Tue)

19:00〜

Organizing

Attending

2022

06/07

(Tue)

19:00〜

Organizing

Attending

2022

05/24

(Tue)

19:00〜

Organizing

Attending

2022

05/10

(Tue)

19:00〜

Organizing

Attending

2022

04/26

(Tue)

19:00〜

Organizing

Attending

2022

04/12

(Tue)

19:00〜

Organizing

Attending

2022

03/29

(Tue)

19:00〜

Bookmarked

Organizing

Attending

2022

03/15

(Tue)

19:00〜

Organizing

Attending