Following Organizations
No Organizations you are following
Followees
- @mnagaku
LC4RIの中の人。Unityも使ってるよ。
- MIZUNO Hiroki@mzp
Coqなどによるプログラムの正しさの検証・証明に興味があります。
- たかの あきこ@akiko-pusu
コツコツと学習しながらのメモを書いています。高度なものは少ないのですが、「なぜ？」「なにがきっかけで？」「この記事はなに？」といったことに留意して書き留めています。ご興味を持っていただけたら嬉しいです！
- Yutaka TAKEDA@hokusyu
ゲームプログラマー
