{"updated":"2025-01-22T16:37:31.414948+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00031476","sets":["1164:2386:2559:2565"]},"path":["2565"],"owner":"1","recid":"31476","title":["階層的関数型の並行計算モデル"],"pubdate":{"attribute_name":"公開日","attribute_value":"1982-10-18"},"_buckets":{"deposit":"ad544845-c115-4867-8b03-0fb98f7cde9c"},"_deposit":{"id":"31476","pid":{"type":"depid","value":"31476","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":"AN HIERACHICAL FUNCTION MODEL FOR PARALLEL SYSTEMS","subitem_title_language":"en"}]},"item_type_id":"4","publish_date":"1982-10-18","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":"Tokyo Institute of Technology","subitem_text_language":"en"},{"subitem_text_value":"Tokyo Institute of Technology","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/31476/files/IPSJ-PRO82002001.pdf"},"date":[{"dateType":"Available","dateValue":"1984-10-18"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-PRO82002001.pdf","filesize":[{"value":"1.1 MB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"660","billingrole":"5"},{"tax":["include_tax"],"price":"330","billingrole":"6"},{"tax":["include_tax"],"price":"0","billingrole":"15"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"f5db63ca-fb10-4b3b-ae7b-4b892948e243","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 1982 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":"Toshio, Miyachi","creatorNameLang":"en"},{"creatorName":"Takuya, Katayama","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_4_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AN10485570","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":"Although functional programming language is attractive in point of naturaity and provability  lack of synchronization mechanisms for managing shared resources sets limits to its extensive utilization. In this report we propose a hierachical functional computation model for describing parallel systems. The nucleus of the model is harmony of the hierachy of pure the functions and the mechanism for synchronizing and exchanging data through a pair of communication ports. The mechanism  which we call 'rendezvous'  permits us to describe nondeterministic behaviours and synchronization on shared objects. Also as examples we describe some well-known synchronizing problems in our model.","subitem_description_type":"Other"}]},"item_4_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"Although functional programming language is attractive in point of naturaity and provability, lack of synchronization mechanisms for managing shared resources sets limits to its extensive utilization. In this report we propose a hierachical functional computation model for describing parallel systems. The nucleus of the model is harmony of the hierachy of pure the functions and the mechanism for synchronizing and exchanging data through a pair of communication ports. The mechanism, which we call 'rendezvous', permits us to describe nondeterministic behaviours and synchronization on shared objects. Also as examples we describe some well-known synchronizing problems in our model.","subitem_description_type":"Other"}]},"item_4_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"8","bibliographic_titles":[{"bibliographic_title":"情報処理学会研究報告プログラミング（PRO）"}],"bibliographicPageStart":"1","bibliographicIssueDates":{"bibliographicIssueDate":"1982-10-18","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"35(1982-PRO-002)","bibliographicVolumeNumber":"1982"}]},"relation_version_is_last":true,"weko_creator_id":"1"},"created":"2025-01-18T23:00:48.440808+00:00","id":31476,"links":{}}