2005-03-01から1ヶ月間の記事一覧

Incorrect terminology

「弱い」型付けと「動的」型付け、「強い」型付けと「静的」型付けはそれぞれ違う事柄だよというお話。 http://www.jroller.com/page/slava/20050321#incorrect_terminology

PLT Scheme v299.100

(via comp.lang.scheme) v300 シリーズのα版だそうです。文字周りが unicode になったっぽい。 http://download.plt-scheme.org/

The Fischer king

(via 暗いニュースリンク、全文翻訳も) 伝説のチェス王者の現在。 http://www.guardian.co.uk/usa/story/0,12271,1444253,00.html

四肢切断を熱望する人々 - 身体完全同一性障害とは

http://x51.org/x/05/03/2551.php

Greasemonkey

user CSS ぽく任意のページにスクリプトを付加する。 http://greasemonkey.mozdev.org/

A Tutorial on Proof Theoretic Foundations of Logic Programming

(via Lambda the Ultimate) http://www.ki.inf.tu-dresden.de/%7Eguglielm/res/pap/PrThFoundLP.pdf

いけいけブラックシスターズ!(ではありません。

http://10e.org/mt/archives/200503/170257.php

黄金角

http://d.hatena.ne.jp/ita/20050316/p1

S-expression->JavaScript

(via Misc Change Log) こちらは scheme による Sexpr -> JavaScript トランスレータ。 http://hirofummy.net/himo/index.cgi?1110805927.txt

ParenScript

(via lemonodor) Common Lisp による Sexpr -> JavaScript トランスレータ。 http://bknr.net/parenscript

Hell is other people removing your cigarette

(via 海外ボツ!NEWS) http://news.telegraph.co.uk/news/main.jhtml?xml=/news/2005/03/10/wsmoke10.xml

Something Isn't Right

http://lemonodor.com/archives/001096.html

Guy Steele Jr. のインタヴュー

(via Finding lisp) http://www.sun.com/presents/minds/2005-0302/

brainfuck による brainfuck インタープリタと unlambda による unlambda インタープリタ

(via 2ch の brainfuck スレッド) http://esoteric.sange.fi/brainfuck/bf-source/prog/BFI.BF http://c2.com/cgi/wiki?UnLambdaLanguage

The language should not restrict the programmer

http://www.jroller.com/page/slava/20050308#the_language_should_not_restrict

Adobe Releases Adam and Eve

(via Lambda the Ultimate) http://opensource.adobe.com/ http://slashdot.org/article.pl?sid=05/03/02/1449240&tid=152

To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus with Animated Reduction

http://uq.net.au/~zzdkeena/Lambda/index.htm

Web/Continuation

http://lisp.tech.coop/Web%2FContinuation