generated at
アロンゾ・チャーチ
1903年 - 1995年
Alonzo Church
ラムダ計算
チャーチ＝チューリングのテーゼ
アロンゾ・チャーチ - Wikipedia