ウワ〜〜（話しかけようと思っていた先生と鉢合わせて向こうから話しかけてくださったのにタイミングが合わずにすぐにお別れしてしまった）

視点からの見方

様相論理屋さんから bisimulation というワードがかなり出てくるけど coalgebra の視点からの見方が知りたい

襟 on 襟スタイル