木下研ニュース

  • 2017年春合宿
    投稿: 2017/06/20 20:24、大部剛
  • 2016年夏合宿

    投稿: 2016/08/24 21:27、石塚亮
  • ASSURE 2016にて研究発表
    木下修司(D3)がASSURE2016にて研究発表します.
    投稿: 2016/07/22 0:57、木下佳樹
  • 春合宿

    投稿: 2016/03/01 22:41、木下佳樹
  • 2015年度卒業研究発表会
    2015-02-16 13:30より、木下佳樹研究室の4名の学生が卒業研究の要旨を発表します。
    要旨原稿など詳細はここにあります。
    • 大倉友弥 「システムライフサイクルプロセスの遂行責任者の明確化」
    • 小野 靖 「プログラムの不動点意味論について」
    • 菅野直人 「最弱条件を用いたプログラム開発法」
    • 中村太紀 「関数型プログラムの値の導出木」
    投稿: 2016/02/03 8:14、木下佳樹
1 - 5 / 13 件の投稿を表示中 もっと見る »



プログラミング科学研究所

プログラミング科学研究所