Diary/2011-1-20

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時間くらい
• 定跡のあたりは精度が高い