287 followers
適当に検索してみるとWeihrauch (Computable Analysisの人) の本でcomputable cpoという概念がdecidableなnumberingつきのcpoとして定義されているのが見つかるが、どう使われているかは前後を読まないと分からない https://t.co/xGeEaN9zPs
適当に検索してみるとWeihrauch (Computable Analysisの人) の本でcomputable cpoという概念がdecidableなnumberingつきのcpoとして定義されているのが見つかるが、どう使われているかは前後を読まないと分からない https://t.co/xGeEaN9zPs