＞＞703
Lispやschemeは数学的基礎をはっきりさせてるという話。
ラムダ関数はそれだけでチューリング完全なので、定義できるはず。