今日から毎週水曜の夜に原宿で #prmlwednesday と称してPRMLを読むことになりました。別名「PRML平日レーン」「わるぷるむるの夜」… 雨上がりの蒸し暑い夜でしたが、定員12人の会議室に13人入ってPRMLをまた1章から読み始めました。今日は自己紹介と、今後の…

に参加しました＆発表しました@who_you_me さん会場係＆遅刻者サルベージ等ありがとうございます @Prunus1350 さん運営ありがとうございます @sleepy_yoshi さん前回のあらすじ毎度ありがとうございます 発表者の皆さん・その他参加者の皆さんもありがとうご…

ふと2-SATの事が気になって、復習がてらPractice RoomでSRM464のDiv1 Medium問題を開いてみた。（ちなみにSRM464には出場している）SAT (充足可能性問題, SATisfiability problem) についてはここの読者の皆さんはご存知とは思います。NP完全問題でおなじみ…

ふとしたツイートからコードゴルフ大会が勃発 もくし くしも しもく くもし もしく しくも という6行（UTF-8を想定）を出力するCプログラムって最短何バイトまで縮められるだろうか— naoya t (@naoya_t) 2013, 7月 2

MacBook Air (13-inch, Mid 2011) のACアダプタ(45W) の根本が断線した。残りバッテリ47分なので新バッテリを得るまで暫く休業…— naoya t (@naoya_t) 2013, 6月 29でMacが使えなかったので、週末は「きつねさんでもわかるLLVM」とか「Real World OCaml」とか…