本屋をぶらぶらしてると、岩波数学辞典が出てた！20年ぶり！ 10年ぐらい買い控えてた甲斐があったよ。タイミングを完全に逃した感もあるけど。 3、4年前に某雑誌で、岩波数学辞典の原稿の締め切りがアナウンスされてたのを見た記憶があるから、そろそろだと…

かなりの出費。重度の金欠なのに。

金曜なので、酒。1杯。重度の金欠に気づいたので、節約節酒。明日から。

書類を少し書く。なんとか証明が書けるようになった。ノートにまとめる気力はまだない。ナナオのカラーユニバーサルデザイン対応ワイドモニターが欲しい！

眠気がすごい。 昨日ちょっとしんどかったので、今晩は多めに食べる。

頭痛。吐き気がする。一回休み。

未読を処理。午前のトラブルには参った。

schemeの継続を勉強してみる。以前に比べればはるかに理解できた気がしたけど、まだよくわからん。 継続はlambdaで表現できるが、どこまで環境を巻き込むのか？ call/ccの引数の手続きがcallされるようになってるのはなぜか？ call/ccの引数の手続きに渡され…

同窓生用に用意されてるac.jpドメインのアドレスを職場のアドレスにしてる自営業者がいた。というか、そのアドレスで看板出してた。いいんだろうか。

規定演技を済ませて、即寝落ち。

東へ。やっぱり寝る。

うっかり遅めのチケットをとったので、かなり時間をもてあます。 アクティブに何かするという体力もないので、喫茶店でうつらうつら。 映画でも見りゃ良かった。

目的の一つだったラーメン屋が休業日。大変残念。

色々食べて飲んで歌ってしゃべった。あとで書く。 とりあえずおめでとう。

西へ。

コンビニで本を受けとる。今まで買った本で1番目か2番目に高い本。約1000ページ。 元取れるぐらい読みましょう。

で、終わろうかと思ったが、気づいてしまったので。 まあこの一年は色々ありました。近年まれに見るいいことがたくさんありました。良くないこともたくさんありましたが。 予想外なことが本当に起こるというのが、予想外なうれしい誤算。そういうハプニング…

Excelにまみれた一日。本が見つかったっぽい。Amazonではもうだめそな雰囲気だったから滑り込みセーフ。 しかしまた出費だ。とうとう2chにまで。

鼻血。油断してた。 薬で止めるのはもうこれぐらいにしようかなぁ。鼻の奥で血の匂いがするし。

雨。油断してた。 ちょっと本読み。 前まで読んでた本はどうしよう。続きのテーマのやつは高い*1し売ってないし。 *1:18000ぐらい。ユーズドだと22000ぐらいだった

はまってた。configにpop3の設定を書いてOK。

大雨。油断してた。 いつもとは違う本読みながら寝る。

制約って拘束(条件)と言い換えられる。で、拘束が入ると、自由度が(1以上)落ちる。落ちた結果がきれいに着地するかどうかは別だけど。 関数従属性とか結合従属性(これはまだよくわかってない)とかは、うまく着地できるタイプの制約かと。一般的によくある制…

夜更かししたので昼過ぎ起き。 松屋でカレー食べたぐらい。何もせず。

昼まで寝る。あとは規定演技。

食べに行った。うまい。味とかすっかり忘れてしまってた気がする。 ふと、大昔に東尋坊で食べたのを思い出した。 あと、とうじんぼうが変換できずに今困った。

関数従属性になぜ「関数」と入ってるかがわかった気がする。ていうか、さっさと気づけ俺。にぶすぎ。 金曜なので酒。2杯。

今日も即寝。疲れてるんだろうか。