http://buysealand.com/ http://freenationfoundation.org/ どうも、とりあえず$20,000は集まったが、どう考えてもSealand売却側が提示している金額は満たせそうにないので、Plan B(どっかの無人島を購入)の方を別プロジェクトとして立ち上げよう、という事…

試しにbuysealand.comに寄付してみた。 これは手軽だ。日本語の登録ページがあれば、もっと使われそうに思える。 今回は、以下を見ながら登録した。 http://finedays.org/natto/paypal.html http://finedays.org/natto/paypal-j.html (現在は電話番号の国番…

http://japanese.engadget.com/2007/01/14/the-pirate-bay-sealand/ http://buysealand.com/ ステートレスとはほど遠いが、もしステートレスみたいな事をやるとしたら、現実的には無人島(のような場所)を買うぐらいしか無いので、ちょっと様子を見ておこう(S…

翻訳完了。 http://e.tir.jp/wiliki?%cb%dd%cc%f5%3a%a5%d7%a5%ed%a5%b0%a5%e9%a5%df%a5%f3%a5%b0%b8%c0%b8%ecLazy_K 翻訳過程で、コンビネータ論理で何ができるか、大体理解できてしまった気がするので、コンビネータ論理VMを作るのはまた今度、気が向いた…

「abstraction elimination」の訳語で迷う。 googleに頼ってみる。google:"抽象除去"？ "抽象除去" の検索結果 約 11 件 うち二件は自分の書いたページだ。残りは中国語とフランスっぽいpdf。 google:"抽象簡約"？ "抽象簡約" の検索結果 約 67 件 しかし、…