talk:>>994 解析のため、世界を知るため、数理を知るため。