外山研究室では、定理自動証明とソフトウェアの基礎について研究しています。 研究テーマは、書き換え型計算モデル、定理自動証明システム、関数・論理型 プログラミング言語、プログラム変換・合成、ソフトウェア自動検証などです。 研究方法は、紙と鉛筆だけをもちいたアイデア勝負の基礎理論から、最新の計 算機を駆使したセンス勝負のソフトウェア実装まで幅広いので、みなさんの個 性にあった夢中になれる研究がきっと見つかると思います。
卒業研究では、研究テーマを自分で提案するのが外山研究室の伝統となってい ます。自分でやってみたいテーマを持っている人は、ぜひ外山研究室で挑戦し てみてください。脳力を鍛えたい人、数学パズルの好きな人、プログラミング の好きな人、世界のトップを目指したい人、面白いことの好きな人、元気の良 い人も大歓迎です。みなさんが外山研究室の新メンバーとなることを楽しみに しています。
外山芳人