比較的暖かい日、花粉も余計に飛ぶ。出勤して原稿書き、なぜか自分の担当箇所以外もあちこち書く羽目に。午後は全体会議。その後Km君の発表原稿の再チェック、2時間半かけてなんとかなった様子。大変疲れる。 22時に帰宅、夕食は娼婦風パスタでパスタはカッ…

花粉っぽい日。出勤して原稿書き。夕方からKm君の発表原稿についての検討会、疲労困憊する。21時半に帰宅、夕食は鶏そぼろ丼。

id:nuhsnuh さん経由。知っている人は知っている話でしょうが。 ASLで編集され、Springerから出版されていた ”Perspective in logics"シリーズが、なんと Project Euclid で無料公開されていました。ページはこちら。内訳は Computability in Analysis and P…

一日休養と原稿書き（計画から大幅に遅れている）。夕食は焼き肉丼。

某ホテルにて、14:00-17:00。 Paradoxes of Infinity, paradoxes of sets (Philip Welch) ザックリとした話、時間をかけて対角線論法の解説をしていたのに、いつの間にか welch-woodinらの結果の解説をサラッと流していて慌てた。 The set-theoretical multi…

暖かい日、花粉症気味。10時に起床、美容院に行ってから六甲アイランドへ。研究集会に出席、それからCと合流してK先生の退官記念パーティーに出る。お世話になりました。

朝は雨、昼から曇り。午前は研究打ち合わせ、ST氏の論文に関して（詳細はtwitterのygt氏の記事を参考にしてください）。午後はKｍ君の発表原稿レビュー、いろいろと物言いが入る。Ab君の送別会に出席して24時に帰宅。

比較的暖かい日。出勤して報告書書きと各種処理。報告書をMS-wordで書いていたら、3時間で5回強制終了した。 梅田経由で帰宅、夕食はシーチキンとケイパーのトマトソースパスタおよび茹でたブロッコリーのマヨネーズソースがけ。

本日は某所会議室で開催。参加者は4人、p394第3段落-p396最終段落、22時半まで。本日はslingshot argument、および脱線して semantic value と truth value の違いについて。 （内容は後で追加します）

寒い日、忙しい一日。午前中は共同研究先と会議、年度末報告書の構成と来年度研究計画に関して。午後は研究所に行き、原稿書きおよび各種処理。

朝から雨、夜にはやむ。出勤途中、蛍池のショッピングセンターが停電していた。 本日は原稿書きと各種処理、いろいろ仕事が多い。帰宅中は電車内でメール書き。バス停でST氏に電話をしていたら、電池不足で二回切れた。22時に帰宅、夕食は牛肉のトマトソース…

晴れているが、風の強い日。一日中冷たい風が吹く。出勤して各種処理、あちこちに電話をかける。全体的に忙しくなってきた様子。 21時半に帰宅、夕食はほうれん草とベーコンのクリームソースパスタ。食後は原稿書きの続き、議論が二転三転する。

午前は晴れ、午後は曇り。一日原稿書き。