2017-10-14から1日間の記事一覧
「証明の“お膳立て”のやり方 2: 証明の顧客・業者モデル」において、証明要求のターゲットに選言(論理OR)が入る場合に触れました。しかし、説明が不十分だったので補足します。また、前提に含まれる命題を推論規則として使う方法も説明します。例題は、タ…
このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama
メールでのご連絡は hiyama{at}chimaira{dot}org まで。
はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。
「証明の“お膳立て”のやり方 2: 証明の顧客・業者モデル」において、証明要求のターゲットに選言(論理OR)が入る場合に触れました。しかし、説明が不十分だったので補足します。また、前提に含まれる命題を推論規則として使う方法も説明します。例題は、タ…