晴れ、気温は凉しめ。起床は8時、11時間寝たおかげで多少は元気に。それでも立ち上がるとフラフラする。 会議があると思って10時に出所したが、似た名前の別の班の会議であることに気がつく。その後、とりあえず論文2を投稿してから、発表準備の続きと書類書…

本格的に風邪を引いたらしく、朝から頭痛、仕事は病欠（病気でも欠勤扱いになってしまうそうだが）。 昼頃にもう一回起きる。頭痛はだいぶ収まったが、立ち上がるとまだふらふらする。発表準備の続き。夕食は20時、中華スープ、風邪には生姜が効く。薬を飲ん…

天気は晴れ、少し凉しい。起床は10時、マンションの防火訓練とかで叩き起こされる。論文の続きと出張時の発表準備。夕方、CとJR駅近くの中華料理店へ。帰宅後、ソファーで少し寝た後また準備の続き。 「さよなら絶望先生」13巻を読むが、田中陽子の出現に驚…

少し寒い日、天気は曇り。起床は12時、洗濯後は一日論文書き。Texで書いた原稿をMS-Wordへうつす。Wordの数式エディターはやはり面倒。 夕食は、IKEAで買って来たソーセージと目玉焼きとマカロニ。 食後、Cと気分転換にパトレイバー2 劇場版を見る。その後ま…

よく晴れた日、気温は上昇。しかし、最近寒い日が続いたせいか、喉が痛い。 起床は10時、出勤して論文書き（今度は論文2、内容を大幅に修正）。何事もなく一日が終了。帰宅は21時半、夕食は夏野菜ミートソースとサーモンのサラダ。 その後論文修正の続き。

肌寒い日、寝冷えする。起床は8時、本日は某補助金のヒアリング。ヒアリング自体は30分でつつがなく終了、後は結果を待つだけ。珍しくスーツで出勤だったため、いつも行く弁当屋の店員を始め、4人から今日なにかあったのかと聞かれた。 昼に出所、午後に会議…

起床は7時、本日は本部で打ち合わせ。明日のプレゼン用にA2のポスターを出力。午後、研究所へ。幹部会でプロジェクトの説明をする。他に雑用いくつか。19時半に退所、帰宅は21時半。

天気は曇り、起床は10時。本日は出張。JRで大津へ、バスで南草津の某大学へ。 Ts先生に圏論について色々伺う（お忙しい中、申し訳ありません）。夕方から雨になり、雷雨の中帰宅。

天気は晴れ、しかし引き続き涼しい日。起床は9時半、出勤してプレゼンの原稿作り、20時に退所。帰りに梅田の○伊国屋によるが、「ラーエル・ファルンハーゲン」がおいてない事に激しく落胆する。帰宅は21時半。 Cが本日、会社を休んでご両親とIKEAに行ってき…

午前は曇り、昼から晴れる。起床は11時、洗濯をする。昼食は豚肉の生姜焼き丼。 15時ごろ外出。雨が上がり、空が青い。 三宮へ。本屋とハンズ、デパートをまわる。鳥光で夕食、ケーキを食べて帰宅。

朝から雨。本日は論文1の締め切り日、査読者への変更箇所報告書を書く。夕方にメールで発送。一日つぶれる。昼食はズッキーニと小エビのパスタ、 夕食はマグロ豆腐。

早朝雨が降る。今日の天気は曇り、湿度が高い。起床は9時半。出勤して論文修正。 Skさんにお願いして、論文の読み合わせ。自分の書く日本語のひどさに呆れる。20時半に退所、飲んでから24時半に帰宅。

今日も暖かい。起床は9時半、出勤して会議と論文の続き。疲労度高し。いくつか新規に仕事を仰せつかる。 20時半に退所、ネギと納豆を買って帰宅。夕食はシラスと納豆と中華スープ。

よく晴れる、初夏の陽気。起床は9時、出勤して論文書き。16時からテレビ会議、Agdaの新機能について。それからKtさんとCoqの話をする。また、帰納的定義のパースエラーの話の続報について教えていただく（実は論文の当初案が正しかった事が判明・・・今から…

一転してよく晴れる。起床は10時。 六甲山から神戸市を見下ろす。近くの牧場へ。昼食を食べる。 行く途中にあった桜の木。まだ咲いていた。 羊。放牧中。 神戸市高山植物園。 その後、バスで阪急駅へ。本屋へ行き、JR駅までおりてラーメン屋で夕食。帰宅後は…

午前は曇り。起床は10時、11時半にCと出発。六甲ケーブル下から登山道に入る。結構な急傾斜で初心者にはきつい。 登山中に雨雲の中に突入、湿度が高い。途中で汗だくになり、Tシャツを3回替えた。 登山中にあった高圧電線の鉄塔、下から眺める。 油コブシ経…

よく晴れた日、行楽日和。起床は11時半。昼食はトマトソースパスタ。食後に外出。 新緑。 近所の神社。 それからハーバーランドへ。デパートのアウトドア・コーナーで計2時間過ごし、トレッキング・シュ−ズとアウターウェアを買う。が、通常の靴は片足分160g…

暖かい一日。論文を少し、後はボーッとして過ごす。夕食後論文の続き、27時半まで。

初夏の陽気、よく晴れる。起床は9時半、出勤して論文書きと資料調べ。とりあえずの方針決定。 20時にCと待ち合わせ、「常村」で夕食。

今日も暑い。起床は9時半、出勤して論文書きと資料集め。他にメールを書く。 帰宅は21時15分、夕食は水菜とエビのパスタ。