!PRO一日目
::宮古島へ．
飛行機でぐっすり寝てしまったので帰りは，景色を眺めたいなあ．
お昼は，@hidemotoNakadaさんにくっついて古謝本店にて宮古そばを．
がんずうそを注文してみた．
がんずう=長寿ということであったが，
大根と豆腐とてびち(豚足)が豪快に入っていて驚愕でした．
::懇親会
懇親会は南楽(本当は糸糸な楽)で．
飲み放題で，「あわもりのピッチャー」がでてきたときにはびっくり．
薄く氷水でわってあって，もはや水代わり．
美味しかったのは，沖縄の日本酒れいめい．
甘口なお酒ではないのですが，飲んだ後はちょっと濃い甘さが口に残るのが印象的．
::二次会
伊知地さんについていって，炙り屋で宮古牛の焼肉をいただきました．
みすじはじめ，絶品でした♪

!手抜き のち 破綻
ちょっと手抜きしようと思って正規表現で，
ちょっとしたコードトランスレータを書いていたのだけど結局破綻しそう．
お手軽，お気軽にパーサコンビネータとか使える人間になろう．

!PROメモ
::Sawzal/Hadoop
* 複数の言語があるとプロトタイピング的プログラムがしにくい
* Map->compbine->reduce
* reduceはtableで隠蔽(collection, max, sample, sum, top, quantile, unique)
** ユーザはmapperだけ書く

::SAT Modulo Theory
** Kroening 2008 回路の最適化

::Rubyプロファイラ
* Rubyらしい問題って何だろう？
* 再帰とかどうするんだろう？
* evalとか...
* インスタンスメソッドの扱いは？

::Safe Ambients 計算
* Ambientというのがあるのか

::GETAssocの将棋への適用
*ワードは少なくてドキュメントは短い．でもドキュメントは多い．
* データをとってくるのが大変
<= で，結局どうなのよ？
* WAM Word-Article Matrix <- 重みつき内積計算
* normalize 打つ手番が下にくるように
* word空間が小さいと，同じような点数の結果が <- 精度
* WAM Construction => 3時間くらい
* 定跡のあたりは精度が高い