yoshihiro503

yoshihiro503

(yoshihiro503)
Usage start date: 09/26/2012

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

2024

/

03/19

(Tue)19:00〜

Organizing

2024

/

02/20

(Tue)19:00〜

Organizing

Attending

2024

/

02/06

(Tue)19:00〜

Organizing

Attending

2024

/

01/23

(Tue)19:00〜

Organizing

Attending

2024

/

01/09

(Tue)19:00〜

Organizing

Attending

2023

/

12/12

(Tue)19:00〜

Organizing

Attending

2023

/

11/28

(Tue)19:00〜

Organizing

Attending

2023

/

11/14

(Tue)19:00〜

Organizing

Attending

2023

/

10/31

(Tue)19:00〜

Organizing

Attending

2023

/

10/17

(Tue)19:00〜

Organizing

Attending

yoshihiro503