数学の理論は進展しているが、具体的な定数や定積分の値を
求める手法は出てこないのだろうか?
例えば、
・留数計算の様な、新たな積分計算の手法は生まれてこないのか?
・オイラーのγ定数やゼータζ(2k+1)の厳密値を求める理論はないのか? 定積分の計算技術も、複素関数論を使った留数計算以降、大きな計算手法は出てきて無い様に見える。
これだけ数学が進んでるのだから、もう少し具体的な計算値、厳密値も分かっても良いはずだが、特に目立った技術的進歩は無いようだ。 統計学で良く出てくる正規分布のガウス積分の定積分値も、
幾つかの特定の区間の厳密値が分かっても良いはず。 なるほど、確かに具体的な計算の厳密値はほとんど分かって無いな
数学は意外と一般論より、具体例の計算の方が難しい事が多々ある。それと似たようなものか >留数計算の様な、新たな積分計算の手法
留数計算は計算手法と言ってる時点で・・・バカ 野口 健一郎 著・訳
「導入と読解 チューリング「計算可能な数について」
―コンピュータの原典の実像を求めて―」
共立出版
発売日:2026/01/23
ISBN:978-4-320-12588-9
体裁:A5・312頁
定価: 4,950円 (本体4,500円 + 税10%) チューリングのテーゼを認めるならば、
チューリングマシンと等価な計算機が
計算可能なもののすべてを計算する
ことになる。ただし最近の量子計算は
チューリングの計算の前提を越えたと
ころにあるので、量子計算によって
古典チューリングマシンの能力を遙かに
越える計算が可能であると期待されている。
たとえば古典計算ではNP困難な問題が
量子計算ではPかもしれない。 This version is not peer-reviewed.
"A Novel Hybrid Quantum Circuit for Integer Factorization: End-to-End Evaluation in Simulation and Real Quantum Hardware"
by Jesse Van Griensven, Victor Oliveira Santos, Bahram Gharabaghi
https://www.preprints.org/manuscript/202510.1649