λx. x K S K @はてな

このブログ内に記載された文章およびコードの著作権は,すべて Keisuke Nakano に帰属します.

2007-02-21から1日間の記事一覧

MSOTT = MTT* ∩ LSI

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

ネタばらし(csort.ml)

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