証明は単純だった． 4.3 Completeness of the S-K basis'> It is a perhaps astonishing fact that S and K can be composed to produce combinators that are extensionally equal to any lambda term, and therefore, by Church's thesis, to any computab…

今日は生協で赤のHI-TEC-C 0.3 mmを買った． 蔵書への書き込みにはずっと前からPILOTのHI-TEC-Cを愛用しているのだけど，ここ1年ほど使い切った記憶がない．しかしこうしてちょくちょく買っている．どうも2/3くらい使って無くしているらしい... うーむ．

くそ，CalcCenterでも Module が使えるのか... CalcCenterのマニュアルには載ってなくてもdisableされていないMathematicaの関数がちょこちょこあるようだ．（CalcCenterはMathematica Professionalから機能を削った版である．） Module ってのはローカル定…

ベッドにシーツきちんと敷いて寝なきゃな... 今晩こそ． 起きたら明るく，また暑かった．昨日今日と，まだまだ夏が悪あがきしている．