伊藤 登 教授

信号処理システムの最適設計

さまざまな情報処理の分野で活用されるディジタル信号処理（DSP）技術の研究を中心に、静止画像と映像の雑音除去と符号化に不可欠な多次元フィルタの最適設計、低コスト実現などに取り組んでいます。

菊地 賢一 教授

コンピュータ適応型テスト（CAT）の開発

コンピュータを用いてテストを行うと、解答過程からその能力値に応じて逐次的に出題する問題を選択していく適応型テストが可能に。本研究室では、そうしたテストシステムの開発を行っています。

佐藤 文明 教授

モバイルコンピューティングの研究

スマートフォンなどの情報端末には、カメラや加速度センサ、GPS などの多様なセンサが搭載されています。これらのセンサから得られるデータをAI などを使って分析し活用する研究をしています。

高田 英行 教授

金融市場への数理的アプローチ：金融工学

確率解析学とコンピュータを使った金融工学という数理的アプローチで、金融市場にあふれる情報をどのように解釈し加工すればその複雑なダイナミクスを理解することができるのか研究しています。

ナチェル ホセ 教授

生物情報ネットワークの構造に対するアルゴリズム探究と大規模情報解析

代謝経路、タンパク質の相互作用、遺伝子調節ネットワークは、細胞の発達により形成される複雑系システムの重要な例。これらのネットワークの分析と数理モデル化について研究しています。

木村 大輔 准教授

安心・安全なソフトウェアのためのプログラム検証

パソコンなどのプログラムにバグがないか動作確認することをプログラム検証といいます。私たちは数理論理学の形式的手法を用いて、プログラムの自動検証ツールの作成を目標に研究しています。

中島 悠 准教授

エージェント技術を用いた社会のデザイン

未来の社会に埋め込まれる交通システムや知識共有システムを、マルチエージェントシミュレーションやゲーミングといったエージェント技術を用いてデザインする研究をしています。

土谷 昭善 講師

凸多面体の代数的組合せ論の研究

凸多面体とは、三角柱や立方体などの積み木の高次元版です。この凸多面体の体積の計算や性質を、含まれる格子点の数え上げやグレブナー基底などの計算可換代数の理論を使って研究しています。

西辻 崇 講師

高性能計算による新しいメディアシステムの創造

究極の３次元映像技術と呼ばれる電子ホログラフィを中心に、カメラやプロジェクタなどのデバイスを活用したインタラクティブシステムなどを研究しています。

金岡 晃 教授

暗号の応用とセキュリティ・プライバシのユーザビリティの研究

サイバー空間上のセキュリティを実現するために、さまざまな暗号方式の応用システムの研究や、人間が使うことを意識したセキュリティとプライバシのあり方について研究を行います。

木村 泰紀 教授

現実世界の諸問題を読み解く不動点の解析と応用

不動点とは、台風の目のように状況が変化しても動かない点のこと。この存在や性質、さらにコンピュータを用いて不動点を近似的に求める方法等を、集合値解析という手法を用いて研究しています。

豊田 昌史 教授

不動点定理とその応用の研究

A3 の紙をA4 に縮小コピーしても、動かない点。微分方程式の解や数理経済学の均衡解など、さまざまな数学モデルと関係があるこの「不動点」について、不動点定理とその応用の研究をしています。

白石 路雄 准教授

コンピュータグラフィックスと可視化

コンピュータで画像や映像を生成するCGの技術を応用して、イラストなどの非写実的な画像を生成する手法や情報を可視化する手法によって情報を分かりやすく伝えるための研究を行っています。

日紫喜 光良 准教授

ITを活用して医療の知識をさまざまなメディアで表現

生命現象を解明する分子生物学を人々の健康増進に役立てるためには、さまざまな情報を統合して医療に役立てる医療情報学が重要です。私たちは、その橋渡しに必要な情報統合方法を研究しています。

豊田 哲也 講師

データサイエンスと教育工学

Web 上のデータ、とくにテキストの特徴や構造を解明するとともに、人間が扱いやすいように応用することが研究のテーマです。また、教育データを分析・応用した学習支援システムの開発にも取り組んでいます。

我妻 伸彦 准教授

脳のメカニズムを解明するためのシミュレーション研究

脳メカニズムを解明するためには、その計算原理を論理的に導くことが重要です。最新データを統合した神経回路モデルとそのシミュレーションからその理解をめざします。