投稿日: Jun 19, 2018 2:19:14 PM
2017-02-14 10:34 - 11:25 に、木下佳樹研究室の5名の学生が卒業研究の要旨を発表しました。
要旨原稿など詳細はここにあります。
浮谷麗央，塩川大喜 「パーサーコンビネーターについて 〜電卓プログラムを例にして〜」
倉澤元汰 「七並べゲームの遷移系による分析」
土屋勇登 「あるカードゲームの数理的定式化」
藤原翔也 「命題論理の健全性」