計算モデル論では、ラムダ式における関数、定数。すでに脳が悲鳴を上げています。いったいなんなんだこれわ。 定数、たとえば整数だとかブール値なんかも関数の一種として表現するのね。これを関数にかけるときは、関数の引数として関数を渡すという意味の分…

http://kai.2.pro.tok2.com/hidden.html 隠しページ探しゲーム 隠しページは普通、あまりおおっぴらに誰でも読めるようにはしたくないページを、見つかりにくい方法でリンクしたもののこと。古典的な隠し方が結構いろいろあります。そういうページは大抵、あ…