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

これはAmusement Creators Advent Calendar (ACAC) の6日目の記事です． adventar.org C++やC#にあってC言語にはない機能の一つにオーバーロード (overloading) というのがあります． これはC言語でもCPP(CPreProcessor)を使えば限定的ではあるけれどもオー…