cho_tekitou

cho_tekitou

(cho_tekitou)
Usage start date: 11/02/2012

Aichi Japan
Interesting:Haskell,OCaml,Coq

Your Groups

2023

/

03/24

（Fri）18:30〜

Attending

第四回関数型プログラミング（仮）の会 Ended

Opt Technologies/オプトテクノロジーズ

第四回関数型プログラミング（仮）の会

kmizu kmizu 他

オンライン

208/261

2021

/

11/07

（Sun）13:00〜

Attending

Haskell Day 2021 Ended

Haskell-jp

Haskell Day 2021

YAMAMOTO Yuji YAMAMOTO Yuji 他

オンライン

258

2020

/

04/17

（Fri）18:30〜

Attending

型システム祭りオンライン Ended

Opt Technologies/オプトテクノロジーズ

型システム祭りオンライン

kmizu kmizu 他

Cluster

646/665

2019

/

11/02

（Sat）11:00〜

Attending

名古屋芋煮会2019 Ended

クッキングナゴヤ

名古屋芋煮会2019

よんた よんた 他

大高緑地公園デイキャンプ場

38/40

2019

/

04/06

（Sat）11:00〜

Attending

Functional花見 2019 Ended

クッキングナゴヤ

Functional花見 2019

よんた よんた 他

愛知県名古屋市緑区大高町 北忠治山

9

2018

/

12/22

（Sat）19:30〜

Attending

NGK2018B 夜の部（大忘年会） Ended

NGK2018B

NGK2018B 夜の部（大忘年会）

Tatsuno Tatsuno 他

愛知県名古屋市中村区椿町10-5 サン・タウン名駅 椿 本館6F

106/114

2018

/

12/22

（Sat）13:45〜

Attending

NGK2018B 昼の部（LT大会） Ended

NGK2018B

NGK2018B 昼の部（LT大会）

Tatsuno Tatsuno 他

愛知県名古屋市中村区黄金通１丁目１８

166/185

2018

/

11/10

（Sat）11:00〜

Attending

名古屋芋煮会2018 Ended

クッキングナゴヤ

名古屋芋煮会2018

よんた よんた 他

愛知県名古屋市緑区大高町 北忠治山

31/35

2018

/

09/02

（Sun）11:00〜

Cancel

Proof Summit 2018 Ended

Proof Summit

Proof Summit 2018

tmiya_ tmiya_ 他

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

80/100

2017

/

12/02

（Sat）19:30〜

Attending

NGK2017B 夜の部（大忘年会） Ended

NGK2017B

NGK2017B 夜の部（大忘年会）

Tatsuno Tatsuno 他

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

88/88

cho_tekitou

cho_tekitou's followees 0

No followers.

cho_tekitou's followers 0

No followers