数学と自然科学の哲学 [ ヘルマン・ワイル ]