nekonibox
(nekonibox)

Usage start date: 09/08/2019

理学博士。専門は数学で、専攻は数理論理学が最も近いです。
定理証明支援系Coqを使った形式証明が得意。
その他、関数型言語や情報理論など。
Qiitaアカウント: https://qiita.com/nekonibox

2020

09/25

(Fri)

19:00〜

Attending

2020

09/15

(Tue)

2020

08/26

(Wed)

19:30〜

Attending

scala.rookies #2 @オンライン Ended

scala.rookies #2 @オンライン

村松佳祐 村松佳祐

オンライン

44/57

2020

02/24

(Mon)

14:00〜

Attending

Coq勉強会 -  #10 中止

readcoqart

Coq勉強会 - #10

tmiya_ tmiya_

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

8

2020

01/26

(Sun)

13:00〜

Attending

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

Haskell-jp

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

YAMAMOTO Yuji YAMAMOTO Yuji

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

10/30

2020

01/22

(Wed)

19:00〜

Cancel

NN論文を肴に酒を飲む会 #10 新年会! Ended

TensorFlow User Group Tokyo

NN論文を肴に酒を飲む会 #10 新年会!

おおたまん おおたまん

東京都渋谷区渋谷3-21-3 渋谷ストリーム 5F

112/50

2020

01/18

(Sat)

13:00〜

Attending

2019

09/29

(Sun)

11:00〜

Attending

Proof Summit 2019 Ended

Proof Summit

Proof Summit 2019

tmiya_ tmiya_

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

66/69

nekonibox