ブラウザの設定でJava Scriptの使用を有効にしてご利用ください。
出典:Wikipedia
出典:『Wikipedia』 (2010/06/03 15:59 UTC 版)
A graph reduction machine is a special-purpose computer built to perform combinator calculations by graph reduction.
Graph reduction machine