{"metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00065830","sets":["1:5760:5871"]},"path":["5871"],"owner":"10","recid":"65830","title":["次世代統合シミュレーション技術 : 6.数値シミュレーションを支える精度保証技術"],"pubdate":{"attribute_name":"公開日","attribute_value":"2007-10-15"},"_buckets":{"deposit":"44e6b673-4a24-4f31-83a1-c6655845881c"},"_deposit":{"id":"65830","pid":{"type":"depid","value":"65830","revision_id":0},"owners":[10],"status":"published","created_by":10},"item_title":"次世代統合シミュレーション技術 : 6.数値シミュレーションを支える精度保証技術","author_link":["0","0"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"次世代統合シミュレーション技術 : 6.数値シミュレーションを支える精度保証技術"},{"subitem_title":"Next-generation Integrated Simulation Technique : Linear Numerical Simulation with Result Verification","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"特集","subitem_subject_scheme":"Other"}]},"item_type_id":"1","publish_date":"2007-10-15","item_1_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"早稲田大学理工学術院"},{"subitem_text_value":"科学技術振興機構戦略的創造研究推進事業"}]},"item_1_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Waseda Univ.","subitem_text_language":"en"},{"subitem_text_value":"CREST, Japan Science and Technology Agency","subitem_text_language":"en"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_publisher":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"情報処理学会","subitem_publisher_language":"ja"}]},"publish_status":"0","weko_shared_id":-1,"item_file_price":{"attribute_name":"Billing file","attribute_type":"file","attribute_value_mlt":[{"url":{"url":"https://ipsj.ixsq.nii.ac.jp/record/65830/files/IPSJ-MGN481008.pdf"},"date":[{"dateType":"Available","dateValue":"2009-10-15"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-MGN481008.pdf","filesize":[{"value":"891.7 kB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"660","billingrole":"5"},{"tax":["include_tax"],"price":"0","billingrole":"6"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"1826bed5-b203-4de8-b828-328363b7de86","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2007 by the Information Processing Society of Japan"}]},"item_1_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"大石, 進一"},{"creatorName":"荻田, 武史"}],"nameIdentifiers":[{}]}]},"item_1_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Shin'ichi, OISHI","creatorNameLang":"en"},{"creatorName":"Takeshi, OGITA","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_1_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AN00116625","subitem_source_identifier_type":"NCID"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_6501","resourcetype":"article"}]},"item_1_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"数値シミュレーションは，膨大な数値計算の結果の上に成り立っている．そのような数値計算の結果を数学的に厳密な誤差限界と共に与えることを精度保証付き数値計算という．近年の著者らの成果により，精度保証付き数値計算は，線形計算については近似解を求めるのと比べて数倍の手間で実行できることが多いことが示された．さらに，数値計算自身も必要な精度の計算を適応的にかつ必要な計算の手間で行えることが示された．たとえば，連立一次方程式の数値解を倍精度浮動小数点演算で求めても，その精度が10進数換算で16桁（倍精度での最大）はほぼ常に出せる計算方式が実現できる．しかも，問題の難しさ（条件数）に応じた計算量で高速に実行できる．このように，数値線形代数の問題については，精度保証付き数値計算の技術は多くの場合，数値シミュレーションを支える技術として，実に驚くべき進展を遂げた．本稿では，このような現状について概観する．具体的には，著者らの研究により確立しつつある高速精度保証付き数値計算技術と無誤差数値計算技術についてサーベイを行う．","subitem_description_type":"Other"}]},"item_1_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"1110","bibliographic_titles":[{"bibliographic_title":"情報処理"}],"bibliographicPageStart":"1103","bibliographicIssueDates":{"bibliographicIssueDate":"2007-10-15","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"10","bibliographicVolumeNumber":"48"}]},"relation_version_is_last":true,"weko_creator_id":"10"},"id":65830,"updated":"2025-01-22T01:18:24.505296+00:00","links":{},"created":"2025-01-18T23:26:49.386656+00:00"}