1124425518.dat<>なぜ問題解決者って理論構築者より下に見られるの? (90) 1124292993.dat<>最近の証明論の流れについて (123) 1124193537.dat<>分数の割り算はどうして逆数を掛ければいいのか (1001)