静的型付き言語への誘い