{"updated":"2025-01-22T16:52:11.910877+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00030910","sets":["1164:2386:2457:2469"]},"path":["2469"],"owner":"1","recid":"30910","title":["表明付き項書き換え系によるストリームプログラミング"],"pubdate":{"attribute_name":"公開日","attribute_value":"1990-02-09"},"_buckets":{"deposit":"6bd8d144-d431-4072-ae11-1b7ee9c1feea"},"_deposit":{"id":"30910","pid":{"type":"depid","value":"30910","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":"Stream Programing in Strategy Annotated Term Rewriting System","subitem_title_language":"en"}]},"item_type_id":"4","publish_date":"1990-02-09","item_4_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"東北大学電気通信研究所"},{"subitem_text_value":"東北大学電気通信研究所"},{"subitem_text_value":"東北大学電気通信研究所"}]},"item_4_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Research Institute of Electorical Commnucation TOHOKU University","subitem_text_language":"en"},{"subitem_text_value":"Research Institute of Electorical Commnucation TOHOKU University","subitem_text_language":"en"},{"subitem_text_value":"Research Institute of Electorical Commnucation TOHOKU 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/30910/files/IPSJ-PRO89024005.pdf"},"date":[{"dateType":"Available","dateValue":"1992-02-09"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-PRO89024005.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":"7be0979a-d4a3-4cd6-97d5-33a1ee656967","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 1990 by the Information Processing Society of Japan"}]},"item_4_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"古賀, 信哉"},{"creatorName":"布川, 博士"},{"creatorName":"野口, 正一"}],"nameIdentifiers":[{}]}]},"item_4_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Shinya, Koga","creatorNameLang":"en"},{"creatorName":"Hiroshi, Nunokawa","creatorNameLang":"en"},{"creatorName":"Shoichi, Noguchi","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":"本稿では我々がすでに提案，実現している戦略の表明をもつ項書き換え系A-TRSを用いてトークンモデルに基づくストリーム（並行プロセス）の記述を行なう．ストリームは項書き換え系のような，いわゆる関数型言語に順序関係を導入するものであり，プログラムの構造化手法としても重要である．さらに，ストリームを並行に動作するモジュール間のデータの流れとして捉えることで，プログラムの中に並列性を陽に表現することが可能となる．本稿で述べるプログラムはプロセスの動作をすべてリダクションでシミュレートしており，処理系に対して通信機能を加えるなどの変更をなんら施すことなく実行が可能であるという特長をもっている．","subitem_description_type":"Other"}]},"item_4_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"We have proposed and implemented the strategy annotated term Rewriting System(A-TRS). In this paper, we show the stream programming based on token model stream as an example of concurrency modularization method in A-TRS. We use rewriting rules to describe each process, and the connections between processes(channels) is also described by rewriting rules. The strategy annotation is used to pass an data to kens to the processes connected by the channel. We can use a A-TRS reducer to simulate the processes communication. This shows that A-TRS is useful in describing and simulating the communication between processes by reduction.","subitem_description_type":"Other"}]},"item_4_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"48","bibliographic_titles":[{"bibliographic_title":"情報処理学会研究報告プログラミング（PRO）"}],"bibliographicPageStart":"39","bibliographicIssueDates":{"bibliographicIssueDate":"1990-02-09","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"11(1989-PRO-024)","bibliographicVolumeNumber":"1990"}]},"relation_version_is_last":true,"weko_creator_id":"1"},"created":"2025-01-18T23:00:23.101159+00:00","id":30910,"links":{}}