{"created":"2025-01-18T23:15:34.646461+00:00","updated":"2025-01-22T07:25:06.234368+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00050910","sets":["1164:4402:4467:4471"]},"path":["4471"],"owner":"1","recid":"50910","title":["数値データの論理的推論"],"pubdate":{"attribute_name":"公開日","attribute_value":"1995-03-06"},"_buckets":{"deposit":"fbc9197d-213c-48b5-950d-30f92210ceb0"},"_deposit":{"id":"50910","pid":{"type":"depid","value":"50910","revision_id":0},"owners":[1],"status":"published","created_by":1},"item_title":"数値データの論理的推論","author_link":["0","0"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"数値データの論理的推論"},{"subitem_title":"Logical Reasoning of Numerical Data","subitem_title_language":"en"}]},"item_type_id":"4","publish_date":"1995-03-06","item_4_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"（株）東芝研究開発センター"}]},"item_4_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Research & Development Center, Toshiba Corporation","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/50910/files/IPSJ-ICS94099023.pdf"},"date":[{"dateType":"Available","dateValue":"1997-03-06"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-ICS94099023.pdf","filesize":[{"value":"839.6 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":"25"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"dca3bafe-156f-416d-b8d3-a396f616e2c1","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 1995 by the Information Processing Society of Japan"}]},"item_4_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"月本, 洋"}],"nameIdentifiers":[{}]}]},"item_4_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Hiroshi, Tsukimoto","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_4_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AA11135936","subitem_source_identifier_type":"NCID"}]},"item_4_textarea_12":{"attribute_name":"Notice","attribute_value_mlt":[{"subitem_textarea_value":"SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc."}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_18gh","resourcetype":"technical report"}]},"item_4_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"数値データは今まで論理的推論の対象ではなかった。本論文では数値データが直観主義論理で推論できることを示す。その概要は以下の通りである。多重線形関数空間は関数の定義域が{0，1}の時には古典論理の代数モデルであるプール代数の拡張でありユークリッド空間となるが、定義域が[0，1]の時にもユークリッド空間になる。多重線形関数空間は、Heyting代数になるので、直観主義論理のモデルになる。線形関数は多重線形関数空間に含まれるので、直観主義論理で論理的に推論できる。また数値データは線形関数で近似できるので、数値デ","subitem_description_type":"Other"}]},"item_4_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"This paper shows that numerical data can be reasoned by intuitionistic logic. The space of multi-linear functions, which is the extension of Boolean algebra, can be made into a Euclidean space. The space can be also made into a Euclidean space when the do","subitem_description_type":"Other"}]},"item_4_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"182","bibliographic_titles":[{"bibliographic_title":"情報処理学会研究報告知能と複雑系（ICS）"}],"bibliographicPageStart":"175","bibliographicIssueDates":{"bibliographicIssueDate":"1995-03-06","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"23(1994-ICS-099)","bibliographicVolumeNumber":"1995"}]},"relation_version_is_last":true,"weko_creator_id":"1"},"id":50910,"links":{}}