yoshihiro503
(yoshihiro503)

利用開始日: 09/26/2012

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

2018

03/10

(Sat)

14:00〜

Organizing

Attending

Coq勉強会 -  #47 Ended

readcoqart

Coq勉強会 - #47

tmiya_ tmiya_

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

7

2018

02/26

(Mon)

19:00〜

Attending

Streaming Conference #1 Ended

動画・生放送ストリーミング研究会

Streaming Conference #1

toriimiyukki toriimiyukki

東京都中央区築地1-13-1 (銀座松竹スクエア13階)

102/94

2018

02/17

(Sat)

14:30〜

Organizing

Attending

第73回 ProofCafe Ended

ProofCafe

第73回 ProofCafe

yoshihiro503 yoshihiro503

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

7

2018

02/10

(Sat)

14:00〜

Organizing

Attending

Coq勉強会 -  #46 Ended

readcoqart

Coq勉強会 - #46

tmiya_ tmiya_

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

4

2018

01/13

(Sat)

14:00〜

Organizing

Attending

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

readcoqart

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

tmiya_ tmiya_

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

6

2017

12/05

(Tue)

19:00〜

Attending

2017

12/02

(Sat)

19:30〜

Attending

NGK2017B 夜の部(大忘年会) Ended

NGK2017B

NGK2017B 夜の部(大忘年会)

exoego exoego

愛知県 名古屋市中村区 名駅 3-28-12 大名古屋ビルヂング ps & Restaurants 3F

88/88

2017

12/02

(Sat)

14:00〜

Attending

NGK2017B 昼の部(LT大会) Ended

NGK2017B

NGK2017B 昼の部(LT大会)

exoego exoego

愛知県名古屋市中村区名駅4丁目5−27

126/138

2017

11/08

(Wed)

19:30〜

Attending

Idrisによる超型安全プログラミング入門 Ended

D-Cube

Idrisによる超型安全プログラミング入門

dcubeio dcubeio

東京都渋谷区渋谷2-15-1 渋谷クロスタワー 12F

16/18

2017

11/04

(Sat)

11:00〜

Attending

名古屋芋煮会2017 Ended

クッキングナゴヤ

名古屋芋煮会2017

keita44_f4 keita44_f4

愛知県名古屋市緑区大高町 北忠治山

36/45