TuvianNavy https://blog.hatena.ne.jp/TuvianNavy/ TuvianNavy’s port https://tuviannavy.hatenadiary.org/ 人間はかくも不完全であるが恩寵によって全体を帰納＝幻視する。しかしそれは移植可能な方法でレジスタサイズを（つまり機械にとって自然な整数の最大値や浮動小数点数のマシンイプシロン≒「質量ギャップ」乃至「グルーボール」を）知ることが出来ないのと何が違うだろうか。 我々が同じとみなすコードが具体的なマシンアーキテクチャ上でどのような機械語に落ちるかを制御できないなら、移植可能ではないことになる。実際のところ、コンパイラのブートストラップの一番最初のところでは人間が手で書いたマシン定義を信頼するしかないし、たとえば64bitマシンで32bitのアーキテクチャ定義をしても問題が起きないようにはできるだろう… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Ftuviannavy.hatenadiary.org%2Fentry%2F20160405%2F1459887300" title="仕様と実装の混同についてのメモ - TuvianNavy’s port" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2016-04-05 05:15:00 rich https://tuviannavy.hatenadiary.org/entry/20160405/1459887300 1.0 100%