const input = readLine(stdin) # エラー:定まった値を返す式が必要