https://gist.github.com/890110うーむ、clojure.test.areは微妙にコードが見にくい気がする。

Haskellで書かれたテキストエディタ。 http://www.haskell.org/haskellwiki/Yi

Conceptual Mathematicsのように絵入りの例がないと理解できない私は 熟読開始して3日間、9時間で現在67ページまで読みました。他に絵入りの資料でイメージを掴めそうなものとしては、 http://ls.poly.edu/~jbain/Cat/index.htm こんなものも良さそう。http:…

http://www.slideshare.net/takkanm/carconsこういう配色とか私は好きです。 内容もさることながら、見せ方という意味でも勉強のためにリンクしておく。

Computational Category Theory http://kolhoz.tiera.ru/M_Mathematics/MA_Algebra/MAct_Category%20theory/Rydeheard%20D.E.,%20Burstall%20R.M.%20Computational%20category%20theory%20(c.%201990)(263s).pdfを読むために、SMLからOCamlへの変換を調査。 …

Category Theoryの導入的な文書をいくつか。そもそも書籍を読む前にこういうのを眺めておけばいいんじゃないかという。 A Gentle Introduction to Category Theory http://wwwhome.cs.utwente.nl/~fokkinga/mmf92b.pdf An introduction to Category Theory f…

http://www.cse.chalmers.se/research/group/logic/book/book.pdfこれは後で読むことにする。 3連休はCategory Theoryの読書として、 "Category Theory",Steve Awodey "CATEGORIES AND COMPUTER SCIENCE", R.F.C.Walters "Conceptual Mathematics",F.William…

AwodeyのSecond Editionで、本家のerattaに記述されていない (ささいな)誤字脱字と思われるものを見つけました。 私の思い違いじゃないかどうか見てみてくださいな。 P17 L6 "sets and fuctions." -> "sets and functions." P67 L-3 "parallel pair of funct…

http://pleac.sourceforge.net/Common Lispもある、けどClojureがないようだ。

以前、Clackのインストールで挫折したわけだが、 http://d.hatena.ne.jp/kencoba/20110308/1299593445深町さんからの最新情報に基づき、 http://modern-cl.blogspot.com/2011/03/quicklisp.htmlUbuntuでも素直にインストールできた。それにしても、REPLで書…

http://github.com/jonromero/music-as-dataどうやらClojureで音楽できるらしい。

どう書く？org(http://ja.doukaku.org/)の課題から、回文日付を表示するプログラム。http://gist.github.com/863639clojarsのclj-timeを使用。("01011010" "01100110" ... "92800829" "92900929")という結果が出る。

http://github.com/functional-koans/clojure-koansClojure exercise. あとでやってみよう。

http://gist.github.com/8619343*3魔方陣。このくらいなら新人研修で使えるかな。

http://gist.github.com/861902新人研修のアルゴリズム教材用に演習問題を作ろう！ ということで、小町算の総当たりプログラム。Clojureではできたけど、Javaに直すのが面倒であきらめた・・・。

http://gist.github.com/861720こちらを参考に。 http://www.arcfn.com/2009/03/y-combinator-in-arc-and-java.html呼び出しの様子を展開して表示させたいんだが。

最近ACMをうろちょろして見つけたものなど。 「Modeling Ontologies as Executable Domain Specific Languages」Dragan Djuric他,ISEC '10 オントロジー記述にDSL(MagicPotion http://code.google.com/p/magicpotion/wiki/BasicTutorial) を適用した研究です…

ClozureCLにasdf-installが入っていることを知らなかった。 しかし、まだ http://dev.ariel-networks.com/wp/archives/303 の通りにやっても最後の quicklisp使うところでうまくいっていない。 この手の「簡単に使えない」ところがCommon Lispの普及を妨げて…

第14回Formal Methods 勉強会で、 clojure.contrib.seq-utils.indexedのn次元版が欲しい、 とのことだったので試験実装。http://gist.github.com/856980ツリー構造を考えるときは、やたら再帰するんじゃなくて、 (map func list) を使って下位のリストに関数…