定義可能実数 loading ...