R IM S共 同 研究 (公開型)

諸科学分野を結ぶ基礎学問としての数値解析学
2 0 1 9 年 1 1 ⽉6⽇(⽔)–11⽉ 8 ⽇ ( ⾦ )京 都 ⼤ 学 数理解析研究所 4 2 0 号 室

プログラム（確定2019/10/15 版︔座⻑⼊り版 11/5）* 本共同研究計画の理念で⽰しましたように，本集会では新時代の「数値解析」探究のための（数理系）数値解析学者と諸科学研究者の対話を重視しています．
* それと連動して各セッションにはテーマを掲げています．
* 特に中⽇の11⽉7⽇は諸科学と数値解析の融合を全体テーマとし，数値解析・諸科学それぞれの研究者を混ぜて配置しています．
前後の初⽇，三⽇目には，それに関連する様々な話題，および数値解析学の最先端の話題を並べています．
* セッション内，およびセッションをまたいで，活発な議論を期待しております．
* ⽒名の敬称は略しています．

11⽉6⽇(⽔)(S1) 数値解析学の最近の話題（セッション⻑︓相島健助（法政⼤学））
13:00〜13:30
曽我部知広（名古屋⼤学）○⽴岡⽂理（名古屋⼤学）

剱持智哉（名古屋⼤学）

張紹良（名古屋⼤学）

数値積分に基づく⾏列対数関数の計算について○Fuminori Tatsuoka (Nagoya University)University)

Tomohiro Sogabe (Nagoya University)

Tomoya Kemmochi (Nagoya

Shao-Liang Zhang (Nagoya University)

On the computation of the matrix logarithm based on numerical quadrature
13:30〜14:00○千葉悠喜（東京⼤学）

Bernardo Cockburn（ミネソタ⼤学）

滑らかな領域上の⽅程式に対するハイブリッド型不連続Galerkin法○Yuki Chiba (The University of Tokyo)

Bernardo Cockburn (University of Minnesota)

Hybridized discontinuous Galerkin method for a PDE in a smooth domain
14:00〜14:30○Ning Zheng（RIKEN）

Ken Hayami (National Institute of Informatics / SOKENDAI)

Randomized gradient projection iterative methods for box constrained least squares problem（休憩20分）(S2) ⼤規模数値計算（セッション⻑︓曽我部知広（名古屋⼤学））
14:50〜15:20○鷲尾巧（(株)UT-Heart研究所/東京⼤学） ⾦⽥亮（理化学研究所）

崔⼩可（(株)UT-Heart研究所）久⽥俊明 （(株)UT-Heart研究所）
ミリ秒オーダーのモータータンパク質分⼦動⼒学シミュレーションを実現するモデル化と計算⼿法について○Takumi Washio (UT-Heart Inc. / The University of Tokyo)

Ryo Kanada (RIKEN)

Xiaoke Cui (UT-Heart Inc.)

Toshiaki Hisada (UT-Heart Inc.)
Numerical modeling and computational method to realize motor protein molecular dynamics
simulations of the order of miliseconds
15:20〜15:50○横⽥理央（東京⼯業⼤学）
近似⾏列分解と分散深層学習

○Rio Yokota (Tokyo Institute of Technology)
Approximate Matrix Factorization and Distributed Deep Learning
15:50〜16:20○廣⽥悠輔（東京電機⼤学）
実対称疎⾏列に対する⾼速な全固有値計算アルゴリズム○Yusuke Hirota (Tokyo Denki Univesrity)
Efficient Algorithm for Computing all Eigenvalues of a Real Symmetric Sparse Matrix

11⽉7⽇(⽊)(S3) 諸科学と数値解析の融合１（数値解析サイド）（佐藤峻（東京⼤学））
9:15〜 9:45
○今倉暁（筑波⼤学）

櫻井鉄也（筑波⼤学）

⾏列分解を基盤としたディープニューラルネットワーク計算法○Akira Imakura (University of Tsukuba)

Tetsuya Sakurai (University of Tsukuba)

Deep neural network computation based on matrix decompositions
9:45〜10:15○相島健助（法政⼤学）
動的モード分解に対する確率解析○Kensuke Aishima (Hosei University)
Probabilistic analysis for dynamic mode decopositions（休憩20分）(I1) [特別講演] 新たな数値的挑戦１（松尾宇泰（東京⼤学））
10:35〜11:35○河原吉伸（九州⼤学/理化学研究所）
⼒学系の作⽤素論的データ解析〜 クープマン解析、動的モード分解の基礎から最近の話題まで○Yoshinobu Kawahara (Kyushu University/RIKEN)
Operator Theoretic Data Analysis of Dynamical Systems（昼休憩85分）(I2) [特別講演] 新たな数値的挑戦２（松尾宇泰（東京⼤学））
13:00〜14:00○櫻井鉄也（筑波⼤学）

今倉暁（筑波⼤学）

⼆村保徳（筑波⼤学）

叶秀彩（筑波⼤学）

積分型固有値解法の開発とそのAIへの展開○Tetsuya sakurai (University of Tsukuba)(University of Tsukuba)

Akira Imakura (University of Tsukuba)

Yasunori Futamura

Xiucai Ye (University of Tsukuba)

Development of Quadrature-type Eigensolver and its Application for AI（休憩20分）(S4) 諸科学と数値解析の融合２（諸科学サイド）（⽥中健⼀郎（東京⼤学））
14:20〜14:50○松⽥孟留（東京⼤学）

宮武勇登（⼤阪⼤学）

離散化誤差を考慮した常微分⽅程式モデルのパラメータ推定○Takeru Matsuda (The University of Tokyo)

Yuto Miyatake (Osaka University)

Estimation of ordinary differential equation models with discretization error quantification
14:50〜15:20

○今泉允聡（統計数理研究所）
深層学習による関数推定と特異性○Masaaki Imaizumi (The Institute of Statistical Mathematics)
Function Estimation by Deep Learning and Singularity
15:20〜15:50○平尾将剛（愛知県⽴⼤学）
球⾯デザインの研究と最近の動向について○Masatake Hirao (Aichi Prefectual University)
On spherical designs and its recent developments
15:50〜16:20○合⽥隆（東京⼤学）
⾼次準モンテカルロ法へのリチャードソン補外の応⽤○Takashi Goda (The University of Tokyo)
Application of Richardson extrapolation to higher-order quasi-Monte Carlo methods

11⽉8⽇(⾦)(S5) 計算⼯学と数値解析（⽥上⼤助（九州⼤学））
9:15〜 9:45
○五⼗嵐⼀（北海道⼤学）

⽐留間真吾（北海道⼤学）

モデル縮約法を⽤いた準静電磁界の等価回路表⽰について○Hajime Igarashi (Hokkaido University)

Shingo Hiruma (Hokkaido University)

On equivalent circuit representation of quasi-static electromagnetic field based on model order
reduction
9:45〜10:15○滝沢研⼆（早稲⽥⼤学）

Tayfun E. Tezduyar（ライス⼤学・早稲⽥⼤学）

Space–Time Isogeometric Analysis (ST-IGA)○Kenji Takizawa (Waseda University)

Tayfun E. Tezduyar (Rice University, Waseda University)

Space–Time Isogeometric Analysis (ST-IGA)（休憩20分）(S6) 計算の保証（松江要（九州⼤学））
10:35〜11:05○⼭本野⼈（電気通信⼤学）

新⽥光輝（電気通信⼤学）

ツールとしての精度保証技法 --- 局所Lyapunov関数の構成とその応⽤○Nobito Yamamoto (The University of Electro-Communications)

Koki Nitta (The University of Electro-Communications)
Local Lyapunov functions constructed by verified numerics for hyperbolic and non-hyperbolic cases
11:05〜11:35○⼤⽯進⼀（早稲⽥⼤学）
非線形遅延微分⽅程式の周期解の精度保証と関連する話題○Shin'ichi Oishi (Waseda University)
Computer Assisted Proof of Existence of Periodic Solutions for Nonlinear Delay Differential
Equations and Related Topics（昼休憩85分）(S7) 現象の数理と数値解析１︓現象とモデリング（⻑⼭雅晴（北海道⼤学））
13:00〜13:30○⽮崎成俊（明治⼤学）

⼀つの平⾯曲線を⽤いた画像輪郭抽出法の⽐較○Shigetoshi Yazaki (Meiji University)
A comparative study of image segmentation methods by means of one plane curve
13:30〜14:00○Patrick van Meurs（Kanazawa University）
Error estimate for a particle system approximation of singular integral equations
14:00〜14:30○松江要（九州⼤学）

Shikhar Mohan（イリノイ⼤学アーバナ・シャンペーン校）

Moshe Matalon（イリノイ⼤学アーバナ・シャンペーン校）
予混⽕炎ダイナミクス︓モデリング、数値的・数学的考察○Kaname Matsue (Kyushu University)

Shikhar Mohan (The University of Illinois at Urbana–Champaign)

Moshe Matalon (The University of Illinois at Urbana–Champaign)Premixed Flame Dynamics: Modeling, Numerical and Mathematical Studies（休憩20分）(S8) 現象の数理と数値解析２︓数理構造の抽出と計算（宮武勇登（⼤阪⼤学））
14:50〜15:20○野津裕史（⾦沢⼤学/さきがけ）

⽊村正⼈（⾦沢⼤学）

⽥中良⺒（横浜国⽴⼤学）

⼭本⼤輝（伊藤忠テクノソリューションズ株式会社）
Maxwell 型粘弾性モデルの勾配流構造○Hirofumi Notsu (Kanazawa University/JST)(Yokohama National University)

Masato Kimura (Kanazawa University)

Yoshimi Tanaka

Hiroki Yamamoto (ITOCHU Techno-Solutions Corporation)

The gradient flow structure of a Maxwell-type viscoelastic model
15:20〜15:50○剱持智哉（名古屋⼤学）
Scalar auxiliary variable approach の紹介とその拡張○Tomoya Kemmochi (Nagoya University)
A brief introduction to the scalar auxiliary variable approach and its extension
15:50〜16:20○佐藤⼀宏（東京⼤学）
リーマン多様体上の最適化法を⽤いたシステム制御のための構造保存モデル低次元化○Kazuhiro Sato (The University of Tokyo)
Structure-preserving model reduction for system control using Riemannian optimization
16:20〜16:50○佐藤峻（東京⼤学）
保存則をもつ微分代数⽅程式に対する離散勾配法○Shun Sato (The University of Tokyo)
Discrete gradient method for conservative differential-algebraic equations

テ ン プ レー ト by ネ ッ ト マニ ア