伊藤研究室
ディジタル信号処理の研究
さまざまな情報処理の分野で活用されるディジタル信号処理（DSP）技術の研究を中心に、静止画像と映像の雑音除去と符号化に不可欠な多次元フィルタの最適設計、低コスト実現などに取り組んでいます。
菊地研究室
コンピュータ適応型テスト（CAT）の開発
コンピュータを用いてテストを行うと、解答過程からその能力値に応じて逐次的に出題する問題を選択していく適応型テストが可能に。本研究室では、そうしたテストシステムの開発を行っています。
佐藤研究室
モバイルコンピューティングの研究
スマートフォンなどの情報端末には、カメラや加速度センサ、GPS などの多様なセンサが搭載されています。これらのセンサから得られるデータをAI などを使って分析し活用する研究をしています。
高田研究室
金融市場への数理的アプローチ：金融工学
確率解析学とコンピュータを使った金融工学という数理的アプローチで、金融市場にあふれる情報をどのように解釈し加工すればその複雑なダイナミクスを理解することができるのか研究しています。
ナチェル研究室
生物情報ネットワークの構造に対するアルゴリズム探究と大規模情報解析
代謝経路、タンパク質の相互作用、遺伝子調節ネットワークは、細胞の発達により形成される複雑系システムの重要な例。これらのネットワークの分析と数理モデル化について研究しています。
松島研究室
コンピュータにおける音楽情報の認識・処理能力を追究
音楽や画像などのメディア情報を対象とした処理・認識システムの研究を行っています。特にコンピュータで音楽情報を処理するシステムやソフトウェアの開発を中心に取り組んでいます。
白石研究室
コンピュータグラフィックスと可視化
コンピュータで画像や映像を生成するCGの技術を応用して、イラストなどの非写実的な画像を生成する手法や情報を可視化する手法によって情報を分かりやすく伝えるための研究を行っています。
日紫喜研究室
ITを活用して医療の知識をさまざまなメディアで表現
生命現象を解明する分子生物学を人々の健康増進に役立てるためには、さまざまな情報を統合して医療に役立てる医療情報学が重要です。私たちは、その橋渡しに必要な情報統合方法を研究しています。
豊田（哲）研究室
データサイエンスと教育工学
Web 上のデータ、とくにテキストの特徴や構造を解明するとともに、人間が扱いやすいように応用することが研究のテーマです。また、教育データを分析・応用した学習支援システムの開発にも取り組んでいます。
村上研究室
岩澤理論の研究
整数論、特に岩澤理論を研究しています。岩澤理論はp 進整数環とよばれる環と同型なガロア拡大において、イデアル類群（代数的な対象）とゼータ関数（解析的な対象）に潜む関係を明らかにする理論です。
金岡研究室
暗号の応用とセキュリティ・プライバシのユーザビリティの研究
サイバー空間上のセキュリティを実現するために、さまざまな暗号方式の応用システムの研究や、人間が使うことを意識したセキュリティとプライバシのあり方について研究を行います。
木村（泰）研究室
現実世界の諸問題を読み解く不動点の解析と応用
不動点とは、台風の目のように状況が変化しても動かない点のこと。この存在や性質、さらにコンピュータを用いて不動点を近似的に求める方法等を、集合値解析という手法を用いて研究しています。
- 数藤研究室
豊田（昌）研究室
不動点定理とその応用の研究
A3 の紙をA4 に縮小コピーしても、動かない点。微分方程式の解や数理経済学の均衡解など、さまざまな数学モデルと関係があるこの「不動点」について、不動点定理とその応用の研究をしています。
- 並木研究室
木村（大）研究室
安心・安全なソフトウェアのためのプログラム検証
パソコンなどのプログラムにバグがないか動作確認することをプログラム検証といいます。私たちは数理論理学の形式的手法を用いて、プログラムの自動検証ツールの作成を目標に研究しています。
中島研究室
エージェント技術を用いた社会のデザイン
未来の社会に埋め込まれる交通システムや知識共有システムを、マルチエージェントシミュレーションやゲーミングといったエージェント技術を用いてデザインする研究をしています。
土谷研究室
凸多面体の代数的組合せ論の研究
凸多面体とは、三角柱や立方体などの積み木の高次元版です。この凸多面体の体積の計算や性質を、含まれる格子点の数え上げやグレブナー基底などの計算可換代数の理論を使って研究しています。
西辻研究室
高臨場感メディアシステム
究極の３次元映像技術と呼ばれる電子ホログラフィを中心に、カメラやプロジェクタなどのデバイスを活用したインタラクティブシステムなどを研究しています。
我妻研究室
脳のメカニズムを解明するためのシミュレーション研究
脳の計算メカニズムを解明するためには、脳の計算原理を論理的に導くことが重要。実験などで得られたデータを統合した神経回路モデル構築とそのシミュレーションから、理解、予測していきます。
伊藤研究室
ディジタル信号処理の研究
さまざまな情報処理の分野で活用されるディジタル信号処理（DSP）技術の研究を中心に、静止画像と映像の雑音除去と符号化に不可欠な多次元フィルタの最適設計、低コスト実現などに取り組んでいます。
金岡研究室
暗号の応用とセキュリティ・プライバシのユーザビリティの研究
サイバー空間上のセキュリティを実現するために、さまざまな暗号方式の応用システムの研究や、人間が使うことを意識したセキュリティとプライバシのあり方について研究を行います。
菊地研究室
コンピュータ適応型テスト（CAT）の開発
コンピュータを用いてテストを行うと、解答過程からその能力値に応じて逐次的に出題する問題を選択していく適応型テストが可能に。本研究室では、そうしたテストシステムの開発を行っています。
木村（泰）研究室
現実世界の諸問題を読み解く不動点の解析と応用
不動点とは、台風の目のように状況が変化しても動かない点のこと。この存在や性質、さらにコンピュータを用いて不動点を近似的に求める方法等を、集合値解析という手法を用いて研究しています。
佐藤研究室
モバイルコンピューティングの研究
スマートフォンなどの情報端末には、カメラや加速度センサ、GPS などの多様なセンサが搭載されています。これらのセンサから得られるデータをAI などを使って分析し活用する研究をしています。
- 数藤研究室
高田研究室
金融市場への数理的アプローチ：金融工学
確率解析学とコンピュータを使った金融工学という数理的アプローチで、金融市場にあふれる情報をどのように解釈し加工すればその複雑なダイナミクスを理解することができるのか研究しています。
豊田（昌）研究室
不動点定理とその応用の研究
A3 の紙をA4 に縮小コピーしても、動かない点。微分方程式の解や数理経済学の均衡解など、さまざまな数学モデルと関係があるこの「不動点」について、不動点定理とその応用の研究をしています。
ナチェル研究室
生物情報ネットワークの構造に対するアルゴリズム探究と大規模情報解析
代謝経路、タンパク質の相互作用、遺伝子調節ネットワークは、細胞の発達により形成される複雑系システムの重要な例。これらのネットワークの分析と数理モデル化について研究しています。
- 並木研究室
松島研究室
コンピュータにおける音楽情報の認識・処理能力を追究
音楽や画像などのメディア情報を対象とした処理・認識システムの研究を行っています。特にコンピュータで音楽情報を処理するシステムやソフトウェアの開発を中心に取り組んでいます。
木村（大）研究室
安心・安全なソフトウェアのためのプログラム検証
パソコンなどのプログラムにバグがないか動作確認することをプログラム検証といいます。私たちは数理論理学の形式的手法を用いて、プログラムの自動検証ツールの作成を目標に研究しています。
白石研究室
コンピュータグラフィックスと可視化
コンピュータで画像や映像を生成するCGの技術を応用して、イラストなどの非写実的な画像を生成する手法や情報を可視化する手法によって情報を分かりやすく伝えるための研究を行っています。
中島研究室
エージェント技術を用いた社会のデザイン
未来の社会に埋め込まれる交通システムや知識共有システムを、マルチエージェントシミュレーションやゲーミングといったエージェント技術を用いてデザインする研究をしています。
日紫喜研究室
ITを活用して医療の知識をさまざまなメディアで表現
生命現象を解明する分子生物学を人々の健康増進に役立てるためには、さまざまな情報を統合して医療に役立てる医療情報学が重要です。私たちは、その橋渡しに必要な情報統合方法を研究しています。
土谷研究室
凸多面体の代数的組合せ論の研究
凸多面体とは、三角柱や立方体などの積み木の高次元版です。この凸多面体の体積の計算や性質を、含まれる格子点の数え上げやグレブナー基底などの計算可換代数の理論を使って研究しています。
豊田（哲）研究室
データサイエンスと教育工学
Web 上のデータ、とくにテキストの特徴や構造を解明するとともに、人間が扱いやすいように応用することが研究のテーマです。また、教育データを分析・応用した学習支援システムの開発にも取り組んでいます。
西辻研究室
高臨場感メディアシステム
究極の３次元映像技術と呼ばれる電子ホログラフィを中心に、カメラやプロジェクタなどのデバイスを活用したインタラクティブシステムなどを研究しています。
村上研究室
岩澤理論の研究
整数論、特に岩澤理論を研究しています。岩澤理論はp 進整数環とよばれる環と同型なガロア拡大において、イデアル類群（代数的な対象）とゼータ関数（解析的な対象）に潜む関係を明らかにする理論です。
我妻研究室
脳のメカニズムを解明するためのシミュレーション研究
脳の計算メカニズムを解明するためには、脳の計算原理を論理的に導くことが重要。実験などで得られたデータを統合した神経回路モデル構築とそのシミュレーションから、理解、予測していきます。