高校数学+α : 基礎と論理の物語 (2004)