これはAmusement Creators Advent Calendar 2017の14日目の記事です. adventar.org 最小不動点と最大不動点のよく知られた話とか時相論理に絡めた話をゆるゆるっとするつもりです. 分かりにくかったり変なことを言っていれば気軽にご指摘ください. 記事を…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。