yoshihiro503
(yoshihiro503)

利用開始日: 2012/09/26

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

2017

05/28

(日)

14:00〜

主催

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

readcoqart

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

tmiya_ tmiya_

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

1

2017

05/20

(土)

14:30〜

主催

第65回 ProofCafe 開催前

ProofCafe

第65回 ProofCafe

yoshihiro503 yoshihiro503

名古屋市千種区不老町

5

2017

04/15

(土)

14:00〜

主催

申込済

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

readcoqart

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

tmiya_ tmiya_

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

6

2017

04/15

(土)

13:30〜

主催

第64回 ProofCafe 終了

ProofCafe

第64回 ProofCafe

yoshihiro503 yoshihiro503

名古屋市千種区不老町

6

2017

03/18

(土)

14:30〜

主催

申込済

第63回 ProofCafe 終了

ProofCafe

第63回 ProofCafe

yoshihiro503 yoshihiro503

名古屋市千種区不老町

12

2017

03/05

(日)

14:00〜

主催

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

readcoqart

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

tmiya_ tmiya_

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

2

2017

02/18

(土)

14:30〜

主催

第62回 ProofCafe 終了

ProofCafe

第62回 ProofCafe

yoshihiro503 yoshihiro503

名古屋市千種区不老町

5

2017

01/28

(土)

14:30〜

主催

申込済

第61回 ProofCafe 終了

ProofCafe

第61回 ProofCafe

yoshihiro503 yoshihiro503

名古屋大学

6

2016

09/25

(日)

11:00〜

主催

申込済

Proof Summit 2016 終了

Proof Summit

Proof Summit 2016

tmiya_ tmiya_

35.027611, 135.783778

39/60

2016

09/17

(土)

14:30〜

主催

申込済

第58回ProofCafe 終了

ProofCafe

第58回ProofCafe

yoshihiro503 yoshihiro503

愛知県名古屋市中区錦1丁目19番24号 (名古屋第一ビル4階)

6