computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ 中間報告 このブログは日々の疑問を書いていくスタイルにいったん変更してみることにしました。ブログなのでそのスタイルの方が合っているともいえますし、生成AIで調べる形式であればできるのでとりあえずやってみます。 超越数と無限長リスト プログラミング言語の無限長リストを超越数で表すことができないか調べています。 プログラミング言語の無限長リスト プログラミング言語の無限長リストと表示的意味論の関係について考察しています。 ホッジ予想 ホッジ予想を説明する予定でしたが、説明が難しいので中断しています。 BSD予想 BSD 予想を説明する予定です。「現代数学」で BSD 予想の数値実験について書かれているのでこ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2025%2F06%2F22%2F174523" title="中間報告(22) - 非専門的シンギュラリティー研究所" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://m.media-amazon.com/images/I/51yuKkeI05L._SL500_.jpg Hatena Blog https://hatena.blog 2025-06-22 17:45:23 rich https://computeralgebra.hatenablog.com/entry/2025/06/22/174523 1.0 100%