λ集合のライブラリ。