lain jargon file: line N

ナイツ/Knights 東方算法騎士団 -- Knights of the Eastern Calculus または Eastern Mathematical Knig...概要を表示 ナイツ/Knights 東方算法騎士団 -- Knights of the Eastern Calculus または Eastern Mathematical Knights。 ラムダ式算法騎士団 -- Knights of the Lambda Calculus より。 ハッカー用語集である jargon ファイルには、次のような記述がある。 「LISP および Scheme ハッカーたちによる、 ウィザードリーのなかば伝説と化した組織。 この名前は、アロンゾ・チャーチにより発明された、 LISP と密接に結び付いた 数学形式にちなんだものである。 入団者のリストは存在せず、入団資格も不明、しかるにある有名な LISP 者は団員章を配布していたことで知られており、一般にそのメンバーは 誰が団員か知っているというが・・・」 LISP と密接に結び付いた数学形式とは、ラムダ式のこと。 ラムダ

• アニメ