yoshihiro503
(yoshihiro503)

利用開始日: 2012/09/26

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

2018

06/26

(火)

19:00〜

申込済

Rust LT #1 終了

Rust

Rust LT #1

n0bisuke n0bisuke

東京都渋谷区渋谷2-21-1 渋谷ヒカリエ17F

77/91

2018

06/16

(土)

10:00〜

申込済

Erlang & Elixir Fest 2018 終了

Elixir Conf Japan

Erlang & Elixir Fest 2018

hdtkkj hdtkkj

東京都千代田区外神田1丁目18-13

128/180

2018

06/10

(日)

14:00〜

主催

申込済

Coq勉強会 -  #49 終了

readcoqart

Coq勉強会 - #49

tmiya_ tmiya_

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

10

2018

03/31

(土)

13:00〜

申込済

ML Day #1 終了

ML勉強会

ML Day #1

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

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

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〜

申込済