m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 「証明の“お膳立て”のやり方」、「証明の“お膳立て”のやり方 2： 証明の顧客・業者モデル」の続きです。このテの話は具体例がないとなかなかピンと来ないので事例を追加します。内容： 証明要求の事例 “お膳立て”の全体像 証明要求の書き換え R-1 から R-1.2 まで R-2 から R-2.3 まで R-1.2-1 から R-1.2-1.2 まで R-1.2-2 から R-1.2-2.3 まで 証明に必要なこと 第1回とシリーズ目次 証明要求の事例A, Bを集合として、f:A→B は写像とします。この状況で次の命題を考えます。 fは可逆 ⇔ fは全単射 この命題が真か偽か、現時点では分かりませ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20171002%2F1506906916" title="証明の“お膳立て”のやり方 3： さらに事例 - 檜山正幸のキマイラ飼育記 (はてなBlog)" 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 2017-10-02 10:15:16 rich https://m-hiyama.hatenablog.com/entry/20171002/1506906916 1.0 100%