木下研ニュース

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

    投稿: 2018/06/19 7:17、木下佳樹
  • 2017年度 秋の卒業研究発表会
    2016-08-02 (水)
    11:28 - 11:35 岩澤宏樹 「命題論理のモデルのBDDによる表現」

    (要旨等はここにあります)
    投稿: 2018/06/19 7:16、木下佳樹
1 - 5 / 18 件の投稿を表示中 もっと見る »