数理情報学
東京大学数理情報学談話会
数理情報学専攻で実施している談話会の情報です．
最新の談話会
第９回 東京大学数理情報学談話会
（開催案内PDFファイル）
日時・場所
2022年2月22日（火）17:00-18:00
zoomによるオンライン開催
参加申し込みフォーム （申し込み締め切り：2月18日）：事前に登録いただいた方に講演のurlをお送りします．
講演者
星 健夫 先生
(鳥取大学大学院・工学研究科機械宇宙工学専攻・応用数理工学講座 / 高エネルギー加速器研究機構・物質構造科学研究所・低速陽電子実験施設)
講演題目
超並列アルゴリズムによる計測インフォマティクスの数理的革新
講演概要
我々は，先端計測むけ実験データ解析プログラム「2DMAT」
(
https://www.pasums.issp.u-tokyo.ac.jp/2dmat/)の開発と応用を行っており，数理的視点から俯瞰する．
実験データ解析では，実験装置・条件由来の不確かさ(uncertainty)を，陽に扱うことが本質となる．
一方，現・次世代計算機は並列計算機であり，並列アルゴリズムを導入することで，
高速高信頼（高信頼性が担保された高速）データ解析が実現できる．
本講演では，KEKで近年実用化された，
2次元的(原子数層の厚みしか持たない極薄膜）物質むけ構造決定法である，
全反射高速陽電子回折法(TRHEPD，トレプト)を取り上げる．
具体的には，分散共分散行列の固有値問題による感度解析，
超並列(ポピューレーションアニーリング型)モンテカルロ法を用いたベイズ事後確率分布計算，
基盤となる高速計算技術，などを紹介する．
以前の談話会
第８回 東京大学数理情報学談話会
（開催案内PDFファイル）
日時・場所
2021年10月25日（月）17:00-18:00
zoomによるオンライン開催
講演者
高橋 昂 先生（東京大学大学院 理学系研究科 附属知の物理学研究センター）
講演題目
ブートストラップ法の計算・理論に対する統計物理学的アプローチ
講演概要
ブートストラップ法とは、統計的推定の問題に関し、推定量の統計的なばらつきを手元のデータが表す経験分布を用いて近似評価する計算機統計学の手法である。経験分布からのサンプリングは容易なので、サンプリングと推定を繰り返し行うことで、推定量の統計性に関する事前知識なしに、ほぼ任意の統計的推定の問題に適用できる顕著な性質がある。一方で、推定を繰り返すことに伴い計算量が増加する、経験分布を用いた評価の実際的な有用性を理論評価することが難しいといった困難がある。本講演では、線形モデルの変数選択への応用を例にとり、これらの問題に対する統計物理学のレプリカ法を用いた研究を紹介する。
第７回 東京大学数理情報学談話会
（開催案内PDFファイル）
日時・場所
2021年6月21日（月）17:00-18:00
zoomによるオンライン開催
講演者
町田 学 先生（浜松医科大学）
講演題目
逆級数を用いた逆問題解法による光トモグラフィー
講演概要
光トモグラフィーは近赤外線を用いるイメージング技術です．
医用イメージングとしては，放射線を使わないので被曝の心配がないこと，
X線CTやMRIのような大きな装置が必要ないこと，機能情報が取得できる，
という特徴があります．一方で，近赤外線が生体中で多重散乱することを
反映して，非常に非適切な逆問題を解くことになります．この逆問題は
通常は反復法によって解かれます．本講演では，未知数を与える逆級数を
考え，反復せずに高速に断層画像を得るための，光トモグラフィーの
数値手法を紹介します．
第６回 東京大学数理情報学談話会
（開催案内PDFファイル）
日時・場所
2021年3月26日（金）17:00-18:00
zoomによるオンライン開催
講演者
清水 昭伸 先生（東京農工大学 工学研究院）
講演題目
人体臓器の計算解剖モデル
講演概要
人体の臓器の統計的変動を表現した数理モデルは計算解剖モデル（computational anatomy model）と呼ばれる．本講演の前半は，形の変動に注目した計算解剖モデルについて紹介する．成人の臓器のように，トポロジーの変化がほぼ無い場合には，微分同相写像を用いてモデル化を行う方法が良く用いられる．しかし，受精して数週間後のヒト胚子の臓器のようにトポロジーが変化する場合には，その変化に対応可能な方法が求められる．そこで，符号付距離関数（レベルセット）を用いた，トポロジーの変化を表現可能な人体臓器の計算解剖モデルについて紹介する．本講演の後半では，画像の濃度値の統計的変動を深層ネットワークにより直接モデル化する方法について紹介する．血管のような細長い臓器の場合には，モデル化の結果がボケたり千切れたりするなど，不自然になることがある．そこで，Persistent Homologyを用いてトポロジー制約を与える方法などについて紹介する．
第５回 東京大学数理情報学談話会
（開催案内PDFファイル）
日時・場所
2020年11月24日（火）17:00-18:00
zoomによるオンライン開催
講演者
宮路 智行 先生（京都大学 数学教室）
講演題目
非線形・非平衡系におけるビリヤード問題について
講演概要
非線形・非平衡現象によって駆動力を獲得するある種の自己駆動粒子を有界領域に閉じ込めると，ビリヤード球のように領域内部での直進と境界での反射を繰り返す．しかし，境界に衝突せずに反射して，入射角よりも反射角の方が大きくなるなど，完全弾性反射に基づく数学的ビリヤード問題とは異なる性質をもつ．そのため粒子が描く軌道も数学的ビリヤード問題とは異なるものになる．本講演では水面に浮かぶ樟脳円板の数理モデルを通して，その運動の性質と長方形領域における軌道について力学系の分岐の観点から議論する．
第４回 東京大学数理情報学談話会 （開催案内PDFファイル）
日時・場所
2020年9月15日（火）17:00-18:00
zoomによるオンライン開催
講演者
竹内 一郎 先生（名古屋工業大学）
講演題目
パラメトリック計画法に基づく検出力の高い選択的推論法（More Powerful Selective Inference by Parametric Programming）
講演概要
研究対象のデータを機械学習などのアルゴリズムで分析して新たな仮説を発見する枠組はデータ駆動型科学と呼ばれている．データ駆動仮説を評価するアプローチとして，近年，条件付き推論に基づく選択的推論（Selective
Inference）と呼ばれる枠組が注目されている．選択的推論では，仮説が選択されるイベントを条件づけて統計的推測を行うことにより仮説選択バイアスの排除を可能としている．Leeら（Annals
of Statistics, 2016）により提案された多面体に基づく選択的推論のアルゴリズムは，本来は不必要な条件で過度に条件付ける必要があり（over-conditioning），検出力が低くなる問題点があった．本研究ではパラメトリック計画法（parametric
programming）を用いることによりover-conditioningの問題を回避し，従来のアプローチよりも検出力の高い選択的推論が可能となった．講演では，パラメトリック計画法による選択的推論をLASSOによる特徴選択と動的計画法による変化点検出の問題に適用した結果を紹介する．
【参考文献】
- Duy N.L.V and Takeuchi I. Parametric Programming Approach for More
Powerful and General Lasso Selective Inference. arXiv:2004.09749 (2020),
https://arxiv.org/abs/2004.09749.
- Duy N.L.V., Toda H., Sugiyama R. and Takeuchi I. Computing Valid
$p$-value for Optimal Changepoint by Selective Inference using Dynamic
Programming. arXiv:2002.09132 (2020),
https://arxiv.org/abs/2002.09132.
第３回 東京大学数理情報学談話会（開催案内PDFファイル）
日時・場所
2020年1月7日（火）17:00-18:00 工学部６号館３階セミナー室ＡＤ（
交通アクセス）
講演者
清水 佳奈 先生（早稲田大学基幹理工学部）
講演題目
簡潔データ構造を用いた秘密計算の高速化
講演概要
入力を隠したまま計算を行う秘密計算では，目的とする計算や選択する秘密計算の方式によって膨大な計算量や通信量を要する場合があり，実問題への応用を困難にしている．そのため，それらを考慮したアルゴリズムの設計が重要となる．本講演では，入力データの情報量の下限に近い大きさで索引を作ることのできる簡潔データ構造を利用し，秘密計算による文字列検索や木構造検索を高速化する手法について紹介する．
第２回 東京大学数理情報学談話会（開催案内PDFファイル）
日時・場所
2019年11月26日（火）17:00-18:00 工学部６号館３階セミナー室ＡＤ（
交通アクセス）
講演者
渡辺 澄夫 先生（東京工業大学情報理工学院）
講演題目
ガウス近似できない事後分布の漸近挙動について
講演概要
統計モデルが階層構造や隠れ変数を含む場合には
事後分布をガウス関数で近似することができないため、
モデルの選択や検定を行うための統計学的な基礎を
構成することが困難であった。この講演では、事後分布
がガウス近似できない場合でも適用できる数学的基礎と
して特異点解消・超関数の漸近展開・経験過程を説明し、
その帰結として導出される周辺尤度と予測対数尤度の
漸近挙動とを紹介する。
第１回 東京大学数理情報学談話会（開催案内PDFファイル）
日時・場所
2019年7月3日（水）17:00-18:00 工学部６号館３階セミナー室ＡＤ（
交通アクセス）
講演者
鍛冶 静雄 先生（九州大学マス・フォア・インダストリ研究所）
講演題目
かたちの線型代数・微積分
講演概要
画像処理では、画像を二次元の格子グラフ上の関数とみなし、その関数を線型代数や微積の道具立てを用いて料理する。同様に、３次元空間内の形状は、グラフやより一般に単体複体上の関数とみなすことで、やはり線型代数やベクトル解析を用いて処理することができる。本講演では、形状処理、特にかたちの変形について、この観点からの研究を紹介したい。
