そもそも函数論ていったい何を目指してるんだ?