yoshihiro503
(yoshihiro503)

利用開始日: 09/26/2012

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

2017

07/23

(Sun)

11:00〜

Organizing

Attending

Proof Summit 2017 Ended

Proof Summit

Proof Summit 2017

tmiya_ tmiya_

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

64/108

2017

07/22

(Sat)

13:00〜

Attending

ML勉強会 #2 Ended

ML勉強会

ML勉強会 #2

インターネットの闇 インターネットの闇

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

59/108

2017

06/24

(Sat)

13:00〜

Attending

ジェネリクス勉強会 Ended

ジェネリクス勉強会

pocketberserker pocketberserker

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

82/95

2017

05/28

(Sun)

14:00〜

Organizing

Attending

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

readcoqart

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

tmiya_ tmiya_

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

5

2017

04/23

(Sun)

14:00〜

Attending

"ベーシック圏論" 読書会 #7 Ended

readcoqart

"ベーシック圏論" 読書会 #7

tmiya_ tmiya_

東京都渋谷区恵比寿西1-7-7 (EBSビル8階)

8/20

2017

04/15

(Sat)

14:00〜

Organizing

Attending

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

readcoqart

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

tmiya_ tmiya_

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

6

2017

03/18

(Sat)

18:00〜

Attending

よしひろさん壮行会 Ended

よしひろさん壮行会

keigoi keigoi

名古屋市千種区東山通1-33

23/25

2017

03/18

(Sat)

14:30〜

Organizing

Attending

第63回 ProofCafe Ended

ProofCafe

第63回 ProofCafe

yoshihiro503 yoshihiro503

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

12

2017

02/08

(Wed)

18:30〜

Attending

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

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

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

exoego exoego

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

11/14

2017

01/28

(Sat)

14:30〜

Organizing

Attending

第61回 ProofCafe Ended

ProofCafe

第61回 ProofCafe

yoshihiro503 yoshihiro503

名古屋大学

6