ラムダ式をSKIコンビネーター表現するコードが発掘された（昔のコードがたまたま見つかった）． ちなみに，SKIBCで表現することも可能．ラムダ式のベータ簡約は前につくった． ラムダ計算 - 落書き、時々落学こんな感じ． *SKI> b \x->\y->\z->x (y z) *SKI>…

2，3日放置して，今日使ってみたら 普通に使えました． 読み出しOK 書き込みOKラッキー！しかし，速度が少し落ちたような… 気のせいか．