型チェックは
動的に行われる