❕関数
関数.icon
❕ファンクション
λ計算、ラムダ計算（lambda calculus）