空は薄曇り、とても寒い。起床は8時、眠いし体の節々が痛い。ついでに少し頭が痛い。 久々の出勤。出張帰りの雑用に追われる。午後も雑用･･･年度末を実感する。ついでに、予算ゼロのために生協に買い出しに行く（またか）。19時前、帰宅する直前、予算関連の…

帰宅後、Cと金沢駅のデパートで買ってきた「中越」の和菓子「弥生桜」（おいしい）をお茶請けにお茶を飲んでから、お土産をもってその足でDavidson読書会に向かい、K君のお別れ会に出席。ご苦労様でした。出席者は5人、今回はN氏が絶好調。23時半に帰宅、25…

その後バスで駅に向かい、15時半の雷鳥で帰る。車内で爆睡、変な姿勢で寝たので首が痛い。帰宅は20時。疲れたが、とても楽しい会議でした。関係者の方々に厚くお礼を申し上げます。 今回の会議の収穫ですが、論文を読んだことしかないような有名な研究者の方…

12時に市役所の隣の金沢21世紀美術館に到着。 建物は円形でガラス張り、真ん中には中庭、ちょうど晴れていたので館内どこに行っても陽光がまぶしい。天井は高く、壁はみんな真っ白、ミニマリズムの教科書って感じ？でしょうか。ボランティアのスタッフがそこ…

久しぶりに青空を見る。起床は8時、盛大に二日酔い。9時半にバスに乗るべくホテル前のバス停に向かうが、目の前で乗り逃がし、次のバスまで1時間図書館で時間をつぶす。バス停に向かう途中、偶然G氏に遭遇（お礼が言えて良かった）。11時に鶴来駅に到着、北…

直接関係はないけれど、研究集会で出た話題なので･･･当たり前の話（もしくは単なる誤解）なので恐縮ですが、備忘のためここに書きます。 今回の会議は「代数と論理」についてで、論理体系の証明論的性質を代数的に特徴付けることなどが主なテーマである*1。…

本日はT氏及びL氏。どちらも興味深かったです。L氏の話は、その意味論が実数上の位相空間にちょうどなるように、様相論理の公理を考える、というもの。M氏が質問で指摘していたように、ファジイ論理でも真理値を使用してある種の様相operatorを導入すること…

起床は7時半、やっぱり眠い。天気は雪混じり、とても寒い。朝食を食べてから大学へ。

18時から懇親会。またM氏から論文をもらう。K氏と缶コーヒーを飲んでから21時半に部屋に帰る。24時に寝る。

私の発表は10:30-11:15、内容はAML論文の結果の紹介。一人だけ算術の話だから浮くかもと恐れていたが、すんなりと興味を持ってもらえた様子。楽しんで頂けたのではないかと思っております。 pdfファイルを大学のサイトにおいてあります。興味のある方はどう…

本日は講演者が私を含めて6人、論文で名前を聞いたことがあるがお会いするのは初めてな方が多い。話題はバラエティに富んでいたが、強いて言えば証明論的性質に関する代数的な特徴付けの話が多かったか。私はこの辺の話に（限らず）全くの初心者なのですが、…

起床は7時半、朝食を取り同宿のT氏と待ち合わせてJAISTへ。

14時半の雷鳥で加賀温泉へ、在来線に乗り換えて西金沢へ。琵琶湖を過ぎるあたりから雪が増え始め、西金沢でおりたときには一面地吹雪、驚愕する（後で聞いた話では、今年は雪が大変少なく、これが3回目だったそうだ）。北陸鉄道に乗り換えて鶴来へ、到着は19…

起床は11時、眠い。昼間に発表練習の2回目、今度はだいぶマシになった。昼食はエビと水菜のトマトパスタ。14時にJR駅に行き、切符を買おうとして、地図・時刻表・研究会の案内など諸々を全て忘れてきたことに気づく。慌ててCに電話、電話で教えてもらった内…

起床は12時半、疲れているようだ。よく晴れていたので、とりあえず洗濯をする。Cはお茶の稽古、帰りに道を間違え、海星病院まで行ってしまったそうだ。遅い昼食後、洗濯物を干してから大学へ、発表準備。発表は英語で45分、練習では英語がちゃんと出てこない…

起床は8時。空に薄雲がかかる。肌寒い。 午前中は月曜日にある後期入試のための会場設営に駆り出される。私の班は受験生480人分・9教室を12人で担当。机を洗剤で拭いたり、受験番号を机に貼り付けたり、その他いろいろ。昼は郵便局員がまた来る。午後は10kg…

起床は8時。今日も晴れているが肌寒い。少し風邪気味。コートを着て出勤。 午前中は原稿修正と雑用。午後は雑用、図書館に行ってから原稿修正。本日は21時半まで、draft第一版がやっと完成。帰宅後、Cにサンドイッチを作ってもらう。

起床は8時。晴れているが寒い一日。朝から花粉を感じる。 午前中は雑用、午後も雑用。夕方から残業して発表準備。夜食を買い生協に行くと、サンドイッチ半額セールだった。原稿をちゃんとタイプしてみると、+αを入れる時間的余裕なんて元々無かったことが判…

Economics Lovers Live経由、ゲーム理論で有名なRubinsteinの本がタダで読める！前から買おうと思っていた本だけに、とても助かる。"Economics and Language"はこちら。"Modeling Bounded Rationality"までもダウンロード可能。

久しぶりによく晴れる。気温は少し低め。起床は8時、眠い。午前は原稿準備･･･といいつつ頭がちゃんと働かず、開店休業状態。昼休みは郵便局員が来る。 午後は雑用、生協に行き、某予算残額を0にする。それから200円を巡って会計と攻防。夕方から22時まで残業…

起床は8時、むっとする湿度、強い雨、強い風。出入り業者の人の話では、積んでおいたプリンター用トナーカートリッジが風で吹き飛んだのだそうだ。 午前は雑用、予算残金の計算が合わないとあわてるものの、出張経費を計算に入れていなかったことに気づく。…

ヒビルテ経由、ここからダウンロード。先々週に8割読んでいて、残り数ページを本日やっと読了。 LawvereやHuwig-Poigne' の結果（各種の対角線論法を圏論の言葉で書き直し一般化する）を、圏論の言葉を使わずに紹介したもの。圏論の用語を使わずに同じ形のダ…

よく晴れた日、花粉も飛ぶ。起床は10時半。義父母と義妹・姪二人の訪問。昼食はミネストローネと頂いたステーキ。食後、義父の車でそろって某ケーキ屋へ行き、ケーキを買ってくる。フランボワーズ・シェリー。後は奥に引っ込んで発表準備。16時頃に彼らが帰…

空は曇り、気温も低め。起床は12時半、眠い。疲れがたまっているのか。 Cと阪急駅前に行き、サンドイッチとビールと電球を買ってくる。「ポエム」の牛カツサンドはなかなか。その後は洗濯をしたり風呂掃除をしたりして過ごす。夕食はアマトリチャーナ、食後…

夕方、中途半端に時間が空いたので、気分転換にこの前の中古PC処分の際にもらった旧式のPowerBook G3 Lombard (333MHz, 256MB RAM, 4GB HD)にVine Linux 4.1を入れてみた。インストール自体は問題なく終了したが、起動するとき以下の問題が起こった。 ファイ…

朝は晴れているが雲が多い。起床は8時、眠い。午前中はダラダラと雑用。午後の雑用は15時頃で終わる。帰宅は19時、夕食はトマトとキャベツのフィットチーネ。投稿論文の件、夜になってやっと編集者から受け取りにメールが来る。25時に寝る。 発表と発表の間…

acceptから半年、AMLのサイトにやっと電子出版が掲載されました。アドレスはこちら。2月24日に連絡が来たのだけれど、すっかり忘れていた。

16時より18時まで、参加者10人ぐらい。本日が最終回、Universeの導入、Jan Smithの結果の説明とmonomorphic type theory。

起床は8時、よく晴れた一日。午前中は雑用、午後から出張。忘れ物を取りに一回帰宅する。JR駅前でラーメンを食べてから千里中央へ。 講義終了後、Cと梅田で待ち合わせ、デパートに行った後「司」で夕食、カキフライ。22時に帰宅、25時に寝る。

2月6日からの約一ヶ月間、忙しくて非公開にしたまま放置していました。その間 産総研で発表(2/23) 曖昧性に関する論文を投稿(2/28) その他、年度末に向けての会計処理、試験監督、入試業務、etc. ということがありました。実はまだ、3/12-13の研究集会で発表…