do文の中身(isFinished=proc();)を前にコピペすればいい
…って言われたんだけど、ぶっちゃけると本当のところは分からない
リーダブルコード読まないと