忘れないうちにメモからメモへメモ。
それにしても一昨年の LLDN は机があったので沢山書き残せたけれど、去年のリングと今年の魂はメモを取るのが困難だった。たぶん来年も期待できないので下敷きが必須。(来年は 1300人入っても大丈夫な会場らしい)

* 基調講演
遅刻したので最初の方聞きそびれてしまった。
flip flop を制御しして音を鳴らす(楽しそう)
クヌースのコードは嫌い goto文が多いから

* Language Update
** Perl
perl 6 より前に perl 5.10 というのがが出るらしい(10月?)
変数が定義済みかどうか確認するのにいつもなら３項演算子で


$c = defined($a) ? $a : $b;

と書くところ

$c = $a // $b;

と書けるようになる。これは使いそう。
trie最適化（詳しく知りたい）

** Io
シンプルな手続き型言語
構文が BNF で５行
予約語が無い

** PHP
叩かれる宿命
PHP6 から namespace
Zend Framework

** python
3.0 で後方互換性が崩れる

** Ruby
1.9 が今年のクリスマスに release

* Lightning Talk

** Coq定理証明という選択肢
おもしろい。
全ての文字列に対して SQL インジェクションが無いことを証明 -> バグがない -> テストが必要ない
どんな証明になるんだろうか、あとで調べる
関連URL
http://coq.inria.fr/
http://d.hatena.ne.jp/yoshihiro503/

** イメージファイト！
「例えば、PHPを避ける」
こんな事が IPA のサイトで書かれていることを知らなかったので爆笑してしまった。例えば、っていう言葉遣いがツボにはまった。
http://www.ipa.go.jp/security/awareness/vendor/programmingv2/contents/003.html

** C++のためのx86 JITアセンブラ xbyak
xbyak を使って LL のコードから JIT コンパイルを行う。
xbyak は GNU lightning の親戚みたいな物だろうか。
関係ないけどデモでプロットしていた３次元グラフはたぶんローレンツの微分方程式で、あれを見ると微分方程式が解きたくなってきた。

** じゃ、どう書く？
やっぱり一番モデレートの評価が高いのは shiro さんだったか。
今後参加者増えてくれると面白くなりそう。