非専門的シンギュラリティー研究所

無限に動き続けるシステムを表す方法を AI なども使って考えていきます。

中間報告(22)

このブログは日々の疑問を書いていくスタイルにいったん変更してみることにしました。ブログなのでそのスタイルの方が合っているともいえますし、生成AIで調べる形式であればできるのでとりあえずやってみます。

超越数と無限長リスト

プログラミング言語の無限長リストを超越数で表すことができないか調べています。

プログラミング言語の無限長リスト

プログラミング言語の無限長リストと表示的意味論の関係について考察しています。

ホッジ予想

ホッジ予想を説明する予定でしたが、説明が難しいので中断しています。

BSD予想

BSD 予想を説明する予定です。「現代数学」で BSD 予想の数値実験について書かれているのでこれについても調べる予定です。

シンギュラリティー

生成AIで何ができるかを調べています。

AI による音楽生成

AI による音楽生成による演奏について考察しています。また、X68000 での演奏についても考察する予定です。

個人研究者支援システム

研究をAIが行うようになった後の研究を支援するシステムの仕様を考察しています。

未来都市

「過去から見た未来の都市」を参考に都市の仕様を考察しています。

思考支援システム

「証明支援システム」の発展形として思考支援システムの仕様を考察しています。

X68000

X68000 向けの開発を行うために、X68000 エミュレーター、クロスコンパイラなどを調査しています。

C++ の調査

X68000 向けの C++ロスコンパイラを使うために、C++ について調査しています。

式の計算電卓コマンド版

X68000 向けの開発の調査のため、「式の計算電卓」を X68000 エミュレーターで動作するように移植しようと考えています。そのため「式の計算電卓」のコマンド版を作成しています。

かけ算・わり算計算機コマンド版

X68000 向けの開発の調査のため、「かけ算・わり算計算機」を X68000 エミュレーターで動作するように移植しようと考えています。そのため「かけ算・わり算計算機」のコマンド版を作成しています。乗除算のアルゴリズムを実行するサンプルとしても使えるようになっています。