ruicc
(ruicc)

利用開始日: 01/10/2013

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

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

2019

09/29

(Sun)

11:00〜

Attending

Proof Summit 2019 Ended

Proof Summit

Proof Summit 2019

tmiya_ tmiya_

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

66/69

2019

06/01

(Sat)

10:00〜

Cancel

Erlang & Elixir Fest 2019 Ended

Elixir Conf Japan

Erlang & Elixir Fest 2019

hdtkkj hdtkkj

東京都千代田区平河町2-7-9 JA共済ビル 1F

167/190

2019

05/26

(Sun)

13:00〜

Attending

effect system勉強会 Ended

effect system勉強会

びしょ〜じょ びしょ〜じょ

東京都中央区日本橋2-7-1 東京日本橋タワー 27階

67/70

2019

05/19

(Sun)

13:00〜

Attending

(学生は懇親会無料!)第22回Haskell-jpもくもく会 @ 朝日ネット Canceled

Haskell-jp

(学生は懇親会無料!)第22回Haskell-jpもくもく会 @ 朝日ネット

Yuji Yamamoto Yuji Yamamoto

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

23/30

2018

11/10

(Sat)

10:00〜

Attending

Haskell Day 2018 Ended

Haskell-jp

Haskell Day 2018

Yuji Yamamoto Yuji Yamamoto

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

149/160

2018

09/02

(Sun)

11:00〜

Attending

Proof Summit 2018 Ended

Proof Summit

Proof Summit 2018

tmiya_ tmiya_

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

80/100

2018

08/18

(Sat)

13:30〜

Attending

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

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

kmizu kmizu

東京都千代田区四番町6番 東急番町ビル

14/46

2018

06/23

(Sat)

13:00〜

Attending

JVM Specification 読書会 Ended

JVM Specification 読書会

kmizu kmizu

東京都千代田区四番町6番 東急番町ビル

53/65

2017

09/30

(Sat)

13:00〜

Cancel

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

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

kmizu kmizu

松竹スクエア13F

36/46

2017

04/01

(Sat)

10:30〜

Attending

Elixir Conf Japan 2017 Ended

Elixir Conf Japan

Elixir Conf Japan 2017

ohrdev ohrdev

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

299/300