全射 f : A → BA が存在すれば、任意の g : B → B に不動点がある。なんかこういう抽象的な話を聞くととりあえず「へぇ」と感嘆するけど、大抵よくわからないのが悲しい。色々と応用ができて、簡単な所では |X| ≠ |2X| とかがすぐに導けるそうな。へぇ。

C99 で保証されているのはどれ。マルチスレッドとかは考えません。 “char”を“signed char”に変えても、プログラムの挙動は変わらない “int”を“signed int”に変えても、プログラムの挙動は変わらない ~0 == -1 sizeof(32768) == sizeof(0x8000) i、j、k が符…

週末に深夜 30 時に寝る生活をしていたら昨日ちっとも寝付けなくて異様に眠い。ところでオントロジーって何ですかね。