yoshihiro503
(yoshihiro503)

利用開始日: 09/26/2012

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

2019

05/18

(Sat)

14:30〜

Organizing

第87回 ProofCafe Public

ProofCafe

第87回 ProofCafe

yoshihiro503 yoshihiro503

名古屋市千種区不老町

3

2019

04/29

(Mon)

14:00〜

Organizing

Coq勉強会 -  #1 Public

readcoqart

Coq勉強会 - #1

tmiya_ tmiya_

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

19

2019

04/20

(Sat)

13:30〜

Organizing

第86回 ProofCafe Ended

ProofCafe

第86回 ProofCafe

yoshihiro503 yoshihiro503

南区東又兵ヱ町5-1-10

4

2019

03/21

(Thu)

14:00〜

Organizing

Attending

Coq勉強会 -  #56 Ended

readcoqart

Coq勉強会 - #56

tmiya_ tmiya_

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

20

2019

03/16

(Sat)

13:30〜

Organizing

第85回 ProofCafe Ended

ProofCafe

第85回 ProofCafe

yoshihiro503 yoshihiro503

南区東又兵ヱ町5-1-10

5

2019

02/16

(Sat)

14:30〜

Organizing

第84回 ProofCafe Ended

ProofCafe

第84回 ProofCafe

yoshihiro503 yoshihiro503

名古屋市千種区不老町

3

2019

02/10

(Sun)

14:00〜

Organizing

Coq勉強会 -  #55 Ended

readcoqart

Coq勉強会 - #55

tmiya_ tmiya_

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

12

2019

01/19

(Sat)

13:30〜

Organizing

第83回 ProofCafe Ended

ProofCafe

第83回 ProofCafe

yoshihiro503 yoshihiro503

南区東又兵ヱ町5-1-10

3

2019

01/12

(Sat)

14:00〜

Organizing

Attending

Coq勉強会 -  #54 Ended

readcoqart

Coq勉強会 - #54

tmiya_ tmiya_

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

12

2018

12/15

(Sat)

14:30〜

Organizing

第82回 ProofCafe Ended

ProofCafe

第82回 ProofCafe

yoshihiro503 yoshihiro503

南区東又兵ヱ町5-1-10

4