「ドイツで16歳の少年、ニュートンも解けなかった難問の答えを見つける」記事へのコメント

これって

[Anonymous Coward]

大砲とか鉄砲の弾の弾道計算が正確にできるようになるってこと？
＃飛行経路の途中で様々な条件が変動するだろうから、実際の戦闘で役に立つ程の効果が現れるかどうかは別として。

Re:

[TarZ (28055)]

本家/.記事を斜め読みしたところでは、従来は数値的に解いていた問題を解析的に解けるようになった、といったことが書かれています。

ミレニアム懸賞問題の一つが解かれた、ってことではないと思うんですが、コメント読んでもよく解らない…。

Re:これって

[Anonymous Coward]

数式処理システムで解こうとしても解けなかったということなのか？（今はどのくらいこの種の技術が進歩してるの？）

Re:

[Anonymous Coward]

具体的に与えられた微分方程式の解を初等関数（＋α？）の範囲で解く（つまり厳密解を見つける）というのは、結構難しいと思われます。
まあ、ガロア理論の応用だと思いますが。
与えられた初等関数の不定積分が初等関数の範囲で見つかるかどうかというのは、アルゴリズムがあって、
数式処理システムにも（それなりに）実装されているはず。

しかし、微分方程式となると、それに比べて非常に難しくなるから、今のところ、既知の結果があるような問題しか解けないんじゃないかな。