@techreport{oai:ipsj.ixsq.nii.ac.jp:00030797,
 author = {中山, 仁 and 中村, 浩 and 荒木, 啓二郎 and Hitoshi, Nakayama and Hiroshi, Nakamura and Keijiro, Araki},
 issue = {19(1990-PRO-028)},
 month = {Mar},
 note = {関数型言語を用いたシステム実現手法の1つとして，パタンとパタンマッチングの機構に基づくものを提案する．この方式ではシステムが取り扱う対象をパタンの集合とみなし，システム自体を各パタンに対する規則の集合として，パタンマッチングによって実行を制御する．本稿ではまず，この手法を適用して簡単な関数型言語処理系の実現を行い，その有効性を検討する．さらに，パタンとして取り扱えるようなデータ構造を処理の対象としない，一般のシステムに対して，システムで発生する事象をパタンとみなしてパタン駆動手法を適用する方法を述べ，例として哲学者の食事問題を記述する．なお記述言語としては，関数型言語Mirandaを用いた．, We propose the system development approach using functional languages based on patterns and pattern-matching. In this pattern-driven approach, objects processed by systems are considered as set of patterns, and systems are described as set of rules corresponding to each patterns, and the system behavior is determined by the pattern-matching mechanism. We apply this approach to development of a simple functional language system and examine its power. And then, we explain the method to apply the pattern-driven approach to the systems that do not treat objects that can be considered as patterns. and specify the dining philosopher problem as an example.},
 title = {関数型言語を用いたパタン駆動に基づくシステム実現手法　－並列関数型言語処理系の記述と実現－},
 year = {1991}
}