2005-08-01から1ヶ月間の記事一覧
(via サイコドクターぶらり旅) http://www.underconsideration.com/speakup/archives/002383.html
19p.(93p.(draft)) http://ontology.buffalo.edu/smith/articles/ontologies.htm
11p. http://citeseer.ist.psu.edu/rd/... 直接関係ないけれど、このスライドの gif アニメが可愛くて仕方ないです。 http://www.cs.indiana.edu/hyplan/sganz/publications/icfp99/slides-scheme/slide1.html
http://www.haskell.org/arrows/biblio.html
http://www.refererhound.jp/index.jsp 関連 Cross Domain Ajax http://kaoriha.org/nikki/archives/000177.html JSP版Referer Hound http://figaro.loversoul.jp/refererhound.jsp
仮更新してみるテスト。本更新があるのかは判りませんが。
1616p.C の仕様書に大量のコメントを付けたものみたいです。 http://www.knosof.co.uk/cbook/cbook.html
http://www.radiumsoftware.com/0507.html#050704 http://www.radiumsoftware.com/0507.html#050705 http://www.radiumsoftware.com/0507.html#050706 http://www.radiumsoftware.com/0507.html#050707
xyzzy 上で動く brain fuck だそうです。 http://mug-g.halfmoon.jp/log/eid147.html
17p. http://personal.lse.ac.uk/willia11/2005/obnets.pdf
6p. Introduction When Programmers Say “I Need Dynamic/Static Typing”, They Really Mean I want type inference I want contracts I want (coercive) subtyping I want Generics I want (unsafe) covariance I want ad-hoc relationships and prototype …
168p. http://www-2.cs.cmu.edu/~fp/courses/linear/handouts/linear.pdf
33p.Linear Logic in Computer Science の第一章として書かれたものだそうです。 An Overview of Linear Logic Programming Introduction Goal-directed proof search Uniform proofs Logic programming in classical and intuitionistic logics Higher-orde…
http://www.matthewmorgan.net/blog/archives/2005/07/15/linear-values
10p. INTRODUCTION THE TERMITE PROGRAMMING MODEL Isolated sequential processes Sending and receiving messages Failure PERIPHERAL ASPECTS Serialization Explicit mutation Exception handling Connecting nodes Remote procedure calls Process migr…
Dungeon Crawl をやっていて気がついたら月が変わってました。とりあえず脱出した。