2009-01-01から1年間の記事一覧

「数理論理学」(鹿島亮)

ごく一部で話題になっていた新刊本です。本日買ってきました。210ページのソフトカバー本なんですが、古典論理の自然演繹と列計算(LK)、完全性定理と不完全性定理、さらにはLKのカット除去、また直観主義およびクリプキモデル、さらには中間論理の話題まで…

今日もよく晴れる。家で書類整理、昔のいらない論文コピーの山を処分する。また、某書類の再推敲。 夕方、Cと三宮に出かけ、「ボルカノ」でメランザーネを食べ、「アンテノール」でレモンタルトを食べる。

今日も今日とてよく晴れる。出勤して各種打ち合わせとマニュアル書き。帰宅中、阪急駅でF先生とお会いする(私のごく近所に住んでおられるそうだ)。 夕食は21時半、マグロの醤油漬け丼。

今日もよく晴れた一日。出勤してマニュアルの続き、午後は所内会議。その後、三人で大阪へ向かい、某会議に出席、その後帰宅する。夕食は麻婆茄子。

「フロム・ヘル (下)」(アラン・ムーア、エディ・キャンベル)

確かに名作だけど、 ヒトラーなど20世紀の大量殺戮と大量殺人への仄めかしがあまりにあからさま。 ストーリーとして、メーソン→ガル説は、あまりに強引では(コミックだからいいんでしょうが)。ガル医師があまりにパワフルです。 あと、どうでもいい話です…

引き続き良く晴れる。出勤してマニュアル書きの続き、どりあえずドラフトが完成。21時に帰宅、夕食はキャベツと牡蠣のクリームシチュー。

「フロム・ヘル(上)」(アラン・ムーア、エディ・キャンベル)

アート系アメコミ(?)の名作。面白かったんですが、それはそうと、セリフ長過ぎ。

今日も暖かい。午前中は出所してマニュアル書き、午後は非常勤先の授業(今回はtonk)。R君ゼミおよびCatゼミに出た後、少し飲んで24時に帰宅。

暖かい日、多少かぜ気味。出勤してマニュアル書きと各種事務処理。明日が某競争的資金申請書の所内締め切り日のため、電子申請システムと所内申請システムの両方に所定情報を入力して帰宅する。夕食は豚汁とあじのフライ。 食後メールをチェックすると、残業…

今日も良く晴れる。本日は、研究所の本部の一般公開日、一日中従事する共同研究のポスターの解説をして過ごす。疲れた。

暖かい日。出勤して各種打ち合わせと事務処理。 本日夜から筑波に出張のため、着替えを持って出勤してきたのだが、職場で「出張中はスーツもしくはそれに準じる服装を着用」との通達に気づき、慌てて神戸の家に帰り、スーツに着替える。 新神戸から新幹線→TX…

よく晴れた日、暖かい。出勤して各種雑用。午後は非常勤先の某大学へ、後期の授業第一回目。心配していた学生さんの数もそれなり。 その後、今後の相談をしてから21時に帰宅。夕食は蟹(もらいもの)のトマトソースパスタ。

よく晴れた日。出勤して打ち合わせ、色々仕事が湧いてくる。疲労のせいか、少し腹痛気味。20時半に帰宅、夕食は麻婆豆腐丼。

「ヨーロッパに架ける橋」(上)(ティモシー・ガートン・アッシュ)

旧西ドイツと東ドイツの間の「独独関係」について、 「独独関係」の知的特徴は、逆説的な言い回しが頻出することにある…。二つで一つの「共同体としての責任」。現状打破のための現状の肯定。体制の締め付け緩和を目的とした体制の強化。ドイツ統一を達成す…

昨晩は、遅くまで風の音が強く、余り寝た気がしなかった。しかし、いつの間にか熟睡し、目を覚ますと台風はもう中部地方に。晴れ時々曇り、風も多少強い程度。 本日は一度出勤した後、大阪市内へ。某社で共同研究に関する会議。某案件に関して某。某。帰宅し…

本日より水曜日まで、出張(および発表)のため、更新をお休みします。ご了承ください。

"Mansfield park" に見る一人称と三人称の使い分け

以下の文章は、最近 Jane Austen づいているCによるものです。貧しい少女が、父親と自身に思いを寄せている裕福な男性との初対面を前にして考え込むシーン。彼女は彼をまだ好きではないが、父親のせいで彼が去ってしまうかもしれない。 and I believe,*1 the…

昨夜から断続的に強い雨が続く。気温は低いが、一日中湿度が高い。この天気の変化について行けず、体調を崩す。 出勤して雑用、他にややこしい話をいくつか。体調悪化のため早めに帰宅。夕食はミートソース。

昨日、日本に帰ってきました。が、帰国早々、いきなり仕事がいろいろと…。 出張中の話は、追々追加していきます。

買い本

The Life of Monsieur De Moliire (Oneworld Classics)作者: Mikhail Afanasevich Bulgakov,Mirra Ginsburg出版社/メーカー: Oneworld Classics発売日: 2010/04/01メディア: マスマーケット クリック: 2回この商品を含むブログ (1件) を見る

「ドストエフスキーの一日」(L・グロスマン)

ヴィースバーデンのカジノで所持金をありたけ使い果たしたドストエフスキー、過去の体験をフラッシュバックさせながら、「罪と罰」のあらすじを思いつくさまを描く。 今まで俺が書いてきたのはくだらぬものばかりだ。金のため、名声のために、手っ取り早く書…

本日はイギリス滞在最後の日、本を郵便で送ったりパッキングしたりして過ごす。また借りているアパートの管理人さんが来たので話す。話の途中、 「最初の日に説明したと思うけど、暖房の入れ方覚えてる?」 「え…?」 というわけで、滞在最終日にして、やっ…

買い本

The Warden (Penguin Trollope)作者: Anthony Trollope,Robin Gilmour出版社/メーカー: Penguin Classics発売日: 1993/09/01メディア: ペーパーバックこの商品を含むブログ (1件) を見るThe Prime Minister (Penguin Classics)作者: Anthony Trollope,David …

買い本

Life and Fate (Vintage Classic Russians Series)作者: Vasily Grossman出版社/メーカー: Vintage Classics発売日: 2006/10/24メディア: ペーパーバック購入: 1人 クリック: 1回この商品を含むブログ (1件) を見る訳者の紹介では「グロスマンのこの本は、多…

"Truth theory and co-inductive definitions"

出席者6人、14:15〜15:15。プロジェクターがとても淡くて薄い上、15秒に一回点滅し、話にならない。結局残り時間15分になって別の教室に移動して再開(イギリスでは何が起こるか分からない)。 反応は…プロジェクターがひどかった割には良かったです、はい。…

ホチキスの針のサイズ

今日、院生室で印刷した論文をホチキスで止めようとしたら、どのホチキスにも針が入っていない。学生に聞くと、 どのホチキスも針のサイズが微妙に異なり、 従って全てのホチキスに針を補充するためにはそれぞれ異なる針を調達する必要があるが、それは難し…

本日の夕食はローストビーフ、付け合わせはニンニクと芽キャベツとエシャロットとジャガイモ(ホースラディッシュはなし)。オーブンで焼く

イギリスの

鉄道の始発、バース駅発ブリストル駅行きは、平日は6時半ごろだが、日曜朝は8時半だそうだ…日曜の朝は教会に行け、ということなんだろう、多分。

「co-inductionについて知りたければ」

「とにかくまずコレを読め」(by P先生)。「すばらしかった」そうです。 参考:檜山さんのところの資料編

7時半起床、朝食はベーコンエッグとクラッカー、大学へ行って原稿書き。他にP先生に話を聞く。19時半に帰宅、夕食はタイカレー。食後はいろいろ雑用。