2005-10-19から1日間の記事一覧

λの起源

http://www15.ocn.ne.jp/~rodinia/Blog/MyJournal44.html#p8 もともと束縛する変数aの上にâなどと^をつけていたところ(â.aaのように)、タイプライターで打てないから^a.aaと書くようになり… おもしろい。