yoshihiro503
(yoshihiro503)

利用開始日: 2012/09/26

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

所属グループ

2017

07/23

（日）

11:00〜

主催

申込済

Proof Summit 2017 終了

Proof Summit

Proof Summit 2017

tmiya_ tmiya_ 他

東京都中央区築地1-13-1(銀座松竹スクエア13F)

64/108人

2017

07/22

（土）

13:00〜

申込済

ML勉強会 #2 終了

ML勉強会

ML勉強会 #2

インターネットの闇 インターネットの闇 他

東京都中央区築地１丁目１３−１ ＡＤＫ松竹スクエア

59/108人

2017

06/24

（土）

13:00〜

申込済

ジェネリクス勉強会 終了

ジェネリクス勉強会

pocketberserker pocketberserker 他

東京都中央区築地１丁目１３−１ ＡＤＫ松竹スクエア

82/95人

2017

05/28

（日）

14:00〜

主催

申込済

Coq勉強会 - (SF読み進捗ダメです会議) - #39 終了

readcoqart

Coq勉強会 - (SF読み進捗ダメです会議) - #39

tmiya_ tmiya_ 他

東京都中央区銀座 4-12-15 歌舞伎座タワー21階

5人

2017

04/23

（日）

14:00〜

申込済

"ベーシック圏論" 読書会 #7 終了

readcoqart

"ベーシック圏論" 読書会 #7

tmiya_ tmiya_

東京都渋谷区恵比寿西1-7-7 (EBSビル８階)

8/20人

2017

04/15

（土）

14:00〜

主催

申込済

Coq勉強会 - (SF読み進捗ダメです会議) - #38 終了

readcoqart

Coq勉強会 - (SF読み進捗ダメです会議) - #38

tmiya_ tmiya_ 他

東京都中央区銀座 4-12-15 歌舞伎座タワー21階

6人

2017

03/18

（土）

18:00〜

申込済

よしひろさん壮行会 終了

よしひろさん壮行会

keigoi keigoi

名古屋市千種区東山通1-33

23/25人

2017

03/18

（土）

14:30〜

主催

申込済

第63回 ProofCafe 終了

ProofCafe

第63回 ProofCafe

yoshihiro503 yoshihiro503 他

名古屋市千種区不老町

12人

2017

02/08

（水）

18:30〜

申込済

名古屋『FP in Scala』読書会 #19 終了

『FP in Scala』読書会@名古屋

名古屋『FP in Scala』読書会 #19

mogami mogami

名古屋市中区新栄1丁目29-23 (アーバンドエル新栄2階)

11/14人

2017

01/28

（土）

14:30〜

主催

申込済

第61回 ProofCafe 終了

ProofCafe

第61回 ProofCafe

yoshihiro503 yoshihiro503 他

名古屋大学

6人