高木くんがアクセプトされるまで見守るスレ ★7

高木くんがアクセプトされるまで見守るスレ ★7 (995ﾚｽ)
上下前次1-新
抽出解除必死ﾁｪｯｶｰ(本家) (べ) ﾚｽ栞あぼーん

924(1): 12/16(月)15:39 ID:qPSFR81u(1/2) AAS
>>923
でもn=100000でコケるかもしれないよね

938: 12/16(月)20:34 ID:qPSFR81u(2/2) AAS
>>936
横だけど Idris や Agda などの必ず停止する言語でプログラムを書けば、
全てのnで"停止"することは言えると思うよ