ほしけん氏のやつが実数対応してたような