computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ 関数プログラミングの帰納的関数 ChatGPT プログラミング言語の関数が帰納的関数の理論で何に相当するか調べるのは難しそうなので、いったん随伴関手について ChatGPT で調べてみることにします。 Option の随伴関手はどのようなものですか と入力すると以下の結果となりました。 `Option` 型の随伴関手を考えるには、関手の定義と随伴性を確認する必要があります。まず、`Option` 型とは、ある型 `A` に対して以下のように定義される型のことです。つまり、`Option(A)` は「`A` の要素」または「何もない（`None`）」を持つデータ型です。 `Option` 型の関手としての振る舞い `Option` は エンド… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2025%2F02%2F03%2F203725" title="関数プログラミングの帰納的関数(12) - 非専門的シンギュラリティー研究所" 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/31YKFkhs8GL._SL500_.jpg Hatena Blog https://hatena.blog 2025-02-03 20:37:25 rich https://computeralgebra.hatenablog.com/entry/2025/02/03/203725 1.0 100%