0962世界@名無史さん垢版 | 大砲2017/10/20(金) 02:53:35.760 >>934 英語版ウィキペディアには「ラムダ計算騎士団」の項目があって、 なぜか日本のアニメに言及しているというw https://en.wikipedia.org/wiki/Knights_of_the_Lambda_Calculus