帳面。無印で買った文庫サイズのやつ。このページは、電車のなかでラムダ計算で遊んでいたときのもの。