パターンマッチ拡張(ML5完了)