2015年度卒業研究発表会

投稿日: Feb 03, 2016 4:14:52 PM

2015-02-16 13:30より、木下佳樹研究室の４名の学生が卒業研究の要旨を発表します。

要旨原稿など詳細はここにあります。

• 大倉友弥 「システムライフサイクルプロセスの遂行責任者の明確化」

• 小野 靖 「プログラムの不動点意味論について」

• 菅野直人 「最弱条件を用いたプログラム開発法」

• 中村太紀 「関数型プログラムの値の導出木」