21/07/11 01:04:39.70 YJk6tGcw.net
なぜなら、今回のケースはコードを見たらﾜｶﾙからじゃわ；；；
コンパイラは静的に決定できない、と言っているのは停止性問題を解く万能のアルゴリズムが無いことから来ているが、
特殊なケースでは停止性問題は機械的に解ける
今こそその時、
、というあたりからして>>679はちんぷんかんぷんなのではないか……
21/07/11 01:04:39.70 YJk6tGcw.net
なぜなら、今回のケースはコードを見たらﾜｶﾙからじゃわ；；；
コンパイラは静的に決定できない、と言っているのは停止性問題を解く万能のアルゴリズムが無いことから来ているが、
特殊なケースでは停止性問題は機械的に解ける
今こそその時、
、というあたりからして>>679はちんぷんかんぷんなのではないか……