2024-04-09 (Tue)
#1 Coq の P -> False を ~P に変える
先に結論を書いておく: change (~ P) もしくは change (?p -> False) with (~ p) を使えばよい
Coq で、~P というのは、not P の notation である。
not は以下のように定義される。
Definition not := fun A : Pro
2021/06/23
［3597例の治療例］を更新。
2歳5ヶ月男：胸腹部熱傷 水筒
http://www.wound-treatment.jp/new.htm#0623-1
その他いろいろ
【いろいろな情報や小ネタ系】
2ヶ月間「陸をはねて他の池に移動できる魚」は地上で脳を発達させると明らかに
中枢神経系の進化について，多くのことを示唆する研究です。
私は，【本来の生息環境にない外的刺激を受ける
ALL ITEMS
BRAND
NEWS & BLOG
ACCESS
Members Only
お問い合わせ
特定商取引法
オンライン接客
ショッピングガイド
ギフトラッピングについて
サイズガイド
プライバシーポリシー
ゲスト
ログイン
新規会員登録
0
2015/03/09 diaries
facebook
Twitter
Instagram
Tumblr
Members Only