明日は『型システム入門 プログラミング言語と型の理論』の刊行記念トークセッションなるものに出るので、サインを練習しておかないと(笑