「ものまね鳥をまねる」って「定理証明機＝ラムダ算法＝結合子論理＝プログラミング言語」って意味だったのか。マジで知らなかった（汗
このスレ勉強になるな。