2022-07-28 (Thu)
#1 Coq の Template polymorphism (2)
さらに manual を読み直した
そーか、具体的に与えた ql から Pl' が決まり、Ci : sqi を成立できるように si が選ばれる、
という仕掛けか
そこで ΓP' は、partial application で ql が与えられなかった部分はそのまま残るから別にいいのか
というこ
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