fix と memo とそのおまけ。

lisp macro

不動点オペレータと関数のメモ化で大いに遊ぶのが流行っているみたいで（k.inaba さんの発端の記事、結城浩さんによるリンク集）、楽しそうなのでひっそり書いてみます。Common Lisp で、というか xyzzy でちょこちょこしてみます。まずは普通に。とりあえ…

2005-08-09

Critique:The Alphabet

misc

(via サイコドクターぶらり旅) http://www.underconsideration.com/speakup/archives/002383.html

2005-08-09

Ontology (an introduction)

philosophy Barry Smith

19p.(93p.(draft)) http://ontology.buffalo.edu/smith/articles/ontologies.htm

2005-08-09

Trampolining Architectures

scheme trampoline Steven E. Ganz Daniel P. Friedman

11p. http://citeseer.ist.psu.edu/rd/... 直接関係ないけれど、このスライドの gif アニメが可愛くて仕方ないです。 http://www.cs.indiana.edu/hyplan/sganz/publications/icfp99/slides-scheme/slide1.html

2005-08-09

Arrows: A General Interface to Computation

haskell monad

http://www.haskell.org/arrows/biblio.html

2005-08-09

JavaScript版Referer Hound

javascript web-application ajax

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

2005-08-09

■

仮更新してみるテスト。本更新があるのかは判りませんが。

2005-08-01

C Language Book Material

C

1616p.C の仕様書に大量のコメントを付けたものみたいです。 http://www.knosof.co.uk/cbook/cbook.html

2005-08-01

Hungarian Notation

programming-style

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

2005-08-01

カッとなって書いた

xyzzy brain-fuck

xyzzy 上で動く brain fuck だそうです。 http://mug-g.halfmoon.jp/log/eid147.html

2005-08-01

Objective Bayesian Nets

baysian Jon Williamson

17p. http://personal.lse.ac.uk/willia11/2005/obnets.pdf

2005-08-01

Static Typing Where Possible, Dynamic Typing When Needed: The End of the Cold War Between Programming Languages

type-system Erik Meijer Peter Drayton

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 …

2005-08-01

Linear Logic Handouts

linear-logic Frank Pfenning

168p. http://www-2.cs.cmu.edu/~fp/courses/linear/handouts/linear.pdf

2005-08-01

An Overview of Linear Logic Programming

linear-logic Dale Miller

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…

2005-08-01

Linear Values

liner-logic

http://www.matthewmorgan.net/blog/archives/2005/07/15/linear-values

2005-08-01

Termite: a Lisp for Distributed Computing

scheme Guillaume Germain Marc Feeley Stefan Monnier

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…