じつはrepeat - until はこのケースではそう便利でもないかな~と思っていたのでした。でもこうならいいか。 repeat read word$ until len(word$)==0 || str$==word$ return (str$==word$) 引数に""を渡したときfalseになってほしければ return (len(word$)>0) のほうが若干速いかもしれません。