nekonibox Ph.D.
(nekonibox)
利用開始日: 2019/09/08
理学博士。専門は数学で、専攻は数理論理学が最も近いです。
定理証明支援系Coqを使った形式検証が得意で、データベースプログラムや株取引を行う板寄せアルゴリズムの検証によって複数の仕様バグを発見したことも。
その他、関数型言語や情報理論など。
詳細はQiitaにて: https://qiita.com/nekonibox
2022
/
01/25
(火)19:00〜
申込済
2021
/
12/28
(火)19:00〜
申込済
2021
/
11/30
(火)19:00〜
申込済
2021
/
11/16
(火)19:00〜
申込済
2021
/
11/02
(火)19:00〜
申込済
2021
/
10/19
(火)19:00〜
申込済
2021
/
10/05
(火)19:00〜
申込済
2021
/
10/01
(金)18:30〜
申込済
2021
/
09/21
(火)19:00〜
申込済
2021
/
08/31
(火)19:00〜
申込済