まだいたのか。
dependent typeの話をして、PTSの話をして、logical frameworkの話をして、
自分の付け焼刃の知識を披露するのに満足したら、さっさと帰ってね。