強い型、弱い型 強い 型システムに穴がない 弱い 型システムが弱い