• Verified Partial Eigenvalue Computation for Generalized Hermitian Eigenproblems Using Contour Integrals
  今倉暁 (筑波大学), ◯保國惠一 (筑波大学), 高安亮紀 (筑波大学)
• T-congruence Sylvester方程式と一般化Sylvester方程式の関係について
  ◯佐竹祐樹(名古屋大学), 曽我部知広(名古屋大学), 宮武勇登(大阪大学), 剱持智哉(名古屋大学), 張紹良(名古屋大学)
• ウルフ条件を利用した適応型SOR法
  ◯宮武勇登(大阪大学), 曽我部知広(名古屋大学), 張紹良(名古屋大学)
• 楕円曲線暗号解読におけるρ法の特徴
  ◯後保範(神奈川大学)

• 無誤差変換技法を用いた陽的補外法の性能評価
  ◯幸谷智紀(静岡理工科大学)
• 微分代数方程式における 2 次以下の保存量に対する離散保存則について
  ◯佐藤峻(東京大学)
• Einstein 方程式の数値計算
  ◯浦川遼介(早稲田大学), 土屋拓也 (早稲田大学), 米田元 (早稲田大学)
• 混合型定式化に基づく静磁場問題の領域分割法
  ◯田上大助 (九州大学)

• 多クラス分類問題に対するスペクトラル特徴量スケーリング
  ◯松田萌望 (筑波大学), 保國惠一 (筑波大学), 今倉暁 (筑波大学), 櫻井鉄也 (筑波大学)
• 少数のレゾルベントを用いた多項式型の簡易フィルタによる一般固有値問題の解法
  ◯村上弘 (首都大学東京)
• 多変数多項式系の消去イデアルの最低元を剰余列法で計算する
  ◯佐々木建昭 (筑波大学), 稲葉大樹 (日本数学検定協会)
• 疎な多変数多項式の剰余列計算の新算法
  ◯佐々木建昭 (筑波大学)

• 最小二乗確率的分類器を用いた企業の信用格付
  ◯与田裕之 (筑波大学), 杉原正顯 (青山学院大学), 今倉暁 (筑波大学)
• エネルギー保存型並列解法 MB4 に基づく 2 次元量子ダイナミクス計算
  酒井翼 (電気通信大学), 工藤周平 (電気通信大学), 井町宏人 (鳥取大学), 宮武勇登 (大阪大学), 星健夫 (鳥取大学), ◯山本有作 (電気通信大学)
• 力学系における非双曲型平衡点近傍の精度保証解析
  ◯中村正男 (電気通信大学), 寺坂元 (電気通信大学), 寺田邦人 (電気通信大学), 山本野人 (電気通信大学)
• 二次形式を用いた Affine 演算の拡張について
  ◯松田望 (電気通信大学), 山本野人 (電気通信大学), 中山大輔 (株式会社カヤック)
• 体内動態に対するコンパートメントモデルのモデルパラメータ推定手法について
  ◯小松瑞果 (神戸大学), 谷口隆晴 (神戸大学, JST さきがけ)
• あるテーマパークにおける地形的集客効果の感度分析
  ◯大川航平 (神戸大学), 谷口隆晴 (神戸大学, JST さきがけ)
• 潜在変数ネットワークモデルを用いた放牧牛の交流ネットワーク解析
  小松瑞果 (神戸大学), ◯谷口隆晴 (神戸大学, JST さきがけ), 大川剛直 (神戸大学, JST CREST)

• IMEX ルンゲークッタ法の安定性
  ◯大野博 (茨城大学)
• A remark on implementation of implicit Runge-Kutta methods
  ◯三井斌友 (名古屋大学)
• 微分方程式の初期値問題に対する Sinc–Nyström 法の誤差解析
  ◯原涼太 (広島市立大学), 岡山 友昭 (広島市立大学)
• ピタゴラス三体問題の高精度計算
  ◯平山弘 (神奈川工科大学)

• 高次元力学系におけるホモクリニック軌道に関する精度保証法に向けて
  ◯新田光輝 (電気通信大学), 山本野人 (電気通信大学)
• Fast verified numerical computation for the minimal nonnegative solution of the nonsymmetric algebraic Riccati equation
  ◯宮島信也 (岩手大学)
• 代用電荷法による 3 次元曲面の計算法について
  ◯岡野 大 (愛媛大学), 阿藤 祐介 (愛媛大学)
• グラスマン多様体上の商構造に基づくニュートン方程式とその解法
  ◯佐藤寛之 (京都大学), 相原研輔 (東京都市大学)

クロージング　12:00 — 12:10