外山・青戸研究室は、新しい計算・証明融合パラダイムの実現を目指し、ソフトウェ ア基礎と定理自動証明を中心に研究しています。研究テーマは、プログラム自 動変換・合成システム、ソフトウェア自動検証、セキュリティ自動検証、定理 自動証明システム、書き換え型計算モデルなど、基礎理論からソフトウェア実 装・実験まで多彩です。
研究室に配属された４年生のみなさんは、最初の３ヶ月の基礎トレーニングで プログラミング能力をレベルアップします。さらに、毎週行われる輪講と論文 紹介をとおして論理思考と発表能力を鍛え、卒業研究のため基礎力を身につけ ます。卒業研究のテーマは、自分で提案することが研究室の伝統となっていま す。研究室のスタッフと相談しながら卒業研究を進めることで、最初は抽象的 でぼんやりしていた自分の研究テーマが、徐々に具体的な形の研究成果になっ て行く楽しさを体感できるでしょう。
意欲ある４年生のみなさんと未知の研究テーマに挑戦することは私達の大 きな歓びです。また、研究室のワインパーティーや芋煮会、合宿やスポーツ大 会では、若さあふれる４年生のみなさんこそ主役です。みなさんが外山・青戸 研究室で活躍されることを心から楽しみにしています。
外山芳人
まで．