式

式は高階関数においてラムダを表すために用いられます。