Hatena::Antenna

maeda_aのアンテナ RSS OPML

すべて | 糖質制限 | つくば | 日記

おとなりアンテナ | おすすめページ

  1. 2022/07/28 21:50:53 天泣記含むアンテナおとなりページ

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

  2. 2021/06/23 09:31:47 新しい創傷治療:更新履歴含むアンテナおとなりページ

    2021/06/23
    [3597例の治療例]を更新。
    2歳5ヶ月男:胸腹部熱傷 水筒
    http://www.wound-treatment.jp/new.htm#0623-1
    その他いろいろ
    【いろいろな情報や小ネタ系】
    2ヶ月間「陸をはねて他の池に移動できる魚」は地上で脳を発達させると明らかに
    中枢神経系の進化について,多くのことを示唆する研究です。
    私は,【本来の生息環境にない外的刺激を受ける

  3. 2021/06/22 15:17:18 BLOG | diaries|ダイアリーズ含むアンテナおとなりページ

    ALL ITEMS
    BRAND
    NEWS & BLOG
    ACCESS
    Members Only
    お問い合わせ
    特定商取引法
    オンライン接客
    ショッピングガイド
    ギフトラッピングについて
    サイズガイド
    プライバシーポリシー
    ゲスト
    ログイン
    新規会員登録
    0
    2015/03/09 diaries
    facebook
    Twitter
    Instagram
    Tumblr
    Members Only