generated at
2/16/2025, 5:06:46 PM
フィルタ
それを
経由
することにより、
なんらかの
変化
をもたらすような、
プログラム
や
機能
のこと。
「変化」の中でも特に、「必要のないものを除去する」という意味で使われることも多い。
filter
パターンマッチ
(
pattern match
)、
パターンマッチング
(
pattern matching
)
フィルタプログラム
(
filter program
)
ふるい
、篩