変数「stdin」

io.stdin

file オブジェクトとして提供されている