日々の流転

λ. 自然言語論のレポートが進まない……

λ. adjoint と dialgebra

あるFunctorの left adjoint functor を、initial dialgebra を使って表わす事が出来ることをようやく理解できた(気がする)。(ちなみに、同様に right adjoint functor は final dialgebra を使って表わす事が出来る)

λ. 授業調査 and SA

某授業の授業調査に「SAがびみょー」とか「SAがヤヴァイんでうけなくてよし」とか書かれていて凹んだ。そりゃあ、僕はそんなに「できた」人間ではないし、人に教えるような柄ではないとは思うけどさ、SAとしてすべき事は最低限やっていたと思うし、そんなに何度も「びみょー」「びみょー」書かれなくちゃいけないほどですかね。

なーんか、SAとか引き受けるのが馬鹿馬鹿しく思えてきた。

(愚痴と罵詈雑言、1段落ほど自主規制)

イライラするので、今日はもう寝よう。