風呂の帰りになんか飲み物買って来ようと思って、140円持って出た。帰り自動販売機にお金を入れてみたら表示が190円になってた。アレ？確かに入れたのは硬貨5枚。どう考えても190円にはならないし。最初からお金が50円入ってたっていうのも考えられるけど、…

今日は、前に英語で説明されたところ（帰納的関数）の復習と、ラムダ計算と帰納的関数の結びについての講義。ラムダ計算で後者関数[s(x)=x+1]を定義すると、[S≡λnfx.f(nfx)]になる。なんて分かりにくいんだぁ〜。

初めてレポートが出た。集積度と早さの関係を考えるもの。期限が一週間しかないなんて・・・( ´゜д゜`)えーーー。

図書館に行ってエレベータに乗ろうとしたら、下からエレベータであがってきた人に[閉]を押されてドアに挟まれそうになった。っていうか閉まり始めたドアにぶつかった。しかも申し訳なくて照れたのか知らないけど「(´,_ゝ`)プッ」って軽く笑われて、すいませ…