nekonibox
(nekonibox)

Usage start date: 09/08/2019

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

Your Groups

2023

/

05/16

（Tue）19:00〜

Attending

coqtokyo 第7回MathComp Book勉強会 Ended

coqtokyo

coqtokyo 第7回MathComp Book勉強会

tmiya_ tmiya_ 他

オンライン

12

2022

/

09/30

（Fri）18:30〜

Attending

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

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

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

kmizu kmizu 他

オンライン

205/211

2022

/

09/24

（Sat）21:00〜

Attending

Coq懇親会オンライン【coqtokyo主催】 Ended

Coq懇親会オンライン【coqtokyo主催】

yoshihiro503 yoshihiro503

(場所未定)

8

2022

/

03/15

（Tue）19:00〜

Attending

coqtokyo 第17回Ssreflect勉強会 Ended

coqtokyo

coqtokyo 第17回Ssreflect勉強会

tmiya_ tmiya_ 他

オンライン

10

2022

/

02/22

（Tue）19:00〜

Attending

coqtokyo 第16回Ssreflect勉強会 Ended

coqtokyo

coqtokyo 第16回Ssreflect勉強会

tmiya_ tmiya_ 他

オンライン

8

2022

/

02/08

（Tue）19:00〜

Attending

coqtokyo 第15回Ssreflect勉強会 Ended

coqtokyo

coqtokyo 第15回Ssreflect勉強会

tmiya_ tmiya_ 他

オンライン

9

2022

/

01/25

（Tue）19:00〜

Attending

coqtokyo 第14回Ssreflect勉強会 Ended

coqtokyo

coqtokyo 第14回Ssreflect勉強会

tmiya_ tmiya_ 他

オンライン

9

2021

/

12/28

（Tue）19:00〜

Attending

coqtokyo 第12回Ssreflect勉強会 Ended

coqtokyo

coqtokyo 第12回Ssreflect勉強会

tmiya_ tmiya_ 他

オンライン

8

2021

/

11/30

（Tue）19:00〜

Attending

coqtokyo 第10回Ssreflect勉強会 Ended

coqtokyo

coqtokyo 第10回Ssreflect勉強会

eldesh eldesh 他

オンライン

11

2021

/

11/16

（Tue）19:00〜

Attending

coqtokyo 第9回Ssreflect勉強会 Ended

coqtokyo

coqtokyo 第9回Ssreflect勉強会

eldesh eldesh 他

オンライン

9

nekonibox

nekonibox's followees 0

No followers.

nekonibox's followers 2