何が分裂するのかと思っていたが、「分裂」というよりは「分岐」だった様子、「世界の終わりとハードボイルド・ワンダーランド」みたいだ。α-1は一瞬「ねじまき鳥クロニクル」を思い出した。っていうか続編を2ヶ月待つのか。

朝は晴れ、どんどん雲が増えてくる。起床は11時。Cが洗濯をしていたので、洗い上がりを干す。 今日もCと外出。バスで三宮へ、フロインドリーブで昼食、ビールとダブルチーズBLTサンドを食べる。センター街で「涼宮ハルヒの分裂」を買う。ガシャポンにも挑戦…

私の誕生日なので、Cと待ち合わせて元町の「うなぎ横町」で夕食。その後"EH Bank"でビールを飲む。

勤務簿を提出にS棟まで2往復、その後事務室までゴミ袋をもらいに行く。我が市は空港が完成してもう埋め立て場所もなくなり、ゴミ減量のため事業系ゴミの回収が有料化された。つまり大学でゴミを捨てるときは指定ゴミ袋を使わないといけなくなり、それを週に1…

暖かい日。桜が少しずつ咲いてきた。 起床は8時。色々連絡待ちなので開店休業。国際会議の発表申し込みに、論文要旨をメールで発送する。･･･さて、今度はどうだろうか（今回は/も自信があまりない）。

今日も曇り、湿度が高くなま暖かい。 起床は8時。大学に来てコーヒーを入れ牛乳を取りに行くと、共同利用の冷蔵庫のドアが開けっ放しになっていることに気づく。牛乳が変なにおいを発しているので、慌てて新しいのを生協に買いに行く。その後雑用。午後は生…

Ts先生に18時半までご議論頂く。論文の話とカテゴリーの話。議論の結果、定理（というほどのものでもないが）が一つ証明できる。昔から気になっていた点に関することなので、たいしたことではないけれど、個人的にはうれしい話です。ありがとうございます。 …

本日は出張。11時半に出発、お金がないのに気付き慌てて銀行に寄り、昼飯の時間がないのでサンドイッチを買い、JR駅に駆け込む。間に合ったと安心したのもつかの間、前の電車で変な音がしたとかで新大阪駅で車両点検となり、私の乗っていた新快速も大阪-新大…

よく晴れた日。眠い。花粉も飛ぶ。

まだ328ページ目で、読了はしていないけれど。 この小説を初めて知ったのは高校生のときで、この本の有名な一文をストルガツキー兄弟が「ストーカー」のエピグラフに引用していて、それを加藤典洋が引用したのをA新聞夕刊で読んで、という経緯だったと思う。…

曇り、朝から薄暗い。湿度が高いので頭が痛い。眠い。 起床は8時。午前中は雑用と論文修正。午後は生協へ、今年度予算はこれでおしまい･･･のはず。生協からの帰り、桜のつぼみがほころんでいて、咲いている花も2-3個あるのを見つける。もう4月。 ここ一週間…

よく晴れた暖かい日。起床は8時、眠い。ついでになぜか首がとても痛い。午前中は論文修正。午後、数学図書室へ論文コピーに行き、それから修正の続き。 夕方、新サーバーのssh設定をしようと公開鍵をサーバーに入れたが、全然 remote log in できず悩む。し…

21日に買った本、流し読みしていたので、全ページ読んだかは自信がない。えーと、題材は面白いのですが、無理にブッシュ政権のイラク戦争との比較を前面にもちだす必要はなかったと思います。もっと落ち着いて題材に集中して欲しい。

天気は曇り、なま暖かく湿度がとても高い。風邪気味、ノドが痛い。軽い頭痛もする。 本日は科哲コロキウムにもいかず、家でおとなしく原稿書き。起床は10時半、Cに地震のニュースで起こされる（JAISTは大丈夫だろうか）。論文の続き、もし今回の案が正しいの…

天気は雨、薄暗い。雨は強くなったり弱くなったりしながら、一日中続く。 昨晩からまた論文モード、今度の締め切りは今月末。遅くまでやっていたが、火災報知器の点検だとかで、今朝は9時半に起こされる。その後二度寝、起きたら13時。起きた直後に残り物の…

起床は8時、少し肌寒い。朝夕の寒暖の差が激しく、体調を崩し気味。 朝から雑用。入力後にXXXXが判明しあわてるが、会計係の妙技で事なきを得る。ありがとうございます（お忙しい中申し訳ありません）。午後も雑用、会計と別件で協議、XXXXXも飛び出す。他に…

16:00-17:00 線形時間論理の2つのシーケント計算体系の同等性およびcut除去の概要、また分岐時間論理の拡張 4CTL*（4-valued CTL）、 4LCTL* （4CTL+場所）の紹介。背景説明が主。 17:00-18:00 プログラム更新システムのプロトコルの、 信念を表すBAN logic…

起床は11時半。まだ寒いけれど体はもう春眠モード、いくらでも寝られそう。 14時に出発、JR駅前のマクドで昼食、15時半に千里に。

起床は12時。晴れているがまだ寒い。やはり風邪気味、花粉も感じる。本日はCと外出、三宮に行く（読書会はお休みにさせて頂きました、申し訳ありません）。昼食の当てにしていたレストランが2軒休みなので、「DONQ」でビーフカツサンドを食べる。本屋とデパ…

キーワードを入力して文献検索をするとき、自分の論文が先頭に来ると、「こんな言葉を使うのは私だけなのか」とか思う。

起床は8時、晴れているけど今日も寒い。昨日書いた手紙を家の机の上に置いてきたことに気づく。 午前は雑用。問い合わせがあったとき、Gmailは本当に便利だ。昼前にBn氏と生協に買い物に行く。昼休みは自宅に帰り、手紙を途中のポストに投函してからオフィス…

今日も薄曇りで寒い朝。起床は8時。午前中は雑用、図書館に行ったり。午後も雑用、やっぱり未だに忙しい。夕方、大学のサイトに産総研とJAISTでの発表のpdfファイルを追加（興味のある方はご覧下さい）。 気が緩んだのか、最近しゃべらなくてもいいことまで…

空は曇り、依然として寒い。起床は11時半、よく寝た。13時にCと外出、JR駅前でラーメンを食べ、三宮に行って本屋とインテリアショップをひやかす。ジュンク堂三宮店が大幅に改装されていて驚く。海岸近くの「フリューゲル」でお茶、トアロードと県庁近くまで…

あまり関係ないが、Cから「白髪が生えてきた」と告げられる。ここ3ヶ月忙しかったし。でも、白髪になるということは禿げないと言うことなので、その意味では安心だ。 ･･･今週で忙しさの峠を越したので、残務処理をしたらゆっくり休みたい･･･。とりあえずたま…

よく晴れた空、花粉が目にしみる。体調は風邪気味で、鼻水が風邪のせいか花粉によるものか判断出来ず。 起床は12時。昨夜遅く帰ってきたので眠い。Cと外出、近所の喫茶店でキーマカレーを食べた後、大阪へ。心斎橋のApple storeで動かなくなったiPodを見ても…

みなさんと夕食に行き、千里中央発の終電→JR大阪発の終電を乗り継いで帰宅。到着は25時半ごろ。

産総研CLC、16:00-17:30。最近はやりの SaaS (Software as a Service)などを裏で支える、個別サーバーの故障やネットワークの断絶を乗り越えて複数のサーバーを安定的にサービスを維持する（sustainする）システムの開発。ネットワーク障害からの復旧後の「…

産総研CLC、13:30-15:00。様相論理KTBを含む normal modal logic の生成する latticeの、Splittingに関する構造について、他の体系の結果と比較しつつ。KTBのlatticeはかなり他と似ているらしい。難しかったけど、面白かったです。

起床は10時半、よく晴れた空。昨日の寒さが応えたのか、少し風邪気味。 今日も出張。11時半に出発、13時に千里中央へ。駅でラーメンを食べる。

Economics Lovers Live経由、気が楽になったので、ついやってしまう。結果はこちら、リベラル+2、小さな政府+1。大学生時代、国際ニュースでクリントンとブレアを見て過ごした世代なのでこんなものか。このままワーキング・プアに仲間入りしそうな身としては…