仮配属の研究室にはマグネットの行き先表示がある。まぁここまではたいていの研究室で行われている（前の研究室ではなかったけど）が、ここではさらにカメラでこのマグネットを写し、マグネットの位置を検出して、その内容をweb上に公開している。なかなかお…

前回の宿題の返却が行われ、なんとまたもや満点！！。うれしいような、こんなところで運を使いたくないような。 来週返される中間試験は確実に満点ではないので、もう満点が続くことはないだろうけど。 さて、今回は前回に引き続きimperative features、訳す…

まずはPDAの定義から。PDAといっても、はてなキーワードにあるようなPersonal Data Assistantの略ではなく、Push Down Automatonのこと。PDA自体がε-NFA（イプシロンムーブ非決定性有限オートマトン）を拡張した概念なので、当然ながらスタックに関する定義…