RIMS Kôkyûroku

No.2037

2016/10/19〜2016/10/21

齊藤　宣一

Norikazu Saito

目　次

1. GPUスパコンによる大規模粒子法・格子法シミュレーション (現象解明に向けた数値解析学の新展開 II)-------------------------------------1

　　　　東京工業大学学術国際情報センター　　　青木 尊之　(Aoki,Takayuki)

　

2. 形状最適化問題における評価関数の2階微分と $H^{1}$ Newton法 (現象解明に向けた数値解析学の新展開 II)--------------------------------5

　　　　名古屋大学情報科学研究科　　　畔上 秀幸　(Azegami,Hideyuki)

　

3. 代数的多重格子法と高並列実装手法 (現象解明に向けた数値解析学の新展開 II)---------------------------------------------------------17

　　　　工学院大学情報学部 / 工学院大学情報学部 / 工学院大学情報学部　　　藤井 昭宏 / 野村 直也 / 田中 輝雄　(Fujii,Akihiro / Nomura,Naoya / Tanaka,Teruo)

　

4. 2つのKrylov部分空間による複素モーメント型固有値解法の改良 (現象解明に向けた数値解析学の新展開 II)--------------------------------21

　　　　筑波大学システム情報工学研究科 / 筑波大学システム情報工学研究科　　　今倉 暁 / 櫻井 鉄也　(Imakura,Akira / Sakurai,Tetsuya)

　

5. 非保存型に基づいた衝撃波を含む非線形波動の新しい解法 (現象解明に向けた数値解析学の新展開 II)-------------------------------------32

　　　　宇宙航空研究開発機構　　　金森 正史　(Kanamori,Masashi)

　

6. Error analysis of Lagrange interpolation on tetrahedrons (Numerical Analysis : New Developments for Elucidating Interdisciplinary Problems II)---36

　　　　一橋大学大学院商学研究科 / 愛媛大学大学院理工学研究科　　　小林 健太 / 土屋 卓也　(Kobayashi,Kenta / Tsuchiya,Takuya)

　

7. 特異線形方程式に対する内部反復前処理 (現象解明に向けた数値解析学の新展開 II)-----------------------------------------------------44

　　　　筑波大学システム情報工学研究科　　　保國 惠一　(Morikuni,Keiichi)

　

8. 有限要素法の構成的誤差評価とその計算機援用証明への応用 (現象解明に向けた数値解析学の新展開 II)-----------------------------------54

　　　　九州大学マス・フォア・インダストリ研究所　　　中尾 充宏　(Nakao,Mitsuhiro T.)

　

9. 佐藤超函数論に基づく数値積分 (現象解明に向けた数値解析学の新展開 II)-------------------------------------------------------------57

　　　　電気通信大学情報理工学研究科　　　緒方 秀教　(Ogata,Hidenori)

　

10. HDG METHODS FOR SECOND-ORDER ELLIPTIC PROBLEMS (Numerical Analysis : New Developments for Elucidating Interdisciplinary Problems II)---61

　　　　早稲田大学理工学術院　　　及川 一誠　(Oikawa,Issei)

　

11. 円孔領域への数値等角写像 (現象解明に向けた数値解析学の新展開 II)----------------------------------------------------------------75

　　　　愛媛大学大学院理工学研究科　　　岡野 大　(Okano,Dai)

　

12. Almansi型分割に基づいた重調和方程式に対する基本解近似解法 (現象解明に向けた数値解析学の新展開 II)-------------------------------85

　　　　東京大学大学院数理科学研究科　　　榊原 航也　(Sakakibara,Koya)

　

13. ある無限次元固有値を用いた楕円型偏微分方程式の解の存在性に対する計算機援用証明法 (現象解明に向けた数値解析学の新展開 II)--------96

　　　　早稲田大学応用数理学科 / 早稲田大学基幹理工学研究科 / 早稲田大学応用数理学科　　　関根 晃太 / 田中 一成 / 大石 進一　(Sekine,Kouta / Tanaka,Kazuaki / Oishi,Shin'ichi)

　

14. 埋め込み境界法の数学的定式化に対する諸注意 (現象解明に向けた数値解析学の新展開 II)---------------------------------------------106

　　　　東京大学大学院数理科学研究科　　　杉谷 宜紀　(Sugitani,Yoshiki)

　

15. ナヴィエ・ストークス方程式に対する風上要素選択スキームの収束性 (現象解明に向けた数値解析学の新展開 II)-------------------------116

　　　　早稲田大学理工学術院　　　田端 正久　(Tabata,Masahisa)

　

16. Numerical verification method for positivity of solutions to elliptic equations (Numerical Analysis : New Developments for Elucidating Interdisciplinary Problems II)---125

　　　　早稲田大学基幹理工学研究科 / 早稲田大学理工学術院 / 早稲田大学理工学術院　　　田中 一成 / 関根 晃太 / 大石 進一　(Tanaka,Kazuaki / Sekine,Kouta / Oishi,Shin'ichi)

　

17. Oseen問題のための有限要素スキームの粘性係数依存性に注目した誤差評価 (現象解明に向けた数値解析学の新展開 II)--------------------141

　　　　早稲田大学大学院基幹理工学研究科　　　内海 晋弥　(Uchiumi,Shinya)

　

18. 主値積分の形状微分を用いた定常渦斑の数値計算 (現象解明に向けた数値解析学の新展開 II)-------------------------------------------145

　　　　京都大学数学教室　　　宇田 智紀　(Uda,Tomoki)

　

19. A Multi-GPU Implementation of a Parallel Solver for Incompressible Navier-Stokes Equations Discretized by Stabilized Finite Element Formulations (Numerical Analysis : New Developments for Elucidating Interdisciplinary Problems II)---149

　　　　岡山大学環境生命科学研究科 / 岡山大学環境生命科学研究科　　　Huynh Quang Huy Viet / 水藤 寛　(Huynh,Quang Huy Viet / Suito,Hiroshi)

　

20. A PENALTY METHOD FOR THE TIME-DEPENDENT STOKES PROBLEM WITH THE SLIP BOUNDARY CONDITION AND ITS FINITE ELEMENT APPROXIMATION (Numerical Analysis : New Developments for Elucidating Interdisciplinary Problems II)---153

　　　　東京大学数理科学研究科 / 東京大学数理科学研究科 / 早稲田大学理工学術院　　　周 冠宇 / 柏原 崇人 / 及川 一誠　(Zhou,Guanyu / Kashiwabara,Takahito / Oikawa,Issei)