13/02/16 13:27:39.52
>>520
組合せ論とか、最終的に特殊な行列の性質とかに帰着され
たりするから、10x10くらいまで計算機で計算して予想は
たくさんできる（で、たぶん正しい）けど、証明しろと言われると
特殊すぎて道具が無くてできないんだよね。
組合せ論の人に「あなたの理論を進展させることで、その
行列の予想が証明されるって方向になるんじゃないですか？」
と聞いたら、露骨に嫌な顔されたｗｗ
13/02/16 13:27:39.52
>>520
組合せ論とか、最終的に特殊な行列の性質とかに帰着され
たりするから、10x10くらいまで計算機で計算して予想は
たくさんできる（で、たぶん正しい）けど、証明しろと言われると
特殊すぎて道具が無くてできないんだよね。
組合せ論の人に「あなたの理論を進展させることで、その
行列の予想が証明されるって方向になるんじゃないですか？」
と聞いたら、露骨に嫌な顔されたｗｗ