scheme

課題

実装しようとしているものには何が必要か? schemeの(最小)動作は何種類あるのか? それそれの動作に必要なデータの最小構造は?

stack count という概念

charly_cat さんの疑問に対する回答 (それと、自分の理解を深める) LinearGPシステムの構築と評価より スタックに対するプッシュとポップの回数の差 とある。 答えになったのかなぁ? もう少し、調査可能かも。

C言語による最新アルゴリズム事典

http://www.amazon.co.jp/gp/product/4874084141/249-3272107-4549951?v=glance&n=465392 アドバイスにしたがって、注文してみる。

SigScheme

どんな実装なんだろ? SigScheme 0.6.1 リリース またしても英語の壁が…

ToDo

ネオンさんのアドバイスに従ってToDoを作ってみたり。 (紙ベースのToDoは作ってあったけど) 済 monaの開発経緯を調べる 済 LinearLispが存在するか調べる > 日本語の資料では見つからない。海外の資料はLinierLispというキーに ヒットはするが、考え方が違…

木構造>ストリーム(配列?)に変換している資料

http://www.is.titech.ac.jp/ppl2004/proceedings/p019.pdf 論理学とか数学とか難しすぎる論文... でも、木構造を配列にすることはできるらしい。

線形理論?stack counterとかと関係していそうだが…

Lively Linear Lisp -- 'Look Ma, No Garbage! よーわからん。翻訳すべきかなぁ?線形論理って何?ML Kit with Regions とは? 通常のMLのプログラムに、Cでいうところのmalloc や free を自動的に挿入することにより、ガベージコレクションなしでもプログラ…

なにやら、既に似たようなものがあるかも。

http://tiki.is.os-omicron.org/tiki.cgi?c=v&p=LinearLisp すべてのセルの参照カウンタを1に保ったままでLispの基本関数が実装できることを示しているらしい.したがって,不要になったセルはただちに回収できるので GCが不要になる. GC(ガベージコレクシ…

リスト構造を使わないschemeが可能か?

http://www.pkan.org/~ufo/wiliki.cgi?ufo の遺伝的アルゴリズムの資料をヒントに思いついた。 具体的には http://www.miv.t.u-tokyo.ac.jp/ibalab/papers/98/tokui98.pdf この文献の「2.システムの概要」と http://save.k.u-tokyo.ac.jp/jsces/trans/tran…