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
- 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
Trustworthy AI / Interpretable AI
深層学習の高い表現力を維持しつつ,その判断根拠や内部動作を数学的に記述・保証できる AI モデルの構築を目指しています.
特に,反復アルゴリズムの各ステップをニューラルネットワークの層として展開する深層展開 (Deep Unfolding) に注力し,ブラックボックス性を解消する研究を行っています.
Key Technologies:
Representative related activities:
- Iterative Image Reconstruction Algorithm with Parameter Estimation by Neural Network for Computed Tomography
Takeshi Kojima, and Tetsuya Yoshinaga
Research Approach
数理的アプローチ (Theory)
数理工学的な観点からアルゴリズムを設計し,その収束性や安定性を解析します.単に性能が良いだけでなく,「なぜ上手くいくのか」「どの条件下で保証されるのか」という理論的裏付けを重視します.
実証と実装 (Practice)
実データやシミュレーションデータを用いた数値実験で性能を評価します.理論を検証するだけでなく,実社会で利用可能なアプリケーション・ツールとしての実装も行います.