プログラム言語とその他のメモ。

プログラミングそのものは、あまり好きではない。 当然、実用的な内容はない。 2005年4月以降どうなるか不明。 Lispの(S式以外の)特徴(未完成) Scheme、Common Lisp、Emacs Lispの比較(未完成) 内容のわりに長い。 自己出力プログラムと自己参照プログラム 計算できない問題・関数について 停止問題とかbusy beaver関数の事など。 Schemeでラムダ計算 不動点オペレータについて 再帰的定義に使うYオペレータとかの事。 継続の説明(前置き) 継続の使用法 Schemeでの継続の使用。 SchemeとActor理論 CPS(Continuation Passing Style)について 「SchemeとActor理論」と同じ内容なので、 どうするか考え中。 CPSで多値(とか) values、call-with-valuesがあるから、 無理してS

[tanakaBox]

Scheme等に関するメモ。

[flower_room]

Schemeでラムダ計算を読んだ。おもしろい。よくわからないけど。Lispはやっぱり奥が深い。

[r-west]

関数系、論理系

[withteeth]

scheme lisp haskell とかそのへんの文章。

[hamasta]

自己参照プログラムって？