いろいろなコンピュータシステムを、より分かりやすく効率的に記述できる言語や、その処理系、あるいは、プログラミングモデルを研究しています。具体的には、新しいプログラミング法に基づくプログラミング言語の設計や、学習結果を完全に説明でき、言い訳ができる並列論理型人工知能、ネットワークを自律的に移動する移動エージェントを用いて、たくさんのロボットを効率的に制御する研究、現実の世界にCGを融合させる技術を使ったユーザインタフェースを開発したりしています。

■ 出身大学：1992年 慶應義塾大学 理工学部 計測工学科
■ 出身大学院：1999年 慶應義塾大学 理工学研究科 計算機科学専攻

■ 取得学位：慶應義塾大学 博士（工学） 論文
■ 研究経歴：
・1994-2022 コード最適化の研究に従事
・2005-2022 移動エージェントを用いたロボット制御の研究に従事
・2011-2022 タンジブルインタフェースの研究に従事
・2019-2022 並列論理型人工知能の研究に従事

■ 研究職歴：
・1999-2002 慶応義塾大学経済学部 非常勤講師
・1999-2004 東京理科大学理工学部 助手
・2004-2010 東京理科大学理工学部 講師
・2005-2006 カリフォルニア大学アーバイン校 在外研究員
・2008-2011 電気通信大学大学院 非常勤講師
・2008-2013 東京大学教養学部 非常勤講師
・2009- 慶應義塾大学理工学部 非常勤講師
・2009- 慶應義塾大学大学院理工学研究科 非常勤講師
・2010-2013 東京理科大学理工学部 准教授
・2013-2016 東京工業大学情報理工学 非常勤講師
・2013- 東京理科大学理工学部 教授
・2013-2016 株式会社 東芝 研修センター講師

■ 研究キーワード：コンパイラ構成法，帰納論理プログラミング，群知能，仮想現実/拡張現実

■ 研究分野：ソフトウェア (コード最適化，コード並列化)

■ 研究課題：
・並列帰納論理プログラミングの研究
・高位合成におけるコード最適化の研究
・部分冗長除去に関する研究
・移動エージェントを用いた群ロボット制御

本研究室では、いろいろなコンピュータシステムを、より分かりやすく効率的に記述できる言語や、その処理系、あるいは、プログラミングモデルを研究しています。例えば、新しいプログラミング法に基づくプログラミング言語を設計したり、翻訳の際に同時に実行できる部分や高速化できる部分を見つけて並列化や最適化を行う言語処理系を開発したりしています。また、移動エージェントという、ネットワークを自律的に移動するプログラムユニットを用いて、たくさんのロボットを効率的に制御する研究も行っています。その他にも、プロジェクタによってスクリーンに投影されたデスクトップを、影を使って操作する技術や、現実の世界にCGを融合させる技術を使った視覚的プログラミング法を開発したりしています。