computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ プログラミング言語の無限長リスト ChatGPT まず一般的なことを質問してみました。 表示的意味論をプログラミング言語の無限長リストに適用することはできますか と ChatGPT で入力すると以下の結果となりました。 はい、表示的意味論（denotational semantics）は、プログラミング言語における無限長リストにも適用できます。ただし、いくつかの理論的準備が必要です。以下にその要点を説明します。 ◆ 表示的意味論とは 表示的意味論は、プログラムの構文（構文木など）に対して、それが「何を意味するか」を数学的対象（意味領域）に対応させる方法です。たとえば、数式 `3 + 4` は `7` という意味（自然数）に写されます。 ◆ 無… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2025%2F05%2F02%2F003652" 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> https://m.media-amazon.com/images/I/41K-s7NfINL._SL500_.jpg Hatena Blog https://hatena.blog 2025-05-02 00:36:52 rich https://computeralgebra.hatenablog.com/entry/2025/05/02/003652 1.0 100%