@techreport{oai:ipsj.ixsq.nii.ac.jp:00030910,
 author = {古賀, 信哉 and 布川, 博士 and 野口, 正一 and Shinya, Koga and Hiroshi, Nunokawa and Shoichi, Noguchi},
 issue = {11(1989-PRO-024)},
 month = {Feb},
 note = {本稿では我々がすでに提案，実現している戦略の表明をもつ項書き換え系A-TRSを用いてトークンモデルに基づくストリーム（並行プロセス）の記述を行なう．ストリームは項書き換え系のような，いわゆる関数型言語に順序関係を導入するものであり，プログラムの構造化手法としても重要である．さらに，ストリームを並行に動作するモジュール間のデータの流れとして捉えることで，プログラムの中に並列性を陽に表現することが可能となる．本稿で述べるプログラムはプロセスの動作をすべてリダクションでシミュレートしており，処理系に対して通信機能を加えるなどの変更をなんら施すことなく実行が可能であるという特長をもっている．, 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.},
 title = {表明付き項書き換え系によるストリームプログラミング},
 year = {1990}
}