nekonibox
(nekonibox)
Usage start date: 09/08/2019
理学博士。専門は数学で、専攻は数理論理学が最も近いです。
定理証明支援系Coqを使った形式証明が得意。
その他、関数型言語や情報理論など。
Qiitaアカウント: https://qiita.com/nekonibox
- Attended 7
- Organize 0
- Presenter 1
- Bookmark 0
2020
09/25
（Fri）19:00〜
Attending
-\/(omiend)2020
09/15
（Tue）19:00〜
Attending
Ended
Inside Fintech Meetup ～ Finatext × Kyash × FOLIO ～
ayumiya
他
オンライン
58/70
2020
08/26
（Wed）19:30〜
Attending
村松佳祐2020
02/24
（Mon）14:00〜
Attending
tmiya_2020
01/26
（Sun）13:00〜
Attending
YAMAMOTO Yuji2020
01/22
（Wed）19:00〜
Cancel
おおたまん2020
01/18
（Sat）13:00〜
Attending
ギークフィード2019
09/29
（Sun）11:00〜
Attending
The IT meetup platform
connpass is made by BeProud Inc. in Tokyo Japan