著者

杉野 順清 飯田 三郎

雑誌

全国大会講演論文集

巻号頁・発行日

vol.40, pp.970-971, 1990-03-14

---

計算可能なアルゴリズムは,λ式で表現することができる.また,そのλ式はコンビネータという一種の組合せ演算子に変換できる.我々は,このコンビネータ式を直接実行するコンビネータマシンを開発中である.本稿では,このコンビネータマシンのためのプログラミング言語JCの設計方針およびそのコンパイラについて報告する.