eagletmtのアンテナ RSS OPML

すべて | グループ指定なし | cg | programming

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

  1. 2019/05/04 05:01:39 天泣記含むアンテナおとなりページ

    2019-05-03 (Fri)
    #1 CoqFunctionfunctional inductionfunctional inversion を使ってみる
    Functional Scheme 関係を調べていたところ、どうも、Functional Scheme の発展形が Function らしい。
    論文は以下のようだ。Coqsyntax は見慣れたもので、古くない。
    Gi

  2. 2019/04/30 02:34:20 2010/4 (1)含むアンテナおとなりページ

    Last Modified: Sun Mar 3 22:09:18 UTC 2019
    ハイは表皮水疱症(Epidermolysis Bullosa, ときに EB と略される) という病気だった。それも退行性の栄養失調型表皮水疱症だった。