2008-07-01から1ヶ月間の記事一覧

共同研究先でのプレゼン

曇り、湿度が高い。起床は9時半、出勤して発表演習。 会議に出てから北浜へ。某社での会議で10分間のプレゼン、出来は普通。一部失言(「・・・は簡単に出来ます」)をしたような気もするが、忘れてください。次のプレゼンは今月末。その後研究所に戻り、帰…

10回目の挑戦で

広島カープがやっと勝率5割に到達。長かった。

プレゼン経験

明日、共同研究先でプレゼンがあるので、最近は準備にかかり切りだ。 それで昨日、上級研究員のOさんから「君はこれまで、どれくらい(学会・研究集会での)発表をしているの?」と聞かれた。「国際学会も入れて、1年に4〜5回です」と答えると、「うん、決定…

朝は涼しいが昼から暑い。午後は雨、湿度も高い。 起床は9時半、出勤してプレゼン準備、意見を聞いてまわる。21時に退所、帰宅は22時半。夕食はペペロンチーノ。

英語論文についての恥ずかしい話

あまり、自分の恥になる話を書くべきではないのだが。 私は、一応英語で論文を複数書いていて、なにをかどう書くべきか、ある程度は把握しているつもりだった。しかし、本日、先月末に書いた論文の草稿の一部について Tさんにご意見を伺ったのだが、自分の草…

"Inventing logical necessity" (Crispin Wright) (7)

遅れて参加、22時まで。参加者は5人。今回はp.203第二段落-204第一段落。 証明のessential stabilityと論理的必然性と事実性の関係について議論。証明の必然性を、それを記述する日常言語の言明が真性な事実的な言明かどうかという問題に還元する。

朝、強い雨が降る。日中は暑く、湿度も高いが、夕方から涼しくなる。 起床は9時半、出勤してプレゼンの準備と打ち合わせ各種。

今日もよく晴れる。気温も高いが湿度も高い。 起床は9時半、出勤して面談とプレゼンの準備。21時に退所、22時半に帰宅。夕食はハンバーグとマッシュポテト。

よく晴れた暑い日、湿度も高い。起床は11時。書類書きをするが、途中で寝てしまい、進展はあまりなし。昼食は残り物の肉じゃがと焼き茄子、夕食は夏野菜のトマトソースパスタ。

七夕の短冊

そろそろ七夕、Cが笹をもらって来た。短冊を吊るす。見るとCが書いた「終身雇用」という短冊が混じっていた・・・。 私の短冊は当然「海外学会2件が出張になりますように」と「論文がacceptされますように」です。はい。

よく晴れる。暑い。湿度も高め。起床は11時、洗濯をし、書類を書く。夕方にCと外出、三宮で鰻を食べ、本屋によって帰宅。

本格的に夏の日、よく晴れているが湿度が高い。 起床は9時半、出勤して書類整理と所内セミナー。セミナーでは、久しぶりにEvans論文について説明する。20時に退所、21時半に帰宅。夕食はカボチャとマカロニのクリームスープ。

曇り、湿度の高い日。夕方から強い雨が降り出す。 起床は9時半、出勤して会議と打ち合わせ、それからいろいろと非公式協議で疲労困憊。20時半に退所、22時に帰宅。夕食は肉じゃが。

ワークショップ三日目

よく晴れた日、暑い。起床は8時、とても眠い。慌てて京都へ、ワークショップ最終日に出席。昼食はT先生らのグループにお邪魔して、鯛の味噌焼きを食べる。その後、京大博物館を見学し、古本屋と本屋をまわって、京都を後にする。 「数学は美しい」、600胞体…

ワークショップ 「計算機システムの検証における代数的・余代数的構造」

ワークショップ二日目。なぜか、教室に張ってあるワークショップ名の張り紙が、昨日アナウンスのあった公式タイトルとは違っていた。謎だ。印象に残った講演は以下の通り。内容については、昨日と同様、近いうちに、講演のスライドが公式web siteで更新され…

ワークショップ二日目

晴れ、昼間はさわやか、夜に蒸し暑くなる。 起床は8時20分、慌てる。シャワーを浴びて、8:45にホテルのフロントへ。N氏と待ち合わせのはずが、来ないので部屋に電話をすると、「待ち合わせの時間は9:45じゃなかったでしたっけ」・・・昨夜、酔っぱらってい…