FreeStyleWiki

簡約!λカ娘

このエントリーをはてなブックマークに追加

[関数型プログラミング]

簡約!λカ娘

このページでは、サークル・参照透明な海を守る会で出版されていた「簡約!λカ娘」についてのメモを書く

  • 簡約!λカ娘」はもちろんイカ娘のパロディで関数型言語中心にいろいろな読み物が載っている
  • しかしいかんせん内容が濃いので読む時間がない
  • 現在はすべてpdf版が無償配布されている、そしてInternetArchiveにも保存済みなのでゆっくり読める

  見どころ

  • 簡約!? λカ娘(算)
    • 第4章 オール・アバウト・ケーゾク・イン・スキーム、にて継続(call/cc)の概念が実例付きでわかりやすく説明されている
      • 継続とSchemeとLispの関係については必読
  • 簡約! λカ娘(4)
    • 第6章 けいさん!highschool、にて命題論理、述語論理、SAT、SMTについて
  • 簡約!? λカ娘 8
    • 第3章 真の名を~データ設計とAlloy~、にて軽量形式手法(Lightweight Formal Method)とAlloy言語
    • 第4章Lagrangeの未定乗数法、にてLagrangeの未定乗数法