yoshihiro503

yoshihiro503

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

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

2024

/

08/04

(Sun)13:00〜

Attending

東京Emacs勉強会 サマーフェスティバル2024 Public

東京Emacs勉強会

東京Emacs勉強会 サマーフェスティバル2024

tadsan tadsan

東京都渋谷区千駄ヶ谷4丁目23-5 (JPR千駄ヶ谷ビル5F)

40/42

2024

/

06/29

(Sat)21:00〜

2024

/

06/28

(Fri)20:00〜

2024

/

06/14

(Fri)19:00〜

Attending

NB-Scala レトロスペクティブ Ended

nextbeat

NB-Scala レトロスペクティブ

nextbeat nextbeat

オンライン(Google Meet) or 株式会社ネクストビート本社オフィス

34/88

2024

/

06/11

(Tue)19:00〜

Organizing

Attending

2024

/

05/28

(Tue)19:00〜

Organizing

Attending

2024

/

05/14

(Tue)19:00〜

Organizing

Attending

2024

/

04/30

(Tue)19:00〜

Organizing

Attending

2024

/

04/16

(Tue)19:00〜

Organizing

Attending

2024

/

04/02

(Tue)19:00〜

Organizing

Attending

yoshihiro503