実数体
じっすうたい real number field