yoshihiro503
(yoshihiro503)

利用開始日: 2012/09/26

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

所属グループ

2018

03/31

（土）

13:00〜

申込済

ML Day #1 終了

ML勉強会

ML Day #1

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

東京都中央区築地１丁目１３−１ ＡＤＫ松竹スクエア

57/102人

2018

03/10

（土）

14:00〜

主催

申込済

Coq勉強会 - #47 終了

readcoqart

Coq勉強会 - #47

tmiya_ tmiya_ 他

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

7人

2018

02/26

（月）

19:00〜

申込済

Streaming Conference #1 終了

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

Streaming Conference #1

toriimiyukki toriimiyukki 他

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

102/94人

2018

02/17

（土）

14:30〜

主催

申込済

第73回 ProofCafe 終了

ProofCafe

第73回 ProofCafe

yoshihiro503 yoshihiro503 他

名古屋市千種区不老町

7人

2018

02/10

（土）

14:00〜

主催

申込済

Coq勉強会 - #46 終了

readcoqart

Coq勉強会 - #46

tmiya_ tmiya_ 他

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

4人

2018

01/13

（土）

14:00〜

主催

申込済

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

readcoqart

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

tmiya_ tmiya_ 他

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

6人

2017

12/05

（火）

19:00〜

申込済

ドワンゴ社内エンジニアLT大会（社外向け） 終了

株式会社ドワンゴ

ドワンゴ社内エンジニアLT大会（社外向け）

meso meso 他

東京都中央区築地1-13-1

67/86人

2017

12/02

（土）

19:30〜

申込済

NGK2017B 夜の部（大忘年会） 終了

NGK2017B

NGK2017B 夜の部（大忘年会）

mogami mogami 他

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

88/88人

2017

12/02

（土）

14:00〜

申込済

NGK2017B 昼の部（LT大会） 終了

NGK2017B

NGK2017B 昼の部（LT大会）

mogami mogami 他

愛知県名古屋市中村区名駅４丁目５−２７

126/138人

2017

11/08

（水）

19:30〜

申込済

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

D-Cube

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

dcubeio dcubeio

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

16/18人