computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ この記事の目的 ここでやりたいことは「論理プログラミング的な手法によってリーマン予想がどのような問題なのかの説明をする」ということです。論理プログラミングの説明を書いていたときに、なかなか説明を簡単に書くことができなくて、何か書くための方法が必要だと感じました。このブログの1つの目的が、極限に関する記述を簡単にするということなので、それにつながるような形で何か方法が見つかれば良いということでリーマン予想の説明をしてみることにしました。リーマン予想を解決しようというものではありませんし、論理プログラミングを使って何かやろうということでもありません。極限の計算、不等式の計算、関数の定義などで、論理… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2020%2F09%2F23%2F004110" title="論理プログラミング的リーマン予想(1) - 非専門的シンギュラリティー研究所" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://chart.apis.google.com/chart?cht=tx&chl=%20%7B%5Cdisplaystyle%20%5Czeta%20%28s%29%3D%5Csum%20_%7Bn%3D1%7D%5E%7B%5Cinfty%20%7D%7B%5Cfrac%20%7B1%7D%7Bn%5E%7Bs%7D%7D%7D%3D1%2B%7B%5Cfrac%20%7B1%7D%7B2%5E%7Bs%7D%7D%7D%2B%7B%5Cfrac%20%7B1%7D%7B3%5E%7Bs%7D%7D%7D%2B%7B%5Cfrac%20%7B1%7D%7B4%5E%7Bs%7D%7D%7D%2B%5Ccdots%20.%7D Hatena Blog https://hatena.blog 2020-09-23 00:41:10 rich https://computeralgebra.hatenablog.com/entry/2020/09/23/004110 1.0 100%