>>61
name : string := readLine(stdin)
のほうがいい。