0150考える名無しさん垢版 | 大砲2018/01/03(水) 22:41:07.540 不動点定理の中でも、不動点コンビネータを扱うのが簡単そうだ。 不動点コンビネータを対象とするversionの宇宙。 はたして哲学的に語りうる宇宙となりえるのか。