□ 総合講演 □ 微分方程式・微分計算 □ 応用数理若手の会○ 登壇者

9 月 14 日 Ａ会場☆「若手優秀講演賞」審査対象 ※ 時間の記載がない講演は 2 0 分（  講演 15 分 ＋ 質疑応答 5 分 ）≪   明徳館  2  F M21 教室  ≫

13：00 〜 14：00 総合講演
データ分析の挑戦 ー 源氏物語，浮世絵を中心に ー村上 征勝（ 同志社大学 ）･･････････････【14p-A-1】

9 月 14 日 Ｂ会場◇◇◇◇◇

14：10 〜 15：30 一般講演 ／ 微分方程式・微分計算（1）    ◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇････････････････

5  ･･････････････････････

7

陰的ルンゲークッタ法の実装化○ 大野 博（ 茨城大学 ）････････････････････････････････････････････

9

実効次数公式の精度と安定性○ 大野 博（ 茨城大学 ）･･････････････････････････････････････････････

11

量子力学の中心力場問題と原子構造の高精度数値計算法・再訪○ 石川 英明【14p-B3-2】

Taylor 展開法による常微分方程式の高次解法の性能評価○ 平山 弘（ 神奈川工科大学 ）【14p-B3-3】【14p-B3-4】

15：40 〜 16：40 一般講演 ／ 微分方程式・微分計算（2）    ◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇
････

13

････････････

15

Camassa-Holm 方程式に対する構造保存解法 ････････････････････････････････
竹谷 賢（ 大阪大学 ），○ 降旗 大介（ 大阪大学 ）17【14p-B4-1】

伊藤型確率微分方程式に対して大きな安定領域をもつ陽的ルンゲ・クッタ法○ 小守 良雄（ 九州工業大学 ），Kevin Burrage（ オックスフォード大学 ）【14p-B4-2】

Symplectic Runge-Kutta (-Nyström) 法を用いた長時間積分におけるHamiltonian の誤差とその低減法○ 小澤 一文（ 秋田県立大学 ）【14p-B4-3】

9 月 14 日 Ｃ会場
◇◇◇◇◇

1

≪  至誠館  B 1  F S  地  3  教室  ≫【14p-B3-1】◇◇◇◇◇

講演プログラム（ 1 日目）≪  至誠館  1  F S 2 教室  ≫   9：00 〜 10：20 研究部会 OS   ／ 応用数理若手の会（1）◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇【14a-C1-1】 ☆ 確率と計算 ･･････････････････････････････････････････････････････････････○ 来嶋 秀治（ 九州大学 ）19【14a-C1-2】 ☆ MapReduce の数理最適化 ･････････････････････････････････････････････････○ 中台 慎二（ N E C サービスプラットフォーム研究所 ）21･････････････

23････････････････

25【14a-C1-3】

液体の積分方程式理論（ 3D-RISM 理論 ）の解法と GPU による高速化○ 丸山 豊（ 分子科学研究所 ）【14a-C1-4】 ☆ 現場観測とシミュレーション研究による地震・津波現象の解析○ 中村 武史（ 海洋研究開発機構 ）◇◇◇◇◇10：30 〜 11：50 研究部会 OS   ／ 応用数理若手の会（2）◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇･･････････････････････

27･･････

29【14a-C2-3】 ☆ 高位プログラム変換を利用した自動チューニングによる並列Ｃコード生成 ･･････○ 城田 祐介（ 東芝 ），瀬川 淳一（ 東芝 ），樽家 昌也（ 東芝 ），金井 達徳（ 東芝 ）31

【14a-C2-1】 ☆ 大規模計算処理環境を支えるシステムソフトウェア技術○ 山田 浩史（  慶應義塾大学 ，J S T / C R E S T  ）
【14a-C2-2】

オープンシステムディペンダビリティを支援する検知技術の実現に向けて○ 菅谷 みどり（ 横浜国立大学 ）【14a-C2-4】 ☆ サイト利用者の試用実施有無情報を利用したヘルプデスク
日次問合せ数の予測モデルの提案  ････････････････････ 33○ 塩野谷 友隆（ 日立製作所 ），中村 友洋（ 日立製作所 ），田代 大輔（ 日立製作所 ）講演プログラム（ 1 日目）○ 登壇者□ ウェーブレット □ メッシュ生成・C A E☆「若手優秀講演賞」審査対象 ※ 時間の記載がない講演は 2 0 分（  講演 15 分 ＋ 質疑応答 5 分 ）◇◇◇◇◇14：10 〜 15：30 研究部会 OS   ／ ウェーブレット（1）    ◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇【14p-C3-1】☆ 画像分離問題に適したエッジ抽出法の検討 ･･････････････････････････････････○ 片岡 秀輔（ 大阪教育大学 ），芦野 隆一（ 大阪教育大学 ），守本 晃（ 大阪教育大学 ），萬代 武史（ 大阪電気通信大学 ）35【14p-C3-2】

連続マルチウェーブレット変換について ････････････････････････････････････○ 萬代 武史（ 大阪電気通信大学 ），芦野 隆一（ 大阪教育大学 ），守本 晃（ 大阪教育大学 ）37【14p-C3-3】［ 特別講演 ( 40 分 ) ］連続マルチウェーブレット変換と画像分離について○ 守本 晃（ 大阪教育大学 ），芦野 隆一（ 大阪教育大学 ），片岡 秀輔（ 大阪教育大学 ），萬代 武史（ 大阪電気通信大学 ）･････････

39

◇◇◇◇◇

15：40 〜 17：00 研究部会 OS   ／ ウェーブレット（2）    ◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇【14p-C4-1】☆ On the finite element method with Riesz bases and its applications

to partial differential equations【14p-C4-2】･････････････○ 福田 尚広（ 筑波大学 ），木下 保（ 筑波大学 ），久保 隆徹（ 筑波大学 ）41･･････････････

43  ･･････････････････････････････

45

完全シフト不変性を実現する実数値関数ウェーブレットフレーム○ 戸田 浩（ 豊橋技術科学大学 ），章 忠（ 豊橋技術科学大学 ），今村 孝（ 豊橋技術科学大学 ）【14p-C4-3】☆ ［ 特別講演 ( 40 分 ) ］ウェーブレットと変動指数
Lebesgue 空間におけるサンプリング定理○ 出耒 光夫（ 大阪市立大学 ）◇◇◇◇◇17：10 〜 17：50 研究部会 OS   ／ ウェーブレット（3）    ◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇【14p-C5-1】

9 月 14 日 Ｄ会場
◇◇◇◇◇

47

［ 特別講演 ( 40 分 ) ］4 0 Hz 聴性定常反応の加算法と離散定常ウェーブレット解析○ 井川 信子（ 流通経済大学 ），守本 晃（ 大阪教育大学 ），芦野 隆一（ 大阪教育大学）≪ 至誠館  1  F S 4  教室 ≫   9：40 〜 10：20 研究部会 OS   ／ メッシュ生成・CAE（1）    ◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇【14a-D1-1】

次世代スパコンのためのメッシュ細分割機能付き階層型領域分割ツールの開発○ 室谷 浩平（ 東京大学 ），杉本 振一郎（ 東京大学 ），河合 浩志（ 東京大学 ），吉村忍（ 東京大学 ）49【14a-D1-2】

Pre-processing of the mesh data for Nurbs generation ･････････････････････････
Tong Gang（ 東京工業大学 ），○ Maria Savchenko（ 東京工業大学 ），Ichiro Hagiwara（ 東京工業大学 ）

51

◇◇◇◇◇

10：30 〜 11：50 研究部会 OS   ／ メッシュ生成・CAE（2）    ◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇【14a-D2-1】☆ Mesh based approaches for reverse engineering and manufacturing:
Shape optimization of the models･･･････････○ Zixian Zhang（ 東京工業大学 ），Maria Savchenko（ 東京工業大学 ），Junichi Shinoda（ 東京工業大学 ），Ichiro Hagiwara（ 東京工業大学 ）【14a-D2-2】

･･･

55

････････････････････

57

数値震動台 E-Simulator とハイブリッド並列化 ･･･････････････････････････････○ 秋葉 博（ アライドエンジニアリング ），宮村 倫司（ 日本大学，防災科学技術研究所  ），大崎 純（ 広島大学 ），小檜山 雅之（ 慶應義塾大学），山下 拓三（ 防災科学技術研究所 ），掘 宗朗（ 東京大学 ），梶原 浩一（ 防災科学技術研究所 ）59

Navigation-based Approach for Sharp Features Reconstruction on 3D Meshes○ V. Savchenko（ 法政大学 ），M. Savchenko（ 東京工業大学 ），  L. Diago（ 東京工業大学 ），I. Hagiwara（ 東京工業大学 ）【14a-D2-3】☆ エンジン室冷却解析向け自動メッシュ生成システムの開発○ 奥野 東（ 日立製作所 ）【14a-D2-4】

53□ 数理ファイナンス □ 数理政治学 □ 応用可積分系 □ 行列・固有値問題の解法とその応用
○ 登壇者

◇◇◇◇◇

☆「若手優秀講演賞」審査対象 ※ 時間の記載がない講演は 2 0 分（  講演 15 分 ＋ 質疑応答 5 分 ）15：20 〜 15：40 一般講演  ／ 数理ファイナンス ◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇【14p-D3-1】◇◇◇◇◇

講演プログラム（ 1 日目）

FBM の影響を受ける Black-Scholes モデルのインプライドボラティリティ○ 成田 清正（ 神奈川大学 ）･･･････

61

15：40 〜 16：40 研究部会 OS   ／ 数理政治学     ◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇【14p-D4-1】☆ 空間的投票理論における政党座標値計算の精緻化 ････････････････････････････○ 品川 景子（ 筑波大学 ），岸本 一男（ 筑波大学 ）63･･････

65【14p-D4-2】［ 特別講演 ( 40 分 ) ］レニーのエントロピーに基づく議席配分方式について○ 一森 哲男（ 大阪工業大学 ）9 月 14 日 Ｅ会場◇◇◇◇◇≪ 至誠館  2 F S 21 教室 ≫14：10 〜 15：30 研究部会 OS   ／ 応用可積分系 (1 )    ◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇【14p-E3-1】

離散平面曲線の時間発展に現れる離散可積分系と離散ホドグラフ変換 ･･････････
Baofeng Feng（ University of Taxas Pan American ），井ノ口 順一（ 山形大学 ），○ 梶原 健司（ 九州大学 ），丸野 健一（ University of Taxas Pan American ），太田 泰広（ 神戸大学 ）【14p-E3-2】 ☆ シフトを考慮した LR 変換に関連する離散ハングリー系について○ 濱 洋輔（ 東京理科大学 ），福田 亜希子（ 東京理科大学 ），石渡 恵美子（ 東京理科大学 ），岩崎 雅史（ 京都府立大学 ），山本 有作（ 神戸大学 ），中村 佳正（ 京都大学 ）67･･･････････････

69【14p-E3-3】 ☆ 中心多様体理論を用いた離散ハングリー系の局所解析 ････････････････････････
高橋 悠（ 京都府立大学 ），岩崎 雅史（ 京都府立大学 ），○ 福田 亜希子（ 東京理科大学 ），石渡 恵美子（ 東京理科大学 ），中村 佳正（ 京都大学 ）71【14p-E3-4】 ☆ Multiple  直交多項式と可積分系 ･････････････････････････････････････････････○ 三木 啓司（ 京都大学 ），辻本 諭（ 京都大学 ）

73

◇◇◇◇◇

15：40 〜 17：20 研究部会 OS   ／ 応用可積分系 (2 )    ◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇････････････････････････

75【14p-E4-2】 ☆ 超離散パンルヴェⅡ型方程式の様々な特殊解系列 ････････････････････････････○ 礒島 伸（ 青山学院大学 ），薩摩 順吉（ 青山学院大学 ）77･･････････････････････････････････････････

79【14p-E4-1】 ☆ ある双直交有理関数に付随して現れる箱玉系について○ 前田 一貴（ 京都大学 ），辻本 諭（ 京都大学 ）【14p-E4-3】 ☆ ECA の初期値問題の  max-plus   解析○ 池上 貴俊（早稲田大学 ）【14p-E4-4】

非線形波動系に対するシンプレクティック数値積分法とマルチシンプレクティック数値積分法○ 佐々 成正（ 日本原子力研究開発機構 ）【14p-E4-5】 ☆ 楕円テータ関数とソボレフ形不等式の最良定数 ･･････････････････････････････ 81○ 山岸 弘幸（都立産業技術高専 ），亀高 惟倫（ 大阪大学 ），永井 敦（ 日本大学 ），渡辺 宏太郎（ 防衛大学 ），武村 一雄（ 日本大学 ）9 月 14 日 Ｆ会場◇◇◇◇◇≪至誠館 2  F S 22 教室≫   9：00 〜 10：20 研究部会 OS   ／ 行列・固有値問題の解法とその応用 (1 )  ◇◇◇◇◇◇◇◇◇◇◇◇【14a-F1-1】 ☆ AXPY 計算を削減した IDRstab 法の実装とその収束性 ･･････････････････････････○ 相原 研輔（ 東京理科大学 ），阿部 邦美（ 岐阜聖徳学園大学 ），石渡 恵美子（ 東京理科大学 ）83【14a-F1-2】 ☆ GBiCGSTAB (s，L) 法の偽収束性について ････････････････････････････････････○ 深堀 康紀（ 東京大学 ），杉原 正顯（ 東京大学 ）85

講演プログラム（ 1 日目）○ 登壇者□ 行列・固有値問題の解法とその応用 □ 現象の数理モデル☆「若手優秀講演賞」審査対象 ※ 時間の記載がない講演は 2 0 分（  講演 15 分 ＋ 質疑応答 5 分 ）【14a-F1-3】 ☆ IDR (s) 法における残差停滞の回避方法について ･･････････････････････････････○ 内藤 理大（ 筑波大学 ），櫻井 鉄也（ 筑波大学 ），多田野 寛人（ 筑波大学 ）【14a-F1-4】 ☆ Restarted Shifted GMRES 法の収束の振る舞いに関する考察− 収束の安定化に向けて−････････････････････○ 今倉 暁（ 筑波大学 ），曽我部 知広（ 愛知県立大学 ），張 紹良（ 名古屋大学 ）◇◇◇◇◇10：30 〜 11：50 研究部会 OS   ／ 行列・固有値問題の解法とその応用 (2)【14a-F2-3】････････････

91････････････････････････････

93･････････････

95･･････････････････

97

TSQR アルゴリズムで生成される Compact WY 表現の合成について○ 山本 有作（ 神戸大学，JST / CREST ）【14a-F2-4】 ☆ 非線形固有値問題に対する TDS Arnoldi-SS ハイブリッド解法○ 古庄 茉紀（ 筑波大学 ），櫻井 鉄也（ 筑波大学 ）◇◇◇◇◇14：10 〜 15：10 研究部会 OS   ／ 行列・固有値問題の解法とその応用 (3)◇◇◇◇◇◇◇◇◇◇◇◇◇【14p-F3-1】 ☆ 対称行列の逆行列の固有値に対する Kato-Temple 不等式の特異値計算への応用について･･････････････････････○ 木村 欣司（ 京都大学 ），山下 巧（ 京都大学 ），高田 雅美（ 奈良女子大学 ），中村 佳正（ 京都大学 ）【14p-F3-2】

特異値計算のためのアグレッシブデフレーション付き dqds 法の安定性解析○ 相島 健助（ 東京大学 ），中務 佑治（ The University of Manchester ），山崎 市太郎（ L B N L ）【14p-F3-3】

フィルタ対角化法による実対称定値一般固有値問題の解法○ 村上 弘（ 首都大学東京 ）

◇◇◇◇◇

89

◇◇◇◇◇◇◇◇◇◇◇◇◇【14a-F2-1】 ☆ 量子ドットシミュレーションにおける多項式固有値問題の並列解法○ 山本 和磨（ 筑波大学 ），櫻井 鉄也（ 筑波大学 ）【14a-F2-2】 ☆ 周回積分を用いた固有値解法の耐障害性について○ 白砂 渓（ 筑波大学 ），櫻井 鉄也（ 筑波大学 ）87

99･････ 101････････････････････ 103

15：40 〜 17：00 一般講演   ／ 行列・固有値問題の解法とその応用 (1)◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇【14p-F4-1】

Hill の方法による自己共役作用素の近似固有値の収束次数評価 ･････････････････ 105○ 田中 健一郎（ 公立はこだて未来大学 ），村重 淳（ 公立はこだて未来大学 ）【14p-F4-2】

完全軸交換による L U 分解の一応用 − 関数の有理関数補間 −○ 大迫 尚行（ 愛知工科大学 ）･････････････････ 107【14p-F4-3】 ☆ 行列平方根におけるニュートン法の初期値に関する研究 ･･････････････････････ 109○ 森泉 佳洋（ 愛知県立大学 ），曽我部 知広（ 愛知県立大学 ）【14p-F4-4】 ☆ 分離型 MR_LBGMRES ( k，m ) 法の提案と評価について･･････････････････････････ 111○ 尾上 勇介（ 九州大学 ），藤野 清次（ 九州大学 ）◇◇◇◇◇17：10 〜 17：50 一般講演   ／ 行列・固有値問題の解法とその応用 (2)【14p-F5-1】 ☆ 分離型 MR_LBGMRES ( k，m ) 法の並列化と評価について○ 尾上 勇介（ 九州大学 ），藤野 清次（ 九州大学 ）◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇････････････････････････ 113【14p-F5-2】 ☆ 数値線形代数への応用を見据えたリーマン多様体上の最適化アルゴリズム○ 佐藤 寛之（ 京都大学 ），岩井 敏洋（ 京都大学 ）9 月 14 日 Ｇ会場◇◇◇◇◇･･････ 115≪至誠館 2  F S 23 教室≫

14：10 〜 15：10   一般講演  ／  現象の数理モデル ◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇【14p-G3-1】

1693 年の Gresham College の気温解析○ 五十嵐 正夫（ 日本大学 ）･･････････････････････････････････････ 117【14p-G3-2】☆ ベキ的な破片サイズ分布を生む可解な破壊モデル ････････････････････････････ 119○ 山本 健（ 早稲田大学 ，J S P S ），山崎 義弘（ 早稲田大学 ）□ 現象の数理モデル □ 離散システム □ 各種イベント○ 登壇者【14p-G3-3】☆「若手優秀講演賞」審査対象 ※ 時間の記載がない講演は 2 0 分（  講演 15 分 ＋ 質疑応答 5 分 ）S I R 確率微分方程式によるパンデミック解析 ･････････････････････････････････ 121○ 廣瀬 英雄（ 九州工業大学 ），牧 允皓（ 九州工業大学 ）9 月 14 日 Ｊ会場◇◇◇◇◇

講演プログラム
講演プログラム（（11日目）日目）≪ 至誠館 3 F S34 教室 ≫14：10 〜 15：30 研究部会 OS    ／ 離散システム ◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇【14p-J3-1】 ☆ 最小費用有向木のロバスト性に関する研究○ 神山 直之（ 中央大学 ）･･････････････････････････････････ 123【14p-J3-2】 ☆ 指定された頂点を通るパリティ制約付サイクルのパッキング ･･････････････････ 125○ 垣村 尚徳（ 東京大学 ），河原林 健一（ 国立情報学研究所 ）【14p-J3-3】 ☆ 無向グラフの基底的な木への分割とその応用 ････････････････････････････････ 127○ 谷川 眞一（ 京都大学 ），加藤 直樹（ 京都大学 ）【14p-J3-4】 ☆ 順列集合上のオンライン線形最適化 ････････････････････････････････････････ 129
安武 翔太（ 九州大学 ），畑埜 晃平（ 九州大学 ），○ 来嶋 秀治（ 九州大学 ），瀧本 英二（ 九州大学 ），竹田 正幸（ 九州大学 ）◇◇◇◇◇15：40 〜 16：00 一般講演   ／ 離散システム   ◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇【14p-J4-1】 ☆ 最急上昇線を用いたラスター型尾根線図生成アルゴリズム   ････････････････････ 131○ 高加 晋司（ 日本大学 ），穴田 浩一 （ 早稲田大学高等学院 ），杉田 公生（ 東海大学 ），土田 賢省（ 東洋大学 ），野牧 賢志（ 日本大学 ），夜久 竹夫（ 日本大学 ）9 月 14 日 Ａ会場
12：20 〜 12：50

法人化説明会

9 月 14 日 Ｈ会場
18：30 〜≪   明徳館  2  F M21 教室  ≫≪至誠館 2  F S 24  教室≫

研究部会連絡会

9 月 14 日 Ｋ会場
9：00 〜 18：30≪至誠館 3  F S 32  教室≫

企業展示

講演プログラム（ 2 日目）○ 登壇者□ 総合講演 □ 線形代数計算 □ 計算法一般 □ 応用カオス☆「若手優秀講演賞」審査対象 ※ 時間の記載がない講演は 2 0 分（  講演 15 分 ＋ 質疑応答 5 分 ）9 月 15 日 Ａ会場≪   明徳館  2  F M21 教室  ≫

15：30 〜 16：30 総合講演
角切断近似をしない Boltzmann 方程式
森本 芳則（ 京都大学 ）   ･････････････････････････････ 133

16：50 〜 17：50 総合講演
【15p-A-2】「京」コンピュータと計算科学研究機構
平尾 公彦（ 理化学研究所 ）････････････････････････････ 139【15p-A-1】

9 月 15 日 Ｂ会場◇◇◇◇◇≪  至誠館  B 1  F S  地  3  教室  ≫   9：00 〜 10：20 一般講演   ／線形代数計算  (1)◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇【15a-B1-1】 ☆ シルベスター方程式の解に対する高速な数値的検証法○ 宮島 信也（ 岐阜大学 ）････････････････････････ 141【15a-B1-2】

多倍長疎行列計算の性能評価   ･･････････････････････････････････････････････ 143○ 幸谷 智紀（ 静岡理工科大学 ）【15a-B1-3】

Block BiCGGRRO：残差行列の直交化による Block BiCGGR 法の安定化○ 多田野 寛人（ 筑波大学 ），櫻井 鉄也（ 筑波大学 ）･･･････････ 145【15a-B1-4】 ☆ Block GPBi-CG 法の安定化と近似解の精度劣化回避法 ･････････････････････････ 147○ 丹波 義崇（ 筑波大学 ），多田野 寛人（ 筑波大学 ）◇◇◇◇◇10：30 〜 11：10 一般講演   ／線形代数計算  (2)・  計算法一般 ◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇【15a-B2-1】 ☆ RL-GMRES 法の実装と有効性について ･･･････････････････････････････････････ 149○ 上中 貴統（ 慶應義塾大学 ），野寺 隆（ 慶應義塾大学 ）【15a-B2-2】

Goursat-Hardy 積分の超高精度計算 − 非有界無限区間積分の計算例 −○ 大浦 拓哉（ 京都大学 ）9 月 15 日 Ｃ会場◇◇◇◇◇≪ 至誠館  1  F S 2  教室 ≫   9：00 〜 10：20 研究部会 OS   ／ 応用カオス (1)    ◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇【15a-C1-1】( 25 分 ) 光非線形性に基づく自己組織化ネットワークのスマートグリッドへの応用○ 佐々木 和可緒（ 同志社大学 ）【15a-C1-2】 ☆ ( 25 分 ) 半導体レーザーのカオス発振を用いた画像符号化○ 海老澤 賢史（ 東京理科大学 ）【15a-C1-3】◇◇◇◇◇･････････ 151

153･･････････････････････ 155( 30 分 ) レーザーカオスによる光スペクトル拡大を用いた THz 波の広帯域化 ･･････ 157○ 桒島 史欣（ 福井工業大学 ），白尾 拓也（福井工業大学 ），谷 正彦（福井大学 ），栗原 一嘉（福井大学 ），萩行 正憲（大阪大学 ），長島 健（大阪大学 ），岩澤 宏（福井大学名誉教授 ）10：30 〜 11：50 研究部会 OS   ／ 応用カオス (2)    ◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇【15a-C2-1】( 30 分 ) 共通ランダム位相変調光による半導体レーザーの同期 ･･････････････････ 159○ 吉村 和之（ N T T ），内田 淳史（埼玉大学），
デイビス ピーター（ テレコグニックス ），村松 純（ N T T ），原山 卓久（東洋大学），
砂田 哲（ N T T ）【15a-C2-2】［ 特別講演 ( 50 分 ) ］半導体レーザにおけるカオスと制御○ 大坪順次（静岡大学）･･･････････････････････ 161

□ 応用カオス □ 数理ファイナンス □ 自動チューニング
○ 登壇者

◇◇◇◇◇

☆「若手優秀講演賞」審査対象 ※ 時間の記載がない講演は 2 0 分（  講演 15 分 ＋ 質疑応答 5 分 ）13：00 〜 13：40 研究部会 OS   ／ 応用カオス (3)    ◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇････････････････････････････････ 163【15p-C3-1】

多重パイこね変換のカオスの情報論的取扱い○ 井上 啓（ 山口東京理科大学 ）【15p-C3-2】

ルベーグスペクトルフィルタ（ LSF ）の標準時刻決定アルゴリズムへの応用○ 梅野 健（ N I C T ），岩間 司（ N I C T ），花土 ゆう子（ N I C T ）9 月 15 日 Ｄ会場◇◇◇◇◇

講演プログラム
講演プログラム（（12日目）日目）･･･････ 165≪ 至誠館  1  F S 4  教室 ≫   9：00 〜 10：20 研究部会 OS   ／ 数理ファイナンス (1)◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇【15a-D1-1】☆ VIX マーケットの Skew 現象における構造について○ 土屋 貴裕（ 立命館大学 ）････････････････････････････ 167【15a-D1-2】☆ Wavelet 変換を用いた信用リスクの解析的な評価方法○ 石谷 謙介（ 三菱 UFJ トラスト投資工学研究所）･････････････････････････ 169【15a-D1-3】☆ 多次元ラティスによるオプション価格付けへの新アプローチ○ 田中 秀幸（ 立命館大学 ）･･････････････････ 171【15a-D1-4】☆ Fourier estimation method applied to interest rates ･･･････････････････････ 173○ 劉 念麟（ 立命館大学 ），Maria Elvira Mancino（ University of Florence ）◇◇◇◇◇10：30 〜 11：30 研究部会 OS   ／ 数理ファイナンス (2)◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇【15a-D2-1】☆ Semi-Static Hedging Based on a Generalized Reflection Principle

on a Multi-Dimensional Brownian Motion･･･････････････ 175○ 今村 悠里（ 立命館大学 ）【15a-D2-2】［ 特別講演 ( 40 分 ) ］Wishart 自己回帰型ファクターモデルを用いた
動的ポートフォリオ最適化○ 関根 順（ 大阪大学 ），畑 宏明（ 静岡大学 ）9 月 15 日 Ｅ会場◇◇◇◇◇･････････････ 177≪至誠館 2  F S 21  教室≫   9：00 〜 10：20 正会員主催 OS   ／ 自動チューニング (1)◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇････････････････････････ 179【15a-E1-1】

変動する条件に適応するオンライン自動チューニング
○ 須田 礼仁（ 東京大学 ）【15a-E1-2】

低電力化と自動チューニング ･･････････････････････････････････････････････ 181○ 平澤 将一（ 電気通信大学 ）【15a-E1-3】

自動チューニングの実行時適用性を拡大する言語機構 ････････････････････････ 183○ 八杉 昌宏（ 京都大学 ）システムソフトと自動チューニング ････････････････････････････････････････ 185○ 鴨志田 良和（ 東京大学 ）【15a-E1-4】◇◇◇◇◇

10：30 〜 11：50 正会員主催 OS   ／ 自動チューニング (2)◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇･･････････････････････ 187【15a-E2-1】

自動チューニング記述専用言語 ppOpenAT/Static の開発○ 片桐 孝洋（ 東京大学 ）【15a-E2-2】

ポストペタ時代の超並列固有値ソルバー開発 ････････････････････････････････ 189○ 今村 俊幸（ 電気通信大学 ），山田 進（日本原子力研究開発機構 ），町田 昌彦（日本原子力研究開発機構 ）【15a-E2-3】

電子状態計算から見た自動チューニングへの期待○ 星 健夫（ 鳥取大学 ）【15a-E2-4】

流体解析を対象とした自動チューニング機能付 AMG ライブラリ○ 藤井 昭宏（ 工学院大学 ），中村 修（ 住友金属工業 ）････････････････････････････ 191･･･････････････ 193

講演プログラム（ 2 日目）○ 登壇者□ 折紙工学 □ 最適化・データ構造・情報処理 □ 数理医学☆「若手優秀講演賞」審査対象 ※ 時間の記載がない講演は 2 0 分（  講演 15 分 ＋ 質疑応答 5 分 ）9 月 15 日 Ｆ会場◇◇◇◇◇≪至誠館 2  F S 22  教室≫   9：00 〜 10：20 研究部会  OS   ／ 折 紙 工 学 (1)◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇【15a-F1-1】 ☆ 折り紙の日用品への応用に関する検討 ･･････････････････････････････････････ 195○ 中山 江利（ 東京工業大学 ），Maria Savchenko（ 東京工業大学 ），萩原 一郎（ 東京工業大学 ）【15a-F1-2】

曲面ハニカムコアの開発 ･･････････････････････････････････････････････････ 197○ 斉藤 一哉（  J A X A ），野島 武敏（ 東京工業大学 ）【15a-F1-3】

曲線折り紙の幾何学的解釈 ････････････････････････････････････････････････ 199○ 杉山文子（ 京都大学 ），野島 武敏（ 東京工業大学 ）【15a-F1-4】

鏡映反転に基づく平面曲線での折り紙○ 三谷 純（ 筑波大学 ）◇◇◇◇◇･･････････････････････････････････････ 201

10：30 〜 12：10 研究部会  OS   ／ 折 紙 工 学 (2)   ◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇【15a-F2-1】 ☆ Parametric Origami Model Based Origami Design Method ･････････････････････ 203○ 廖 于靖（ 東京工業大学 ），趙 希禄（ 埼玉工業大学 ），萩原 一郎（ 東京工業大学 ）【15a-F2-2】 ☆ トラスコアパネル型フロア構造の衝突圧潰エネルギー吸収性能の最適設計 ･･････ 205○ 楊 陽（ 東京工業大学 ），管 英春（ 東京工業大学 ），夏 智臻（ 東京工業大学 ），趙 希禄（ 埼玉工業大学 ），萩原 一郎（ 東京工業大学 ）【15a-F2-3】 ☆ 三項法と仮想仕事の原理による釣り合い形状の探索○ 三木 優彰（ 東京大学 ），川口 健一（ 東京大学 ）【15a-F2-4】【15a-F2-5】

空間充填分岐構造の折り紙モデル ･･････････････････････････････････････････ 209○ 北岡 裕子（  J S O L ）Folding the Tube with Rigid Origami Pattern ･････････････････････････････････ 211
Sicong Liu（ Nanyang Technological University ），○ Yan Chen（ Nanyang Technological University ）9 月 15 日 Ｈ会場◇◇◇◇◇･･････････････････････････ 207≪至誠館 2  F S 24  教室≫   9：00 〜 10：20 一般講演   ／ 最適化・データ構造・情報処理◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇【15a-H1-1】

System Control for Nonlinear Cahn-Hilliard Equation･･････････････････････････ 213
in the Presence of Perturbation and Disturbances
Shin-ichi Nakagiri（ Kobe University ），○ Quan-Fang Wang（ The Chinese University of Hong Kong ）【15a-H1-2】

データ同化のための大規模最適化法の比較○ 堀端 康善（ 法政大学 ）･･････････････････････････････････ 215【15a-H1-3】☆ 誤差付きデータを用いた遺伝的アルゴリズムによる弾性波動場解析 ････････････ 217○ 上田 一康（ 名古屋大学 ），石井 克哉（ 名古屋大学 ），永井 享（ 名古屋大学 ），熊澤 峰夫（ 名古屋大学，東京工業大学 ）【15a-H1-4】◇◇◇◇◇

総頂点間経路長を最小にする連結ピン型組織構造の根との隣接化○ 澤田 清（ 流通科学大学 ）10：30 〜 12：10 研究部会  OS ／ 数理医学･･････････････ 219◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇【15a-H2-1】☆ がん免疫応答に関する確率モデルの消滅性○ 道工 勇（ 埼玉大学 ）･･････････････････････････････････ 221【15a-H2-2】☆ A Mathematical Approach to Find Roles of Csk binding protein
in Controlling the Oncogenic Potential of c-Src･････････････････ 223○ 齋藤 卓（ 大阪大学 ），吉川 由利子（ 大阪大学 ），小根山 千歳（ 大阪大学 ），岡田 雅人（ 大阪大学 ）□ 数理医学 □ 物理・数学一般 □ 数理生物 ･ モデリング ･ パターン形成 □ 幾何一般・その他 □ 確率一般 □ Scilab コンテスト○ 登壇者【15a-H2-3】☆「若手優秀講演賞」審査対象 ※ 時間の記載がない講演は 2 0 分（  講演 15 分 ＋ 質疑応答 5 分 ）リー群に座標を取る、顎運動シミューレーターの数理解析 ･Gysi シンプレックスへの応用○ 四方 義啓（ 多元数理研究所 ），服部 正己（ 愛知学院 ）･･････････････････ 225【15a-H2-4】☆ がん細胞浸潤における数理モデリングとハイブリッドシミュレーション○ ロズママテ マヘムテ（ 大阪大学 ）【15a-H2-5】☆ MR Elastography の局所波長同定法による剛性率の同定○ 吉川 功剛（ 北海道大学 ），中村 玄（ 北海道大学 ）9 月 15 日 Ｉ会場◇◇◇◇◇

講演プログラム
講演プログラム（（12日目）日目）  ････････ 227  ･･･････････････････････ 229≪ 至誠館  3 F S33  教室 ≫9：00 〜 10：00 一般講演 ／ 物理 ･ 数学一般    ◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇【15a-I1-1】 ☆ 微小構造を有する連続体力学の幾何構造 ････････････････････････････････････ 231○ 山岡 英孝（ V C A D ソリューションズ ）【15a-I1-2】 ☆ 行列＊代数による対称構造物の釣合経路追跡法    ･･････････････････････････････ 233○ 相浦 大司（ 東京大学 ），垣村 尚徳（ 東京大学 ），室田 一雄（ 東京大学 ）【15a-I1-3】◇◇◇◇◇

くりこみ関数法の改良 ････････････････････････････････････････････････････ 235○ 藪下 和樹（ 防衛大学校 ）10：30 〜 11：50 一般講演 ／ 数理生物 ･ モデリング ･ パターン形成    ◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇････････････ 237【15a-I2-1】

外乱を考慮した感染症伝播過程のシミュレーション解析と最適制御○ 石川 昌明（ 山口大学 ）【15a-I2-2】

形状に依存した樟脳粒子運動の数理モデル ･･････････････････････････････････ 239○ 長山 雅晴（ 金沢大学 ），飯田 渓太（ 金沢大学 ），北畑 裕之（ 千葉大学 ）【15a-I2-3】 ☆ Stokes 流中の微生物の運動と帆立貝定理 ････････････････････････････････････ 241○ 石本 健太（ 京都大学 ），山田 道夫（ 京都大学 ）【15a-I2-4】

スポーツ利用による損傷を考慮した芝草の成長モデル○ 江崎 信行（ 豊田高専 ），三井 斌友（ 同志社大学 ）9 月 15 日 Ｊ会場◇◇◇◇◇････････････････････････ 243≪ 至誠館  3 F S34  教室 ≫9：00 〜 10：20 一般講演 ／ 幾何一般 ･ その他◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇【15a-J1-1】 ☆ 螺旋点列に対するボロノイ分割と四角形の相似タイリング ････････････････････ 245○ 須志田 隆道（ 龍谷大学 ），日詰 明男（ 龍谷大学 ），山岸 義和（ 龍谷大学 ）【15a-J1-2】

距離空間における集合間距離 ･･････････････････････････････････････････････ 247○ 藤田 修（ 大阪教育大学 ）【15a-J1-3】 ☆ サポートベクターマシンを用いた着手の学習 ････････････････････････････････ 249○ 佐藤 真史（ 早稲田大学 ），堤 正義（ 早稲田大学 ），穴田 浩一（ 早稲田大学高等学院 ）【15a-J1-4】◇◇◇◇◇

図形処理における入力退化の程度と簡易対処法○ 今井 敏行（ 和歌山大学 ）10：30 〜 11：10 一般講演 ／ 確率一般･･････････････････････････････ 251◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇･･････ 253【15a-J2-1】

３次元離散型成長パーコレーション問題におけるスケーリング則について○ 山本 啓三（ 摂南大学 ），宮島 佐介（ 中部大学 ）【15a-J2-2】

確率セルオートマトンモデルによる交通流解析 ･･････････････････････････････ 255○ 星野 貴弘（ 日本大学 ），浜松 芳夫（ 日本大学 ）9 月 15 日 Ｇ会場
9：00 〜 13：00≪ 至誠館  2 F S23  教室 ≫Scilab コンテスト

講演プログラム（ 2 日目）○ 登壇者□ ポスター講演★「若手優秀ポスター講演賞」審査対象

9 月 15 日 Ｋ会場◇◇◇◇◇≪至誠館 3  F S 32  教室≫

13：00 〜 14：20 ポスターセッション◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇【15p-K3-1】 ★ 爆発時刻の推定法における計算停止規準○ 佐藤 清貴（ 秋田県立大学 ），廣田 千明（ 秋田県立大学 ）【15p-K3-2】 ★ MMPDE を用いた爆発時刻の推定法○ 澤里 達也（ 秋田県立大学 ），廣田 千明（ 秋田県立大学 ）【15p-K3-3】 ★ ナップザック暗号に対する低密度攻撃用の格子について○ 高井 翔悟（ 金沢工業大学 ），林 彬（ 金沢工業大学 ）【15p-K3-4】 ★ メッシュ交差の平面走査構成アルゴリズムの検討○ 佐藤 昂（ 茨城大学 ），藤間 昌一（ 茨城大学 ）【15p-K3-5】 ★ 最短路問題と Min-Plus 代数○ 吉水 敏郎（ 同志社大学 ），渡辺 扇之介（ 同志社大学 ）【15p-K3-6】 ★ Min-Plus 代数における固有値問題○ 飯島 光平（ 同志社大学 ），渡辺 扇之介（ 同志社大学 ）【15p-K3-7】 ★ 人の避難シミュレーションで生じる出口付近の妨げ現象解析（アーチ構造解析）○ 増井 翼（ 明治大学 ），上山 大信（ 明治大学 ），友枝 明保（ 明治大学 ），岩本 真裕子（ 明治大学 ）【15p-K3-8】 ★ 光双安定における微分利得特性のシグモイド関数への適用○ 茶谷 暢恵（ 同志社大学 ），松田 喬（ 同志社大学 ），佐々木 和可緒（ 同志社大学 ）【15p-K3-9】 ★ 修正ニコルソン・ベイリーモデルにおけるカオス解析○ 辻田 裕輝（ 同志社大学 ），齋藤 誠慈（ 同志社大学 ）【15p-K3-10】★ ローレンツモデルのルンゲ・クッタ近似による差分方程式の定性解析○ 古市 昌弘（ 同志社大学 ），齋藤 誠慈（ 同志社大学 ）【15p-K3-11】★ 面発光レーザ（ V C S E L ）を用いた光複雑系に基づく小規模ユビキタスネットワークノード○ 松田 喬（ 同志社大学 ），茶谷 暢恵（ 同志社大学 ），佐々木 和可緒（ 同志社大学 ）【15p-K3-12】★ Cutoff を組み合わせた前処理について○ 山崎 育朗（ 筑波大学 ），多田野 寛人（ 筑波大学 ），櫻井 鉄也（ 筑波大学 ）【15p-K3-13】★ 非線形固有値問題固有値における複素平面上での大域的固有値分布推定○ 前田 恭行（ 筑波大学 ），二村 保徳（ 筑波大学 ），櫻井 鉄也（ 筑波大学 ）【15p-K3-14】★ 局所気象シミュレーションで現れる線形方程式に対する前処理の評価○ 平野 光（ 筑波大学 ），多田野 寛人（ 筑波大学 ），櫻井 鉄也（ 筑波大学 ），池田 亮作（ 筑波大学 ），日下 博幸（ 筑波大学 ）【15p-K3-15】★ 複数右辺ベクトルをもつシフト線形方程式に対する共役勾配法とその応用○ 二村 保徳（ 筑波大学 ），多田野 寛人（ 筑波大学 ），櫻井 鉄也（ 筑波大学 ）【15p-K3-16】★ IDR アプローチの交代漸化式から導かれる積型 BiCR 法○ 村田 悠一郎（ 東京理科大学 ），相原 研輔（ 東京理科大学 ），阿部 邦美（ 岐阜聖徳学園大学 ），石渡 恵美子（ 東京理科大学 ）【15p-K3-17】★ 最大流問題とその双対問題 −トーリックイデアルの視点から−○ 渡辺 扇之介（ 同志社大学 ），渡邊 芳英（ 同志社大学 ）【15p-K3-18】★ 負の差分間隔をもつ離散ロトカ・ボルテラ系に現れる数列の再帰性について○ 赤岩 香苗（ 京都大学 ），岩崎 雅史（ 京都府立大学 ），中村 佳正（ 京都大学 ）【15p-K3-19】★ 並列多倍長数値計算環境の設計と実装および逆ラプラス変換への適用○ 眞鍋 秀悟（ 京都大学 ）【15p-K3-20】★ ロウソク火炎振動子に対する数理モデルとその位相縮約○ 宮崎 誉広（ 金沢大学 ）【15p-K3-21】★ 樟脳舟の数理モデルに見られる渋滞現象○ 安宅 正（ 金沢大学 ）□ ポスター講演 □ 各種イベント○ 登壇者

講演プログラム
講演プログラム（（12日目）日目）★「若手優秀ポスター講演賞」審査対象【15p-K3-22】★ 体積保存条件付き反応拡散系におけるパターンダイナミクス○ 芳川 裕基（ 金沢大学 ）【15p-K3-23】★ 基底細胞の運動モデルから迫る創傷治癒の数理モデル○ 澤武 裕輔（ 金沢大学 ）【15p-K3-24】★ S D S 濃度に依存したマランゴニ流の特徴的変化○ 参納 弓彦（ 広島大学 ），天野 了一（ 広島大学 ），北畑 裕之（ 千葉大学 ），末松 J. 信彦（ 明治大学 ），中田 聡（ 広島大学 ）【15p-K3-25】

ペンローズタイル上の縞模様
日詰 明男（  龍谷大学 ），○ 山岸 義和（ 龍谷大学 ）【15p-K3-26】

拡張 Steffensen 法による非線形連立方程式の数値解法○ 石井 政行【15p-K3-27】

多倍長指数関数の高速計算法○ 中村 真輔（ 秋田県立大学 ），小澤 一文（ 秋田県立大学 ）【15p-K3-28】

非線形 Cahn-Hilliard システムの数値制御○ 王 全芳（ 香港中文大学 ），中桐 信一（ 神戸大学 ）【15p-K3-29】

パターン認知の変換群構造説○ 天野 要（ 愛媛大学 ），岡野 大（ 愛媛大学 ），遠藤 慶一（ 愛媛大学 ），小西 敏雄（ 松山東雲女子大学 ）9 月 15 日 Ａ会場
14：50 〜 15：20

表彰式

9 月 15 日 Ｉ会場
12：10 〜 12：50≪至誠館 3  F S 34  教室≫

ランチョンセミナー

9 月 15 日 Ｋ会場
9：00 〜 14：20≪至誠館 3  F S 33  教室≫

JSIAM Letters 編集委員会

9 月 15 日 Ｊ会場
11：50 〜 13：00≪   明徳館  2  F M21 教室  ≫≪至誠館 3  F S 32  教室≫

企業展示

9 月 15 日 寒梅館
18：10 〜 20：10 懇親会

講演プログラム（ 3 日目）○ 登壇者□ 数論アルゴリズムとその応用 □ 連続体力学の数理☆「若手優秀講演賞」審査対象 ※ 時間の記載がない講演は 2 0 分（  講演 15 分 ＋ 質疑応答 5 分 ）9 月 16 日 Ｃ会場◇◇◇◇◇≪ 至誠館  1  F S 2  教室 ≫   9：00 〜 10：00 研究部会  OS   ／ 数論アルゴリズムとその応用 (1)【16a-C1-1】◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇［ 特別講演 ( 40 分 ) ］Computational Method and Weber's Class Number Problem ･･ 257○ 岡崎 龍太郎（ 同志社大学 ）【16a-C1-2】 ☆ 数論システム NZMATH の有効活用について  (2) ･･･････････････････････････････ 259○ 田中 覚（ 首都大学東京 ），中村 憲（ 首都大学東京 ），宮本 泰徳（ 首都大学東京 ），平野 正樹（ 首都大学東京 ）◇◇◇◇◇10：30 〜 11：30 研究部会  OS   ／ 数論アルゴリズムとその応用 (2)◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇【16a-C2-1】 ☆ Elliptic Divisibility Sequence を用いた素因数分解アルゴリズムの計算量評価と高速化○ 櫻田 尚寿（ 首都大学東京 ），鑓水 淳一（ 首都大学東京 ），小椋 直樹（ 首都大学東京 ），内山 成憲（ 首都大学東京 ）【16a-C2-2】

GPU を用いた 2 次元 FFT 乗算と negacyclic convolution○ 谷口 哲也（ 学習院大学 ）･･･････････････ 261･･･････････････････････ 263【16a-C2-3】 ☆ 非可換環の多変数公開鍵暗号への応用 ･･････････････････････････････････････ 265○ 安田 貴徳（ 九州先端科学技術研究所 ），櫻井 幸一（ 九州先端科学技術研究所，九州大学 ），高木 剛（ 九州大学 ）9 月 16 日 Ｄ会場◇◇◇◇◇≪ 至誠館  1  F S 4  教室 ≫  9：00 〜 10：20 研究部会  OS   ／ 連続体力学の数理 (1)◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇【16a-D1-1】

き裂進展フェーズフィールドモデルの解の特性について ･･････････････････････ 267○ 高石 武史（ 広島国際学院大学 ），木村 正人（ 九州大学 ）【16a-D1-2】

粒子法における重み関数と打ち切り誤差評価 ････････････････････････････････ 269○ 木村 正人（ 九州大学 ），石島 清宏（ 九州大学 ）【16a-D1-3】☆ 移動境界を持つ Stokes 流れ問題の面積保存スキームを用いた数値計算○ 古田 賢司（ 九州大学 ），田上 大助（ 九州大学 ）【16a-D1-4】☆ Helmholtz 方程式に対する周期高速多重極境界要素法のAnomaly 周辺における収束性の改善について○ 新納 和樹（ 京都大学 ），西村 直志（ 京都大学 ）◇◇◇◇◇10：30 〜 11：50 研究部会  OS   ／ 連続体力学の数理 (2)･･････････････････････ 273◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇【16a-D2-1】☆ 演算子積分時間領域境界要素法を用いた異方性材料の波動解析○ 田中 遊雲（ 東京工業大学 ），古川 陽（ 東京工業大学 ），斎藤 隆泰（ 東京工業大学 ），廣瀬 壮一（ 東京工業大学 ）【16a-D2-2】◇◇◇◇◇［ 特別講演 ( 60 分 ) ］地震学・地震工学と数学の境界○ 堀 宗朗（ 東京大学 ）13：00 〜 13：40 一般講演 ／ 連続体力学の数理･････････ 271････････････････ 275･･･････････････････････････ 277◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇･･････････････ 279【16p-D3-1】

磁化プラズマにおける境界層問題に対する新しい接続解法の開発○ 古川 勝（ 東京大学 ），徳田 伸二（ 日本原子力研究開発機構 ）【16p-D3-2】

Lagrange-Euler 混合型 Navier-Stokes 方程式への粒子法 MPS の収束に関する考察○ 服部 元史（ 神奈川工科大学 ），中島 祐貴（ 神奈川工科大学 ），藤井 みゆき（ 神奈川工科大学 ），田辺 誠（ 神奈川工科大学 ），高内 一平（ 横浜デジタルアーツ専門学校 ）281

講演プログラム
講演プログラム（（13日目）日目）□ 科学技術計算と数値解析○ 登壇者

9 月 16 日 Ｅ会場◇◇◇◇◇☆「若手優秀講演賞」審査対象 ※ 時間の記載がない講演は 2 0 分（  講演 15 分 ＋ 質疑応答 5 分 ）≪ 至誠館  2 F S21  教室 ≫   9：00 〜 10：20 一般講演 ／ 科学技術計算と数値解析 (1)◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇【16a-E1-1】

平野法と Armijo ルールの拡張による非線形連立方程式の数値解法 ･････････････ 283○ 石井 政行，布広 永示（ 東京情報大学 ），速水 謙（ 国立情報学研究所 ）【16a-E1-2】

拡張平野法を用いた非線形最適化問題の数値解法○ 石井 政行【16a-E1-3】

直線スリット領域の数値等角写像 ･･････････････････････････････････････････ 287○ 岡野 大（ 愛媛大学 ），天野 要（ 愛媛大学 ）【16a-E1-4】

クラックを含む超伝導薄膜内の遮蔽電流密度解析○ 神谷 淳（ 山形大学 ），高山 彰優（ 山形大学 ）◇◇◇◇◇････････････････････････････ 285････････････････････････････ 289

10：30 〜 12：10 一般講演 ／ 科学技術計算と数値解析 (2)   ◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇【16a-E2-1】 ☆ 反復解法における三重対角行列反転のための並列解法 ････････････････････････ 291○ 近藤 祐介（ 名古屋大学 ），佐藤 亮介（ 名古屋大学 ），石井 克哉（ 名古屋大学 ）1【16a-E2-2】 ☆ On the fictitious domain method with H -penalty
for elliptic and parabolic problems･････････････････････････････ 293○ Guanyu Zhou（ The University of Tokyo ），Norikazu Saito（ The University of Tokyo ）【16a-E2-3】

積分セルを用いない 3 次元 Element-Free Galerkin 法の開発   ････････････････････ 295○ 伊東 拓（ 成蹊大学 ），齋藤 歩（ 兵庫県立大学 ），神谷 淳（ 山形大学 ）【16a-E2-4】

Lagrange   未定乗数法を用いない  Element-Free Galerkin 法の開発 ････････････････ 297○ 齋藤 歩（ 兵庫県立大学 ），伊東 拓（ 成蹊大学 ），松井 伸之（ 兵庫県立大学 ），神谷 淳（ 山形大学 ）【16a-E2-5】

ヘリカル型磁場の最外殻磁気面を特定する数値解析法 ････････････････････････ 299○ 渡辺 二太（ 核融合科学研究所），増崎 貴（ 核融合科学研究所），
吉田 正信（ 核融合科学研究所），江本 雅彦（ 核融合科学研究所），
長山 良夫（ 核融合科学研究所）◇◇◇◇◇

13：40 〜 14：20 研究部会  OS ／ 科学技術計算と数値解析 (1) ◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇【16p-E3-1】

BDD  前処理の統一的構築方法と静磁場問題への応用 ･･････････････････････････ 301○ 金山 寛（ 九州大学 ），荻野 正雄（ 九州大学 ），杉本 振一郎（ 東京大学 ），姚 清河（ 九州大学 ）【16p-E3-2】 ☆ FEM メッシュ領域分割に基づく省メモリ並列マルチフロンタルソルバの開発○ 渡辺 起（ 東京大学 ），奥田 洋司（ 東京大学 ）◇◇◇◇◇････ 303

14：30 〜 15：50 研究部会  OS ／ 科学技術計算と数値解析 (2) ◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇【16p-E4-1】 ☆ L (a，b ) ノルムの数値計算に対する注意とその応用について○ 柏原 崇人（ 東京大学 ），及川 一誠（ 東京大学 ）1･･･････････････････ 305【16p-E4-2】 ☆ 1 階線形偏微分方程式に対するハイブリッド型不連続 Galerkin  法○ 及川 一誠（ 東京大学 ）･･･････････････ 307

2【16p-E4-3】 ☆ 離散 L 評価と特性曲線法 ･････････････････････････････････････････････････ 309○ 野津 裕史（ 早稲田大学 ），田端 正久（ 早稲田大学 ）【16p-E4-4】◇◇◇◇◇

2 次元 Helmholtz 方程式に対する基本解近似解法の理論誤差評価と最適性○ 緒方 秀教（ 電気通信大学 ），杉原 正顯（ 東京大学 ）･･･････ 311

16：00 〜 17：20 研究部会  OS ／ 科学技術計算と数値解析 (3) ◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇【16p-E5-1】 ☆ Modified Zakharov-Kuznetsov 方程式に対する数値シミュレーション○ 西山 博太（ 中央大学 ）【16p-E5-2】 ☆ Camassa-Holm  方程式に対するエネルギー保存 Galerkin スキーム
○ 宮武 勇登（ 東京大学 ），松尾 宇泰（ 東京大学 ）･･･････････ 313･･･････････････ 315

講演プログラム（ 3 日目）○ 登壇者□ 科学技術計算と数値解析 □ 流体計算 □ 計算の品質☆「若手優秀講演賞」審査対象 ※ 時間の記載がない講演は 2 0 分（  講演 15 分 ＋ 質疑応答 5 分 ）【16p-E5-3】 ☆ 連立偏微分方程式に対する交互発展型離散変分スキーム○ 倉前 裕成（ 東京大学 ），松尾 宇泰（ 東京大学 ）･･････････････････････ 317【16p-E5-4】 ☆ 変分構造をもつ楕円型方程式に対する離散勾配法の応用○ 谷口 隆晴（ 神戸大学 ）･･････････････････････ 319

9 月 16 日 Ｇ会場◇◇◇◇◇≪ 至誠館  2 F S23  教室 ≫13：00 〜 14：20 一般講演 ／ 流体計算 (1)   ◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇【16p-G3-1】

西岸強化流と極冠流の転移について ････････････････････････････････････････ 321○ 谷口 由紀（ 首都大学東京 ），山田 道夫（ 京都大学 ）【16p-G3-2】☆ 回転球殻内の Boussinesq 熱対流により引き起こされる両側球の 3 軸回転 ････････ 323○ 木村 恵二（ 京都大学 ），竹広 真一（ 京都大学 ），山田 道夫（ 京都大学 ）【16p-G3-3】

ルジャンドル陪関数の変形と応用−３○ 田川 昭夫（ ミナト医科学 ）･･････････････････････････････････････ 325【16p-G3-4】☆ センシングに基づく水素漏洩のリスク緩和制御アルゴリズムの構築 ････････････ 327○ 松浦 一雄（ 東北大学 ），中野 政身（ 東北大学 ），石本 淳（ 東北大学 ）◇◇◇◇◇14：30 〜 15：50 一般講演 ／ 流体計算 (2)   ◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇【16p-G4-1】☆ 円柱周りの流れの数値シミュレーションとその応用− デジタル画像のピクセルを用いて −････････････････････････ 329○ 周 曼（ 千葉大学 ），吉井 孝子（ 千葉大学 ），腰越 秀之（ 千葉大学 ）【16p-G4-2】☆ ストークスのパラドックスの一解消法 ･･････････････････････････････････････ 331○ 八木 佑己（ 防衛大学校 ），藪下 和樹（ 防衛大学校 ）【16p-G4-3】☆ β平面における帯状流の融合・消滅について ････････････････････････････････ 333○ 小布施 祈織（ 京都大学 ），竹広 真一（ 京都大学 ），山田 道夫（ 京都大学 ）【16p-G4-4】◇◇◇◇◇

回転球面上の流れの分岐構造 ･･････････････････････････････････････････････ 335○ 佐々木 英一（ 京都大学 ），竹広 真一（ 京都大学 ），山田 道夫（ 京都大学 ）16：00 〜 16：40 一般講演 ／ 流体計算 (3)   ◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇【16p-G5-1】

光干渉効果を伴う液膜の光誘起マランゴニ流れの安定性 ･･････････････････････ 337○ 佐伯 文浩（ 鳥取大学 ），福井 茂寿（ 鳥取大学 ），松岡 広成（ 鳥取大学 ）【16p-G5-2】☆ 上面盤回転流れの線形安定性解析○ 中澤 嵩（ 岡山大学 ）9 月 16 日 Ｈ会場◇◇◇◇◇･･････････････････････････････････････････ 339≪ 至誠館  2 F S24  教室 ≫9：00 〜 10：20 研究部会  OS ／ 計算の品質 (1) ◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇･･････････････････････････････ 341【16a-H1-1】

逐次反復に基づく関数方程式の計算機援用証明○ 渡部 善隆（ 九州大学 ）【16a-H1-2】

アメリカンオプションの最適権利行使境界に対する数値的検証法○ 小林 健太（ 一橋大学 ）･･････････････ 343【16a-H1-3】☆ 線形楕円型偏微分作用素の逆作用素に対する高精度な事後評価について ････････ 345○ 木下 武彦（ 京都大学 ），渡部 善隆（ 九州大学 ），中尾 充宏（ 佐世保工業高専 ）【16a-H1-4】☆ 高精度な精度保証付き対数計算法 ･･････････････････････････････････････････ 347○ 山中 脩也（ 早稲田大学 ），大石 進一（ 早稲田大学 ，JST/CREST ）◇◇◇◇◇10：30 〜 11：50 研究部会  OS ／ 計算の品質 (2) ◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇【16a-H2-1】［ 特別講演 ( 40 分 ) ］Faithful roundings of sum with nonnegative entries○ Stef Graillat（ LIP6 Pierre and Marie Curie University ）･････････ 349

□ 計算の品質 □ 数理設計 □ 数理的技法による情報セキュリティ○ 登壇者

講演プログラム
講演プログラム（（13日目）日目）☆「若手優秀講演賞」審査対象 ※ 時間の記載がない講演は 2 0 分（  講演 15 分 ＋ 質疑応答 5 分 ）【16a-H2-2】☆ 行列積から総和への無誤差変換の一般化 ････････････････････････････････････ 351○ 尾崎 克久（ 芝浦工業大学 ），荻田 武史（ 東京女子大学 ）【16a-H2-3】☆ 連立一次方程式の精度保証法に関する GPU を用いた精度速度比較 ･･････････････ 353○ 森倉 悠介（ 早稲田大学 ）尾崎 克久（ 芝浦工業大学，JST/CREST ），大石 進一（ 早稲田大学，JST/CREST ）◇◇◇◇◇13：00 〜 14：00 研究部会  OS ／ 計算の品質 (3) ◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇【16p-H3-1】☆ On verified evaluation of several interpolation error constants○ Xuefeng Liu（ Waseda University，JST/CREST ），Shin'ichi Oishi（ Waseda University，JST/CREST ）･････････････････ 355【16p-H3-2】☆ Some remarks on verified numerical computations
for two-point boundary value problems･･･････････････････････････ 357○ 高安 亮紀（ 早稲田大学 ），大石 進一（ 早稲田大学，JST/CREST ）【16p-H3-3】☆ 特異関数を用いた非凸領域におけるラプラス作用素の高精度固有値評価○ 南畑 淳史（ 早稲田大学 ），劉 雪峰（ 早稲田大学，JST/CREST ），大石 進一（ 早稲田大学，JST/CREST ）9 月 16 日 Ｉ会場◇◇◇◇◇････････ 359≪ 至誠館  3 F S33  教室 ≫13：00 〜 14：20 研究部会  OS ／ 数理設計 (1)    ◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇････････ 361【16p-I3-1】

位相・形状最適化の後処理における CAD データの自動生成に関する研究
石坂 尚也（くいんと），○ 竹内 謙善（くいんと）【16p-I3-2】

レベルセット法による形状表現に基づく境界積分方程式を用いたトポロジー最適化法に関する一考察･･････････････ 363○ 山田 崇恭（ 名古屋大学 ），松本 敏郎（ 名古屋大学 ），高橋 徹（ 名古屋大学 ）【16p-I3-3】 ☆ レベルセット法とフェーズフィールド法に基づくトポロジー最適化手法の磁歪アクチュエータ問題への適用 ････････････････････ 365○ 三品 雅宏（ 岐阜大学 ），永井 学志（ 岐阜大学 ），山田 崇恭（ 名古屋大学 ），西脇 眞二（ 京都大学 ）【16p-I3-4】◇◇◇◇◇

位相最適化問題の可解性と密度型取扱いによる近似の試み○ 海津 聰（ 日本大学 ）････････････････････ 367

14：30 〜 15：50 研究部会  OS ／ 数理設計 (2)    ◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇････････････････････････ 369【16p-I4-1】

Navier-Stokes 方程式の形状最適化と平滑化作用の考察○ 松本 純一（ 産業技術総合研究所 ）【16p-I4-2】

形状最適化問題に対する H1 勾配法の見直し ･････････････････････････････････ 371○ 畔上 秀幸（ 名古屋大学 ），村井 大介（ 名古屋大学 ），大塚 厚二（ 広島国際学院大学 ），木村 正人（ 九州大学 ）【16p-I4-3】

形状最適化問題に対する H1 勾配法の誤差評価 ･･･････････････････････････････ 373○ 村井 大介（ 名古屋大学 ），畔上 秀幸（ 名古屋大学 ）【16p-I4-4】

von Mises の降伏条件に基づく弾塑性解析に対する 2 次錐計画法
米倉 一男（ I H I ），○ 寒野 善博（ 東京大学 ）9 月 16 日 Ｊ会場◇◇◇◇◇･･･････････････ 375≪ 至誠館  3 F S34  教室 ≫13：00 〜 14：00 研究部会  OS ／ 数理的技法による情報セキュリティ (1)    ◇◇◇◇◇◇◇◇◇◇◇◇◇･････････････････････････････ 377【16p-J3-1】

Toward a Library of Verified Arithmetic Functions○ AFFELDT Reynald（ 産業技術総合研究所 ）【16p-J3-2】

計算論的に完全な記号的攻撃者と健全なプロトコル検証法 ････････････････････ 379○ バナ・ゲルゲイ（ N T T ），ウベール・コモン - ルンド（ E N S Cachan  ），
櫻田 英樹（ N T T ）講演プログラム（ 3 日目）○ 登壇者□ 数理的技法による情報セキュリティ □ 各種イベント☆「若手優秀講演賞」審査対象 ※ 時間の記載がない講演は 2 0 分（  講演 15 分 ＋ 質疑応答 5 分 ）【16p-J3-3】◇◇◇◇◇

暗号プロトコル評価フレームワークの国際標準 ISO/IEC 29128 と･･････････････ 381
CRYPTREC における適用事例○ 松尾 真一郎（情報通信研究機構），大塚 玲（産業技術総合研究所），
宮崎 邦彦（日立製作所 ）

14：30 〜 15：30 研究部会  OS ／ 数理的技法による情報セキュリティ (2)    ◇◇◇◇◇◇◇◇◇◇◇◇◇【16p-J4-1】 ☆ 途中計算情報の漏洩に対する認証鍵交換プロトコルの安全性考察○ 米山 一樹（ N T T ）【16p-J4-2】

量子テレポーテーションを利用した仲介者つき量子署名方式の改良
田中 裕輝（千葉大学），○ 多田 充（ 千葉大学 ）【16p-J4-3】 ☆ Schnorr 署名の標準モデルでの証明不可能性○ 川合 豊（ 東京大学 ）9 月 16 日 Ｇ会場
12：30 〜 12：50

JSIAM Letters 新投稿システム説明会

9 月 16 日 Ｋ会場
9：00 〜 18：30≪   至誠館  2  F S23 教室  ≫≪   至誠館  3  F S32 教室  ≫

企業展示･･････････････ 383････････････ 385････････････････････････････････ 387