09/03/19 13:04:57
>>109
なんだ、研究活動の話じゃなかったのか。
>>112
計算量の理論とか、擬似乱数の数学的評価とか？
でもそれらはコンピュータ科学で現れた問題を数学的に解析する分野だよね。
純粋数学そのものでコンピュータが有効に使われるケースは…
有名なのは四色問題の解決とか、有限群の計算とかだろうけど、
ＰＣは無限を扱えないし背理法とかの非構成的議論にも無力だから、やっぱり限られるね
09/03/19 13:04:57
>>109
なんだ、研究活動の話じゃなかったのか。
>>112
計算量の理論とか、擬似乱数の数学的評価とか？
でもそれらはコンピュータ科学で現れた問題を数学的に解析する分野だよね。
純粋数学そのものでコンピュータが有効に使われるケースは…
有名なのは四色問題の解決とか、有限群の計算とかだろうけど、
ＰＣは無限を扱えないし背理法とかの非構成的議論にも無力だから、やっぱり限られるね