型変換
型変換（かたへんかん、）とはプログラムにおいて、あるデータ型を他のデータ型に変換することである。型キャスト（）とも呼ばれる。