02/01/31 23:19
>>294
たしかにその問題はかなり前に議論されていましたよ。
その時は誰かが長い証明を書いていたような気もするし、解決してなかった
気もするし、よく覚えてないなあ。
>>295,296
単語の長さに上限があるとは言いきれない
（幾らでも長い単語を作れるかもしれない）ので、その説明は正しくない。
02/01/31 23:19
>>294
たしかにその問題はかなり前に議論されていましたよ。
その時は誰かが長い証明を書いていたような気もするし、解決してなかった
気もするし、よく覚えてないなあ。
>>295,296
単語の長さに上限があるとは言いきれない
（幾らでも長い単語を作れるかもしれない）ので、その説明は正しくない。