隣の人からラムダ式の定義とかモロモロについて語ってもらった。 内容のまとめなので、間違い多々ある気がする。 ラムダ式(参考：Wikipedia) 記号の加算無限集合identifier*1を定義する。 この時、次のラムダ式eは次のように定義される。 1. e∈identifier な…