>>116
kingにとって実数を知るとは何か。