必ず計算が終わるってどういうカラクリなの?
アッカーマンとかヒドラみたいなやつも停止性を保証できるの?