talk:>>162 関数空間について。