ラッセル・パラドックスのいろいろな解決法を紹介しようというこのシリーズ、前回までは古典論理を保持しつつ包括原理を弱めようという Restriction of basic principles に分類される集合論(ZFC/ZFAなど)を紹介しました。今回は、基本原理である包括原理は…

8月に戻ったかのような暑い日。湿度も高く、昼頃は強い雨も降る。 Cからの電話で起こされ、時計を見ると13時。・・・12時半に待ち合わせの約束をしていたので、慌てふためいて阪急駅へ向かう。合流して三宮へ、トアロードデリカテッセンで昼食。ビールとチー…

ラッセル・パラドックスの解決法というとZFが有名ですが、他にもマイナーな解決法がいろいろあります。せっかくなのでそれらを紹介しようというこのシリーズ、前回はRestriction of basic principles に分類される解決法をご紹介いたしました。 今回は、時間…

起床は8時、家を出るときは雨が降っていたが、駅に着くと雨がやんでいた。結局、一日傘を抱えて過ごすことに。 出勤して論文およびチュートリアル読み。平和に一日が過ぎる。19時に研究所を出て、20時に三宮でCと待ち合わせ、久しぶりにHangでハンバーグを食…

起床は8時、出勤する。本日は一日Agdaのチュートリアルを読み、PCを使わず鉛筆だけで練習問題をする。 20時半に帰宅、夕食はカボチャとベーコンのクリームパスタ。Cと政局のニュースを見ていて遅くなる。昨日のエントリーに多少加筆、続きは明日。

kururu_goedelさんのところで話題になっていたので。 普通、通俗的な本でラッセル・パラドックスの紹介をすると、「包括原理 (the comprehension principle) が悪いのです、だからZFが建設され問題が解決されました、めでたしめでたし」という結論になってし…

旧版のアレさが薄まって普通のアニメになったと聞いていましたが、見て安心しました。やっぱり電車での問答がないとエヴァじゃないよね。「逃げちゃダメだ」「知らない天井」等も健在。 旧版との大きな違いの一つは、家出の際のエピソードがだいぶ少なくなり…

本日は休暇最終日。起床は10時半。iMacを起動するとネットワークにつなげず、アップルのカスタマーセンターに電話で泣きつく。結局AirMacExtreamをリセットしてネットワークに再接続が可能になった。 13時に外出、電車内で首相辞意表明のニュースを知る。マ…

阪神-広島戦をTVで見る。広島の先発は長谷川、栗原の3ランで先制、解説者は東出が「守備がうまい」と褒めていた。皆3年前から活躍していなければいけない選手たちばかりで、彼らの不調が最近の広島の低迷の原因ともいえる。が、それでもやっとここまで来た訳…

本日も休暇。起床は9時半、近所の草刈りの音で目が覚める。自宅で書類整理、論文コピーの山に頭を抱える。午後には昨日送った宅配便も到着、置き場所に困る。 19時に夕食、鶏肉のトマトパスタ。 食後も片付け、とりあえず論文の4割を収納した。本日は結局片…

本日は休暇、9月採用でも夏休みが連続3日もらえるそうだ。旧居室片付けの関係でこの時期に休暇を取ることになった。 朝方、強い雨が降る。起床は10時半、曇りで湿度が高い。AirMacの調子が悪い（intel iMacと相性が悪いのだろうか）ので、ファームウェアをア…

曇り空、湿度が高い。起床は10時半。iMacにインストールの続き。AirMacの調子が悪く、なかなか進まない。 15時にTsutayaに行ってdvdを返し、次に大学に行き居室の片づけの続き、不要書類とコピーの山を紐で縛る。掃除中に2004年7月が賞味期限のハッピーター…

今日は曇が多め、しかし蒸し暑い。起床は10時、火災報知器の点検の警報音で目が覚める。洗濯をしながら、ノートPCのHDの中身をiMacに移動する作業の続き。 先月で大学を退職したものの、まだ居室の片づけが終わっておらず、またノートPCも借りっぱなしの状態…

今年3月にもらった論文、やっと読み終わりました。Metcalfe氏ののweb siteはこちら、論文ファイルはこちら。 ファジイ論理の代表例といえる Lukasiewicz 無限値述語論理 ∀L は、通常は真理値から定義されるせいか、証明論的には非常に複雑で、帰納的に公理化…

しつこく残暑。起床は8時、出勤して、午前中は情報セキュリティ研修のCD-ROMを見る。内容を紹介すると情報セキュリティ規定に違反しそうなので略。午後は雑用と論文読み、図書室より本7冊が所内便で到着。 19時半に梅田でCと待ち合わせ、旭屋書店に行った後…

今日も暑い。起床は8時、通勤して雑用と論文読み。研究所は皆さん出張中のため、閑散としている。論文は今日も当たり前の点に引っかかる。とりあえず一回読み終わり、まとめに入る。 帰宅は8時半、夕食は石狩汁。

残暑が厳しい。起床は8時、出勤して雑用と論文読み。また本日は会議で自己紹介。論文は今日も当たり前の点で詰まる。帰りの電車内で解決法を思いつき、喜び勇んで家に帰って、教科書を広げたらその解決法はそこにちゃんと書いてあった。 帰宅は20時45分、夕…

日差しが強く、湿度も高い。残暑が厳しい。 起床は7時半、出勤時に阪急駅で電車の扉に盛大に頭をぶつける（すごい音がした）。出勤して雑用と論文読み、論文は難航するが、考え直してみると当たり前のことだった。忙しいけれど平和に一日が過ぎる。 帰宅は8…

本日は初出勤。今後は平日のblogの更新時間が、夜20時以降となりそうです。ご了承ください。 蒸し暑い日、日差しも強い。起床は7時、眠い。阪急駅でコーヒーと菓子パンの朝食。9時になんとか研究所に到着、セキュリティやら施錠やらについての説明を一日中受…

天気は晴れ、風があって少し涼しい。明日の初出勤に遅刻する夢で目が覚める。 起床は11時。昨日の要約の英文をCにチェックしてもらう。午後に外出、美容院で散髪。阪急駅前の本屋でCと待ち合わせ、三宮で家具店に2軒行き、デパートで靴を買い、パスタを食べ…

おめでとうございます。今年のカープで、いい話はこれだけだった。っていうか、前田選手と私はほぼ同い年ということに今気がついた。

某独立法人系研究所の情報科学分野の研究員となりました。今後ともよろしくお願いいたします。 問題が一つあるとすれば、任期が来年4月までということで。契約更新があるか微妙だし、また職探しの毎日か・・・。

天気は曇り、少し凉しい。起床は11時半、眠い。半日休養。夕方Cと外出、Tsutayaでdvdを借りる。食後 "Little Britain" を見るが、こういうの好きです。それから先日の書類の要約を作成、27時に寝る。