2017-12-14から1日間の記事一覧

帰納法と余帰納法にまつわる伝承

これはAmusement Creators Advent Calendar 2017の14日目の記事です. adventar.org 最小不動点と最大不動点のよく知られた話とか時相論理に絡めた話をゆるゆるっとするつもりです. 分かりにくかったり変なことを言っていれば気軽にご指摘ください. 記事を…