■

• Hans Hüttel　　Transitions and Trees: An Introduction to Structural Operational Semantics, Cambridge University Press, 2010
• 瀬山士郎　　『不可能を証明する』、青土社、2010年
• 筒井正明　　『本格派のための「英文解釈」道場』、大修館書店、2010年

1本目は読んで勉強したいのだが、何かと忙しくそれどころではない。その下の和書でさえ、のんびり読めない。悲しい…。