[2007-11-22 13:57] タイトルの変更。「型安全」「XML変換」「Webアプリケーション」。CocoonとOcamlDuceはオプション 多段変換はWebアプリケーションで生きる。DB->フィルタ->加工->整形->HTML,PDF,携帯など 今後の展望。修士でどうするか。ドキュメントのW…

[2007-11-16 15:29] 英語タイトルが直ってない 話す内容を整理するべき OCamlDuceで何が嬉しいか。型の話を強調 CDATA/エスケープの話はもっと小さく CDuce=OCamlDuce 検出の方法。具体例 バグの種類。どういうエラーか。実行時かコンパイル時か。 中間発表…

[2007-10-19 11:06] >>> ~/howm/2007/09/2007-09-28-104053.howm 略 INTRODUCTION 略 正規表現型 = TFA TFAのサブタイプ判定は、指数時間かかる よくある場合に特化すれば、もっと効率がよくなる Top-downアルゴリズム T もとのアルゴリズムに加えたのは4つ …