西関隆夫
理論計算機科学
1990年05月号