「 月別アーカイブ：2025年06月 」 一覧

２０２５年６月２８日　（神ブランド）   前回からの続きです。 前回、私が証明したのは 「非標準ＴＭ計算から｛１,０｝基準ＴＭ計算への翻訳は証明できてない。」・・・（１） という事実。 この ...