Following Organizations
No Organizations you are following
Followees
- Kenta Inoue@nekonibox
2020年4月より理学博士。 専門は数学で、専攻は数理論理学が最も近いです。 定理証明支援系Coqを用いた形式検証が得意。
- @chuntaro
Emacs Lisp/Common Lisp/TypeScript/WebGL/リアルタイム3Dゲーム用 Lisp 制作中/家庭用ゲーム機のプログラマ経験約15年
- 鍋谷 武典@Nabetani
元横浜へなちょこプログラミング勉強会を主催者 / 元 CodeIQ の出題者 / 日経 WinPC に連載を持っていました（名義が違うけど）/ https://bsky.app/profile/nabetani.bsky.social / https://misskey.yancya.club/@nabetani / https://taittsuu.com/users/nabetani
1 / 1