金沢市内の病院に行く。片町を通っていってしまったので、大渋滞につかまる。武蔵が辻が動かない。こんどからはルートを考え直さないと。 新しい薬が処方される。なかなか面倒な感じ。

問題を渡されて解いていく。ようやくわかった問題や、なぜプッシュダウンオートマトンのスタックには最後の記号が必要なのかがわかった。

ライブラリーの説明。たしかに名前と型でどういう関数かはだいたい想像がつく。これはＣでいうところのプロトタイプ宣言のようなものだろう。 あと、Arrayの使い方について。高速に処理ができるという。確かに・・・。

文脈自由文法の標準形について。標準形とは単純化のことで、無用な記号をのぞき、ε規則を除去し、単位規則を除去するというもの。 しかし、話を聞いていると、確かに一つ一つの規則は単純化されるが、規則がかなり増えてしまう。これじゃ意味がないと思って…

久しぶりに天気がいい。