>>677
計算可能性はプログラミング論全部の根底にかかわる広く深い話です