セミナー終わって、みんなでご飯食べて、太田君の補習をしていたら、（僕にしては）だいぶ遅くなってしまったのですが、なにしろ事前にテンションあげていたので、すぐに眠れない。んでまー、本日の「Eの、いろいろな定式化」について補足します。（ほぼ参加…