{"links":{},"metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00024788","sets":["1164:1579:1726:1731"]},"path":["1731"],"owner":"1","recid":"24788","title":["セルラシステムによるPrologの実現について"],"pubdate":{"attribute_name":"公開日","attribute_value":"1988-07-07"},"_buckets":{"deposit":"4c16cd78-11df-4dae-9144-aa72bc7f4e73"},"_deposit":{"id":"24788","pid":{"type":"depid","value":"24788","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":"PROLOG IMPLEMENTED BY CELLULAR SYSTEM","subitem_title_language":"en"}]},"item_type_id":"4","publish_date":"1988-07-07","item_4_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"岩手大学・工学部・情報工学科"},{"subitem_text_value":"岩手大学・工学部・情報工学科"}]},"item_4_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Department of Computer Science, Faculty of Enginerring, Iwate University","subitem_text_language":"en"},{"subitem_text_value":"Department of Computer Science, Faculty of Enginerring, Iwate University","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/24788/files/IPSJ-ARC88071015.pdf"},"date":[{"dateType":"Available","dateValue":"1990-07-07"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-ARC88071015.pdf","filesize":[{"value":"708.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":"16"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"ce00153c-3e6e-425a-be9d-28823fe4b7ab","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 1988 by the Information Processing Society of Japan"}]},"item_4_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"山川, 直己"},{"creatorName":"吉岡, 良雄"}],"nameIdentifiers":[{}]}]},"item_4_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Yamakawa, Naomi","creatorNameLang":"en"},{"creatorName":"Yoshioka, Yoshio","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_4_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AN10096105","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":"PrologはLispと同程度のリスト処理能力を持ち、推論機能が内蔵された言語である。セルラシステムの持つ構造に由来する並列性を利用して、このPrologの持つ並列性を引き出し、高速実行可能なシステムを提案する。本システムは、同一化を行うセルラシステムと、動的なプログラムのマッピングを受け持つセルラシステム、この二つのシステム間のデータの授受を行うユニットからなっている。これらの論理的な構成について述べ、静的な性能評価を行う。","subitem_description_type":"Other"}]},"item_4_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"Prolog is as capable of processing lists as Lisp and a language with inference engine. In order to obtain the advantage of concurrence that results from cellular system structure, we propose a high-speed Prolog system with concurrence. This system is consisted of three blocks, one is unification system and the second is a mapping system of dinamic programs and the last is a communication unit between two cellular systems. This paper presents the system topologies and the static performance estimate.","subitem_description_type":"Other"}]},"item_4_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"115","bibliographic_titles":[{"bibliographic_title":"情報処理学会研究報告計算機アーキテクチャ（ARC）"}],"bibliographicPageStart":"109","bibliographicIssueDates":{"bibliographicIssueDate":"1988-07-07","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"45(1988-ARC-071)","bibliographicVolumeNumber":"1988"}]},"relation_version_is_last":true,"weko_creator_id":"1"},"created":"2025-01-18T22:55:50.137436+00:00","updated":"2025-01-22T19:46:05.003622+00:00","id":24788}