@takashiski

ゲーム作ってます

プログラミングが大好きで、 C#が大好きで、 .NETが大好きで、 LINQが大好きで、 JVM言語が大好きで、 ゲームで遊ぶことが大好きで、 ゲーム開発が大好きで、 頑張るのが大好きで、 Unityが大好きだったから...！

おなかすいた

数学青春物語『数学ガール』の作者。プログラミング入門書や暗号入門書なども書いてます。

Haskellプログラマです。

Coqなどによるプログラムの正しさの検証・証明に興味があります。