言ってくれる上司がいるので精神的にかなり助かっている。人の上に立つ人はやはりポジティブでないとダメだな。自分にはなかなか難しい。見えないんじゃないか。こと、仕事に関しては、ネガティブなことばっかり言ってやしないかと反省。根っからのポジティブな人ではないのかも知れないなぁとか思ったり。レキシカル・スコープが前提になってませんか。なんて話を聞き齧っていたような気がするんですけど。λ計算の教科書が既にレキシカル・スコープじゃん、とか。名を付けて縛る、まさしく呪(しゅ)だよ私の中にいる、野村萬斎の顔をした晴明がいいました。「立ち去れ」と命ずる行為がまさに。(UikiTeXi)有名どころのツールを用いて、プロトコルの形式的検証を行うことにする。