• 朝大学に行くのはしんどいので、夜のうちに行って眠ってしまう
• 起きて、気になったラーメンを食べる
• 図書館で証明を書いていたら、伏兵が現れて混戦模様となる
• 研究室でTeXうちする
• 混戦模様の作戦がわかる
• プールで泳ぐ
• 帰って混戦模様に決着をつける

小技集としてはいい本だったのかもしれない。

ThoughtWorks, Firefoxのctrl+tab, launchy.net, colibri, enso, Ubiquity for Firefox, Quicksilver, CLCL, Key Prompter, E-Text, AutoHotKey, Growl, 2 monitors, RubyでCOMオブジェクト, Gant, Selenium, Windows PowerShell, dbDeploy, nHibernate, iBatis, AntiPatternsCatalog, The Mythical Man-Month, The Pragmatic Programmer, Smalltalk Best Practice Patterns, http://productiveprogrammer.com, grepの名前の由来

さらに気になることがあったら、まじめに書いて追記するかも。しないかも。そして、気になるリストを抜き出してしまったので、そのまま捨ててしまうのであった…。

わにわにしている。こんどはλμ計算なんだろうか。
http://wadler.blogspot.com/2009/07/alligators-revisited.html

なんとなくぴらぴら週記に、位置を載せてみている。接近するなり回避するなり。小細工をして、待ち受け中もSafariが常時動いているようにして、そこで、Google Latitudeが動いているようにしている。じっとしていると、20分～40分に一度、位置をupdateするようだ。あとは暇なのか忙しいのか出せればいいと思うんだけど、でも相手次第で忙しいか暇かは変わるのであった。

万葉集的なよのなかの扱いと、古今集的なよのなかの扱いとを、いったりきたりしているのである。ときどき万葉集的に疲れると、古今集的に休むのである。万葉集的なうつせみ(現せ身)が、古今集的なせみのぬけがらになってしまうことを、避けようとしてじたばたとしている。

を、ぴらぴら週記につけた。Google Latitude.

「ASO VIBA」という看板が出ている。よくわからない。

男の子って、ある時期になると、家とか関係なく遊び始めるから大変よねー。女の子だと家にあれしたりとか…

ひとんちというのは気を遣うのである。

1. 定義を書く　書けた
2. 主張を書く　書けない　言葉が足りない
3. また定義を書く　書けた　存在するかわからない
4. 存在を示そうとする　示せない
5. 反例を作ろうとする　できた
6. その反例はやりたいことを本質的に破壊するか？ No (i.e. あきらめない)
7. 弱めた定義を書く　書けた　それでも存在するかわからない

(追記) これはきわめて順調な状況で、不調なときには、何もする気がおこらず、他の人の論文を見てもつまらなく、うろうろとしている。