のために、本日やっとdropboxを導入した。ネットストレージ+シンクロ+バックアップソフトで、無料2GB。これは便利です。

食後BSで「大統領の陰謀」を見る。最後の手抜きエンドに激しく拍子抜け。しかしウッドワードはいまやブッシュ政権の内幕に精通した「大物ジャーナリスト」です。ブッシュの戦争作者: ボブウッドワード,伏見威蕃出版社/メーカー: 日本経済新聞社発売日: 2003/…

朝は晴れ、昼から曇り、気温も低くなる。一日休養。Cが実家のため、夕食は作り置きのクリームシチュー。

肌寒い日。朝は雨、昼から曇り。出勤して原稿書きと作業いくつか。 夜に梅田でCと合流、「司」で牡蠣フライ定食を食べる。22時に帰宅。

本日は某大学会議室で開催。参加者は4人、p392第4段落-p394第2段落、21時半まで。 今まで、situation semanticsには三つの階層（lingustic meaning, interpretation, evaluation）が存在するという話であった。今回はevaluationの役割について。 例えば、指…

雨がちな一日。出勤して原稿書き。他に事務通達、頭が痛くなる。 小泉俊己作、「航海」。公園東駅コンコースに展示中。

いや、別に行きたいとか投稿したいという話ではないのですが。 世の中、いろいろなテーマの国際会議があります。今回ご紹介するのはこちら、論文誌のレフリー制度の問題点に関する国際会議 ISPR/KGCM 2009。 Only 8% members of the Scientific Research Soc…

午前は天候が悪く、霧雨の中を出勤。 出所後は雑用と原稿書き。また、MacBookAirの環境整備も大体終了（spotlightが使い物にならないため、結局google desktopを使うことにした）。 帰宅は21時半、夕食はアボガドとベーコンのサラダとミートソースパスタ。

午前は雨、午後は曇り。気温は低め、湿度が高い。出勤して雑用と原稿書き（毎度書き始めが一番苦労する）。 21時に帰宅、夕食はミートソースパスタと茹でたブロッコリー。

帰宅中、モノレールに乗っていると、携帯に着信があった。出てみると、現在イギリス出張中の上司からで、明日急遽私の参加している共同研究についてイギリスでプレゼンを行うことになったため、資料をメールで送って欲しいとのこと。急ぐようだったので、携…

曇り空、湿度も高い。出勤して雑用とPCの設定、MacBookAirのSpotlightの索引作成がどうしても途中で終わってしまう。 21時に帰宅、夕食は石狩鍋。

＠県立美術館。マルティーン・ディヒトル最高。 県立美術館は典型的な安藤建築。 サイーフェの絵の登場人物が、壁に貼り付けてあった。

＠神戸大学。午前中のみ出席。 Ordinal-Free Proof of the Cut-Elimination Theorem for -analysis with omega-rule （秋吉亮太） 昨年の科学哲学会でした話の詳細版。 Takeuti's proof of cut elimination for -CA. (W.W. Tait) 順序数記法を使わないで説明…

朝は曇り、暖かい。しかし昼から雨、気温も下がる。午前は研究集会、午後はCと合流し、昼食後に某用件。終了後、時間が余ったので美術館へ。それから三宮に出て、時計屋とデパートに行く。夕食は寿司（白子が旨い）。

洗濯と掃除と休養と書類整理。昼食はカレー、夕食は石狩鍋と明太子のおにぎり。

寒い日、小雨。大阪の共同研究先に9:30に集合、デモの予行演習。10時半から正式会議、今回の私のプレゼンはデモがこみで10分のみ。その後の質疑応答では好意的な意見が目立つようになった。 数人で弁当を買ってから研究所へ移動、遅めの昼食。午後は所長によ…

仕事用のMacBookAirの home dir は暗号化をしなければならない。本日暗号化に取りかかろうとして、FileVault をonにし、同時に古いファイルの「確実な消去」をonにしたら、全然暗号化作業が終わらず、焦った。

今日も寒い。出勤して午前からミーティング、明日のプレゼン内容の確認。昼間に、は発表練習。夕方になって、帰宅直前に、所長に明日のプレゼン内容を急遽説明することになる。ご説明の結果、大幅な書き換えを指示された。 21時半に雨の中帰宅。夕食はカレー…

引き続き寒い日、出勤してミーティングと発表練習。いろいろ問題が傍らを通り過ぎてゆく。 21時に帰宅、夕食は水菜のちゃんぷるー。

とても寒い日。発表原稿を作り直し。他にも各種雑用。 21時半に帰宅、夕食はトマトシチュー。

参加者は5人、p.390第5段落-p392第3段落。20時に会場に到着、22時まで。 Propertyを独立したものとして認めるBarwise、「意味と性質の混同は20世紀の言語哲学の傾向だ：それは避けなければならない」と言う。 ついでに、interpretationとは のペア（Aはobjec…

寒い日、忙しい一日。ミーティングと発表原稿書き。

暖かい日、一日論文書き。締め切りが後ろに伸びたので、ちょっとやる気も減退気味。

私は、昔からずぼらな性格で、 スケジュールやto do 管理などがうまくできた試しがありませんでした。しかし、今年度になって仕事量が増え、日常業務を廻して行くのも困難な状況になってきました。というわけで、昨年末から試行錯誤した結果、以下のようにな…

とても暖かい日、2月とは思えない。洗濯と掃除、昼食はブロッコリーのペペロンチーノ。食後Cと近所の散歩に出かける。 市街地、ちょっと霞がかっている。 護国神社の梅。 先週Cが直売所で買ってきたバラ、もう大分咲いてきた。 夕食は、年末にもらったカツオ…

朝は曇り、べたべたした日。夕方から雨が降り、夜になると強くなった。本日午前は研究所で共同研究先と会議、いろいろ修正しなければならない点が出てくる。午後はそれを受けてのミーティングおよび発表原稿作り。その後各種事務作業、がんばったおかげで To…

よく晴れる。出勤して会議と面談とミーティング、クタクタ。来年度のスケジュールの一部も決まる。21時半に帰宅、夕食は豚肉のショウガ焼き。

曇り空、今日も寒い日。起床してから論文書き。やらなければいけないけれど放っておいたことが、本当にやらなければいけないことだったことを再認識。 夕方からCの実家へ、スキヤキをごちそうになる。22時に帰宅。

寒い日。朝は銀行に寄ってから出勤。発表原稿に関するミーティング二件の後、各種事務処理および発表原稿の続き。本日はCが実家に帰るため、22時半に帰宅。夕飯はご飯を炊いて、あじの刺身（スーパーで半額だった）と豆腐と中華スープ。

急に寒くなる。午前は面談、疲労困憊。午後にミーティングと発表原稿。夕方から降り出した雨の中、21時に帰宅、夕食は麻婆豆腐、食後に論文書き。