到達不可能基数の存在を仮定すると、「すべての実数集合がルベーグ可測である」という命題LMはZFと矛盾しないことが示されている。1970年ソロベイ。そして、到達不可能基数の存在を否定すると前命題は示せない。シェラー。 であってるのかな。これの前半を、…

NOPってよく分からない。実装が powerPCでの実装が ori r0, r0, 0 だよね。と誰かが言った。「あれ? x86では or じゃないよねえ。and だっけ?」といったら、横にいた先生が聞いていて「NOP は 90 だから xchg eax,eax じゃないか?」といわれた。 たしかに an…

パタヘネのまえがきより 「コンピュータ・アーキテクチャ」との関係 我々がこの前著を執筆した動機は、確固たる工学的な基盤に立って、コストと性能のトレードオフを定量的に把握しながら、コンピュータ・アーキテクチャの原理を記述することであった。我々…

最近、僕・私・俺の使い分けが派手になってきたなあ。

おかげさまで大分議論がしやすくなりました。恐らくほとんどの事実関係は合意に至っているのだと思います。というよりも、どこが不一致なのかがよく分かっておりません。僕は意図的に一番浅い階層での議論しかしていません。 どうしても理解できないのは、「…