pythonの型表明は今はチェックされないけど
将来必須化されて厳格化されるんかな