Dictionary: “拡大実数”