Research

Research

結果から原因を推定する逆問題に, 数理的なアルゴリズム設計と深層学習の両面から取り組んでいます.

私たちが扱う「逆問題」

原因から結果を計算する「順問題」に対し, 観測された結果から原因を推定するのが逆問題です. X 線 CT による体内の断面推定や,通信網の内部品質の推定がその例です.

たとえば CT では,観測される投影データ は, 投影作用素 ,真の画像 ,雑音 を用いて次のように書けます:

この から を求めるのが逆問題です.答えが一意に定まらなかったり, わずかな雑音で答えが大きく変わったりする不良設定な性質を持ち, この難しさをどう扱うかが研究の中心的な課題です.

デモで体験する
原因体内の様子・通信品質観測(結果)投影データ・到達率順問題(計算できる)逆問題(難しい・研究対象)
観測結果から原因を推定するのが逆問題.解が一意に定まらない不良設定になりやすい.

Inverse Problems & Mathematical Optimization

逆問題に対する最適化アルゴリズムの開発と解析

物理現象やネットワーク構造などの観測データから,その背後にある入力信号やシステムの状態を推定する逆問題に取り組んでいます.

Applications:

画像再構成問題ネットワークトモグラフィ
初期値反復中収束
反復アルゴリズムは,推定を少しずつ更新して真の像へ近づけていく.
ここが劣化?センサセンサ測れるのは「端(センサ)から端までの到達率」だけ → 各リンクの品質を逆算する
ネットワーク内部を直接調べずに,端点の観測だけでどこが劣化しているかを推定する.

Representative related activities:

  • Optimizing Parameters for Enhanced Iterative Image Reconstruction Using Extended Power Divergence

    Takeshi Kojima, Yusaku Yamaguchi, Omar M. Abou Al-Ola, and Tetsuya Yoshinaga

    AlgorithmsDOI査読付き筆頭著者
  • Iterative Tomographic Image Reconstruction Algorithm Based on Extended Power Divergence by Dynamic Parameter Tuning

    Ryuto Yabuki, Yusaku Yamaguchi, Omar M. Abou Al-Ola, Takeshi Kojima, and Tetsuya Yoshinaga

    Journal of ImagingDOI査読付き責任著者

Trustworthy AI / Interpretable AI

信頼できる AI / 解釈可能 AI

深層学習の高い表現力を維持しつつ,その判断根拠や内部動作を数学的に記述・保証できる AI モデルの構築を目指しています.

特に,反復アルゴリズムの各ステップをニューラルネットワークの層として展開する深層展開 (Deep Unfolding) に注力し,ブラックボックス性を解消する研究を行っています.

Key Technologies:

Deep UnfoldingModel-Based Deep Learning
投影データ
学習するのはこの部分だけ
:パラメータ推定ネットワーク
初期値
第 1 段
第 2 段
第 3 段
第 K 段
再構成画像 x
:反復を K 段に展開(学習パラメータを持たない)
深層展開の全体構造 . 学習するのはパラメータ推定部 だけで, 再構成を行う は反復アルゴリズムをそのまま展開したもの(学習パラメータを持たない). 反復の途中結果ではなく投影データ だけから を推定する点が特徴.
ショートカット(入力をそのまま渡す)
⊙ は要素ごとの積(アダマール積)
各段 の内部構造.よくある残差ブロックの という足し算ではなく,入力に 掛け合わせる乗法的な接続になっている. これは連続時間の力学系 を乗法的オイラー法で離散化した形に対応し,値の非負性を保ちながら勾配消失を避けられる.

Representative related activities:

  • Iterative Image Reconstruction Algorithm with Parameter Estimation by Neural Network for Computed Tomography

    Takeshi Kojima, and Tetsuya Yoshinaga

    AlgorithmsDOI査読付き筆頭著者

Research Approach

数理的アプローチ (Theory)

数理工学的な観点からアルゴリズムを設計し,その収束性や安定性を解析します.単に性能が良いだけでなく,「なぜ上手くいくのか」「どの条件下で保証されるのか」という理論的裏付けを重視します.

実証と実装 (Practice)

実データやシミュレーションデータを用いた数値実験で性能を評価します.理論を検証するだけでなく,実社会で利用可能なアプリケーション・ツールとしての実装も行います.

一緒に研究する仲間を募集しています

(社会人を含む)学生を募集しています.博士号取得までの指導が可能です.
高校生・高専生・他大学の学生の方も歓迎します.