夕飯： ナスの揚げ浸し、冬瓜の煮物、ピーマンのポテト詰め、サラダ、麦飯。

そんで、今更ながら微積分の本など読んでいる。

平均値の定理ってあるじゃないですか。$f$ が $[a,b]$ 上で連続で $(a,b)$ で微分可能とすると、ある $\xi \in (a,b)$ で $f(b) - f(a) = (b-a)f'(\xi)$ となるってやつね。まあこれは直感的に明らかというか、証明はいらんやろ、って感じで読み飛ばすんだけど、これを拡張した Cauchy の平均値の定理ってのは初めて知りました。おんなじような条件で、$\dfrac{f(b)-f(a)}{g(b)-g(a)}=\dfrac{f'(\xi)}{g'(\xi)}$ となって、要するに $(t, f(t), g(t))$ を三次元の曲線と思って $(f'(t), g'(t))$ を考えると、$t$ を潰した平面のどこかしらで向きが平行になるよねという定理。そしてここからロピタルの定理が証明されるってわけ。いままで分子分母を微分する度に、これでええんやろかと不安に思っていたのが解消されてスッキリしました。あとはあれね、一様収束するなら極限と積分を交換して良いって定理ね。目の前で証明してもらえると安心よね。諸乃禍事罪穢有良牟乎婆祓閉給比清米給閉って感じ。

そんで、この店でものを買うのは難易度が高くて、売り子のお姉さんはバックヤードで寝ているのでまず声を掛けて起こさないといけないという。

近所に香辛料をとても安く売っている店を見つけたので、潰れる前に色々揃えたい。スーパーの半額程度（ものによっては三分の一）で売っているし、滅多に見かけない珍しいスパイスもある。一年程度は店を持たせてほしいものである。

http://www.amazon.co.jp/dp/4388060224/

カレーを作るなら、美味しいカレーを作りたいのなら、この本を買って損はない。野菜の水煮にカレールーを放り込むような粗雑さとは、次元の違う味を知ることになる。とは言え、本格カレーって出汁をあまり重視できていないので、ある程度日本人の感性でアレンジすべきである。インド人の肉魚の処理って雑だよな。

それにしても大量のタマリンドペーストは何に使ったらいいんだよという感じである。それほど強烈な味でもないので、適当に使うこともできるのだが。

夕飯：ラム・ローガンジョシュ、ナスとズッキーニのコロンブー、サフランライス。

https://www.youtube.com/watch?v=XmAxu0kLRg8

アゴタ・クリストフの悪童日記が映画化。見にゆくことは決定しているのだが、トレイラーを観た瞬間に違和感が。「僕ら」はもっと幼い。おばあちゃんはもっと痩せて小柄なはずだ。私の中ではそのように描かれていた。それと、「僕ら」に表情がありすぎる。

昨日の夕飯： スペアリブの赤ワイン煮、野菜と鯛のスープ、パン。

鯛を買ってきた。 1.24 kg で 3,100 円(税抜)。鱗を取ってつぼ抜きして、立て塩に漬けている。鱗取りくらいお願いしても良かったな。一度でいいからあの電動鱗取り機を使ってみたい。最初はエラごと取ろうと思って割り箸を突っ込んだが、見事にへし折れた。割らずに二膳使ったのに…。鯛のエラは硬い。出刃でエラを取って再挑戦。一度では綺麗に抜けず、三度くらいして内蔵の除去を完了。ひと仕事終えた気分でビールを飲みだしてしまった。

http://www.amazon.co.jp/dp/4434078755/

謎の記号 inf, sup が解ったのでルベーグ積分の本を読みだしたが、序章、8 ページでいきなり悩んだ。定義を見なおしたり記号の使い方を確認したり：

$n=1,2,\ldots$ および $k=(k_j)^d_{j=1} \in \mathbb{Z}^d$ に対し $$I_{n, k} = \prod_{j=1}^d \left( \frac{k_j}{2^n}, \frac{k_j+1}{2^n}\right],\quad \underline{f}_{n,k}=\inf_{I_{n,k}} f,\quad \overline{f}_{n,}=\sup_{I_{n,k}} f$$

この部分を読むだけで 10 分くらい消費した。体積素片とそこでの上限下限を書いてるだけじゃん！っていう。リーマン積分の説明をしてるんだから気付けよという話である。 でも日本語で一行説明を書いてくれたって良いのでは… とも思う。

微分積分学原論だとこう：

• $s \in S $ に対して $s \leq u$ を満たすとき、$u$ を $S$ の上界という
• 図形 $S$ に上界が存在するとき、$S$ は上に有界という
• $S$ の上界の最小数 $u_0$ を $S$ の上限といい、$u_0 = \mathrm{sup} \,S$ と書く

数学解析（上）だと：

• 実数の集合 $S$、実数 $u$ について、$s \leq u \ (s \in S)$ が成り立つとき、$S$ は上に有界という
• $u$ を $S$ の上界という
• 次の性質を持つ $u_0$ を $S$ の上限($\mathrm{sup}\,S$)という：
• $s \leq u_0 (s \in S)$
• $\forall \epsilon > 0, \exists u \in S; u_0 - \epsilon < u$

最大数と違って S に含まれる必要がないのか。書き方が違うのは、前者だと先に実数の連続性を公理として導入しているからかな？ 実は連続とか微分可能も解っていない。

ランダムウォーク本を読み始めたのだが門前払いを食らった。微積分からやり直そう（何度目だ）。

買ったった： http://www.amazon.co.jp/gp/product/4896374584/

これがすごく良かった： http://meroncholinista.tumblr.com/post/39745456620/1-4

沙村広明の新刊、第七女子会彷徨、シグルイ等を買ったので乱歩の本は読まず。司法試験の勉強でもしようかな（錯乱）。

さて次はどうするか。確率の本にするか、ランダムウォークの本にするか。ランダムウォークかな。

http://www.amazon.co.jp/dp/4641083495/
おおよそ知っている話だった。触りたいデータが手元にあるわけでもないので、知らない部分について熱心に読めたとは言えない。検定のあたり。東大出版会の青い本も読んでみようと思っていたが、統計学はもういいや。必要になったらまた読むだろ。

豊かな実り（バジル）に寄生する略奪者（アオムシ）を楽園追放（デコピン）した。今朝で七匹目。まだいるような気がするんだよな。

俺はものを考えることが出来ない。俺は細切れの意識の中で生きている。持続的に考え続ける人を見ると感心する。太く長くでも、細く長くでも、その長さを真似することが出来ない。一緒に考えてくれと頼まれても、その殆どの時間は空白または細切れの何かだ。俺は考えていない。行き当りばったり。それでなんとかやってきた。これからもそうやって誤魔化してゆく。

屍者の帝国を読み始めた。三分の一程度。ここまでの感想は amazon のレビューを引けば足りる：

最初の数ページのプロローグには、たしかに伊藤計劃はいましたが、そこにしか伊藤計劃はいませんでした。

円城氏と伊藤氏は才能ある作家だ。
だが本作の高い評価には首をかしげざるを得ない。
無名の新人が書いたＳＦ小説だとしたらここまで褒められていただろうか？
「夭折した天才の遺志を戦友が継いだ！」という感傷的な成立事情ありきの評価にしか思えなかった。

傷口が塞がらない。バンドエイドを剥がしたらたちまち出血。24 時間経って化膿はない。今度は 48 時間程度放置してみよう。

夕飯：イカ飯、がんもどきと赤みずと万願寺唐辛子の煮物、味噌汁、漬物。

例によって朝から買い出し。雨が強くなったら困ると思って車で行ったが、近くの駐車場が埋まっていて、家と卸売りセンターの半分くらいのところに駐めた。いいんだ、俺はちょうど野川を散歩したかったんだ…。イカ三杯、山椒の実、赤ミズ、万願寺唐辛子、かぼちゃ、にんにく。そしてメラ屋は来なかった。話が違うじゃん…。

買ったった：

• http://www.amazon.co.jp/dp/4388060224/
• http://www.amazon.co.jp/dp/4391143097/

Do it yourself (ひとりでできるもん)

俺は TSUTAYA カードを持っていない。二度作って二度捨てた。映画を借りなくなったからだ。借りなくなったのは引っ越したからだ。調布で三回引っ越しをした。それはまあいい。俺は追跡されるのが嫌いだ。詮索されるのが嫌いだ。足跡を残すのが嫌いだ。だから mixi はやってない。パスワードが流出しているかもしれないが構うことはない。どうせ web サービスをひとつ利用する度に gmail アカウントをひとつ作るだけだ。だが、同じ IP アドレスから複数のアカウントに対して接続されていることに気づかれたら...(snip)... まあいい。会社帰りに寄るブックタワー書泉はアニメイトと提携して共通のポイントカードを作った。提携なのか資本関係があるのか、そしてそれらの言葉にどんな意味があるのかは知らない。手元には一枚のカードがあり、 web で個人情報を登録することで効果を発揮するようなのだが、それは決してしないだろう。下手な個人情報よりも、読書傾向の方がよほどその人を表すだろう。そう考えて利用していないわけではない。ただ教えたくないだけだ。そうして俺は、少しだけ損をする。ポイントを使えないという程度だ。損ではない、という見方もある。得る可能性のある利益を得られないというのを、損失と見做すか否かという話だ。加点方式か減点方式か。社会が効率化をいっそう高めるとするならば、通知する義務というのも課されるのだろう。俺は声を上げずに反抗する。あなた型の流儀に従わないという形で反抗する。

謎の上から目線だが、かつて ^4He 系の関係者だったということでご寛恕を請う次第。

ここ数日で天冥の標の既刊を読み終えた。長えよ。面白いからいいけど。オムニフロラの師管を超流体が流れて栄養を輸送するというのは無理がある。ファンタジーや SF の不思議は説明する必要がないと思うのだがどうか。下手に説明しようとすると失敗するんだから。

人類への貢献度で言うと、俺はゾマホンの十億分の一くらいだろうが、それはそれで全く構わない： http://www.zomahoun.com/ 。むしろ人類の役に立ちたくない。

夕飯：鰹の炊き込みご飯、昨日の残りの味噌汁、セロリと人参と砂肝の炒め物、鰹の竜田揚げ。

鰹に寄生していた米粒のような虫はテンタクラリアというらしい。筋肉に出たり入ったりしているのを見て、やめてよね、と思った。

夕飯：モヤシとツルムラサキの味噌汁、ご飯、鰹のたたき、がんもどき、漬物。鰹の寄生虫を取り除きつつ、X 線か何かで殺せないのかしらと思った。

卸売りセンターまで行って鰹を１尾買った。1.8 kg で 1,900 円くらい。ツルムラサキという葉っぱも買った。栄養価が高いらしい。それとメラ屋のスープカレー。大量に汗をかいた。お昼ごはん用にキーマカレーを持ち帰り。

俺はもうすっかり空也上人になりたい。

旨し。菊水 夏の大吟醸生原酒： http://www.kikusui-sake.com/home/jp/products/p026.html

夕飯： キーママター、ナン、サラダ。

良い本： http://www.amazon.co.jp/dp/4388060224

雨雨降れ降れ。闇夜と雨音に乗じてアパートの階段に風呂の残り湯を流して掃除をした。いぇい。

いつの頃からか xfce terminal が時々遅延するようになった。正確に言うと、キー入力をしないと画面が更新されないようになった。適当に矢印なりスペースなりを押せばよいのだが、y/n しか期待していないようなところにスペースを押したせいで exit してしまうケースもあって不便していた。ふと思いついて gnome-terminal を起動してみたらこちらでは何も問題がない。いずれ解決されるのであろうが、しばらくは gnome-terminal を使ってみよう。

memo: [pyenv / virtualenv] http://qiita.com/la_luna_azul/items/3f64016feaad1722805c

初めてタンカレーを買ってみた。いつもはビーフィーター。Rain Drop で「タンカレーは辛くてね」と言った客がいましたね。

というわけで蚊取り線香をはじめました。夏の匂い。どう考えてもアースノーマットのほうが使いやすいんだけどな。

珍しく早起きしてホームセンターに行ったり、五階から一階まで階段を掃除したりしたので大変疲れた。暑いし。

メラ屋のスープカレーを食べた！ うまい。でもキーマカレーのほうが好みかな。

坂口安吾が検索という語を使っていたとは前から知っていたが、それがどのお話かは憶えていなかった。わざわざ全集をひっくり返すのは面倒だし、そもそも全集を本棚から探してくるのも大変だ。というわけで青空文庫を検索したらすぐに出てきた。「戦争犯罪人を検索しようよ」：http://www.aozora.gr.jp/cards/001095/files/42868_27482.html

掃除機を買おうと思って、サインクロン式がいいなとか、充電式はどうだろうかとか、スリムタイプのほうが良いかなどと色々と考えた挙句、これを買った。： http://www.amazon.co.jp/gp/product/B000W9IMRC 。絞りまくり & 拭きまくりです。

ゴールデンウィークのあたりでウィスキーのお湯割りからジンのソーダ割りに切り替えた。最近は食べ物のことしか書いてない気がするが、世間も俺もそうそう変わったことはないというか、そのことは五年前に書いたからまた書く必要はないか的。

夕飯： あんかけかた焼きそば、野菜スープ、蕗と蒟蒻の煮物、焼きそら豆。

昨日の赤ワインが少し残っていたので炭酸水で割って飲んだ。ワインや日本酒を割ることに抵抗を示す人がいるのはなんでかね。

多摩川か野川までピクニックに行こうと思ったのだが、色々あって行き先が大学になった。藤棚の下でサンドウィッチ： 1.マッシュポテト、2.玉子、3.チーズ・トマト・きゅうり・ハム。

夕飯： からし菜のサラダ、明太子としめじのパスタ、野菜スープ。

夕方新鮮屋に行ったがほとんど完売の様子。生きくらげとしめじとワインを買って帰った。奥信濃： http://www.kijimadaira.jp/docs/2013022000420/

来週も来ると言っていたので、その時はスープカレーだ！

眠かったが押し麦を切らしていたので卸売りセンターまで買いに行った。押し麦、黒米、からし菜、蕗、鮭腹、くるみ少女子、明太子。メラ屋の屋台が来ていたのでキーマカレーを食べた。うまし。https://twitter.com/meratan/status/469997019004542976

まな板を発送したのは POST DETAIL (http://www.postdetail.com/) という店。なかなか面白いものも売っている。これを売ろうと思ったのはなぜか： http://www.postdetail.com/179_579.html

銀杏のまな板（http://www.amazon.co.jp/dp/B005Q6JFR2/）と菜切り包丁（http://www.amazon.co.jp/dp/B001TPDY94/）が届いた。素晴らしい切れ味にまな板の弾力。

夜食： じゃがいものガレット

窓を開けることも多くなってきたので空気清浄機をしまった。役に立ったのかそうでないのかわからないが、フィルターはそれなりに汚れていた。

夕飯： 漬けマグロの山かけ丼、茶碗蒸し、葉わさびの醤油漬け、行者にんにくとしめじのお浸し、わらびと人参と油揚げの煮物。

夕飯：　スペアリブの香草焼き、ルッコラとレタスのサラダ、春雨のサラダ（残り物）、海藻サラダ（残り物）、ピラフ風炊き込みご飯、クラムチャウダー。

今日も卸売りセンターで買い物。使い方の問題もあるし、全部が全部安いわけではないが、選べばそれなりに特だ。

Blu-ray でレオンとプライベート・ライアンを観た！ 良かった！

昼食：以前作って凍らせておいた野菜カレー、チャパティ、パラーター。

パラーターは初めて作った/食べたのでこれで良いのかどうか判らない。もう少し折り込んでパイ風にするのかな。

最近は五分づきの米に麦を足して炊いている。米対麦が 7.5 : 3 で、刑務所より多少上等。麦とろにすると絶品なんだなあ。

ボンディも共栄堂も所詮射程距離内である。と言ってみるテスト。

インド人のスパイス使いの前に挫折感を禁じ得ないので、欧風カレーなるものを作った。酸味が強く出すぎて失敗の感。十分美味しいので構わないが。

休み前、元請けとの TV 会議での会話：
俺：印字項目が増えたのでフォントを小さくしました。資料 XX にサンプルを記載しておりますので、ご確認ください。
元請： うーん、いいんだけど、これ、読めますか。
俺：実機で印刷して確認しましたが、十分読めます。
元請け：うーん、誰にでも読めますか？
俺：えっ
同僚：（笑）
元請け２：（笑）
俺：それは…保証いたしかねますが…

memo: 位置原光Z、ニャロメロン。そろそろ単行本が出るらしい。

色々と作って色々と食べた。本をたくさん読んだ。それ以外は眠っていた。

一目見て、何が起きているのか分からなかった。

試供品でもらった Shick の五枚場の安全かみそりを、戯れに乾いた肌に当ててみたら見事にツルツルになった。さすがに皮膚がヒリヒリするが、これは凄いな。新品だからかもしれんが。でも替刃が高いので使わない。

村下孝蔵って初めて知ったけど、歌もすごく上手いのな。

https://www.youtube.com/watch?v=sw6TtxnyF3Q

これは凄い。ベンチャーズは中学生の頃、学校帰りに友達の家でよく聴いていた。

育て方を調べると、紫蘇とバジルは楽勝そうだが山椒はやたらと枯れやすそうで心配である。枯れたら朝顔でも植えようかな。

調布駅南側の広場で植物販売を行っていた。バジル、紫蘇、山椒の苗を一株ずつ。プランタと土を買うついでにバジルの種も購入。それにしても土を買うのはどこか釈然としない。

「こ、これはっ！ オロコッパーヘンデルモルゲン！」と自然な感じで言うのを人生の目標の一つにした。さっき決めた。http://www.amazon.co.jp/dp/4592710681

もちろん、あとがきも歌っていました。

ワンルーム叙事詩が耳にこびりついていたので一日中歌っていた。燃えろ、燃えろ、全部燃えろ。

ノンホモ牛乳を買ってきて、途中で休憩をはさみつつ都合三十分ほど振ったのだが、腕が疲れたので諦めた。ザラザラとそれらしき脂肪の粒はできているけれど、もう限界。

夕飯： ご飯、昨日の残りの味噌汁、そら豆と帆立と玉子の炒めもの、チンジャオロースー風のモヤシで嵩増ししたもの、昨日の残りの酢味噌和え+小松菜。

ヒマラヤの岩塩を

牛乳パックの紙で包んで鉄床に乗せて、玄翁でぶっ叩く。

ふるいにかけて、パウダー状のものはそのまま使い、粒が大きいのはソルトミルで使う予定。

ああそうだ、そら豆も買ったのですよ。とても美味しかった。

夕飯：筍ご飯、若竹煮、ウドと舌切とわかめの酢味噌和え、鮭と大根と牛蒡と蒟蒻の味噌汁。

休日にしては珍しく早起きして卸売りセンターまで行ってきた。鮭腹スモーク、舌切、わかめ、筍、小松菜、ほうれん草、ちりめんじゃこ。まだ何か買った気がするが酔っているので思い出せない。布団を干しつつ午後はホームセンター。ソルトミル、玄翁、平たがね、ヤスリ。鉄床はどこにあるかと訊いても、それは何か、どのように使うのか、大きさは、などと質問されるばかりで埒が明かぬ上、結局見つからない。ダメ元で旧甲州街道の金物屋に行ったら置いてあった。鉄道のレールをぶった切ってペンキを塗ったもの。1900 円。ついでにそら豆のフライとレンズ豆。

久しぶりに sudo pacman -Syu したら 1.5 GB 近くの更新があった。日進月歩ってやつか。

とても良かった： http://www.amazon.co.jp/dp/4480024557

memo: CentOS を Desktop でインストールした時にデフォルトで入っている付箋紙アプリは tomboy。これ便利だよな。

そろそろ認めざるを得ないこと： 俺は料理のセンスがない

ビーフストロガノフは浦沢直樹の柔道漫画で知っていたが作るのも食べるのも初めてだった。割と美味しく出来たと思うがこの味で良いのかはわからない。

今日の夕飯：アルーゴビマター（じゃがいもとカリフラワーとグリーンピースのカレー炒め）、ボンゴレロッソ、わけぎのグラタン。

昨日の夕飯：ビーフストロガノフ、じゃがいも、人参、小松菜としらす干しのおひたし。

パニールは簡単にできることがわかったので、次はレンネットを使ったチーズかバターだな。チーズは難易度が高そうなのでバターにしたいのだが、生クリームを使うと高いし、ノンホモ牛乳はそこらで売ってないし、乳製品充への道は遠い。

色々あって、中古の Lenovo X201 を買ってきた。見た目は新品同様。Core i5-520M、memory 4GB、税込み 3.9 万円。取り敢えず CentOS6.5 を突っ込んだ。

パニールは脂肪分 5 %のジャージー乳で作ってみた。普通の牛乳でも作れるのでそのまま飲んだほうが良かったかもしれぬ。

夕飯： 鶏肉入りサグパニール（あるいはパニール入りサグチキン）。

ジョニ黒。2200 円。美味しいけど赤が 1200 円なのを考えるとそれほどでもない。これならシーバスリーガルの方が好みだな。

話は変わるんだけど、昼時や夕飯時になると腹が減ったと騒ぎ出す連中が鬱陶しい。毎日同じ時刻に空腹感を感じるのかよ。パブロフの犬か。給餌される豚のように定刻に食事をしてるからそう思うんだろうが。昔から不規則な生活をしていたから食事の回数が多少減ったり増えたりしたって何ともないぜ。ところで痛みを錯覚できるかというのは大森荘蔵の本に議論があったが、空腹は錯覚できるのだろうか。できなさそうだな。

不幸な自己認識よくあるパターン。1.私は既に過剰であり、ここから何かを得るためには何かを捨てなければならない。 2.あるべき姿から私に足りないものを引いたのが今の私である。

何かを代償としないと健康を得られないと思っているのかもしれない。不便や不満の忍耐、他者との差異、異教徒からの懐疑に曝されることにより、殉教できると錯覚しているのかも。ただ生きているだけで神の愛を信じられる人間がどの程度いるか。

教義は過激な方が受け入れ易いということか。適当に食べていたって何とかなります、では信仰を支えられない。あれは駄目、これは駄目、ああしなさい、こうしなさいと指示されないと不安になる人は多いのだろう。

糖質制限界隈のキチガイっぷりは何事だ。糖尿病治療の一環として導入するなら話はわかるが。Wikipedia を見るに、人類の歴史的には稲作文化は始まったばかりで適応が追いついていないよね、追いついてないのは危険だよね、と言いたいらしい。懐古厨乙というかなんというか。実数を実数(boolean?)に写す関数しか想定できないんだろうか。