日本応用数理学会2024年度年会

講演プログラム確認版

301講義室

第1日　9月14日（土）

A1-1-1   9月14日   9:10～9:30   301講義室   [研究部会 OS] 科学技術計算と数値解析(1)  

解析関数に対する求積公式の最悪誤差の下界について

合田 隆（東京大学 大学院工学系研究科）, 嘉指 圭人（ストラスクライド大学 数学・統計学科）, ○田中 健一郎（東京大学 大学院情報理工学系研究科）

A1-1-2   9月14日   9:30～9:50   301講義室   [研究部会 OS] 科学技術計算と数値解析(1)  

◎各種行列関数の数値計算に対する二重指数関数型数値計算公式の誤差評価

○鈴木 雅人（東京大学大学院情報理工学系研究科）, 田中 健一郎（東京大学大学院情報理工学系研究科）

A1-1-3   9月14日   9:50～10:10   301講義室   [研究部会 OS] 科学技術計算と数値解析(1)  

最適化手法の連続時間モデルに関する本質的な収束率の精緻化

○牛山 寛生（東京大学大学院情報理工学系研究科）, 佐藤 峻（東京大学大学院情報理工学系研究科）, 松尾 宇泰（東京大学大学院情報理工学系研究科）

A1-1-4   9月14日   10:10～10:30   301講義室   [研究部会 OS] 科学技術計算と数値解析(1)  

数値積分に対するDE公式とIMT型公式との関係について

○緒方 秀教（電気通信大学）

A1-2-1   9月14日   10:50～11:10   301講義室   [研究部会 OS] 科学技術計算と数値解析(2)  

◎非線形波動のモデリングのためのハミルトニアン密度の作用素学習

○徐 百歌（神戸大学大学院理学研究科）, 田中 佑典（NTTコミュニケーション科学基礎研究所）, 松原 崇（北海道大学大学院情報科学研究院）, 谷口 隆晴（神戸大学大学院理学研究科）

A1-2-2   9月14日   11:10～11:30   301講義室   [研究部会 OS] 科学技術計算と数値解析(2)  

◎偏微分方程式に対するダイヤモンドスキームに関する諸検討

○佐藤 海斗（東京大学大学院）, 佐藤 峻（東京大学大学院）, 松尾 宇泰（東京大学大学院）

A1-2-3   9月14日   11:30～11:50   301講義室   [研究部会 OS] 科学技術計算と数値解析(2)  

三重会合点を伴う多相Mullins-Sekerka問題に対する構造保存型パラメトリック有限要素スキーム

○江藤 徳宏（東京大学）, Harald Garcke（University of Regensburg）, Robert Nüenberg（University of Trento）

A1-2-4   9月14日   11:50～12:10   301講義室   [研究部会 OS] 科学技術計算と数値解析(2)  

◎偏微分方程式の重度演算子分解解法について

○石井 直樹（東京大学）, 麻生 豊大（東京大学）, 佐藤 峻（東京大学）, 松尾 宇泰（東京大学）

A1-3-1   9月14日   13:20～13:40   301講義室   [研究部会 OS] 科学技術計算と数値解析(3)  

半線型Klein–Gordon方程式の解の収束性と挙動について

○土屋 拓也（明治学院大学）, 中村 誠（大阪大学）

A1-3-2   9月14日   13:40～14:00   301講義室   [研究部会 OS] 科学技術計算と数値解析(3)  

９-コンパートメントグルコース・インスリン体循環数理モデルを用いた時系列マウスデータ解析

○Junyong Eom（北海道大学電子科学研究所）, 長山 雅晴（北海道大学電子科学研究所）, 内海 晋弥（北海道大学電子科学研究所）, 上田 祐暉（北海道大学電子科学研究所）, 中岡 慎治（北海道大学）, 水藤 寛（東北大学）, 片桐 秀樹（東北大学）

A1-3-3   9月14日   14:00～14:20   301講義室   [研究部会 OS] 科学技術計算と数値解析(3)  

◎細胞周期と細胞外環境を制御する数値シミュレーションに基づく毛包形態形成の再現

○香川 渓一郎（北海道大学）, 奥村 真善美（甲南大学）, 小林 康明（城西大学）, Duligengaowa Wuergezhen（理化学研究所）, 森田 梨津子（大阪大学）, 藤原 裕展（理化学研究所）, 長山 雅晴（北海道大学）

A1-3-4   9月14日   14:20～14:40   301講義室   [研究部会 OS] 科学技術計算と数値解析(3)  

9-コンパートメントグルコース・インスリン体循環数理モデルのパラメータ推定及び関連する医学的知見の考察

○内海 晋弥（北海道大学）, Junyong Eom（北海道大学）, 上田 祐暉（北海道大学）, 野田 裕真（北海道大学）, 長山 雅晴（北海道大学）, 水藤 寛（東北大学）, 片桐 秀樹（東北大学）

A1-4-1   9月14日   15:00～15:20   301講義室   [研究部会 OS] 科学技術計算と数値解析(4)  

有限体積法をもとに局所保存性を担保した機械学習数値解析手法

○堀江 正信（株式会社ＲＩＣＯＳ）, 三目 直登（筑波大学）

A1-4-2   9月14日   15:20～15:40   301講義室   [研究部会 OS] 科学技術計算と数値解析(4)  

直交選点有限要素法の曲線要素と微分作用素によるアイソパラメトリックとサブパラメトリック要素

○大久保 孝樹（函館高専名誉教授）

A1-4-3   9月14日   15:40～16:00   301講義室   [研究部会 OS] 科学技術計算と数値解析(4)  

ハイパーサークル法を用いた有限要素解の事後誤差評価

○劉 雪峰（東京女子大学）, 菊地 文雄（東京大学）

A1-4-4   9月14日   16:00～16:20   301講義室   [研究部会 OS] 科学技術計算と数値解析(4)  

悪い要素を含む有限要素法の誤差解析

○小林 健太（一橋大学）, 土屋 卓也（大阪大学）

A1-5-1   9月14日   16:40～17:00   301講義室   [研究部会 OS] 行列・固有値問題の解法とその応用(1)  

◎リーマン多様体上の最適化アルゴリズムの固有値問題への応用

○酒井 裕行（明治大学大学院）, 飯塚 秀明（明治大学）

A1-5-2   9月14日   17:00～17:20   301講義室   [研究部会 OS] 行列・固有値問題の解法とその応用(1)  

◎量子ウォークにもとづく 時系列解析

○小山 翔平（立命館大学）, 今野 紀雄（立命館大学）

A1-5-3   9月14日   17:20～17:40   301講義室   [研究部会 OS] 行列・固有値問題の解法とその応用(1)  

◎グローヴァーの探索アルゴリズムと絶対ゼータ関数

○堀田 一希（立命館大学）, 赤堀 次郎（立命館大学）, 岡本 陸希（立命館大学）, 今野 紀雄（立命館大学）, 佐藤 巌（小山工業高等専門学校）, 田村 勇真（立命館大学）

A1-5-4   9月14日   17:40～18:00   301講義室   [研究部会 OS] 行列・固有値問題の解法とその応用(1)  

量子ウォークのゼータ関数とその応用

○赤堀 次郎（立命館大学）

第2日　9月15日（日）

A2-1-1   9月15日   9:10～9:30   301講義室   [研究部会 OS] 行列・固有値問題の解法とその応用(2)  

Supertropical代数上の行列の特異値分解に対する組合せ論的アルゴリズム

○西田 優樹（京都府立大学）, 古池 郁美（京都府立大学）, 岩﨑 雅史（京都府立大学）

A2-1-2   9月15日   9:30～9:50   301講義室   [研究部会 OS] 行列・固有値問題の解法とその応用(2)  

実対称行列に対する部分固有対の逆反復改良法

○寺尾 剛史（九州大学）, 尾崎 克久（芝浦工業大学）

A2-1-3   9月15日   9:50～10:10   301講義室   [研究部会 OS] 行列・固有値問題の解法とその応用(2)  

◎可変的前処理付きblock CG法の内部と外部の反復における誤差の繋がり

○山本 実央（東京都市大学）, 相原 研輔（東京都市大学）

A2-1-4   9月15日   10:10～10:30   301講義室   [研究部会 OS] 行列・固有値問題の解法とその応用(2)  

◎行列方程式に対する低ランク型Krylov部分空間法のための前処理について

○佐竹 祐樹（北海道大学）, 曽我部 知広（名古屋大学）, 剱持 智哉（名古屋大学）, 張 紹良（名古屋大学）

A2-2-1   9月15日   10:50～11:10   301講義室   [研究部会 OS] 行列・固有値問題の解法とその応用(3)  

◎連続スペクトルの擬固有関数を用いた非線形力学におけるスペクトル解析

○坂田 逸志（理研AIP）, 河原 吉伸（大阪大学）

A2-2-2   9月15日   11:10～11:30   301講義室   [研究部会 OS] 行列・固有値問題の解法とその応用(3)  

◎関数値カーネルのToeplitz行列積による近似

○橋本 悠香（日本電信電話株式会社）, Ayoub Hafid（東京大学）, 池田 正弘（理研AIP）, Hachem Kadri（Aix-Marseille University）

A2-2-3   9月15日   11:30～11:50   301講義室   [研究部会 OS] 行列・固有値問題の解法とその応用(3)  

◎Koopman作用素理論の深層学習への応用

○幡谷 龍一郎（理化学研究所革新知能統合研究センター）

A2-2-4   9月15日   11:50～12:10   301講義室   [研究部会 OS] 行列・固有値問題の解法とその応用(3)  

◎局所解析汎函数上の押し出しの有限次元近似について

○石川 勲（愛媛大学）

第3日　9月16日（月・祝）

A3-1-1   9月16日   9:10～9:30   301講義室   [研究部会 OS] 行列・固有値問題の解法とその応用(4)  

2つの行列が添字の置換で一致するかの判定について

○村上 弘（東京都立大学）

A3-1-2   9月16日   9:30～9:50   301講義室   [研究部会 OS] 行列・固有値問題の解法とその応用(4)  

◎主成分分析のためのOQDS法の実装方法の提案

○千代延 未帆（奈良女子大学大学院）, 髙田 雅美（奈良女子大学）, 木村 欣司（福井大学）, 中村 佳正（大阪成蹊大学）

A3-1-3   9月16日   9:50～10:10   301講義室   [研究部会 OS] 行列・固有値問題の解法とその応用(4)  

◎モジュラリティ行列の固有値計算に基づいた次元削減手法とそのマテリアルズインフォマティクスへの応用

○増田 伊吹（筑波大学情報理工学位プログラム）, 二村 保徳（筑波大学システム情報系）, Jianbo Lin（物質・材料研究機構）, Anh Khoa Augustin Lu（東京大学工学系）, 田村 亮（物質・材料研究機構）, 宮崎 剛（物質・材料研究機構）, 櫻井 鉄也（筑波大学システム情報系）

A3-1-4   9月16日   10:10～10:30   301講義室   [研究部会 OS] 行列・固有値問題の解法とその応用(4)  

DE積分型行列関数計算法に対する部分固有対デフレーションに基づく収束性改善およびその性能評価

○今倉 暁（筑波大学）, 山本 有作（電気通信大学）, 立岡 文理（株式会社IHI）, 曽我部 知広（名古屋大学）, 張 紹良（名古屋大学）

A3-2-1   9月16日   10:50～11:10   301講義室   [研究部会 OS] 計算の品質(1)  

特異項を持つ線形作用素に対する精度保証付き逆作用素ノルム評価

○渡部 善隆（九州大学）

A3-2-2   9月16日   11:10～11:30   301講義室   [研究部会 OS] 計算の品質(1)  

Green関数による解包含理論：非凸多次元領域上におけるPoisson方程式への適用

○田中 一成（早稲田大学）, 松江 要（九州大学）, 落合 啓之（九州大学）

A3-2-3   9月16日   11:30～11:50   301講義室   [研究部会 OS] 計算の品質(1)  

熱方程式のPetrov型全離散ガレルキン近似の事前誤差評価

○水口 信（中央大学）, 中尾 充宏（早稲田大学）, 橋本 弘治（中村学園大学）, 関根 晃太（千葉工業大学）, 大石 進一（早稲田大学）

A3-2-4   9月16日   11:50～12:10   301講義室   [研究部会 OS] 計算の品質(1)  

◎分布遅延項を含む遅延微分方程式における分数調波解の精度保証

○中川 新（早稲田大学大学院基幹理工学研究科数学応用数理専攻）, 大石 進一（早稲田大学理工学術院）, 関根 晃太（千葉工業大学情報変革科学部情報工学科）

A3-3-1   9月16日   13:20～13:40   301講義室   [研究部会 OS] 計算の品質(2)  

◎計算機援用によるエノン型方程式の正値対称解の多重性解析

○浅井 大晴（早稲田大学）, 田中 一成（早稲田大学）, 大石 進一（早稲田大学）

A3-3-2   9月16日   13:40～14:00   301講義室   [研究部会 OS] 計算の品質(2)  

微分方程式の作用素解析で用いられる行列ノルムの精度保証

○寺尾 剛史（九州大学）, 尾崎 克久（芝浦工業大学）, 渡部 善隆（九州大学）

A3-3-3   9月16日   14:00～14:20   301講義室   [研究部会 OS] 計算の品質(2)  

◎数値線形代数に対する再現性のある試行型テスト行列生成法

○内野 佑基（理化学研究所 計算科学研究センター）, 尾崎 克久（芝浦工業大学）

A3-3-4   9月16日   14:20～14:40   301講義室   [研究部会 OS] 計算の品質(2)  

◎疑似的な高精度演算のブロックコレスキー分解への適用

○矢崎 雪莉（芝浦工業大学大学院）, 尾崎 克久（芝浦工業大学）

A3-4-1   9月16日   15:00～15:20   301講義室   [研究部会 OS] 計算の品質(3)  

FMAを巧みに利用した疑似4,6,8倍精度行列積の設計

○尾崎 克久（芝浦工業大学）, 小泉 透（名古屋工業大学）

A3-5-1   9月16日   16:40～17:00   301講義室   [一般講演] 数値計算の応用  

固体構造に対する混合型定式化に基づく分離型時間積分

○山田 貴博（横浜国立大学）

A3-5-2   9月16日   17:00～17:20   301講義室   [一般講演] 数値計算の応用  

確率微分方程式の弱近似のための再結合測度法のアルゴリズム

○篠崎 裕司（武蔵野大学）, 二宮 祥一（東京工業大学）

A3-5-3   9月16日   17:20～17:40   301講義室   [一般講演] 数値計算の応用  

連続時間確率制御に対する数値解法のポートフォリオ最適化への応用

○家田 雅志（東京理科大学）

A3-5-4   9月16日   17:40～18:00   301講義室   [一般講演] 数値計算の応用  

順序分割ネットワークの動的なウィンドウサイズ調整に基づく位相的エントロピーの数値計算

○福島 真太朗（トヨタ自動車株式会社）, 谷澤 俊弘（トヨタ自動車株式会社）

201講義室

第1日　9月14日（土）

B1-1-1   9月14日   9:10～9:30   201講義室   [研究部会 OS] 折紙工学(1)  

折紙構造を用いた減音シェードの検討

○山崎 桂子（明治大学）, 橋口 真宜（計測エンジニアリングシステム株式会社）, 萩原 一郎（明治大学）

B1-1-2   9月14日   9:30～9:50   201講義室   [研究部会 OS] 折紙工学(1)  

折畳めるお洒落な作業ヘルメットの開発

○佐々木 淑恵（明治大学）, 戸倉 直（株式会社トクラシミュレーションリサーチ）, 寺田 耕輔（明星大学）, Yo Yo（明治大学）, 萩原 一郎（明治大学）

B1-1-3   9月14日   9:50～10:10   201講義室   [研究部会 OS] 折紙工学(1)  

新しい解析技術を用いた折紙構造の遮音・吸音特性の評価

○阿部 綾（明治大学）, 米 大海（計測エンジニアリングシステム）, 萩原 一郎（明治大学）

B1-1-4   9月14日   10:10～10:30   201講義室   [研究部会 OS] 折紙工学(1)  

扇のアプリの開発

○Luis Diago（（株）インターローカス）, 佐々木 淑恵（明治大学先端数理科学インスティテュート）, 山崎 桂子（明治大学先端数理科学インスティテュート）, 安達 悠子（明治大学先端数理科学インスティテュート）, 武笠 雅子（明治大学先端数理科学インスティテュート）, 萩原 一郎（明治大学先端数理科学インスティテュート）

B1-2-1   9月14日   10:50～11:10   201講義室   [研究部会 OS] 折紙工学(2)  

展開構造を用いたヘルムホルツ共鳴器のフィジビリティスタディ

○石田 祥子（明治大学）, 渡邊 諒（明治大学）

B1-2-2   9月14日   11:10～11:30   201講義室   [研究部会 OS] 折紙工学(2)  

離散力学系モデルを用いた多自由度のMaxwell origami tubeの解析

○今田 凜輝（東京大学）, 舘 知宏（東京大学）

B1-2-3   9月14日   11:30～11:50   201講義室   [研究部会 OS] 折紙工学(2)  

◎平行四辺形ラティス切り折紙の引張における大域的性質

○安達 瑛翔（東京大学）, 舘 知宏（東京大学）

B1-2-4   9月14日   11:50～12:10   201講義室   [研究部会 OS] 折紙工学(2)  

◎局在化した波動モードをもつ折紙チューブ弾性波メタマテリアル

○富田 直（株式会社豊田中央研究所）, 舘 知宏（東京大学）

B1-3-1   9月14日   13:20～13:40   201講義室   [研究部会 OS] 折紙工学(3)  

3Dプリントによる折り畳み式双安定性折り紙構造体の制作

○Pamela Higa Miyashiro（筑波大学）, 賈 伊陽（日本女子大学）, 三谷 純（筑波大学）

B1-3-2   9月14日   13:40～14:00   201講義室   [研究部会 OS] 折紙工学(3)  

◎ブロック折り紙の対話的な設計支援システムの提案

○遠藤 匠（筑波大学）, 三谷 純（筑波大学）

B1-3-3   9月14日   14:00～14:20   201講義室   [研究部会 OS] 折紙工学(3)  

◎ねじり折りのパラメトリックな作図法の比較

○山本 陽平（高知工業高等専門学校 ソーシャルデザイン工学科）, 三谷 純（筑波大学 システム情報系）

B1-3-4   9月14日   14:20～14:40   201講義室   [研究部会 OS] 折紙工学(3)  

◎David Huffman の楕円のパラメータ化された折り畳み状態形状モデリング

○Aida Safary（筑波大学）, Hamid Shafieasl（アザーバイジャン・シャヒッド・マダニ大学）, Jun Mitani（筑波大学）

B1-4-1   9月14日   15:00～15:20   201講義室   [研究部会 OS] 折紙工学(4)  

◎与えられた半順序に従った地図の折り畳み状態の存在性

○賈 伊陽（日本女子大学）, 三谷 純（筑波大学）

B1-4-2   9月14日   15:20～15:40   201講義室   [研究部会 OS] 折紙工学(4)  

1次元折り紙のfolding motionに対応するlocal stacking orderの変化の様子を表す幾何的objectの提案

○村井 紘子（奈良女子大学）

B1-4-3   9月14日   15:40～16:00   201講義室   [研究部会 OS] 折紙工学(4)  

4次元立方体の星展開、起点展開、最遠点写像

○山岸 義和（龍谷大学）

B1-5-1   9月14日   16:40～17:00   201講義室   [研究部会 OS] 数論アルゴリズムとその応用  

◎次元2の同種写像を用いるハッシュ関数に対しての衝突発見アルゴリズム

○大橋 亮（東京大学）, 小貫 啓史（東京大学）

B1-5-2   9月14日   17:00～17:20   201講義室   [研究部会 OS] 数論アルゴリズムとその応用  

2次元同種写像を用いたDeuring対応計算アルゴリズム

○小貫 啓史（東京大学）, 中川 皓平（NTT 社会情報研究所）

B1-5-3   9月14日   17:20～17:40   201講義室   [研究部会 OS] 数論アルゴリズムとその応用  

◎Gröbner基底の計算量理論の定式化 —暗号の安全性解析に向けて—

○工藤 桃成（福岡工業大学）, 横山 和弘（立教大学）

第2日　9月15日（日）

B2-1-1   9月15日   9:30～10:30   201講義室   [研究部会 OS] 数理的技法による情報セキュリティ(1)  

Isabelle/HOLを用いた差分プライバシーの形式的検証

○佐藤 哲也（東京工業大学）

B2-2-1   9月15日   10:50～11:10   201講義室   [研究部会 OS] 数理的技法による情報セキュリティ(2)  

数理的技法による情報セキュリティの2024年度前半の研究動向

荒井 研一（長崎大学）, 鈴木 幸太郎（豊橋技術科学大学）, 中林 美郷（NTT社会情報研究所）, 花谷 嘉一（株式会社東芝）, 三重野 武彦（EPSON AVASYS 株式会社）, 山本 光晴（千葉大学）, 吉田 真紀（情報通信研究機構）, ○米山 一樹（茨城大学）

B2-2-2   9月15日   11:10～11:30   201講義室   [研究部会 OS] 数理的技法による情報セキュリティ(2)  

LWE暗号の弱鍵について

○白勢 政明（公立はこだて未来大学）

B2-2-3   9月15日   11:30～11:50   201講義室   [研究部会 OS] 数理的技法による情報セキュリティ(2)  

Tamarin proverの Heuristic Oracleを利用した CPA Modelの安全性検証

○三重野 武彦（EPSON AVASYS 株式会社）, 岡崎 裕之（信州大学大学院総合理工学研究科）, 荒井 研一（長崎大学大学院工学研究科）, 布田 裕一（東京工科大学コンピュータサイエンス学部）

B2-2-4   9月15日   11:50～12:10   201講義室   [研究部会 OS] 数理的技法による情報セキュリティ(2)  

◎カードベース暗号の形式検証の再考

○藤田 和弘（茨城大学）, 米山 一樹（茨城大学）, 品川 和雅（茨城大学 / 産業技術総合研究所）

第3日　9月16日（月・祝）

B3-1-1   9月16日   9:30～9:50   201講義室   [研究部会 OS] 幾何学的形状生成(1)  

テオドロスの螺旋の拡張

○三浦 憲二郎（静岡大学）, 三谷 純（筑波大学）, R.U. Gobithaasan（マレーシア科学大学）, Md Yushalify Misro（マレーシア科学大学）

B3-1-2   9月16日   9:50～10:10   201講義室   [研究部会 OS] 幾何学的形状生成(1)  

螺旋状回廊空間としてのさざえ堂の形態モデル

○鈴木 利友（武庫川女子大学）, 橋村 風香（不二建設）, 山本 親（武庫川女子大学）

B3-1-3   9月16日   10:10～10:30   201講義室   [研究部会 OS] 幾何学的形状生成(1)  

正規，非正規な配置の一般化ミウラ折りの剛体折り畳み挙動における自己交差性

○田川 浩之（武庫川女子大学）

B3-2-1   9月16日   10:50～11:10   201講義室   [研究部会 OS] 幾何学的形状生成(2)  

◎等角写像を利用した複層オーゼティック構造のボルト接合設計

○林 和希（京都大学）, Romain Mesnil（国立土木学校）

B3-2-2   9月16日   11:10～11:30   201講義室   [研究部会 OS] 幾何学的形状生成(2)  

◎3次元五角形格子メタマテリアルを用いた曲面の設計

○堺 雄亮（ソニーコンピュータサイエンス研究所 - 京都）

B3-2-3   9月16日   11:30～11:50   201講義室   [研究部会 OS] 幾何学的形状生成(2)  

◎力学性能と施工性を考慮したグリッドシェル構造の形状決定法　―放物線を境界曲線とした離散吊り下げ曲面の評価―

○長野 雅（鹿児島大学大学院）, 横須賀 洋平（鹿児島大学大学院）

B3-2-4   9月16日   11:50～12:10   201講義室   [研究部会 OS] 幾何学的形状生成(2)  

ピローボックスの曲線折り形状による仮設構造物の多目的最適化

○横須賀 洋平（鹿児島大学）, 熊谷 駿（九州大学）, 小磯 深幸（九州大学）

B3-3-1   9月16日   13:20～13:40   201講義室   [研究部会 OS] 幾何学的形状生成(3)  

◎薄肉シェルの変形に現れる対称性

○軸丸 芳揮（東洋大学）

B3-3-2   9月16日   13:40～14:00   201講義室   [研究部会 OS] 幾何学的形状生成(3)  

◎薄肉シェルの変形理論を用いた変分公式の導出

○軸丸 芳揮（東洋大学）

B3-3-3   9月16日   14:00～14:20   201講義室   [研究部会 OS] 幾何学的形状生成(3)  

非等方的平均曲率一定閉超曲面の非一意性

○小磯 深幸（九州大学）, 軸丸 芳揮（東洋大学）

B3-3-4   9月16日   14:20～14:40   201講義室   [研究部会 OS] 幾何学的形状生成(3)  

◎曲線の自己アフィン性と等積アフィン幾何

○熊谷 駿（九州大学マス・フォア・インダストリ研究所）, 梶原 健司（九州大学マス・フォア・インダストリ研究所）

B3-4-1   9月16日   15:00～16:20   201講義室   [研究部会 OS] 幾何学的形状生成(4)  

高速図形処理技術とその機械製造自動化への応用

○乾 正知（茨城大学）

B3-5-1   9月16日   16:40～17:00   201講義室   [研究部会 OS] 数理政治学  

安定マッチング問題に対するアルゴリズム研究

○宮崎 修一（兵庫県立大学）

B3-5-2   9月16日   17:00～17:20   201講義室   [研究部会 OS] 数理政治学  

◎不都合な議員定数

○王 立坤（京都大学）, 谷本 明子（京都大学）, 趙 亮（京都大学）

B3-5-3   9月16日   17:20～17:40   201講義室   [研究部会 OS] 数理政治学  

感度解析を利用した得票数と獲得議席数の関係分析

○諸星 穂積（政策研究大学院大学）

202講義室

第1日　9月14日（土）

C1-1-1   9月14日   9:10～9:50   202講義室   [研究部会 OS] 機械学習  

◎脳デコーディングによる視覚像再構成の批判的再検討

○長野 祥大（京都大学大学院情報学研究科）

C1-1-2   9月14日   9:50～10:30   202講義室   [研究部会 OS] 機械学習  

クープマン作用素に基づく縮約動力学表現の学習と予測・制御への応用

○河原 吉伸（大阪大学 大学院情報科学研究科）

C1-2-1   9月14日   10:50～11:10   202講義室   [正会員 OS] SciMLの理論と応用  

物理モデリングとデータ駆動モデリングを繋ぐPhysics-informed machine learning

○宮本 崇（国立大学法人山梨大学）

C1-2-2   9月14日   11:10～11:30   202講義室   [正会員 OS] SciMLの理論と応用  

変分エネルギー型物理情報深層学習に基づく収縮破壊パターン形成計算

○伊藤 伸一（東京大学）

C1-2-3   9月14日   11:30～11:50   202講義室   [正会員 OS] SciMLの理論と応用  

◎Physics-informed深層学習による地震時地殻変動解析

○岡﨑 智久（理化学研究所）, 平原 和朗（理化学研究所）, 上田 修功（理化学研究所）

C1-2-4   9月14日   11:50～12:10   202講義室   [正会員 OS] SciMLの理論と応用  

アイコナル方程式に基づく地震波到達時間計算の物理情報深層学習におけるスペクトルバイアス

○縣 亮一郎（海洋研究開発機構）, 馬場 慧（海洋研究開発機構）, 仲西 理子（海洋研究開発機構）, 中村 恭之（海洋研究開発機構）

C1-3-1   9月14日   13:20～13:40   202講義室   [研究部会 OS] 応用可積分系(1)  

Volterra格子と感染症数理モデル

○野邊 厚（早稲田大学）

C1-3-2   9月14日   13:40～14:00   202講義室   [研究部会 OS] 応用可積分系(1)  

◎スケールフリーネットワーク上のSIRモデルにおける感染率と感染者数の対数関係

○大住 七重（宇都宮大学）, 小池 正史（宇都宮大学）, 矢嶋 徹（宇都宮大学）

C1-3-3   9月14日   14:00～14:20   202講義室   [研究部会 OS] 応用可積分系(1)  

◎多成分短パルス型方程式の可積分性を保つ離散化と数値計算

○堀 綾子（早稲田大学基幹理工学研究科）, 丸野 健一（早稲田大学理工学術院）, 太田 泰広（神戸大学理学部）, Bao-Feng Feng（テキサス大学リオグランデバリー校）

C1-3-4   9月14日   14:20～14:40   202講義室   [研究部会 OS] 応用可積分系(1)  

◎遅延ソリトン方程式と遅延パンルヴェ方程式：双線形方程式，Lax pair，保存量

○松岡 宏（早稲田大学大学院基幹理工学研究科）, 中田 健太（早稲田大学大学院基幹理工学研究科）, 丸野 健一（早稲田大学理工学術院）

C1-4-1   9月14日   15:00～15:20   202講義室   [研究部会 OS] 応用可積分系(2)  

◎一次多項式で表現される保存量をもつ多値セルオートマトン

○森澤 亮司（芝浦工業大学大学院理工学研究科）, 福田 亜希子（芝浦工業大学）

C1-4-2   9月14日   15:20～15:40   202講義室   [研究部会 OS] 応用可積分系(2)  

◎基本図を厳密に導出可能なセルオートマトンのクラスについて

○小林 克樹（京都大学大学院 情報学研究科）

C1-4-3   9月14日   15:40～16:00   202講義室   [研究部会 OS] 応用可積分系(2)  

◎中心差分に基づく符号付き超離散非線形バネ方程式の解析

○鈴木 清一朗（法政大学）, 礒島 伸（法政大学）

C1-4-4   9月14日   16:00～16:20   202講義室   [研究部会 OS] 応用可積分系(2)  

◎同期現象を示すセルオートマトンの拡張系について

○延東 和茂（近畿大学）

C1-5-1   9月14日   16:40～17:00   202講義室   [研究部会 OS] 応用可積分系(3)  

メタ代数と双直交有理関数 - Hahn Case

○辻本 諭（京都大学）, Vinet Luc（IVADO ＆ モントリオール大学）, Zhedanov Alexei（中国人民大学）

C1-5-2   9月14日   17:00～17:20   202講義室   [研究部会 OS] 応用可積分系(3)  

◎定数係数ベルヌーイ方程式の不等間隔で高次精度な可積分差分

○村 昌治（同志社大学）, 近藤 弘一（同志社大学）

C1-5-3   9月14日   17:20～17:40   202講義室   [研究部会 OS] 応用可積分系(3)  

データ駆動型の偏微分方程式の推定~可積分系を用いた実験

○上岡 修平（大阪成蹊大学）, 小山田 耕二（大阪成蹊大学）, 夏川 浩明（大阪成蹊大学）, 劉 継紅（大阪成蹊大学）

C1-5-4   9月14日   17:40～18:00   202講義室   [研究部会 OS] 応用可積分系(3)  

◎二次元格子上の吸脱着付き非対称単純排他過程の厳密解

○石黒 裕樹（東京工芸大学）, 佐藤 純（東京工芸大学）

第2日　9月15日（日）

C2-1-1   9月15日   9:30～9:50   202講義室   [研究部会 OS] ウェーブレット(1)  

ABR加算過程のウェーブレット解析結果に基づくListing difficultiesへの1つの検討

○井川 信子（流通経済大学）

C2-1-2   9月15日   9:50～10:10   202講義室   [研究部会 OS] ウェーブレット(1)  

◎パンディ--ウパディヤイのウェーブレット変換と関数の超局所的特異性について

○李 旭（奈良女子大学）, 森藤 紳哉（奈良女子大学）

C2-1-3   9月15日   10:10～10:30   202講義室   [研究部会 OS] ウェーブレット(1)  

伸張因子4の帯域制限ウェーブレットの構成法

○古野 誠裕（筑波大学　博士後期課程）

C2-2-1   9月15日   10:50～11:10   202講義室   [研究部会 OS] ウェーブレット(2)  

◎CT画像再構成におけるshearlet変換を用いたリングアーティファクトの除去について

○鈴木 俊夫（神奈川大学）, 藤ノ木 健介（神奈川大学）, 藤井 克哉（畿央大学）

C2-2-2   9月15日   11:10～11:30   202講義室   [研究部会 OS] ウェーブレット(2)  

有限個の標本信号のための標本化定理の統計的拡張

○富安 亮子（九州大学）

C2-2-3   9月15日   11:30～11:50   202講義室   [研究部会 OS] ウェーブレット(2)  

◎ジャイロ群上で定義される関数の性質

○橋本 紘史（新潟大学）

第3日　9月16日（月・祝）

C3-1-1   9月16日   9:10～9:30   202講義室   [正会員 OS] 応用力学系(1)  

ハイブリッド力学系における新しい分岐：ヒトの歩行・走行モデルの一般化

○森田 英俊（四天王寺大学）, 青井 伸也（大阪大学）, 土屋 和雄（京都大学）, 國府 寛司（京都大学）

C3-1-2   9月16日   9:30～9:50   202講義室   [正会員 OS] 応用力学系(1)  

◎受動歩行の脚質量に応じたフラクタルな吸引領域の変化

○松尾 朝日（大阪大学）, 岡本 耕太（京都大学）, 安部 祐一（大阪大学）, 明石 望洋（京都大学）, 大林 一平（岡山大学）, 國府 寛司（京都大学）, 青井 伸也（大阪大学）

C3-1-3   9月16日   9:50～10:10   202講義室   [正会員 OS] 応用力学系(1)  

◎力学系のリザバー計算：数値例とその理論

○原 誠人（京都大学）, 國府 寛司（京都大学）

C3-1-4   9月16日   10:10～10:30   202講義室   [正会員 OS] 応用力学系(1)  

細胞周期ネットワークのトポロジーにより実現される、複数チェックポイントの独立制御

○山内 悠平（京都大学　医生物学研究所）, 杉山 博紀（東京大学大学院　工学系研究科　応用化学専攻）, 後藤 祐平（京都大学 生命科学研究科）, 青木 一洋（京都大学 生命科学研究科）, 望月 敦史（京都大学　医生物学研究所）

C3-2-1   9月16日   10:50～11:10   202講義室   [正会員 OS] 応用力学系(2)  

◎データ駆動型連成自励発振レゾネータによる高感度質量計測

○降籏 巧（筑波大学）, 藪野 浩司（筑波大学）

C3-2-2   9月16日   11:10～11:30   202講義室   [正会員 OS] 応用力学系(2)  

交通流に対する遅延差分方程式モデルにおけるNeimark-Sacker分岐

○宮路 智行（京都大学）, 岡本 和也（早稲田大学）, 友枝 明保（関西大学）

C3-2-3   9月16日   11:30～11:50   202講義室   [正会員 OS] 応用力学系(2)  

自然振動数を有する蔵本モデルにおける同期解の分岐と安定性

○矢ヶ崎 一幸（京都大学）

C3-2-4   9月16日   11:50～12:10   202講義室   [正会員 OS] 応用力学系(2)  

◎グラフ上で定義された蔵本モデルに対するフィードバック制御

○Donggeon Kim（京都大学）, 矢ヶ崎 一幸（京都大学）

C3-3-1   9月16日   13:20～13:40   202講義室   [正会員 OS] 応用力学系(3)  

◎ビリヤード写像における不変曲線が存在しないための十分条件

○立石 萌（京都大学）, 柴山 允瑠（京都大学）

C3-3-2   9月16日   13:40～14:00   202講義室   [正会員 OS] 応用力学系(3)  

◎結合エノン写像における一様双曲領域について

○藤岡 佳佑（東京都立大学理学研究科）, Jizhou Li（理研iTHEMS）, 首藤 啓（東京都立大学理学研究科）

C3-3-3   9月16日   14:00～14:20   202講義室   [正会員 OS] 応用力学系(3)  

◎折り紙写像における不変曲線の存在について

○市川 龍太郎（京都大学大学院情報学研究科数理工学コース）, 柴山 允瑠（京都大学）

C3-3-4   9月16日   14:20～14:40   202講義室   [正会員 OS] 応用力学系(3)  

変分法と力学系理論による探査機の軌道設計

○柴山 允瑠（京都大学大学院情報学研究科）

C3-4-1   9月16日   15:00～15:20   202講義室   [正会員 OS] 応用力学系(4)  

◎分数調波メルニコフ関数による平面上の近可積分系の可積分性の特徴づけ

○本永 翔也（立命館大学理工学部数理科学科）

C3-4-2   9月16日   15:20～15:40   202講義室   [正会員 OS] 応用力学系(4)  

遅延系のダイナミクスと発展方程式表現

○西口 純矢（東北大学）

C3-4-3   9月16日   15:40～16:00   202講義室   [正会員 OS] 応用力学系(4)  

◎オイラー・ポアンカレリダクションによるunderwater vehicleダイナミクスの定式化

○小野 悠介（慶應義塾大学）, Simone Fiori（Marche Polytechnic University）, 彭 林玉（慶應義塾大学）

C3-4-4   9月16日   16:00～16:20   202講義室   [正会員 OS] 応用力学系(4)  

離散ラグランジュ・ディラック力学系に基づく非ホロノミック系の変分的離散化

○吉村 浩明（早稲田大学）, 彭 林玉（慶應義塾大学）

C3-5-1   9月16日   16:40～17:00   202講義室   [一般講演] 微分方程式  

◎ネマチック液晶の持つ弾性エネルギーの陽公式に基づくトポロジカル欠陥の平衡解の解析

○三好 裕之（東京大学）, 宮廻 裕樹（東京大学）, 奈良 高明（東京大学）

C3-5-2   9月16日   17:00～17:20   202講義室   [一般講演] 微分方程式  

◎1次元フェーズフィールドモデルの定常解の数値的安定性

○岡本 朋揮（武蔵野大学）, 森 竜樹（武蔵野大学）

C3-5-3   9月16日   17:20～17:40   202講義室   [一般講演] 微分方程式  

ある自己交差する閉曲線の曲線短縮問題における曲線の漸近挙動に関する一考察

○穴田 浩一（早稲田大学高等学院）, 石渡 哲哉（芝浦工業大学）, 牛島 健夫（東京理科大学）

C3-5-4   9月16日   17:40～18:00   202講義室   [一般講演] 微分方程式  

◎離散半線形波動方程式の解のlifespan評価

○坪田 凌輔（武蔵野大学工学研究科数理工学専攻）, 松家 敬介（武蔵野大学）, 東 康平（武蔵野大学）, 佐々木 多希子（武蔵野大学）, 時弘 哲治（武蔵野大学）

303講義室

第1日　9月14日（土）

D1-1-1   9月14日   9:10～9:30   303講義室   [正会員 OS] 時間遅れと数理(1)  

遅延微分方程式 $x’(t) = x(t)^2 - x(t-\tau)$ の解の爆発と零解への収束について

○中田 行彦（青山学院大学）, 石渡 哲哉（芝浦工業大学）

D1-1-2   9月14日   9:30～9:50   303講義室   [正会員 OS] 時間遅れと数理(1)  

◎特殊な遅延微分方程式におけるフーリエ変換を用いた解の構成

○大平 健太（名古屋大学 情報学研究科）

D1-1-3   9月14日   9:50～10:10   303講義室   [正会員 OS] 時間遅れと数理(1)  

◎時間遅れを伴うcomplex balancedな化学反応ネットワークの線形安定性解析

○小松 弘和（近畿大学工学部）, 中島 弘之（近畿大学工学部）

D1-1-4   9月14日   10:10～10:30   303講義室   [正会員 OS] 時間遅れと数理(1)  

２種類の遅延項をもつ線形微分方程式の漸近安定性

○松永 秀章（大阪公立大学）, 曲 明珠（大阪府立大学）

D1-2-1   9月14日   10:50～11:10   303講義室   [正会員 OS] 時間遅れと数理(2)  

Analysis on the congestion in the optimal velocity model by self-induced nonlinearity

○池田 幸太（明治大学）, 宮路 智行（京都大学）

D1-2-2   9月14日   11:10～11:30   303講義室   [正会員 OS] 時間遅れと数理(2)  

時間遅れを伴う動的フロアフィールドモデル

○大澤 智興（九州工業大学）

D1-2-3   9月14日   11:30～11:50   303講義室   [正会員 OS] 時間遅れと数理(2)  

遅延を含むFisher-KPP方程式のsemi-waveについて -数値計算の視点から-

○出原 浩史（宮崎大学）, 物部 治徳（大阪公立大学）, Yong-Jie Syu（National Yang Ming Chiao Tung University）, Chang-Hong Wu（National Yang Ming Chiao Tung University）

D1-2-4   9月14日   11:50～12:10   303講義室   [正会員 OS] 時間遅れと数理(2)  

線形遅延微分方程式とデータ駆動型手法について

○宮崎 倫子（静岡大学工学部数理システム工学科）

D1-3-1   9月14日   13:20～13:40   303講義室   [研究部会 OS] 連続体力学の数理(1)  

乗法的ノイズを持つ確率波動方程式の数値解と、地震時断層挙動との類似性

○平野 史朗（弘前大学）

D1-3-2   9月14日   13:40～14:00   303講義室   [研究部会 OS] 連続体力学の数理(1)  

地震断層の簡単なモデルにおける周期倍分岐

○波多野 恭弘（大阪大学）, 馬 芳（大阪大学）

D1-3-3   9月14日   14:00～14:20   303講義室   [研究部会 OS] 連続体力学の数理(1)  

◎2次元アーチにおけるき裂進展シミュレーション

○佐藤 惣一郎（武蔵野大学大学院工学研究科）, 高石 武史（武蔵野大学工学部）

D1-3-4   9月14日   14:20～14:40   303講義室   [研究部会 OS] 連続体力学の数理(1)  

◎袖の"かたち"が制御する熱の伝播

○清水 雄貴（富山大学）, 矢崎 成俊（明治大学）

D1-4-1   9月14日   15:00～15:20   303講義室   [研究部会 OS] 連続体力学の数理(2)  

細胞運動における流体構造連成問題の数理

○石本 健太（京都大学）

D1-4-2   9月14日   15:20～15:40   303講義室   [研究部会 OS] 連続体力学の数理(2)  

細胞性粘菌の走気性の観察とモデル化

○船本 健一（東北大学）, 廣瀬 理美（東北大学）, Nasser Ghazi（リヨン第一大学）, Jean-Paul Rieu（リヨン第一大学）

D1-4-3   9月14日   15:40～16:00   303講義室   [研究部会 OS] 連続体力学の数理(2)  

単一測定を用いた非凸境界インターフェースを持つ拡散光トモグラフィーにおけるパラメータ同定問題のための数値形状最適化手法

○ラバゴ ジュリアスファージー（金沢大学）, 野津 裕史（金沢大学）

D1-4-4   9月14日   16:00～16:20   303講義室   [研究部会 OS] 連続体力学の数理(2)  

リザバーコンピューティングのシミュレーショ:数値スキームとハードウェアの最適化

○Thomas de Jong（金沢大学）, 野津 裕史（金沢大学）, 中嶋 浩平（東京大学）

D1-5-1   9月14日   16:40～17:00   303講義室   [研究部会 OS] 連続体力学の数理(3)  

On differential-equation-based-neural-networks on manifolds

○本多 泰理（東洋大学）, Tuan Nguyen（FPT Consulting Japan）, 佐野 崇（東洋大学）, 中村 周吾（東洋大学）

D1-5-2   9月14日   17:00～17:20   303講義室   [研究部会 OS] 連続体力学の数理(3)  

囲い込みニューラルネットワークによる内部包含物の同定と数値実験

○井手 貴範（城西大学）, Samuli Siltanen（ヘルシンキ大学）

D1-5-3   9月14日   17:20～17:40   303講義室   [研究部会 OS] 連続体力学の数理(3)  

◎1次元保存則のためのラグランジュ移動メッシュ法

○Kharisma Putri（金沢大学）, 水落 樹（金沢大学）, Niklas Kolbe（アーヘン工科大学）, 野津 裕史（金沢大学）

D1-5-4   9月14日   17:40～18:00   303講義室   [研究部会 OS] 連続体力学の数理(3)  

◎点を一様に分布させる方法について

○Prapapit Chutimantanon（明治大学大学院理工学研究科）, 矢崎 成俊（明治大学）

第2日　9月15日（日）

D2-1-1   9月15日   9:10～9:30   303講義室   [研究部会 OS] 連続最適化(1)  

L1正則化項を持つ無制約最適化問題に対するニュートン型近接勾配法の上界近似を用いた加速と切り替え規則について

○成島 康史（慶應義塾大学）, 辺 浩（慶應義塾大学）

D2-1-2   9月15日   9:30～9:50   303講義室   [研究部会 OS] 連続最適化(1)  

◎Riemannian generalized conditional gradient methods

○陳 康明（京都大学）, 福田 エレン秀美（京都大学）

D2-1-3   9月15日   9:50～10:10   303講義室   [研究部会 OS] 連続最適化(1)  

◎対称錐上の共正値錐および完全正値錐の面的構造

○西島 光洋（東京工業大学）, ロウレンソ ブルノ（統計数理研究所）

D2-1-4   9月15日   10:10～10:30   303講義室   [研究部会 OS] 連続最適化(1)  

Bottleneck type DEA model reformulation under production trade-offs

○関谷 和之（成蹊大学）, 堀 篤史（成蹊大学）

D2-2-1   9月15日   10:50～11:10   303講義室   [研究部会 OS] 連続最適化(2)  

◎微分不可能な正則化項を含む多目的最適化問題に対する準ニュートン型近接勾配法について

○桑原 寛大（慶應義塾大学）, 成島 康史（慶應義塾大学）

D2-2-2   9月15日   11:10～11:30   303講義室   [研究部会 OS] 連続最適化(2)  

Stiefel多様体上のランダム部分空間法

○Pierre-Louis Poirion（理研革新知能統合研究センター）, Andi Han（理研革新知能統合研究センター）, 武田 朗子（東京大学）

D2-2-3   9月15日   11:30～11:50   303講義室   [研究部会 OS] 連続最適化(2)  

◎ヘッセ行列を含む連続力学系モデルとそれに対応する最適化手法の収束率の改善の試みについて

○田部井 淳志（東京大学）, 田中 健一郎（東京大学）

第3日　9月16日（月・祝）

D3-1-1   9月16日   9:10～9:30   303講義室   [正会員 OS] 界面運動の数理(1)  

フェイズフィールド法による外力項付き平均曲率流方程式の弱解の構成とその応用

○高棹 圭介（京都大学大学院理学研究科）, Katerina Nik（Delft University of Technology）

D3-1-2   9月16日   9:30～9:50   303講義室   [正会員 OS] 界面運動の数理(1)  

非線形修正された等高面方程式の数学解析

○曽我 幸平（慶應義塾大学）, Dieter Bothe（ダルムシュタット工科大学）, Mathis Fricke（ダルムシュタット工科大学）

D3-1-3   9月16日   9:50～10:10   303講義室   [正会員 OS] 界面運動の数理(1)  

◎空間不均一な拡散を持つ非線形Fokker-Planck方程式の自由エネルギーの長時間挙動

○荒木 康太（日本大学大学院理工学研究科）, 水野 将司（日本大学理工学部）

D3-1-4   9月16日   10:10～10:30   303講義室   [正会員 OS] 界面運動の数理(1)  

◎動的境界条件により濾過を表す偏微分方程式モデルの数学的物理的側面について

○古川 賢（富山大学学術研究部理学系）

D3-2-1   9月16日   10:50～11:10   303講義室   [正会員 OS] 界面運動の数理(2)  

４階全変動流方程式の解の挙動について

○黒田 紘敏（北海道大学）, 儀我 美一（東京大学）, Michał Łasica（ポーランド科学アカデミー）

D3-2-2   9月16日   11:10～11:30   303講義室   [正会員 OS] 界面運動の数理(2)  

◎動的境界条件下での1次元Cahn–Hilliard方程式の解の挙動

○香川 渓一郎（北海道大学電子科学研究所）

D3-2-3   9月16日   11:30～11:50   303講義室   [正会員 OS] 界面運動の数理(2)  

結晶成長における不純物効果の数理モデル：ステップ動力学と吸着不純物の相互作用

○三浦 均（名古屋市立大学）, 木村 優大（名古屋市立大学）

D3-2-4   9月16日   11:50～12:10   303講義室   [正会員 OS] 界面運動の数理(2)  

Helfrich型エネルギーの勾配流に対する閾値型近似アルゴリズムについて

○高坂 良史（神戸大学）, 石井 克幸（神戸大学）, 三宅 庸仁（九州大学）, 榊原 航也（金沢大学）

D3-3-1   9月16日   13:20～13:40   303講義室   [正会員 OS] 逆問題および非適切問題の数理解析とその応用(1)  

内部観測による線形弾性波動方程式のラメ係数同定問題に対する数値解法

○代田 健二（愛知県立大学）

D3-3-2   9月16日   13:40～14:00   303講義室   [正会員 OS] 逆問題および非適切問題の数理解析とその応用(1)  

周期構造による散乱透過率のトポロジー感度解析について

○飯盛 浩司（慶應義塾大学）

D3-3-3   9月16日   14:00～14:20   303講義室   [正会員 OS] 逆問題および非適切問題の数理解析とその応用(1)  

◎境界積分方程式に対する随伴変数法と形状導関数の正則性

○松島 慶（東京大学）, 山田 崇恭（東京大学）

D3-3-4   9月16日   14:20～14:40   303講義室   [正会員 OS] 逆問題および非適切問題の数理解析とその応用(1)  

過剰決定系における解の構造とその逆問題への応用

○滝口 孝志（防衛大学校）

D3-4-1   9月16日   15:00～15:20   303講義室   [正会員 OS] 逆問題および非適切問題の数理解析とその応用(2)  

量子アルゴリズムを用いたトモグラフィ理論の再検討

○斎藤 隆泰（群馬大学）, 廣瀬 壮一（東京工業大学）

D3-4-2   9月16日   15:20～15:40   303講義室   [正会員 OS] 逆問題および非適切問題の数理解析とその応用(2)  

波動方程式の逆散乱による超音波物質同定問題の基礎研究

○森岡 悠（愛媛大学）, Steeve Gréaux（愛媛大学）

D3-4-3   9月16日   15:40～16:00   303講義室   [正会員 OS] 逆問題および非適切問題の数理解析とその応用(2)  

境界積分によるドップラートモグラフィの数値計算

○藤原 宏志（京都大学）, David Omogbhe（University of Vienna）, Kamran Sadiq（RICAM）, Alexandru Tamasan（University of Central Florida）

D3-4-4   9月16日   16:00～16:20   303講義室   [正会員 OS] 逆問題および非適切問題の数理解析とその応用(2)  

再生核を用いた脳磁場補外法

○奈良 高明（東京大学大学院）, 大澤 悠一（東京大学大学院）

D3-5-1   9月16日   16:40～17:00   303講義室   [正会員 OS] 逆問題および非適切問題の数理解析とその応用(3)  

異常拡散方程式に対する基本解近似解法におけるConvolution Quadrature Method の適用

○大江 貴司（岡山理科大学）

D3-5-2   9月16日   17:00～17:20   303講義室   [正会員 OS] 逆問題および非適切問題の数理解析とその応用(3)  

波動伝搬に対するself-consistent methodを用いた数値均質化の基礎的検討

○丸山 泰蔵（東京工業大学）, 生子 花（東京工業大学）

D3-5-3   9月16日   17:20～17:40   303講義室   [正会員 OS] 逆問題および非適切問題の数理解析とその応用(3)  

非整数階の移流拡散方程式の非適切逆問題に対する物理的背景

○町田 学（近畿大学）

D3-5-4   9月16日   17:40～18:00   303講義室   [正会員 OS] 逆問題および非適切問題の数理解析とその応用(3)  

強結合の非整数階拡散系の時間逆向き問題について

○劉 逸侃（京都大学）

402講義室

第1日　9月14日（土）

E1-1-1   9月14日   9:10～9:30   402講義室   [正会員 OS] 先進的環境における数値計算と関連HPC技術(1)  

疑似量子アニーリングにおける自動チューニングの適用

○片桐 孝洋（名古屋大学）, 森下 誠（名古屋大学）, 河合 直聡 （名古屋大学）, 星野 哲也（名古屋大学）, 永井 亨（名古屋大学）

E1-1-2   9月14日   9:30～9:50   402講義室   [正会員 OS] 先進的環境における数値計算と関連HPC技術(1)  

◎スーパーコンピュータの運用状況に応じた並列自動チューニング機構の提案

○矢島 雄河（工学院大学）, 藤井 昭宏（工学院大学）, 田中 輝雄（工学院大学）

E1-1-3   9月14日   9:50～10:10   402講義室   [正会員 OS] 先進的環境における数値計算と関連HPC技術(1)  

縦長行列のQR分解に対する様々なアルゴリズムの性能評価

○深谷 猛（北海道大学）

E1-1-4   9月14日   10:10～10:30   402講義室   [正会員 OS] 先進的環境における数値計算と関連HPC技術(1)  

GPUクラスタにおける並列数論変換の実現と評価

○高橋 大介（筑波大学）

E1-2-1   9月14日   10:50～11:10   402講義室   [正会員 OS] 先進的環境における数値計算と関連HPC技術(2)  

誤差ベクトルサンプリングに基づく非対称行列向けSubspace Correction前処理法による複数連立一次方程式の求解高速化

○多森 浩俊（北海道大学）, 深谷 猛（北海道大学）, 岩下 武史（京都大学）

E1-2-2   9月14日   11:10～11:30   402講義室   [正会員 OS] 先進的環境における数値計算と関連HPC技術(2)  

◎複素対称線形方程式に対するCOCR法の精度切り替えについて

○桝井 晃基（大阪大学情報科学研究科）

E1-2-3   9月14日   11:30～11:50   402講義室   [正会員 OS] 先進的環境における数値計算と関連HPC技術(2)  

ICCG法における反復回数と前処理後の係数行列の固有値分布の関係性

○岩下 武史（京都大学）, 深谷 猛（北海道大学）

E1-2-4   9月14日   11:50～12:10   402講義室   [正会員 OS] 先進的環境における数値計算と関連HPC技術(2)  

通信・計算オーバーラップによる並列多重格子法の最適化

○中島 研吾（東京大学）

E1-3-1   9月14日   13:40～14:00   402講義室   [研究部会 OS] 位相的データ解析(1)  

◎ゲーリッツ不変量による結び目データ解析

○松葉 達也（東京工業大学）

E1-3-2   9月14日   14:00～14:20   402講義室   [研究部会 OS] 位相的データ解析(1)  

◎TDAに基づく胚細胞膜画像のセグメンテーションおよびトラッキング技術

○織田 遥向（東京大学）, 市川 尚文（京都大学）, 井元 佑介（京都大学）

E1-3-3   9月14日   14:20～14:40   402講義室   [研究部会 OS] 位相的データ解析(1)  

◎位相的データ解析を用いた力学系の学習過程の評価

○山田 泰輝（東京大学大学院情報理工学系研究科）, 藤原 寛太郎（東京大学大学院情報理工学系研究科）

E1-4-1   9月14日   15:00～15:20   402講義室   [研究部会 OS] 位相的データ解析(2)  

二重周期領域流れの流線トポロジカルデータ解析

○坂上 貴之（京都大学理学研究科）, 横山 知郎（埼玉大学理工学研究科）, 木村 満晃（大阪歯科大学）

E1-4-2   9月14日   15:20～15:40   402講義室   [研究部会 OS] 位相的データ解析(2)  

2次元非圧縮キャビティ流れに対する流線トポロジー解析

○宇田 智紀（富山大学）, 坂上 貴之（京都大学）, 鍛冶 静雄（九州大学）, 松本 剛（京都大学）, 横山 知郎（埼玉大学）

E1-4-3   9月14日   15:40～16:00   402講義室   [研究部会 OS] 位相的データ解析(2)  

◎パーシステンス加群の区間代替

○劉 恩豪（京都大学）, 浅芝 秀人（静岡大学・京都大学・大阪公立大学）, Etienne Gauthier（パリ工科大学）

E1-4-4   9月14日   16:00～16:20   402講義室   [研究部会 OS] 位相的データ解析(2)  

◎完全可換クイバーの区間近似とその応用

○許 晨光（京都大学）, 平岡 裕章（京都大学）, 中島 健（島根大学）, 大林 一平（岡山大学）

E1-5-1   9月14日   16:40～17:00   402講義室   [研究部会 OS] 位相的データ解析(3)  

連結パーシステンス図の高速計算アルゴリズム

○中島 健（島根大学）, 大林 一平（岡山大学）

E1-5-2   9月14日   17:00～17:20   402講義室   [研究部会 OS] 位相的データ解析(3)  

連結パーシステンス図計算ソフトウェアRuCPDの紹介

○大林 一平（岡山大学）, 中島 健（島根大学）

E1-5-3   9月14日   17:20～18:00   402講義室   [研究部会 OS] 位相的データ解析(3)  

総合討論

第2日　9月15日（日）

E2-1-1   9月15日   9:10～9:30   402講義室   [正会員 OS] FreeFEMの開発と利用(1)  

要素非適合境界条件を扱う仮想領域法の安定化手法と不定値行列ソルバー

○鈴木 厚（理化学研究所 計算科学研究センター / 大阪大学サイバーメディアセンター）

E2-1-2   9月15日   9:30～9:50   402講義室   [正会員 OS] FreeFEMの開発と利用(1)  

◎2次元の拡散型Peterlin粘弾性問題に対する線形HDGスキーム

○勾 思邦（京都大学情報学研究科）, Jingyan Hu（電子科技大学）, Qi Wang（電子科技大学）, Guanyu Zhou（電子科技大学）, Feifei Jing（西北工業大学）

E2-1-3   9月15日   9:50～10:10   402講義室   [正会員 OS] FreeFEMの開発と利用(1)  

数値計算：新規圧縮性流体ソルバーの開発

○中澤 嵩（金沢大学学術メディア創成センター）

E2-1-4   9月15日   10:10～10:30   402講義室   [正会員 OS] FreeFEMの開発と利用(1)  

FreeFEMを用いたレベルセット法に基づくトポロジー最適化

○松本 敏郎（名古屋大学）, Yi Cui（名古屋大学）, 高橋 徹（名古屋大学）

E2-2-1   9月15日   10:50～12:10   402講義室   [正会員 OS] FreeFEMの開発と利用(2)  

FreeFEM with PETSc: 簡単で効率的な大規模有限要素シミュレーション

○Pierre Jolivet（CNRS）

第3日　9月16日（月・祝）

E3-1-1   9月16日   9:10～9:30   402講義室   [正会員 OS] 多様な演算手法の高速化と応用(1)  

数学定数に対する2進BBP型公式の計算における除算について

○高橋 大介（筑波大学）

E3-1-2   9月16日   9:30～9:50   402講義室   [正会員 OS] 多様な演算手法の高速化と応用(1)  

Python環境における多倍長精度基本線形計算モジュールの実装と性能評価

○幸谷 智紀（静岡理工科大学）

E3-1-3   9月16日   9:50～10:10   402講義室   [正会員 OS] 多様な演算手法の高速化と応用(1)  

gmpxx mkII.hの紹介:GNU多倍長精度ライブラリのためのC++ラッパーの効率性と使いやすさを向上

○中田 真秀（理化学研究所）, 中里 直人（会津大学コンピュータ理工学部）, 河野 郁也（静岡理工大学）

E3-1-4   9月16日   10:10～10:30   402講義室   [正会員 OS] 多様な演算手法の高速化と応用(1)  

非正規化合成浮動小数点数を用いた計算方法の実装方法について

○今村 俊幸（国立研究開発法人理化学研究所）, 尾崎 克久（芝浦工業大学、理化学研究所）

E3-2-1   9月16日   10:50～11:10   402講義室   [正会員 OS] 多様な演算手法の高速化と応用(2)  

Stratix10 FPGAによる大規模な四倍精度行列乗算の性能評価

○河野 郁也（静岡理工科大学）

E3-2-2   9月16日   11:10～11:50   402講義室   [正会員 OS] 多様な演算手法の高速化と応用(2)  

MN-Coreと開発環境

○坂本 亮（株式会社Preferred Networks）, 野村 昴太郎（株式会社Preferred Networks）

E3-3-1   9月16日   13:20～13:40   402講義室   [研究部会 OS] 離散システム(1)  

◎グラフの平面性とodd chromatic numberについて

○北野 草太（名古屋大学）

E3-3-2   9月16日   13:40～14:00   402講義室   [研究部会 OS] 離散システム(1)  

◎Terminal planar networkの禁止部分グラフによる特徴付け

○宮地 晴希（早稲田大学大学院基幹理工学研究科数学応用数理専攻）, 野口 友暉（早稲田大学基幹理工学部応用数理学科）, 渡邉 慶大（早稲田大学大学院基幹理工学研究科数学応用数理専攻）, 鈴木 尭虎（早稲田大学大学院基幹理工学研究科数学応用数理専攻）, Hexuan Liu（早稲田大学大学院基幹理工学研究科数学応用数理専攻）, Taoyang Wu（University of East Anglia）, 早水 桃子（早稲田大学理工学術院基幹理工学部）

E3-3-3   9月16日   14:00～14:20   402講義室   [研究部会 OS] 離散システム(1)  

Paley RIPとPaley graph extractor

○佐竹 翔平（熊本大学）

E3-3-4   9月16日   14:20～14:40   402講義室   [研究部会 OS] 離散システム(1)  

一般化したトランプにおけるペア数の期待値について

○山本 健（琉球大学）, 梅木 智士（琉球大学）

E3-4-1   9月16日   15:00～15:20   402講義室   [研究部会 OS] 離散システム(2)  

◎Boltzmann Samplerを用いた重み付きカクタスグラフのランダムサンプリング

○鈴木 尭虎（早稲田大学）, 小堤 幹太（早稲田大学）, 早水 桃子（早稲田大学）

E3-4-2   9月16日   15:20～15:40   402講義室   [研究部会 OS] 離散システム(2)  

◎Tree-child networkに向きづけ可能かを効率的に判定できる無向グラフのクラスについて

○前田 隼佑（早稲田大学大学院 基幹理工学研究科 数学応用数理専攻 早水研究室）, 浦田 剛志（早稲田大学大学院 基幹理工学研究科 数学応用数理専攻 早水研究室）, 早水 桃子（早稲田大学 理工学術院 基幹理工学部 応用数理学科）

E3-4-3   9月16日   15:40～16:00   402講義室   [研究部会 OS] 離散システム(2)  

◎無向系統ネットワークの向き付け問題に対する実用的なFPTアルゴリズムの開発

○浦田 剛志（早稲田大学 基幹理工学研究科 数学応用数理専攻）, 横山 慎人（早稲田大学 基幹理工学研究科 数学応用数理専攻）, 早水 桃子（早稲田大学 理工学術院 基幹理工学部）

E3-4-4   9月16日   16:00～16:20   402講義室   [研究部会 OS] 離散システム(2)  

◎距離行列から系統ネットワークを作る NJ-like ヒューリスティックスの開発

○横山 慎人（早稲田大学）, 菊地 祐太（早稲田大学）, 早水 桃子（早稲田大学）

E3-5-1   9月16日   16:40～17:00   402講義室   [研究部会 OS] 離散システム(3)  

形状制約なしAND-OR木に関する均衡値不等式の分離と崩壊

○鈴木 登志雄（東京都立大学）, 伊藤 風輝（都立大（現所属　サーバーワークス））

E3-5-2   9月16日   17:00～17:20   402講義室   [研究部会 OS] 離散システム(3)  

◎三角形フリー２マッチング問題に対する(1-ε)-近似アルゴリズム

○野口 貴志（京都大学）, 小林 佑輔（京都大学）

E3-5-3   9月16日   17:20～17:40   402講義室   [研究部会 OS] 離散システム(3)  

◎マトロイド制約下での劣モジュラ関数最大化に対する高速なアルゴリズム

○寺尾 樹哉（数理解析研究所）, 小林 佑輔（数理解析研究所）

E3-5-4   9月16日   17:40～18:00   402講義室   [研究部会 OS] 離散システム(3)  

ジャイレータを含む回路の微分代数方程式モデルの解析

岩田 覚（東京大学・北海道大学）, ○高松 瑞代（中央大学）

302講義室

第1日　9月14日（土）

F1-1-1   9月14日   9:10～9:30   302講義室   [研究部会 OS] 数理医学  

形と皮膚疾患をつなぐ数理皮膚医学

○李 聖林（京都大学）

F1-1-2   9月14日   9:30～9:50   302講義室   [研究部会 OS] 数理医学  

データ科学・数理科学を活用する機能性分子の設計　再生医療への応用

○Daniel Packwood（京都大学物質-細胞統合システム拠点）

F1-1-3   9月14日   9:50～10:10   302講義室   [研究部会 OS] 数理医学  

放射線と抗がん剤併用医療の多細胞応答数理シミュレーション

○梅垣 俊仁（大阪大学数理・データ科学教育研究センター）, 宮島 拓也（大阪大学）, 森泉 寿士（東京大学医科学研究所）, 武川 睦寛（東京大学医科学研究所）, 鈴木 貴（大阪大学数理・データ科学教育研究センター）

F1-1-4   9月14日   10:10～10:30   302講義室   [研究部会 OS] 数理医学  

シングルセルRNA-Seq解析による家族性大腸腺腫症治療薬の探索

○野島 陽水（大阪大学 数理・データ科学教育研究センター）, 八尾 良司（公益財団法人がん研究会 がん研究所 細胞生物部）, 鈴木 貴（大阪大学 数理・データ科学教育研究センター）

F1-2-1   9月14日   10:50～11:10   302講義室   [一般講演] 数理モデリング  

可能性理論によるアナログ波動方程式簡略型解法の提案

○植村 芳樹（椿岸神社）, 北 研二（（株）MILAI Technologies ）

F1-2-2   9月14日   11:10～11:30   302講義室   [一般講演] 数理モデリング  

参照型の意見形成問題について

○矢野 良輔（東京海上ディーアール株式会社）

F1-2-3   9月14日   11:30～11:50   302講義室   [一般講演] 数理モデリング  

◎成長する領域上でのProneural waveの数理モデリング

○平岡 聡佑（公立はこだて未来大学大学院）, 田中 吉太郎（公立はこだて未来大学）

F1-2-4   9月14日   11:50～12:10   302講義室   [一般講演] 数理モデリング  

条件付ファジィ測度とその応用

○加藤 寛之（嘉悦大学）

F1-3-1   9月14日   13:20～13:40   302講義室   [一般講演] 統計科学  

事後識別不能状態と事前無差別状態を伴う可能性マルコフ連鎖

○植村 芳樹（椿岸神社）, 北 研二（（株）MILAI Technologies ）

F1-3-2   9月14日   13:40～14:00   302講義室   [一般講演] 統計科学  

臨床試験でヒストリカル対照群を使用するための研究デザイン

○西本 博之（大阪産業大学）

F1-3-3   9月14日   14:00～14:20   302講義室   [一般講演] 統計科学  

Bregmanダイバージェンスで捉える一般化線形モデルの幾何

○熊谷 敦也（日本大学）

F1-3-4   9月14日   14:20～14:40   302講義室   [一般講演] 統計科学  

◎複数の高次元小標本データにおけるスパース次元削減手法の検証

○長谷川 弘貴（筑波大学）, 矢田 和善（筑波大学）, 岡田 幸彦（筑波大学）, 國松 淳（筑波大学）

F1-4-1   9月14日   15:00～15:20   302講義室   [一般講演] 数値解析(1)  

ランダムノイズを含むVandermonde行列に関する統計モデルとその一致推定量

○相島 健助（法政大学）

F1-4-2   9月14日   15:20～15:40   302講義室   [一般講演] 数値解析(1)  

◎Taylor 級数法による特異解析と佐藤超関数の応用可能性について

○和田 侑佳（創価大学院理工学研究科情報システム工学専攻）, 瀧 雄也（創価大学院理工学研究科情報システム工学専攻）, 石井 良夫（創価大学理工学部情報システム工学科）

F1-4-3   9月14日   15:40～16:00   302講義室   [一般講演] 数値解析(1)  

◎テイラー級数法と超関数によるヒルベルト変換の考察

○三谷 大河（創価大学大学院理工学研究科情報システム工学専攻石井研究室）, 瀧 雄也（創価大学大学院理工学研究科情報システム工学専攻石井研究室）, 石井 良夫（創価大学大学理工学部情報システム工学科）

F1-4-4   9月14日   16:00～16:20   302講義室   [一般講演] 数値解析(1)  

◎行列の積を係数行列に持つ線形方程式ABx＝bに対するクリロフ部分空間法の適用について

○徐 芷萱（名古屋大学工学研究科応用物理学専攻）, 曽我部 知広（名古屋大学工学研究科応用物理学専攻）, 剱持 智哉（名古屋大学工学研究科応用物理学専攻）, 張 紹良（名古屋大学工学研究科応用物理学専攻）

F1-5-1   9月14日   16:40～17:00   302講義室   [一般講演] 数値解析(2)  

◎ガウス過程回帰とモンテカルロ法を用いた偏微分方程式の数値計算

○井上 大輔（株式会社豊田中央研究所）, 伊藤 優司（株式会社豊田中央研究所）, 柏原 崇人（東京大学大学院数理科学研究科）, 齊藤 宣一（東京大学大学院数理科学研究科）, 吉田 広顕（株式会社豊田中央研究所）

F1-5-2   9月14日   17:00～17:20   302講義室   [一般講演] 数値解析(2)  

非有界領域問題に対する高速数値解法

○繁田 岳美（昭和薬科大学）

F1-5-3   9月14日   17:20～17:40   302講義室   [一般講演] 数値解析(2)  

◎局所的な結合項を持つ平均場ゲーム方程式に対する一般化された条件付き勾配法について

○中村 遥河（東京大学）, 齊藤 宣一（東京大学）

F1-5-4   9月14日   17:40～18:00   302講義室   [一般講演] 数値解析(2)  

ある固有ベクトルの表現法を用いた有界領域上の 固有値問題の数値解析

○笠井 博則（福島大学）

第2日　9月15日（日）

F2-1-1   9月15日   9:10～9:30   302講義室   [一般講演] 応用数理一般  

◎周期境界パーシステントホモロジーと時系列データ物体検出

○織田 遥向（東京大学）

F2-1-2   9月15日   9:30～9:50   302講義室   [一般講演] 応用数理一般  

◎最適化手法を用いた海洋生態系モデルパラメータの同定

○鈴木 彩（日本電信電話株式会社　宇宙環境エネルギー研究所）, 小林 高士（日本電信電話株式会社　宇宙環境エネルギー研究所）, 久田 正樹（日本電信電話株式会社　宇宙環境エネルギー研究所）, 米倉 一男（東京大学大学院 工学系研究科 システム創成学専攻）

F2-1-3   9月15日   9:50～10:10   302講義室   [一般講演] 応用数理一般  

有限フレネル変換による最適直交帯域制限関数

○青柳 智裕（東洋大学）, 大坪 紘一（東洋大学）

F2-1-4   9月15日   10:10～10:30   302講義室   [一般講演] 応用数理一般  

Lackadaisical quantum walkを用いたlong edgesを持った2次元格子における頂点探索

○渡邉 聡（株式会社KDDI総合研究所）, Pulak Giri（株式会社KDDI総合研究所）

F2-2-1   9月15日   10:50～11:30   302講義室   [研究部会 OS] 若手の会  

高次元（2次元）力学系と応用数理

○荒井 迅（東京工業大学）

F2-2-2   9月15日   11:30～12:10   302講義室   [研究部会 OS] 若手の会  

◎代数方程式系と線形偏微分方程式系

○松原 宰栄（熊本大学）

第3日　9月16日（月・祝）

F3-1-1   9月16日   9:10～9:30   302講義室   [研究部会 OS] 数理設計(1)  

低Re数境界層における乱流伝熱促進のための形状最適化

○亀谷 幸憲（明治大学）

F3-1-2   9月16日   9:30～9:50   302講義室   [研究部会 OS] 数理設計(1)  

流体構造連成を考慮した粘性流れ場における流速制御のための形状設計

○片峯 英次（岐阜工業高等専門学校）, 水谷 航大（三重大学）, 長谷川 滉駿（岐阜工業高等専門学校）

F3-1-3   9月16日   9:50～10:10   302講義室   [研究部会 OS] 数理設計(1)  

◎修正最適性基準法を用いた密度型トポロジー最適化による多目的最適化問題に対する最適設計

○岸田 真幸（岐阜工業高等専門学校）, 倉橋 貴彦（長岡技術科学大学）

F3-1-4   9月16日   10:10～10:30   302講義室   [研究部会 OS] 数理設計(1)  

材料定数同定問題における側面制約処理に関する研究

○竹内 謙善（香川大学）, 福原 颯（香川大学）, 平手 利昌（東芝産業機器システム（株））

F3-2-1   9月16日   10:50～11:10   302講義室   [研究部会 OS] 数理設計(2)  

◎トラスのコンプライアンスに対する分布的ロバストCVaR制約付き期待値最小化問題の定式化

○藤山 拓巳（東京大学）, 寒野 善博（東京大学）

F3-2-2   9月16日   11:10～11:30   302講義室   [研究部会 OS] 数理設計(2)  

◎トポロジー最適化における不連続・非有界な一般化固有値関数に対する近似関数の構成

○西岡 暁（東京大学）, 寒野 善博（東京大学）

F3-2-3   9月16日   11:30～11:50   302講義室   [研究部会 OS] 数理設計(2)  

弾性波動方程式逆問題解析高速化のための順問題に対する直接的数値解法

○代田 健二（愛知県立大学）

F3-2-4   9月16日   11:50～12:10   302講義室   [研究部会 OS] 数理設計(2)  

数理・計算モデル：新規圧縮性流体ソルバーの開発

○中澤 嵩（金沢大学学術メディア創成センター）

F3-3-1   9月16日   13:20～13:40   302講義室   [研究部会 OS] 数理ファイナンス(1)  

制約付最適リスクシェア問題 - 二重バリア付後退確率微分方程式の応用

○林 匡史（三菱UFJ信託銀行株式会社）

F3-3-2   9月16日   13:40～14:00   302講義室   [研究部会 OS] 数理ファイナンス(1)  

◎離散時間最大値に依存する金融商品のデルタの計算

○澤原 水月（芝浦工業大学）, 中津 智則（芝浦工業大学）

F3-3-3   9月16日   14:00～14:20   302講義室   [研究部会 OS] 数理ファイナンス(1)  

わが国の発電事業者の卸電力取引の数理モデル

○遠藤 操（一般財団法人 電力中央研究所）

F3-3-4   9月16日   14:20～14:40   302講義室   [研究部会 OS] 数理ファイナンス(1)  

バブルモデルにおけるオプション価格の数値的解法

○都築 幸宏（信州大学経法学部）

F3-4-1   9月16日   15:00～15:20   302講義室   [研究部会 OS] 数理ファイナンス(2)  

COVID-19の感染症流行に対する保険の設計について－Cramér-Lundbergモデルの適用

○石村 直之（中央大学）, 高岡 浩一郎（中央大学）, Andres Mauricio Molina Barreto（慶応大学）

F3-4-2   9月16日   15:20～15:40   302講義室   [研究部会 OS] 数理ファイナンス(2)  

株式の持ち合い解消がクレジットリスクに与える影響について

○金子 拓也（国際基督教大学）

F3-4-3   9月16日   15:40～16:00   302講義室   [研究部会 OS] 数理ファイナンス(2)  

時間非整合的な最適消費投資問題における二つの均衡の同値性について

○重田 雄樹（東京経済大学経済学部）

F3-4-4   9月16日   16:00～16:20   302講義室   [研究部会 OS] 数理ファイナンス(2)  

◎ランダムウォークや相関付きランダムウォークにもとづく時系列解析

○小山 翔平（立命館大学）, 今野 紀雄（立命館大学）

F3-5-1   9月16日   16:40～17:00   302講義室   [研究部会 OS] 数理ファイナンス(3)  

アルキメデス・コピュラに基づく多変量CVaRについて

○Andres Mauricio Molina Barreto（慶応義塾大学経済学部）

F3-5-2   9月16日   17:00～17:20   302講義室   [研究部会 OS] 数理ファイナンス(3)  

◎Sig-Wasserstein GANを利用した資産価格過程のシミュレーション

○白井 佑介（立命館大学）

F3-5-3   9月16日   17:20～17:40   302講義室   [研究部会 OS] 数理ファイナンス(3)  

◎Ross Recovery の無限次元的拡張としての熱核法

○西川 翔（立命館大学）

F3-5-4   9月16日   17:40～18:00   302講義室   [研究部会 OS] 数理ファイナンス(3)  

混合LSTMニューラルネットワークを用いた日経225の予測

○安田 和弘（法政大学理工学部）, Yanbo Yang（法政大学大学院総合理工学インスティテュート）

207講義室

第1日　9月14日（土）

G1-2-1   9月14日   10:50～11:10   207講義室   [一般講演] 離散数学  

◎磁壁に閉じ込められたスキルミオン格子

○甘利 悠貴（慶應義塾大学）, 新田 宗土（慶應義塾大学）

G1-2-2   9月14日   11:10～11:30   207講義室   [一般講演] 離散数学  

◎一般化したファジーエレメンタリセルオートマトンによるパターン形成

○清水 清隆（武蔵野大学工学研究科数理工学専攻）, 時弘 哲治（武蔵野大学工学研究科数理工学専攻）

G1-2-3   9月14日   11:30～11:50   207講義室   [一般講演] 離散数学  

◎2のべき乗を位数とする有限体上の可積分系

○荒岡 葵（武蔵野大学工学研究科）, 時弘 哲治（武蔵野大学工学研究科）

G1-2-4   9月14日   11:50～12:10   207講義室   [一般講演] 離散数学  

◎群集を表現する数理モデルとしての5近傍セルオートマトンについて

○岡本 和也（早稲田大学大学院）, 高橋 大輔（早稲田大学）, Francesco Zanlungo（大阪国際工科専門職大学）, 辻本 諭（京都大学）

G1-3-1   9月14日   13:20～13:40   207講義室   [一般講演] 機械学習  

拡散モデルの収束について

○中野 張（東京工業大学）

G1-3-2   9月14日   13:40～14:00   207講義室   [一般講演] 機械学習  

Takens埋め込みと位相的データ解析を用いた文章埋め込みベクトル解析手法

○佐藤 哲（パーソルキャリア株式会社）

G1-3-3   9月14日   14:00～14:20   207講義室   [一般講演] 機械学習  

強化学習におけるSARSA・Q学習を組み合わせた簡便なハイブリッドアルゴリズム

○石渡 哲哉（芝浦工業大学）, 河西 航也（日本総合研究所）

G1-3-4   9月14日   14:20～14:40   207講義室   [一般講演] 機械学習  

◎ラグランジュ・ディラック系を規範としたニューラルネットワークとホロノミック拘束系への応用

○奥脇 健心（早稲田大学 大学院）, 吉村 浩明（早稲田大学）

G1-4-1   9月14日   15:00～15:20   207講義室   [一般講演] 力学系(1)  

位相変位カオス同期

○大矢 長門（京都大学）, 梅野 健（応用数理物理学）

G1-4-2   9月14日   15:20～15:40   207講義室   [一般講演] 力学系(1)  

◎重力相互作用モデルの1次元リング構造における多様な解について

○小池 元（東京工業大学情報理工学院）, 高安 秀樹（東京工業大学情報理工学院）, 高安 美佐子（東京工業大学情報理工学院）

G1-4-3   9月14日   15:40～16:00   207講義室   [一般講演] 力学系(1)  

◎電極触媒の劣化速度に関する力学系モデルの構築

○大岡 英史（理研CSRS）, Marie Wintzer（理研CSRS）, 小松 弘和（豊田高専）, 須田 智晴（理研CSRS）, 足立 精宏（理研CEMS）, 李 愛龍（理研CSRS）, 孔 爽（理研CSRS）, 橋爪 大輔（理研CEMS）, 望月 敦史（京大ウィルス研）, 中村 龍平（理研CSRS）

G1-4-4   9月14日   16:00～16:20   207講義室   [一般講演] 力学系(1)  

◎力学系と時系列データの圏について

○須田 智晴（東京理科大学）

G1-5-1   9月14日   16:40～17:00   207講義室   [一般講演] 力学系(2)  

制御入力付き学習モデルにおける力学構造の越分岐予測について

○山口 明宏（福岡工業大学 情報システム工学科）, 田所 智（北海道大学 数理・データサイエンス教育研究センター）, 行木 孝夫（北海道大学大学院 理学研究院数学部門）, 津田 一郎（札幌市立大学 AITセンター）

G1-5-2   9月14日   17:00～17:20   207講義室   [一般講演] 力学系(2)  

◎化学反応ネットワークにおける構造分岐解析の一般化

○黄 雍晋（京都大学大学院理学研究科）, 岡田 崇（京都大学医生物学研究所）, 望月 敦史（京都大学医生物学研究所）

G1-5-3   9月14日   17:20～17:40   207講義室   [一般講演] 力学系(2)  

順列エントロピーによるてんかん発作の特徴づけ

○行木 孝夫（北海道大学大学院理学研究院数学部門）, 田所 智（北海道大学数理・データサイエンス教育研究センター）, 岸本 勇太（北海道大学大学院理学院数学専攻）, 梶川 駿介（京都大学大学院医学研究科臨床神経学）, 松橋 眞生（京都大学大学院医学研究科てんかん・運動異常生理学講座）, 池田 昭夫（京都大学大学院医学研究科てんかん・運動異常生理学講座）, 津田 一郎（札幌市立大学）

G1-5-4   9月14日   17:40～18:00   207講義室   [一般講演] 力学系(2)  

◎楕円の場合の一対一の追跡と逃避

○吉原 爽太（名古屋大学大学院多元数理科学研究科）

第2日　9月15日（日）

G2-1-1   9月15日   9:30～9:50   207講義室   [研究部会 OS] 非線形問題の数値解法と可視化技術(1)  

◎冠動脈バイパス術の血流解析における循環モデルの有効性の検証

○高野 祥汰（立命館大学大学院）, 神谷 賢一（滋賀医科大学）, 仲田 晋（立命館大学）

G2-1-2   9月15日   9:50～10:10   207講義室   [研究部会 OS] 非線形問題の数値解法と可視化技術(1)  

クラックなしHTS薄膜の遮蔽電流解析に現れる連立一次方程式の高速解法：修正ICCGH法の性能評価

○齋藤 歩（山形大学）

G2-1-3   9月15日   10:10～10:30   207講義室   [研究部会 OS] 非線形問題の数値解法と可視化技術(1)  

超伝導リニア加速システムの電磁石形状最適化

○高山 彰優（山形大学）, 神谷 淳（山形大学）, 齋藤 歩（山形大学）

G2-2-1   9月15日   10:50～11:10   207講義室   [研究部会 OS] 非線形問題の数値解法と可視化技術(2)  

並列計算環境における鞍点型連立一次方程式に対する反復改良付き階層並列型解法の性能評価

○多田野 寛人（筑波大学）

G2-2-2   9月15日   11:10～11:30   207講義室   [研究部会 OS] 非線形問題の数値解法と可視化技術(2)  

可変的前処理付きKrylov部分空間解法と変数低減法の並列化効率

○生野 壮一郎（東京工科大学）, 佐藤 佑哉（東京工科大学）, 神谷 淳（山形大学）

G2-2-3   9月15日   11:30～11:50   207講義室   [研究部会 OS] 非線形問題の数値解法と可視化技術(2)  

非対称EFG型鞍点問題に対する高性能ソルバーの一般化

○神谷 淳（山形大学）, 高山 彰優（山形大学）

第3日　9月16日（月・祝）

G3-1-1   9月16日   9:10～9:30   207講義室   [正会員 OS] かたちの数理とその応用(1)  

「かたち」のフェノーム解析

○野下 浩司（九州大学）

G3-1-2   9月16日   9:30～9:50   207講義室   [正会員 OS] かたちの数理とその応用(1)  

◎深層学習による生物形態定量解析手法の開発

○堤 真人（広島大学・統合生命科学研究科）, 斉藤 稔（広島大学・統合生命科学研究科）, 古澤 力（東京大学・理学研究科）

G3-1-3   9月16日   9:50～10:10   207講義室   [正会員 OS] かたちの数理とその応用(1)  

◎Sinkhorn MDSによる形状汎関数の可視化

○岡本 潤（京都大学）, 谷地村 敏明（東北大学）, Lorenzo Cavallina（東北大学）

G3-1-4   9月16日   10:10～10:30   207講義室   [正会員 OS] かたちの数理とその応用(1)  

◎コンパクト曲面間の弱い比較について

○古賀 一基（東京工業大学）

G3-2-1   9月16日   10:50～11:10   207講義室   [正会員 OS] かたちの数理とその応用(2)  

◎正則化を伴う形状流の局所適切性

○Lorenzo Cavallina（東北大学）

G3-2-2   9月16日   11:10～11:30   207講義室   [正会員 OS] かたちの数理とその応用(2)  

◎結び目のエネルギーとその形状導関数の数値計算について

○松島 慶（東京大学大学院工学系研究科）, 山田 崇恭（東京大学大学院工学系研究科）

G3-2-3   9月16日   11:30～11:50   207講義室   [正会員 OS] かたちの数理とその応用(2)  

一般化二重層ポテンシャルの高速算法とその応用

○飯盛 浩司（慶應義塾大学）

G3-2-4   9月16日   11:50～12:10   207講義室   [正会員 OS] かたちの数理とその応用(2)  

かたちの交叉に着目した進化的トポロジー最適化

○矢地 謙太郎（大阪大学）

G3-3-1   9月16日   13:20～13:40   207講義室   [正会員 OS] 機械学習の数理(1)  

偏った時系列データを用いた機械学習による時間発展モデリング

○中井 拳吾（岡山大学 学術研究院 環境生命自然科学学域）, 齊木 吉隆（一橋大学大学院 経営管理研究科経営管理専攻）

G3-3-2   9月16日   13:40～14:00   207講義室   [正会員 OS] 機械学習の数理(1)  

Belousov Zhabotinsky反応を用いたリザバー計算の数理モデリング

○田中 吉太郎（公立はこだて未来大学）, 江藤 亘啓（公立はこだて未来大学）, 香取 勇一（公立はこだて未来大学）, 櫻沢 繁（公立はこだて未来大学）, 高木 清二（公立はこだて未来大学）, 豊田 和人（公立はこだて未来大学）

G3-3-3   9月16日   14:00～14:20   207講義室   [正会員 OS] 機械学習の数理(1)  

Littlewood-Paley分解の数学理論に立脚したリザバーコンピューティングの実装

○米田 剛（一橋大学）, 神野 拓哉（富山大学）, 三ツ井 孝仁（順天堂大学）, 中井 拳吾（岡山大学）, 齊木 吉隆（一橋大学）

G3-3-4   9月16日   14:20～14:40   207講義室   [正会員 OS] 機械学習の数理(1)  

因子分析の数理と応用

○廣瀬 慧（九州大学マス・フォア・インダストリ研究所）

G3-4-1   9月16日   15:00～15:20   207講義室   [正会員 OS] 機械学習の数理(2)  

◎ReLU DNNのパラメータの二値化と表現能力

○長瀬 准平（電気通信大学）

G3-4-2   9月16日   15:20～15:40   207講義室   [正会員 OS] 機械学習の数理(2)  

同時群同変モデルの統一的かつ構成的な普遍近似定理

○園田 翔（理化学研究所）, 橋本 悠香（日本電信電話株式会社, 理化学研究所）, 石川 勲（愛媛大学, 理化学研究所）, 池田 正弘（理化学研究所）

G3-4-3   9月16日   15:40～16:00   207講義室   [正会員 OS] 機械学習の数理(2)  

ファッションの解釈性向上のための機械学習モデルの検討

○斎藤 侑輝（ZOZO Research）

G3-4-4   9月16日   16:00～16:20   207講義室   [正会員 OS] 機械学習の数理(2)  

グルメサービスRetty の推薦システム開発プロジェクトの事例紹介

○岩永 二郎（株式会社エルデシュ）

G3-5-1   9月16日   16:40～17:00   207講義室   [正会員 OS] 機械学習の数理(3)  

◎条件付き生成のための拡張フローマッチング

○磯部 伸（東京大学大学院数理科学研究科）

G3-5-2   9月16日   17:00～17:20   207講義室   [正会員 OS] 機械学習の数理(3)  

◎混合最適輸送理論とその応用

○谷地村 敏明（東北大学数理科学共創社会センター）

G3-5-3   9月16日   17:20～17:40   207講義室   [正会員 OS] 機械学習の数理(3)  

◎正則化最適輸送問題におけるスケーリングの影響

○榊原 航也（金沢大学）, 高津 飛鳥（東京都立大学）, 保國 惠一（筑波大学）

G3-5-4   9月16日   17:40～18:00   207講義室   [正会員 OS] 機械学習の数理(3)  

包除積分ニューラルネットワークへの単調正則化項の導入

○本田 あおい（九州工業大学）, 穴井 日菜（九州工業大学）, Simon James（Deakin University）

百周年記念ホール

第2日　9月15日（日）

CS   9月15日   14:30～15:10   百周年記念ホール   会⻑挨拶・表彰式  

会⻑挨拶・表彰式

速水 謙（日本応用数理学会・会長）

GL01   9月15日   15:10～16:10   百周年記念ホール   総合講演(1)  

量子コンピューターの現状と今後の展望

○渡辺 日出雄（慶應義塾大学）

GL02   9月15日   16:20～17:20   百周年記念ホール   総合講演(2)  

数理モデルがもたらす新たな世界観

○西浦 廉政（北海道大学）

国際交流ホール

第2日　9月15日（日）

P01   9月15日   13:00～14:20   国際交流ホール   ポスターセッション  

糖尿病網膜症治療薬としてメマンチンの効果に関する計算論的アプローチ研究

○柴田 恭子（福島県立医科大学）, 安達 隆（福島県立医科大学）

P02   9月15日   13:00～14:20   国際交流ホール   ポスターセッション  

☆単射及び全単射なニューラル作用素の万能近似性

○古屋 貴士（島根大学　数理・データサイエンス教育研究センター）

P03   9月15日   13:00～14:20   国際交流ホール   ポスターセッション  

☆脳神経細胞の発火モデルによる同期シミュレーション

○桑野 亘（同志社大学）, 伊藤 利明（同志社大学）

P04   9月15日   13:00～14:20   国際交流ホール   ポスターセッション  

☆一般疎行列系連立1次方程式に対する精度保証付き数値計算

○寺尾 剛史（九州大学）, 尾崎 克久（芝浦工業大学）

P05   9月15日   13:00～14:20   国際交流ホール   ポスターセッション  

☆最適輸送理論を応用したカオス的遍歴のクラスター解析

○和田 康司（北海道大学大学院理学院数学専攻）, 行木 孝夫（北海道大学大学院理学研究院数学部門）

P06   9月15日   13:00～14:20   国際交流ホール   ポスターセッション  

☆最適輸送に対するブロック座標降下ネットワークシンプレックス法

○李 凌叡（京都大学情報学研究科数理工学専攻最適化数理研究室）

P07   9月15日   13:00～14:20   国際交流ホール   ポスターセッション  

錯視が紐解く，スケールの観測性

○西本 博之（大阪産業大学）

P08   9月15日   13:00～14:20   国際交流ホール   ポスターセッション  

☆粒子間の衝突を考慮した一方向多粒子量子ウォークの検討

○山下 素数（京都大学）, 小島 諒介（京都大学）, 辻本 諭（京都大学）

P09   9月15日   13:00～14:20   国際交流ホール   ポスターセッション  

☆面光源の照射角に伴う立体影の幾何的形状と面積の変化に関する可視化手法の開発

○澤 拓郎（豊田工業高等専門学校）, 小松 弘和（近畿大学工学部）

P10   9月15日   13:00～14:20   国際交流ホール   ポスターセッション  

Constantin-Lax-Majda 方程式の多次元化とその応用

○大木谷 耕司（京都大学 数理解析研究所）

P11   9月15日   13:00～14:20   国際交流ホール   ポスターセッション  

☆Gerber-Shiuライクなペナルティ関数最小化による投資及び再保険戦略

○大槻 優太（中央大学）, 柳下 翔太郎（統計数理研究所）

P12   9月15日   13:00～14:20   国際交流ホール   ポスターセッション  

ポリマー微粒子内の相分離構造に関する数値的・数理的解析

○寺本 敬（京都女子大学）

P13   9月15日   13:00～14:20   国際交流ホール   ポスターセッション  

☆連続最適化問題に対する線形多段法の安定性解析

○楊 家宝（武蔵野大学）, 佐々木 多希子（武蔵野大学）

P14   9月15日   13:00～14:20   国際交流ホール   ポスターセッション  

☆ネットワーク上のワクチン接種効果を考慮した2株感染症モデルの大域的漸近安定性

○齋藤 倫太郎（東京理科大学大学院）, 江夏 洋一（東京理科大学）, 石渡 恵美子（東京理科大学）

P15   9月15日   13:00～14:20   国際交流ホール   ポスターセッション  

☆染色体立体構造の記述子とその数理的解釈

○遠藤 海人（京都大学）, 辻村 太郎（京都大学）, 長野 眞大（Massachusetts Institute of Technology）, 𠮷田 悠一（国立情報学研究所）, 井元 佑介（京都大学）

P16   9月15日   13:00～14:20   国際交流ホール   ポスターセッション  

Honest行列のMax-Plus代数上のべき乗計算解析

○押田 陽平（トランスコスモス株式会社）

P17   9月15日   13:00～14:20   国際交流ホール   ポスターセッション  

☆制約条件付き凸計画問題の解に対する成分毎精度保証付き数値計算法

○川崎 真緒（佐賀大学）, 小林 領（帝京平成大学）, 木村 拓馬（佐賀大学）, 大石 進一（早稲田大学）

P18   9月15日   13:00～14:20   国際交流ホール   ポスターセッション  

曲面特徴量に基づく船体曲がり外板加工時間の分析

○藤本 修平（国立研究開発法人　海上・港湾・航空技術研究所　海上技術安全研究所）, 谷口 智之（国立研究開発法人　海上・港湾・航空技術研究所　海上技術安全研究所）

P19   9月15日   13:00～14:20   国際交流ホール   ポスターセッション  

☆パレート解集合上の最適化に対する重み付きミニマックス法を用いた2段階勾配法

○北爪 裕美（成蹊大学大学院理工学研究科）, 奥野 貴之（成蹊大学）

P20   9月15日   13:00～14:20   国際交流ホール   ポスターセッション  

都道府県別の店舗の立地とその数理モデル ―美容室を例として―

○土屋 拓也（明治学院大学）, 土屋 敬亮（明治学院大学）, 中山 健（明治学院大学）

P21   9月15日   13:00～14:20   国際交流ホール   ポスターセッション  

☆コレスキーQR分解のFPGAへの実装

○田代 凜音（秋田県立大学システム科学技術研究科）, 中村 真輔（秋田県立大学）, 廣田 千明（秋田県立大学）

P22   9月15日   13:00～14:20   国際交流ホール   ポスターセッション  

☆Gromov-Wasserstein最適輸送理論を用いたオミクスデータ種差解析

○德田 有矢（京都大学）, 藤原 浩平（京都大学）, 中村 友紀（京都大学）, 斎藤 通紀（京都大学）, 井元 佑介（京都大学）, 平岡 裕章（京都大学）

P23   9月15日   13:00～14:20   国際交流ホール   ポスターセッション  

オートエンコーダーを用いた螺旋上のデータの学習とその評価

○服部 翔太（茨城大学理工学研究科理学専攻）, 渡邊 辰矢（茨城大学基礎自然学野理学専攻）

P24   9月15日   13:00～14:20   国際交流ホール   ポスターセッション  

☆画像解析ツールとしてのTDA

○織田 遥向（東京大学）

P25   9月15日   13:00～14:20   国際交流ホール   ポスターセッション  

☆東京都の熱中症患者数の1日先予測モデルの精度比較とモデルの解釈

○橋浦 亮太（明治大学）, 大森 淳寬（明治大学）, 中野 直人（明治大学）

P26   9月15日   13:00～14:20   国際交流ホール   ポスターセッション  

ワクチン由来の免疫と再感染を考慮した感染症流行モデルにおける後退分岐

○國谷 紀良（神戸大学）

P27   9月15日   13:00～14:20   国際交流ホール   ポスターセッション  

☆東京都の熱中症搬送者数の予測統合モデルの解析とその動的な解釈

○大森 淳寛（明治大学）, 橋浦 亮太（明治大学）, 中野 直人（明治大学）

P28   9月15日   13:00～14:20   国際交流ホール   ポスターセッション  

高次元粒子法のデータ解析への応用に向けて

○井元 佑介（京都大学）

P29   9月15日   13:00～14:20   国際交流ホール   ポスターセッション  

☆周期軌道からの分岐現象のデータ駆動予測に向けたアプローチ

○西出 千晶（大阪大学）

P30   9月15日   13:00～14:20   国際交流ホール   ポスターセッション  

☆楕円型2次元戸田格子方程式のmulti-lump解の構成

○長沼 僚祐（早稲田大学大学院基幹理工学研究科）, 田中 悠太（早稲田大学大学院基幹理工学研究科）, 丸野 健一（早稲田大学理工学術院 ）

P31   9月15日   13:00～14:20   国際交流ホール   ポスターセッション  

☆3階再帰方程式の探索と高階再帰方程式への拡張

○岩田 えりな（早稲田大学大学院基幹理工学研究科）, 長沼 僚祐（早稲田大学大学院基幹理工学研究科）, 松岡 宏（早稲田大学大学院基幹理工学研究科）, 中田 健太（早稲田大学大学院基幹理工学研究科）, 田中 悠太（早稲田大学大学院基幹理工学研究科）, 丸野 健一（早稲田大学理工学術院​）

P32   9月15日   13:00～14:20   国際交流ホール   ポスターセッション  

☆ブレークを含む離散可展面の形状モデリングのためのruling制御

○堀内 宏輔（筑波大学大学院）, 三谷 純（筑波大学大学院）

P33   9月15日   13:00～14:20   国際交流ホール   ポスターセッション  

立体的な数独パズルのゼロ知識証明

○足立 智子（静岡理工科大学）