一年以上前にも関数論は必要と指摘されていたのに