ruicc
(ruicc)

利用開始日: 2013/01/10

エンジニア。Haskell, Vim, Classical musicを好む。Violin少々。Mac使用。Bruckner, Shostakovich, Bach, Chopin.

型理論に興味があります。

2018

11/10

(土)

10:00〜

申込済

Haskell Day 2018 開催前

Haskell-jp

Haskell Day 2018

Yuji Yamamoto Yuji Yamamoto

東京都千代田区富士見2-10-2(飯田橋グラン・ブルーム 13F)

223/160

2018

09/02

(日)

11:00〜

申込済

Proof Summit 2018 終了

Proof Summit

Proof Summit 2018

tmiya_ tmiya_

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

80/100

2018

08/18

(土)

13:30〜

申込済

型システム論文読書会 Vol.2 中止

型システム論文読書会 Vol.2

kmizu kmizu

東京都中央区銀座5-15-1 南海東京ビルディング3階

14/46

2018

06/23

(土)

13:00〜

申込済

JVM Specification 読書会 終了

JVM Specification 読書会

kmizu kmizu

東京都中央区銀座5-15-1 南海東京ビルディング3階

53/65

2017

09/30

(土)

13:00〜

キャンセル

型システム論文読書会 Vol.1 終了

型システム論文読書会 Vol.1

kmizu kmizu

松竹スクエア13F

36/46

2017

04/01

(土)

10:30〜

申込済

Elixir Conf Japan 2017 終了

Elixir Conf Japan

Elixir Conf Japan 2017

ohrdev ohrdev

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

299/300

2017

02/05

(日)

12:45〜

申込済

#静的コード解析の会 第1回 終了

Metasepi

#静的コード解析の会 第1回

masterq masterq

東京都千代田区神田須田町2-3-1 NBF神田須田町ビル7F

12/15

2017

01/28

(土)

14:00〜

申込済

コンパイラ勉強会 終了

コンパイラ勉強会

κeen κeen

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

82/75

2017

01/22

(日)

10:00〜

申込済

プログラミング言語作成ハンズオン 終了

プログラミング言語作成ハンズオン

kmizu kmizu

松竹スクエア13F

81/50

2016

11/27

(日)

14:00〜

申込済