1123sodium
(1123sodium)

Usage start date: 06/27/2017

数学/都数/トポロジー

Your Groups

2020

04/14

（Tue）

19:30〜

Attending

代数的データ型のひみつを暴いて関数型プログラムを攻略する Ended

PRINCIPIA

代数的データ型のひみつを暴いて関数型プログラムを攻略する

hatsugai hatsugai

オンライン

28/33

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

05/27

（Mon）

19:30〜

Attending

Fun Fun Functional (1) 関数型言語初心者向けLightning Talks!! Ended

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

Fun Fun Functional (1) 関数型言語初心者向けLightning Talks!!

sugiyamak sugiyamak 他

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

66/78

2019

05/26

（Sun）

14:00〜

Attending

Coq勉強会 - #2 Ended

coqtokyo

Coq勉強会 - #2

tmiya_ tmiya_ 他

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

10

2019

04/29

（Mon）

14:00〜

Attending

Coq勉強会 - #1 Ended

coqtokyo

Coq勉強会 - #1

tmiya_ tmiya_ 他

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

23

2019

03/21

（Thu）

14:00〜

Attending

Coq勉強会 - #56 Ended

coqtokyo

Coq勉強会 - #56

tmiya_ tmiya_ 他

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

20

2018

09/17

（Mon）

14:00〜

Attending

Coq勉強会 - #51 Ended

coqtokyo

Coq勉強会 - #51

tmiya_ tmiya_ 他

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

10

2018

09/02

（Sun）

11:00〜

Attending

Proof Summit 2018 Ended

Proof Summit

Proof Summit 2018

tmiya_ tmiya_ 他

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

80/100

2018

04/14

（Sat）

13:00〜

Attending

松森さん歓迎＆数理学院立ち上げ記念セミナー Ended

松森さん歓迎＆数理学院立ち上げ記念セミナー

taketo1024 taketo1024 他

東京都文京区本郷5丁目24-5

50/48

2017

07/23

（Sun）

11:00〜

Attending

Proof Summit 2017 Ended

Proof Summit

Proof Summit 2017

tmiya_ tmiya_ 他

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

64/108