ラムダ計算騎士団
Knights of the Lambda Calculus
ラムダ計算騎士団 - Wikipedia