yoshihiro503

yoshihiro503

(yoshihiro503)
利用開始日: 2012/09/26

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

広告

2025

/

12/09

(火)19:30〜

主催

申込済

2025

/

11/25

(火)19:30〜

主催

申込済

2025

/

10/28

(火)19:30〜

主催

申込済

2025

/

09/30

(火)19:30〜

主催

申込済

2025

/

09/16

(火)19:30〜

主催

申込済

2025

/

09/02

(火)19:30〜

主催

申込済

2025

/

08/19

(火)19:30〜

主催

申込済

2025

/

08/05

(火)19:30〜

主催

申込済

2025

/

07/22

(火)19:00〜

主催

申込済

2025

/

07/08

(火)19:00〜

主催

申込済

yoshihiro503

広告

広告

広告