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