yoshihiro503
(yoshihiro503)

利用開始日: 2012/09/26

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

2017

12/05

(火)

19:00〜

申込済

2017

12/02

(土)

19:30〜

申込済

NGK2017B 夜の部(大忘年会) 終了

NGK2017B

NGK2017B 夜の部(大忘年会)

mogami mogami

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

88/88

2017

12/02

(土)

14:00〜

申込済

NGK2017B 昼の部(LT大会) 終了

NGK2017B

NGK2017B 昼の部(LT大会)

mogami mogami

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

126/138

2017

11/08

(水)

19:30〜

申込済

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

D-Cube

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

dcubeio dcubeio

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

16/18

2017

11/04

(土)

11:00〜

申込済

名古屋芋煮会2017 終了

クッキングナゴヤ

名古屋芋煮会2017

keita44_f4 keita44_f4

愛知県名古屋市緑区大高町高山1−1

36/45

2017

07/23

(日)

11:00〜

主催

申込済

Proof Summit 2017 終了

Proof Summit

Proof Summit 2017

tmiya_ tmiya_

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

64/108

2017

07/22

(土)

13:00〜

申込済

ML勉強会 #2 終了

ML勉強会

ML勉強会 #2

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

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

59/108

2017

06/24

(土)

13:00〜

申込済

ジェネリクス勉強会 終了

ジェネリクス勉強会

pocketberserker pocketberserker

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

82/95

2017

05/28

(日)

14:00〜

主催

申込済

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

readcoqart

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

tmiya_ tmiya_

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

5

2017

04/23

(日)

14:00〜

申込済

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

readcoqart

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

tmiya_ tmiya_

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

8/20