13/10/11 10:41:09.86 dIya9neB0
連投スマン
亀レスだが
>>128
> コンピュータ科学と情報科学って、数学のどの分野に関連しているの？
まず第一に、しばしば離散数学とか有限数学と呼ばれている分野。
具体的にはグラフ理論や組合せ論、離散幾何学など。
これらの分野にとってはコンピュータ科学や情報科学から提出された問題も多いし
逆にコンピュータによる計算がこれらの分野の問題解決に役立つケースも多い。
後者の最も代表的な例は、グラフ理論の大難問だった４色問題が最終的に
数千個の場合すべてをコンピュータで虱潰しに調べて解決されたというのがある。
（一松信『四色問題』ブルーバックスでも参照せよ）
あと、コンピュータ科学と繋がりの深い数学の分野は数理論理学だね。
特に再帰的関数論と証明論とはコンピュータ科学や情報科学の数学的基礎付けの分野だから。
それから最近のインターネットやオンラインショッピング（アマゾン等）の動的解析などで発展してきた話題に関しては、
（数学でなく理論物理学だけれど）統計物理学との関連が深くて、複雑系ネットワークの理論モデルや解析手段の少なからずが
統計物理学で相転移などの研究のために生み出された概念や手法だ。