Ad hoc
暗黙の型変換も型強制多相（coercion polymorphism）としてアドホック多相の一形態と定義される。