{"created":"2025-01-18T22:49:03.340625+00:00","updated":"2025-01-23T00:17:43.817380+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00015533","sets":["581:859:868"]},"path":["868"],"owner":"1","recid":"15533","title":["Prologの視覚的計算モデル"],"pubdate":{"attribute_name":"公開日","attribute_value":"1987-04-15"},"_buckets":{"deposit":"b8b9d54d-b40a-41cb-b901-c122bc3c77ca"},"_deposit":{"id":"15533","pid":{"type":"depid","value":"15533","revision_id":0},"owners":[1],"status":"published","created_by":1},"item_title":"Prologの視覚的計算モデル","author_link":["0","0"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Prologの視覚的計算モデル"},{"subitem_title":"Visual Computation Model for Prolog","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"小特集：論理型言語とその処理系","subitem_subject_scheme":"Other"}]},"item_type_id":"2","publish_date":"1987-04-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":"Tokyo Research Laboratory, IBM Japan, Ltd","subitem_text_language":"en"},{"subitem_text_value":"Tokyo Research Laboratory, IBM Japan, Ltd","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/15533/files/IPSJ-JNL2804006.pdf"},"date":[{"dateType":"Available","dateValue":"1989-04-15"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-JNL2804006.pdf","filesize":[{"value":"545.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":"1ebae7a0-bfc2-4337-9725-c12f89063e78","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 1987 by the Information Processing Society of Japan"}]},"item_2_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"森下, 真一"},{"creatorName":"沼尾, 雅之"}],"nameIdentifiers":[{}]}]},"item_2_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Shin-Ichi, Morishita","creatorNameLang":"en"},{"creatorName":"Masayuki, Numao","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":"Prologの背景には宣言的な解釈と手続き的な解釈がある.宣言的な解釈に基づくPrologのプログラムは 仕様のように読みとれる点で重要だが 大規模なプログラムを宣言的に記述することは難しい.しかも近年のPrologの普及に伴い最近は比較的大規模なプログラムが作られるようになり 実際のプログラミング現場では 複雑なバックトラック カット 副作用等の手続き的側面が プログラムの作成・デバッグ・分析というプログラミングの過程において困難の原因となっている.本研究では これらのPrologの手続き的側面を明確に把握できるように その実行時の動きを視覚的に表現できる計算モデルBPM(Box and Plane Model)を提案する.BPMはゴールに対応する記号ボックスとボックス間の制御の流れを示す矢印によりバックトラックの動きを2次元的に表現する.またボックスにはその内部の実行の動きを表現する平面が対応しており 例えばカットが働いたときの制御の移行およびその有効範囲なども容易に把握できる.また実際にBPMは Prologのプログラミング環境の一つとして開発されたデバッガPROEDIT2においてプログラムの実行を表現するため使われている.","subitem_description_type":"Other"}]},"item_2_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"366","bibliographic_titles":[{"bibliographic_title":"情報処理学会論文誌"}],"bibliographicPageStart":"359","bibliographicIssueDates":{"bibliographicIssueDate":"1987-04-15","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"4","bibliographicVolumeNumber":"28"}]},"relation_version_is_last":true,"weko_creator_id":"1"},"id":15533,"links":{}}