現代はPythonにも型アノテーションが実装されてるのか。ありがてぇな...