2011-04-20から1日間の記事一覧

Algorithms, 4th Edition

http://algs4.cs.princeton.edu/50strings/硬派なアルゴリズムの本。

4clojure.com

http://4clojure.com/ Clojureの勉強用サイトですかね。 素敵。

Coqで圏論の会

Coq

http://atnd.org/events/15000というのが企画されています。 圏論の話がわからない私にとって、 ヒントになるかなー。

A Machine-Checked Proof for a Product-Line{Aware Type System

http://wwwiti.cs.uni-magdeburg.de/~tthuem/papers/2010-01-15_master.pdf@tmiya_さんが勉強会ネタとして紹介してらっしゃるので、流れないうちにメモ。やはり勉強会の中で一つ、読書ネタがあると、着実に勉強を進められると思う。