{"links":{},"metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00015195","sets":["581:833:839"]},"path":["839"],"owner":"11","recid":"15195","title":["高速自動微分法と区間解析とを用いた丸め誤差推定"],"pubdate":{"attribute_name":"公開日","attribute_value":"1989-07-15"},"_buckets":{"deposit":"3f2a255c-7c14-46bf-a6cf-8647647c701e"},"_deposit":{"id":"15195","pid":{"type":"depid","value":"15195","revision_id":0},"owners":[11],"status":"published","created_by":11},"item_title":"高速自動微分法と区間解析とを用いた丸め誤差推定","author_link":["361423","361424","361426","361425"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"高速自動微分法と区間解析とを用いた丸め誤差推定"},{"subitem_title":"Estimates of Rounding Errors with Fast Automatic Differentiation and Interval Analysis","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"論文（論文賞受賞）","subitem_subject_scheme":"Other"}]},"item_type_id":"2","publish_date":"1989-07-15","item_2_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"慶応義塾大学理工学部管理工学科"},{"subitem_text_value":"東京大学工学部計数工学科"}]},"item_2_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Department of Administration Engineering, Faculty of Science and Technology, Keio University","subitem_text_language":"en"},{"subitem_text_value":"Department of Mathematical Engineering and Information Physics, Faculty of Engineering, University of Tokyo","subitem_text_language":"en"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"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/15195/files/IPSJ-JNL3007002.pdf","label":"IPSJ-JNL3007002"},"date":[{"dateType":"Available","dateValue":"1991-07-15"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-JNL3007002.pdf","filesize":[{"value":"782.9 kB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"660","billingrole":"5"},{"tax":["include_tax"],"price":"330","billingrole":"6"},{"tax":["include_tax"],"price":"0","billingrole":"8"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"33ef547d-a8b7-46b6-91bf-27bb66e0cfc5","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 1989 by the Information Processing Society of Japan"}]},"item_2_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"久保田, 光一"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"伊理, 正夫"}],"nameIdentifiers":[{}]}]},"item_2_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Koichi, Kubota","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Masao, Iri","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_2_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AN00116647","subitem_source_identifier_type":"NCID"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_6501","resourcetype":"journal article"}]},"item_2_source_id_11":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"1882-7764","subitem_source_identifier_type":"ISSN"}]},"item_2_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"本稿では 関数の計算値に含まれる丸め誤差の絶対値の厳密な上界を求める実用的な算法を提案する.また 普通の条件下では 演算の精度を高めるに従い その上界が上限に近づくことも示す.我々の手法は 浮動小数点数を両端点に持つ実数区間の区間演算(機械区間演算と呼ぶ)と“高速自動微分法”とを組み合わせたものである.高速自動微分法は 多変数の関数の値を計算する手続き(プログラム)が与えられたとき 関数値の計算に必要な手間の高々定数倍の手間で 関数のすべての変数に関する偏導関数値およびに関数の計算値に含まれる丸め誤差の絶対値の上限の良い近似値を計算する実用的な方法である.本稿の手法によれば 丸め誤差の絶対値の厳密な上界と数値計算結果とから 丸め誤差のない真の関数値を含む区間を定めることが可能となり 数値計算結果の品質の保証につながる.通常の区間解析によってもそのような保証区間を計算できるが 大規模・複雑な関数に対しては その区間幅が非実用的に過大評価されがちである.線形方程式系の解に含まれる丸め誤差を例にとって 区間解析と比較して 本手法の有効性を数値実験的に示す.","subitem_description_type":"Other"}]},"item_2_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"815","bibliographic_titles":[{"bibliographic_title":"情報処理学会論文誌"}],"bibliographicPageStart":"807","bibliographicIssueDates":{"bibliographicIssueDate":"1989-07-15","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"7","bibliographicVolumeNumber":"30"}]},"relation_version_is_last":true,"item_2_alternative_title_2":{"attribute_name":"その他タイトル","attribute_value_mlt":[{"subitem_alternative_title":"数値計算"}]},"weko_creator_id":"11"},"updated":"2025-01-20T06:33:26.390776+00:00","created":"2025-01-18T22:48:48.752410+00:00","id":15195}