http://practical-scheme.net/wiliki/wiliki.cgi?Scheme%3acall%2fcc%e3%81%a8%e5%89%af%e4%bd%9c%e7%94%a8 [id:sumii:20061121] 前に紹介したFamkeの論文にも、 We implement threads by using first class continuations in Clean, without the usage of c…

今、spawn系の関数をCleanから呼び出すライブラリを書いているところですが、よく考えてみると、forkやexec系の関数を呼び出しても、Cleanのシステムに破綻はきたさないということに気づきました。 ついでに実装しておこうかと思います。

http://groups.google.co.jp/group/fj.questions.unix/msg/235ce238f717f19c lazy transition evaluation法というのがあるのか。

整理しました。 リンク切れとか起きていると思いますが、おいおい直すかも知れません。

社会的に排斥行動が増えているということと、全体主義的傾向が強まっていることの間には関係があるよ、という話を聞いたことがあるなぁ。 まあ、どうでもいいことなのだけれど。

古くて信用のできない情報が多いので、一度整理しようかな。

というものについての論文を読んでいるのだけれど、さっぱり理解ができない。 頭悪すぎ・・・ - http://citeseer.ist.psu.edu/hromkovic97translating.html http://citeseer.ist.psu.edu/471736.html の２つをあわせて読んだら、なんか、分かってきた。 相変…

http://java.sun.com/j2se/1.5.0/ja/docs/ja/guide/vm/thread-priorities.html http://wwws.sun.com/software/whitepapers/solaris9/multithread.pdf 興味深い。 Erlangのスレッドはグリーンスレッド（という言い方が正しいのか？）だったと理解しているけれ…

正規表現の処理効率は、オートマトンの作り方の部分に依存して、オートマトンのマッチ処理の方はあまりバリエーションはないのかなと思って、ちょっと調べていました。 とりあえず、探索を深さ優先にするか幅優先にするかという選択はあると思うのですが、マ…

以前より探していたFamkeを使ったシェルですが、下の論文によると、Esther（エステル）という名前が与えられているようです。 http://citeseer.ist.psu.edu/plasmeijer05functional.html そして、Hildeライブラリをもう一度よく見ると、Esther.prjというファ…

自然言語ではないかと。 図などは確かに理解を促進する面があるのだけれど、それだけで完結させようとすると、いろいろ無理が出てきて、結局分かりやすくならないのではないかと思った。 あと、仕様記述言語は、トップレベルではなく、もう少し下流で利用す…

まとめを書いた。 http://lethevert.blogspot.com/2006/11/towards-strongly-typed-functional.html

Cleanでも、それは消えない。 push stack a = [a:stack] pop [a:stack] = stack nop stack = pop (push stack 1)

http://www.chikawatanabe.com/blog/2006/11/post_5.html ふと、近頃感じていたことが腑に落ちた記事。

SunのJava SEが制限なしのGPL化するということなのですが、Javaの標準ライブラリがGPL化すると、それに依存したJavaアプリケーション（ってすべてのJavaアプリケーションがそうですが）は、GPLでなければならないということにはならないのでしょうか？ GPLっ…

取得する環境変数の数を増やしてみた。テストDBアクセスも統合。 http://cleanoptenv.sourceforge.net/query/1?query=1 http://cleanoptenv.sourceforge.net/count/ http://cleanoptenv.sourceforge.net/testdb/

論文を読んでいて、やっぱりmonadなのか？と思った。 - （注）ネタなので真剣に受け取らないように。 - モナドっぽいのをみてガックリするのは、シーケンシャルなことをやりたいならよそでやってくれ！と思うからかもしれないと思った。

あ゛ー Hildeライブラリには、shellのreadmeが付属しているのに、肝心のshellが付属していない！！！ - アホー http://mailman.science.ru.nl/pipermail/clean-list/2004/002689.html googleキャッシュ 平謝り → [id:lethevert:20061117:p1]

citeseerで論文サーフィンをしていたら、興味深い論文が！！！ http://citeseer.ist.psu.edu/642407.html これは、Cleanで 強い型付けの関数型オペレーティングシステム を作ろう！という論文。そして、そこで作られているOSの名前が Famke(ファムカ) です。…

Cleanでは、Dynamicsを利用して任意の式を外部記憶に保管できるのだけれど、Webシステムを作る際に、継続をdynamicToStringで文字列化してDBに保管することができれば、継続ベースのWebシステムが比較的軽量に作成することができるのではないか？

CGIからSQLiteのDBに接続することに成功。 http://cleanoptenv.sourceforge.net/cgi-bin/test

CとJavaとDelphiは動的型付け言語でしたよね（違

SQLite3 bindings for CleanをLinuxで動かそうとしているのですが、そのまえに、SQLite3そのものが動作しない。 「database is locked」というメッセージを表示して、何の処理も受け付けてくれない。 - ファイルシステムがNFSであることが何か関係していそう…

さて、sourceforge.netのproject web serviceで動かそうと思えば、SQLite3は静的リンクしておきたい。 てことは、ソースコードから、コンパイルファームでコンパイルしてやる必要があるということだ。

sourceforge.netのコンパイルファームのviは、Cleanのソースをきちんと色付けしてくれる！！

http://cleanoptenv.sourceforge.net/query/1?query=1 環境変数を取得してみた。 さらに、mod_rewriteで、スマートURLにした。 RewriteEngine on RewriteBase / RewriteRule ^(.*) /cgi-bin/PrintEnv/$1cgi-binのサイトに置いた.htaccessで、アクセス制限が…

http://cleanoptenv.sourceforge.net/count/ ファイルの読み込みはできるのだが、書き込みができない。 - スクリプトを書いてみたが、やはり書き込みができない。 困ったな。 - 書き込み可能なディレクトリが /tmp/persistent/*** 以下に制限されていた。 - …

ところで、スクリプト言語でCGIをする場合は、apacheのモジュールにすることが普通で、それはプロセスを起動するオーバーヘッドを減らすためということだと理解しているのだけれど、Clean（やC）のように静的にオブジェクトコードを生成する場合は、ロードす…

正規表現の論文を読んでいて、背景知識が足りないと思ったので、referenceに上がっている別の論文に目を通すことにする。 http://citeseer.ist.psu.edu/hromkovic97translating.html - これは結構分かりやすいかも。

最近、時間を見つけてErlangを触ってみています。 で、下にあったファイル転送をやってみました。 http://armstrongonsoftware.blogspot.com/2006/09/why-i-often-implement-things-from.html 各ホストは、DNSで名前解決できる必要があります。また、もし、D…