上林憲行上林憲行(かみばやしのりゆき)は、日本の工学者。東京工科大学教授。略歴.人工知能学会理事、情報処理学会理事などを歴任。数学の問題数学の問題(すうがくのもんだい)は、数学的方法で、表現され、解析され、そしてもしかすると解けるかもしれない問題である。これは、太陽系の惑星の軌道計算のような現実世界の問題であったり、ヒルベルト問題のような、より抽象的な性質の問題であったりすることがある。それは、ラッセルのパラドックスのような、数学の性質そのものについて触れる問題であることもある。解かれた数学の問題の結果は、数学の礼儀作法に則り、証明と吟味がなされる。現実世界の諸問題.一般的には、現実社会の問題を解くために数学を使うにあたって、最初の段階となるのはその問題の数理モデルを組み立てることである。これはその問題の詳細から抽象することを含んでいて、モデル作成者は元の問題を数学的問題に表現し直すにあたり、本質的側面を失わないように注意深くあらねばならない。数学の世界でその問題が解けた後、その解は元の問題の文脈の中へと訳し戻さなくてはならない。現実の現象は、一見すると単純なものや複雑であるものまで様々である。一見単純なものでも、微視的に見れば、複雑な機構であることもある。それらは現象を観察する尺度と、機構の安定性に依存する。単純な現象を簡単なモデルで説明できることもあれば、簡単なモデルから現象の複雑さを説明できそうなこともある。カオス理論によるモデルがその一例である。抽象的な諸問題.抽象的な数学の問題は数学のすべての分野に現れる。数学者は彼ら自身のためにそれらを研究するのだが、そうすることによって数学の領域外で応用を見つける結果が得られることがある。理論物理学は歴史的にそうであり続けてきたし、相変わらずインスピレーションの豊かな源である。抽象的な諸問題の中には、古典幾何学の定規とコンパスによる作図だけを使用した円積問題や角の三等分問題、一般的な五次方程式の代数的解法のように、解くことが不可能であることが厳密に証明されたものもある。また、チューリングマシンの停止問題のように、証明可能性的に解くことが不可能な問題は、いわゆると呼ばれる。