数値計算の品質保証に関する動向 －関数方程式に対する数値的検証法を中心として－

• Item type: SIG Technical Reports(1)
• 公開日: 1988-12-02
• タイトル: 数値計算の品質保証に関する動向 －関数方程式に対する数値的検証法を中心として－
• タイトル / 言語: en
• タイトル: Recent advances on the reliability in scientitic computing
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 九州大学 理学部 数学教室
• 著者所属(英): en
• 著者所属(英): Department of Mathematics, Faculty of Science, Kyushu University
• 著者名: 中尾充宏
• 著者名(英): Mitsushiro, T.Nakao
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 本報告では、科学計算における信頼性に関する技術動向について述べる。昨年（1987年）秋、米国オハイオで開催された区間解析法にもとづく計算の信頼性に対する国際研究集会の報告を兼ねて，特に，微分方程式等の関数方程式の解を数値的に検証する技法について紹介する。
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: In this report, we describe the state of the art on the reliability in scientific computing. Particularly, we introduce several existing techniques for verified computation for infinite dimensional problems that take into account the international workshop on the role of interval method in scientific computing in Ohio USA. 1987.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10463942
• 書誌情報: 情報処理学会研究報告ハイパフォーマンスコンピューティング（HPC）; 巻 1988, 号 91(1988-HPC-027), p. 1-6, 発行日 1988-12-02
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会