yoshihiro503
(yoshihiro503)

Usage start date: 09/26/2012

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

2023

05/30

(Tue)

19:00〜

Organizing

Attending

2023

05/16

(Tue)

19:00〜

Organizing

Attending

2023

05/10

(Wed)

20:00〜

Attending

DMM.com × CryptoGames勉強会 Ended

DMM.com × CryptoGames勉強会

ユウキ ユウキ

(場所未定)

69/73

2023

04/25

(Tue)

19:00〜

Organizing

Attending

2023

04/11

(Tue)

19:00〜

Organizing

Attending

2023

03/28

(Tue)

19:00〜

Organizing

Attending

2023

03/24

(Fri)

2023

03/14

(Tue)

19:00〜

Organizing

Attending

2023

02/21

(Tue)

19:00〜

Organizing

Attending

2023

02/07

(Tue)

19:00〜

Organizing

Attending