0164片山博文MZ ◆T6xkBnTXz7B0 垢版2016/07/04(月) 17:27:13.86ID:I+l74NfK 今考えていることを書きます。 1.都内でCoq大会を開きたい。ゲーム形式でCoqの技能を競う。 2.Coqの数式操作をGUIでできるようにしたい。部分数式ごとに適用できるタクティクを「見える化」したい。 3.Coq Twitter BotやCoq onlineを作りたい。