もう放談、放言に徹しようと思います なら「公理的プログラミング」はどんなハードウェアによって裏付けられているのか、も、考えてみました。これ以降、完全な妄言です。 「公理的」というと、感覚的に言って、 その世界の支配的な少数の前提で、 大まかで…