2009-07-13から1日間の記事一覧

暑い日。完全に夏だ。出勤してプレゼン原稿の修正。その後Oさんに、文脈非依存文法と非負ヴェクトル加法系の間の翻訳に関するパリクの定理について説明して頂く。多項式時間で計算可能だそうだが、その微分を使った翻訳の決め方が謎だ。 20時半に帰宅、夕食…