最近，いろいろな国際会議で採用されている do uble-blind review（査読者にも著者名を知らせない）方式ですが， それぞれ微妙にスタンスが異なるようです． SIGMOD 2007 の場合， Despite the anonymity requirements, you should still include relevant p…

m.ukaiさんに追いつかれたのでバラします． statisticsが全く同じなので，たぶん名前以外は同じだと思います．

Sebastian Maneth 氏とのディスカッションで Macro Tree Transducer（MTT）の合成がうまくいく場合について新たな発見． これは使えそうなのでメモしておく．

標準入力の文字列を昇順に並べ替える問題． m.ukaiさん曰く， トップはどうなってるのかさっぱり分かりません。 とのことでしたが，大したテクニックがあるわけではないので公開してしまいます．

m.ukaiさんやshinhさんがprime numbersのネタばらしをしているので，こちらも公開しておきます．

最近ゴルフネタが多くてすみません． ネイピア数を100桁求める問題がOCamlにとってあんまりに酷な（というか100桁埋め込んだ方が短くなってしまう）ので， Numモジュールを使うバージョンも名前を変えてエントリーしておきました． ついでに謎のバイナリもジ…

成田まで迎えにいってきました．ふー． 明日から濃い10日間になりそうな予感．

調子に乗って問題を投稿してしまいました． まぁ，110ページの文書をこんな順序で印刷してもホッチキスなどでは止められないかもしれませんが…（止めても非常に嵩張りそう）． 参考までにこのサンプルを出力したRubyのプログラムを投稿しておきました．

ああ，もう縮まないと信じていたのに縮んでしまいました（62B）． ちなみに，問題とは無関係かもしれませんが， char_of_intやint_of_charを使うなら， Char.chrやChar.codeを使うほうが短いです． [追記] そして，直後に61Bにする方法を発見．

m.ukaiさんの記事より， この前に持っていた直接算出するやつは縮むのかもしれないが、どうやって？ 私のは「まじめに計算するやつ」です．というか，m.ukaiさんのような直接算出するプログラムは全く考えていませんでした． ちなみに，"%.0f" は "%.f" でよ…

なるものが，巷で流行っているらしくOCamlで何問か参戦（フィボナッチに関してはRubyにも参戦）． 要は，指定された入出力を振る舞うプログラムを短いバイト数で書いてみろという話． 現在のところ，フィボナッチや99shinhやinvert caseなどで一時的に一位を…

告知です． MSO Logic definable tree transducers (MSOTT) というのは，合成で閉じている Tree Transducer の中でも大きなクラスの一つで， 大雑把に言えば一回参照の属性文法と同じ表現力を持っています． この手の結果は，属性文法合成に基づく融合（desc…

前にも書いた通り，Haskell Bowlingは間違っている上に分かりにくいわけですが， kinaba氏が別の定義を紹介しています．この方がスマートだし，なにより正しいプログラムです． たとえば， 1 2 3 4 5 6 7 8 9 10 X _ X _ X _ X _ X _ X _ X _ X _ X _ 3 3 _ …

こちらにコメントで書くべきなのか悩んだのですが， トラックバックを送ることとしてこちらに書きます． （こういうときってどっちにするべきなのかよくわからない…） R^TTを計算したり、RがTT-closedであることを証明するのは非常に大変（元の目的である文…

ググっていたら見つけたエントリ「GHCは気色悪い」について． これは GHC が気色悪いのではなくて，seq が気色悪いのではないかと． seq があると，パラメトリシティを維持するためには論理関係 R が admissibile（連続かつ正格）なだけでは不十分で bottom-…

この日記だけ見るとまだ帰っていないような感じですが，一週間ほど前に帰国しています． 溜まっていた仕事の処理などで風邪をこじらせてしまい，週末は布団で過ごしてしまいました． 発表の内容に関しては，こことかここを参照してもらうとします（え？）*1…

明日からニースに行ってきます． 前にも書いた通り， 発表は共著者なので気楽に行ってきます．

（注文したのは年末だが）新年一発目の買い物． なかなか優れもので，家では結構役立ちそうだ． しかし，今調べたら，バージョンアップしているらしく， 9連刃になっているらしい． よく調べずに5連刃を買ってしまった．ううう．