ラムダ項に関する説明を追加