Hatena Star > keigoi > keigoi's blogs

• 
  keigoiの日記 5144

  keigoi d.hatena.ne.jp

  • [Haskell] 型クラスで tagless DSLメタプログラミング /
  • [Haskell] Haskell＋タグレスな型付きDSLで楽々！C言語コード生成 /
  • [Formal][Alloy] Alloyでλ計算（完全版） /
  • [Formal][Alloy] Alloyでλ式をつくる /
  • [Haskell] 線形型つきドメイン特化言語 (DSL) を Haskell上に実装する /
  • [Coq] Coqで分離論理(separation logic)..
• 
  keigoiの日記 - coqグループ 1

  keigoi coq.g.hatena.ne.jp

  • 「(AならばB) ⇔ (~A または B)」と直観主義論理..
• 
  keigoi - はてなナウ

  keigoi now.hatena.ne.jp
• 
  人力検索はてな - keigoiさんのプロフィール

  keigoi q.hatena.ne.jp
• 
  keigoi's fotolife

  keigoi f.hatena.ne.jp