yoshihiro503
(yoshihiro503)

利用開始日: 2012/09/26

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

2018

01/13

(土)

14:00〜

主催

Coq勉強会 - (SF読み進捗ダメです会議) -  #45 開催前

readcoqart

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

tmiya_ tmiya_

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

1

2017

12/09

(土)

14:00〜

主催

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

readcoqart

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

tmiya_ tmiya_

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

3

2017

11/25

(土)

14:30〜

主催

第70回 ProofCafe 終了

ProofCafe

第70回 ProofCafe

yoshihiro503 yoshihiro503

名古屋市千種区不老町

4

2017

11/04

(土)

14:00〜

主催

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

readcoqart

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

tmiya_ tmiya_

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

4

2017

10/21

(土)

14:30〜

主催

第69回 ProofCafe 終了

ProofCafe

第69回 ProofCafe

yoshihiro503 yoshihiro503

名古屋市千種区不老町

4

2017

09/16

(土)

14:30〜

主催

第68回 ProofCafe 終了

ProofCafe

第68回 ProofCafe

yoshihiro503 yoshihiro503

名古屋市千種区不老町

4

2017

09/16

(土)

14:00〜

主催

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

readcoqart

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

tmiya_ tmiya_

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

3

2017

08/20

(日)

14:00〜

主催

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

readcoqart

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

tmiya_ tmiya_

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

5

2017

08/19

(土)

14:30〜

主催

第67回 ProofCafe 終了

ProofCafe

第67回 ProofCafe

yoshihiro503 yoshihiro503

名古屋市千種区不老町

4

2017

07/23

(日)

11:00〜

主催

申込済

Proof Summit 2017 終了

Proof Summit

Proof Summit 2017

tmiya_ tmiya_

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

64/108