結局 原則的なラムダ式 ってのが何かは謎のまま終わった