0652132人目の素数さん垢版 | 大砲2020/07/20(月) 20:07:49.35ID:5Go+gGHC 必ず計算が終わるってどういうカラクリなの? アッカーマンとかヒドラみたいなやつも停止性を保証できるの?