yoshihiro503
(yoshihiro503)

Usage start date: 09/26/2012

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

Your Groups

2023

05/30

（Tue）

19:00〜

Organizing

Attending

coqtokyo 第8回MathComp Book勉強会 Ended

coqtokyo

coqtokyo 第8回MathComp Book勉強会

tmiya_ tmiya_ 他

オンライン

8

2023

05/16

（Tue）

19:00〜

Organizing

Attending

coqtokyo 第7回MathComp Book勉強会 Ended

coqtokyo

coqtokyo 第7回MathComp Book勉強会

tmiya_ tmiya_ 他

オンライン

12

2023

05/10

（Wed）

20:00〜

Attending

DMM.com × CryptoGames勉強会 Ended

DMM.com × CryptoGames勉強会

ユウキ ユウキ 他

(場所未定)

69/73

2023

04/25

（Tue）

19:00〜

Organizing

Attending

coqtokyo 第6回MathComp Book勉強会 Ended

coqtokyo

coqtokyo 第6回MathComp Book勉強会

tmiya_ tmiya_ 他

オンライン

10

2023

04/11

（Tue）

19:00〜

Organizing

Attending

coqtokyo 第5回MathComp Book勉強会 Ended

coqtokyo

coqtokyo 第5回MathComp Book勉強会

tmiya_ tmiya_ 他

オンライン

9

2023

03/28

（Tue）

19:00〜

Organizing

Attending

coqtokyo 第4回MathComp Book勉強会 Ended

coqtokyo

coqtokyo 第4回MathComp Book勉強会

tmiya_ tmiya_ 他

オンライン

11

2023

03/24

（Fri）

18:30〜

Attending

第四回関数型プログラミング（仮）の会 Ended

Opt Technologies/オプトテクノロジーズ

第四回関数型プログラミング（仮）の会

kmizu kmizu 他

オンライン

208/261

2023

03/14

（Tue）

19:00〜

Organizing

Attending

coqtokyo 第3回MathComp Book勉強会 Ended

coqtokyo

coqtokyo 第3回MathComp Book勉強会

tmiya_ tmiya_ 他

オンライン

13

2023

02/21

（Tue）

19:00〜

Organizing

Attending

coqtokyo 第2回MathComp Book勉強会 Ended

coqtokyo

coqtokyo 第2回MathComp Book勉強会

tmiya_ tmiya_ 他

オンライン

10

2023

02/07

（Tue）

19:00〜

Organizing

Attending

coqtokyo 第1回MathComp Book勉強会 Ended

coqtokyo

coqtokyo 第1回MathComp Book勉強会

tmiya_ tmiya_ 他

オンライン

12