yoshihiro503
(yoshihiro503)

Usage start date: 09/26/2012

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

2020

04/25

(Sat)

14:30〜

Organizing

第98回 ProofCafe Ended

ProofCafe

第98回 ProofCafe

yoshihiro503 yoshihiro503

オンライン skype

3

2020

02/22

(Sat)

13:30〜

Organizing

第96回 ProofCafe Ended

ProofCafe

第96回 ProofCafe

yoshihiro503 yoshihiro503

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

3

2020

01/25

(Sat)

14:30〜

Organizing

2020

01/13

(Mon)

14:00〜

Organizing

Attending

Coq勉強会 -  #9 Ended

readcoqart

Coq勉強会 - #9

tmiya_ tmiya_

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

9

2019

12/21

(Sat)

14:30〜

Organizing

2019

12/15

(Sun)

14:00〜

Organizing

Attending

Coq勉強会 -  #8 Ended

readcoqart

Coq勉強会 - #8

tmiya_ tmiya_

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

10

2019

11/16

(Sat)

14:30〜

Organizing

2019

11/03

(Sun)

14:30〜

Organizing

Attending

Coq勉強会 -  #7 Ended

readcoqart

Coq勉強会 - #7

tmiya_ tmiya_

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

10

2019

10/19

(Sat)

14:30〜

Organizing

2019

10/14

(Mon)

14:30〜

Organizing

Coq勉強会 -  #6 Ended

readcoqart

Coq勉強会 - #6

tmiya_ tmiya_

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

12