>>877
Lispマシンが手続き型なのか関数型なのかを判定する理論的な基準はないということ