m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ WCC Erlang Int = Z = {..., -1, 0, 1, 2, 3, ...}、XInt = Int + {∞, -∞} とする。他に全体集合T（total, universal, あるいはterm）を考えて、すべての領域はTの部分集合だとする。圏論で定式化したいなら、Tを固定して、モノ射 X→T だけを考えたスラント圏（ほぼsubobjectsの圏）を考えればいいだろう（たぶん実際はもっと工夫が必要）。X, YとかがTの部分領域だとして、射として部分関数 f:X⊃→Y を考える。D(f)⊆X をfの定義域、U(f)⊆X をfの未定義域とする。dom(f) = X = D(f)+U(f)（直和）とな… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20081217%2F1229507446" title="無限大を含む算術（x_arith） - (保存用) 檜山正幸のキマイラ飼育記 メモ編" 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 2008-12-17 18:50:46 rich https://m-hiyama-memo.hatenablog.jp/entry/20081217/1229507446 1.0 100%