リストの方のfilterは集合と違って、順序が保存される点で厳密には同じ機能でないからとか