2007-10-01から1ヶ月間の記事一覧

Richard Stallmanの講演を聴いてきた。

「知的財産」だって? そいつは砂上の楼閣だ の内容を軸に、著作権の保護期間の問題や、DRM,ソニーのrootkit入りCD問題など。さすがに堂に入った、よどみのない話ぶりだった。 イヌイットには"雪"をあらわす語彙がウン百種類あるというが、彼の"Free"にかけ…

vi in javascript の隠しコマンド

:kwak 背景がアヒルちゃんになる :moo 作者からのちょっとしたコメントが表示される。

Curry-Howard対応

http://www.kmonos.net/wlog/61.html#_0538060508 を知ってアッー悟り体験ktkr。 call/ccとこんなところで出会うとは。それで皆 Coq Coq 言ってたのか

講演会つながりで。ooPSLA'07が空前絶後に豪華な件

http://theschemeway.blogspot.com/2007/10/why-attend-oopsla200.html を参考に Fred Brooks, チューリング賞受賞, 人月の神話 - 狼人間を撃つ銀の弾はない, あまり講演をやりたがらない人 John McCarthy, チューリング賞受賞, Lisp, 人工知能, あまり講演…

Richard Stallman 来日講演

東京、名古屋で講演をしてまわるようです。名古屋では以下が予定されています。 Feed Forth 07 10/26(金)15時- 名古屋大学国際開発研究科8Fオーディトリアム (公式)基調講演者リスト (公式)スケジュールPDF (公式)場所 SEA & FSIJ 合同フォーラム 10/27(土)1…

クロージャとオブジェクト

reddit.programming 経由 RE: What's so cool about Scheme? 高徳な導師Qc Naにお仕えしていたAntonが、参禅して、こう尋ねた。 "導師、オブジェクトはとてもよいものだと聞きました。それは本当でしょうか?" Qc Naは嘆傷してこう答えた。 "愚か者め。オブ…

Emacs問題の続き

javascriptでEmacs を結構楽しみにしている。 で, Ajax IME: Web-based Japanese Input Methodと組み合わせられるかもしれない。 Google Gears を使えば、オフラインのときはローカルに差分履歴をためて、オンラインになったらまとめてアップロード、みたい…

Mathematicaはすごい

http://ja.wikipedia.org/wiki/Mathematica http://www.wolfram.com/products/mathematica/analysis/index.ja.html を見ると、頭がクラクラする。

どう書く?org の「格子点の列挙」に投稿してみた。 Gauche. http://ja.doukaku.org/comment/3288/ Shaping the future of secure Ajax mashups クロスサイトするときの心得。現状ではURLのfragment identifierを使って通信するのが安全なのだとか。 なんだか…

プログラミング入門の言語はひとつに絞れない

大学の後期授業がはじまって、本屋のプログラミングの棚で学生がC,C++,Javaで迷っていた。 プログラミング入門にどの言語が良いかは、議論百出だ。 自分は、ひとつには絞らず、 「Cはご飯、Schemeはおかず、JavaScriptはデザート」 で、これらを残さず食べて…

Gaucheで数式処理を書いてみたい

数学科でD加群のゼミをとった。計算機科学との相性が良さそうだから。 で、国産の数式処理ソフトの名前がちらほら (Risa/Asirやkan/sm1) 耳に入る。 これらはC言語で書いてあるようだ。さらにBoehm GCを使い、Bignumや、exact number(有理数表現)を自前でや…