computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ 中間報告 証明図を切り詰めることの極限として無限に続く入出力を表すこと(形式的冪級数のように)を考えています。これは以下のような問題に対応するためです。サーバー上で(理論的には)無限の時間にわたって動作しているプログラムと、それと連携したブラウザーで実行されるプログラムの組み合わせは、全体としては無限に続く入出力を扱うプログラムと考えることができます。この全体をうまく書き表す方法が見つからないので、無限に続く入出力について考えることが難しいという問題があると考えています。この問題を解決したいと考えています。この記述方法により、サーバー側のプログラムを変更せずに、プラウザー側からの入力によってサーバー側の… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2020%2F06%2F28%2F122206" title="中間報告(2) - 非専門的シンギュラリティー研究所" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2020-06-28 12:22:06 rich https://computeralgebra.hatenablog.com/entry/2020/06/28/122206 1.0 100%