関数解析に実数が必要ないの? ww