井元 佑介

多重解像度の細胞分化構造解析システムの確立

研究者

井元 佑介

研究概要

近年の遺伝子解析技術の急速な発展によって、様々な遺伝情報がデータ化され、そのデータ解析によって生命の設計原理が解明されつつあります。本研究では、高次元統計解析・統計的因果探索・トポロジー・力学系などの数学理論を多角的に利用して、遺伝子発現データから細胞集団・単一細胞の多重解像度の細胞分化構造を抽出する解析システムを新たに開発することで、生命の設計原理の解明に迫ります。

川本 裕輔

統計解析プログラムのための形式検証手法

研究者

川本 裕輔

研究概要

プログラムが意図どおりに動作することを数理的に厳密に検証する手法として形式検証手法が研究されており、様々なソフトウェアの検証に利用されてきました。本研究では、統計解析プログラムの正しさを数理的に厳密に検証するための形式検証手法を構築します。特に、統計解析プログラムの自動検証技術を開発し、統計解析プログラムの信頼性を高めることを目指します。

田中 健一郎

最適点配置問題に内在する近似的凸構造の探求と活用

研究者

田中 健一郎

研究概要

ユークリッド空間内の領域に有限個の点を「最もバランス良く」配置する問題は、数学・物理・情報などの分野で解決が求められています。この問題に対しては様々な最適化手法が多くの場合に考案されていますが、一般的な解法や理論が確立されているとは言えません。本研究では、これらの手法に対して数学的な基礎付けを行い、さらにそれらを統合する「近似的凸性」という統一的視点を見出し、最良点配置の理論と算法を確立します。

平原 秀一

メタな視点に基づく計算量理論の新展開

研究者

平原 秀一

研究概要

メタ計算量とは、計算量を問う問題の計算量（＝問題を解くために必要な計算時間などの資源）のことを言います。例えば、回路最小化問題や時間制限付きコルモゴロフ記述量を計算する問題の計算量がその例です。近年、計算量理論においてメタ計算量の研究が国際的に進展し、重要性が認識されてきました。本研究では計算量理論をメタな視点で統一的に見直すことにより、計算量理論の難問に進展を与えることを目指します。

舩冨 卓哉

乗法群スパースモデリングによる幾何変換場のモデル化

研究者

舩冨 卓哉

研究概要

ベクトル場に局所構造を含めた「幾何変換場」を対象として、主要な因子を抽出するスパースモデリング技術および解析結果の可視化技術を開発します。幾何変換には乗法のみが許され、加法による演算は意味を成さないため、加法に基づいて定式化された従来の解析技術をそのまま適用するべきではありません。幾何変換が持つ群としての特性を活かすため、演算を乗法のみに制約したスパースモデリングの定式化を目指します。

前原 一満

生命現象の定性的理解を支援するデータ解析技術の創出

研究者

前原 一満

研究概要

本研究では、組合せ論的ホッジ分解をコア技術として、大規模なデータの背後に潜む定性的知識を獲得するためのデータ解析フレームワークを創出します。分子から細胞・組織スケールの複雑な生命システムを背景とする大規模計測データから、流れの構造を通した対象の定性的理解、すなわち人間に馴染みやすい概念の獲得を目指します。

町田 学

逆問題の級数的手法による近赤外イメージング

研究者

町田 学

研究概要

近赤外イメージングは被曝の心配なく簡便な装置で計測できる技術として、医学はもちろん理学・工学の様々な分野での活躍が期待されています。しかし、そこに現れるのは非線形で非常に非適切な逆問題です。本研究ではこの逆問題に対し、輻射輸送方程式を用いた高精度化と逆級数を用いた高速化で挑みます。さらに継続計測における計測間の時系列に着目し、情報科学と融合した新たなデータ駆動型アプローチを構築します。

森岡 博史

非線形表現学習による大規模ネットワーク動的機能構造の解明

研究者

森岡 博史

研究概要

本研究は，未だ多くの謎につつまれている大規模ネットワークに発現する様々な動的機能構造のメカニズムの解明を目的とします．そのために，新たな理論に基づく非線形ネットワークダイナミクス表現学習法を開発し，ネットワーク時系列データからの，非線形ダイナミクスと，その動的機能を駆動・制御している潜在因子のデータ駆動表現学習を実現することで挑戦します．

山田 俊皓

マリアバン解析と深層学習による高次元偏微分方程式の新しい計算技術

研究者

山田 俊皓

研究概要

研究代表者がこれまでに構成した確率微分方程式に対するマリアバン解析を用いた高次弱近似法と深層学習の方法を融合させた高次元偏微分方程式の新しい計算技術について研究を行い、実社会や自然科学・工学の現象を記述する複雑な線形・非線形偏微分方程式モデルや大規模計算モデルに対して有益な計算法・ソリューションを提供する。