pandaman64 https://blog.hatena.ne.jp/pandaman64/ 井山梃子歴史館 https://pandaman64.hatenablog.jp/ 私が主張したいのは「私たちが計算*1と呼ぶもののモデル化には、必ずしも状態の概念が現れるとは限らない」です。これを立証するために、ブーリアン回路族という状態の概念を必要としないモデルが、計算をしていると言えるほど十分強力であることを前の記事で紹介しました。 一方、私は「全ての計算は状態の概念を利用せずにモデル化できる」と言いたいのではありません。なぜならば、状態の概念を必要とする計算はあるからです。 状態の概念を必要とする計算はあります 世の中には状態の概念が必要な問題領域が存在します。例えば、時計は現在の時間を状態として持つでしょうし、自動販売機はユーザが投入された金額を状態の形で追跡する必… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fpandaman64.hatenablog.jp%2Fentry%2F2023%2F02%2F28%2F224946" title="状態の概念無しで表現できる計算も大事です - 井山梃子歴史館" 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 2023-02-28 22:49:46 rich https://pandaman64.hatenablog.jp/entry/2023/02/28/224946 1.0 100%