ロジックも計算機科学も理論物理もぜんぶ応用数学だろ