yoshihiro503
(yoshihiro503)

利用開始日: 09/26/2012

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

2017

01/11

(Wed)

18:30〜

Attending

名古屋『FP in Scala』読書会 #18 Ended

『FP in Scala』読書会@名古屋

名古屋『FP in Scala』読書会 #18

exoego exoego

名古屋市中区新栄1丁目29-23 (アーバンドエル新栄2階)

11/14

2016

12/17

(Sat)

18:30〜

Attending

NGK2016B 夜の部 Ended

NGK2016B

NGK2016B 夜の部

terurou terurou

愛知県名古屋市中村区名駅3-8-13 (ファーストKHビル1F)

72/73

2016

12/17

(Sat)

13:30〜

Attending

NGK2016B 昼の部 Ended

NGK2016B

NGK2016B 昼の部

terurou terurou

名古屋市中村区名駅4-5-27 大一名駅ビル

84/100

2016

11/16

(Wed)

18:30〜

Attending

名古屋『FP in Scala』読書会 #16 Ended

『FP in Scala』読書会@名古屋

名古屋『FP in Scala』読書会 #16

exoego exoego

名古屋市中区新栄1丁目29-23 (アーバンドエル新栄2階)

9/14

2016

10/26

(Wed)

18:30〜

Attending

名古屋『FP in Scala』読書会 #15 Ended

『FP in Scala』読書会@名古屋

名古屋『FP in Scala』読書会 #15

exoego exoego

名古屋市中区新栄1丁目29-23 (アーバンドエル新栄2階)

9/14

2016

10/07

(Fri)

18:30〜

Attending

名古屋『FP in Scala』読書会 #14 Ended

『FP in Scala』読書会@名古屋

名古屋『FP in Scala』読書会 #14

exoego exoego

名古屋市中区新栄1丁目29-23 (アーバンドエル新栄2階)

10/14

2016

09/25

(Sun)

11:00〜

Organizing

Attending

Proof Summit 2016 Ended

Proof Summit

Proof Summit 2016

tmiya_ tmiya_

35.027611, 135.783778

39/60

2016

09/17

(Sat)

14:30〜

Organizing

Attending

第58回ProofCafe Ended

ProofCafe

第58回ProofCafe

yoshihiro503 yoshihiro503

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

6

2016

08/05

(Fri)

18:30〜

Attending

名古屋『FP in Scala』読書会 #11 Ended

『FP in Scala』読書会@名古屋

名古屋『FP in Scala』読書会 #11

exoego exoego

名古屋市中区新栄1丁目29-23 (アーバンドエル新栄2階)

14/14

2016

07/16

(Sat)

14:30〜

Organizing

Attending

第57回ProofCafe Ended

ProofCafe

第57回ProofCafe

yoshihiro503 yoshihiro503

オンザロード会議室

6