yoshihiro503
(yoshihiro503)

利用開始日: 2012/09/26

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

2018

09/02

(日)

11:00〜

主催

Proof Summit 2018 開催前

Proof Summit

Proof Summit 2018

tmiya_ tmiya_

東京都中央区銀座5-15-1(南海東京ビル)

83/100

2018

07/29

(日)

14:00〜

主催

Coq勉強会 -  #50 開催前

readcoqart

Coq勉強会 - #50

tmiya_ tmiya_

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

5

2018

07/21

(土)

14:30〜

主催

第77回 ProofCafe 開催前

ProofCafe

第77回 ProofCafe

yoshihiro503 yoshihiro503

名古屋市千種区不老町

3

2018

06/16

(土)

14:30〜

主催

第76回 ProofCafe 終了

ProofCafe

第76回 ProofCafe

yoshihiro503 yoshihiro503

名古屋市千種区不老町

4

2018

06/10

(日)

14:00〜

主催

申込済

Coq勉強会 -  #49 終了

readcoqart

Coq勉強会 - #49

tmiya_ tmiya_

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

10

2018

05/06

(日)

14:00〜

主催

Coq勉強会 -  #48 終了

readcoqart

Coq勉強会 - #48

tmiya_ tmiya_

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

6

2018

05/06

(日)

14:00〜

主催

William E. Byrd氏の東京講演 (通訳付き) 終了

Sicss Society Public Events

William E. Byrd氏の東京講演 (通訳付き)

Haochen Xie (謝昊辰) Haochen Xie (謝昊辰)

東京都中央区築地1丁目13−1 ADK松竹スクエア

23/100

2018

04/21

(土)

14:30〜

主催

第75回 ProofCafe 終了

ProofCafe

第75回 ProofCafe

yoshihiro503 yoshihiro503

名古屋市千種区不老町

7

2018

03/17

(土)

14:30〜

主催

第74回 ProofCafe 終了

ProofCafe

第74回 ProofCafe

yoshihiro503 yoshihiro503

名古屋市千種区不老町

5

2018

03/10

(土)

14:00〜

主催

申込済

Coq勉強会 -  #47 終了

readcoqart

Coq勉強会 - #47

tmiya_ tmiya_

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

7