ふと思い出したので。某シンポジジウムがここで開催されたとき、外国人パネラー数名をルミナリエに案内したことがある。彼らは人の数にも驚いたが、最も驚いていたのは以下の二点。 多くの見物客が携帯電話のカメラで撮影しているのを見て。当時はまだ日本が…

食後、周辺を散歩する。 「ルミナリエ」のため、周辺の道路は交通規制が引かれ、観光客の長蛇の列。 ルミナリエの順路と、一般の通路が直行している交差点。とてもじゃないけれど渡れない。 交差点からルミナリエの順路を眺める。 ルミナリエで一番うれしい…

よく晴れた、暖かい日。こういう日ばかりだといいのだが。 Cは朝から外出、起床は12時。洗濯と掃除をする。昼食はカレーの残り。食後論文を読む。18時半に三宮の本屋に行き、Cと待ち合わせ。「鳥光」で夕食。

起床は8時半、晴れているが寒い朝。体調はいくらかましだが、まだ寒気がする。 出勤してコード書き。・・・コード書きと言っても、この一週間ロクにPCにさわっていない。紙にボールペンでデータ型の候補を書いてみて、terminateしそうか考える、という作業の…

朝から強い雨、夕方までにやむ。湿度が高く、体調を崩す。 起床は9時、出勤してコード書き、あまり進まず。夕方から多少調子を取り戻す。20時に退所、21時半に帰宅。夕食は昨日の残りのポークカレー。

月曜日に買った本。ランナーとしても有名な村上春樹による、ジョギング／マラソン／トライアスロン関連の総集編。「不健全な精神は健全な肉体に宿る」とか、以前読んだことがある話が文中散見されるけれど、それもご愛嬌でしょう。 村上氏において、長距離を…

12月にしては暖かい日。午前はよく晴れていたが、午後から雨が降る。 軽い二日酔い、起床は9時で慌てて出勤し、コード書きなど。午後の打ち合わせはKtさんも交えて3人で論文の内容を議論する。また今後のデータ型の設計についても議論、大体の合意を見る。昼…

冷たい雨が降る、寒い一日。起床は8時半、出勤してコード書き。データ型の定義に悩む。 17時に退所、旧勤務校の歓送迎会に出席、酔っぱらう。帰宅は24時。

すみません、ファジイ論理上における自己言及パラドックスの解決に関して、一つ補足を。嘘つきのパラドックスに対する「強化版嘘つきのパラドックス」と全く同じ現象が、ファジイ論理上でもおこります。 ファジイ論理上の嘘つき文 RestallやHajek-Paris-Shep…

起床は8時半、出勤してコード書き。また忘年会の案内を出す。ついでに、昼休みに数学についてメールを書くが、後で見直すと間違いだらけで唖然とする。20時に退所、21時半に帰宅。 本日はAskulから注文していたパスタ15kgが届いたのでパスタ祭り。夕食はタリ…

どーも、皆様お久しぶりです。前回が10月28日、一ヶ月強の時間が空いてしまいました。今回は前回までのまとめということで、不動点とラッセルのパラドクスの関係をおさらいしたいと思います。 自己言及性の統一的取り扱い さて、誰もが言うことですが、ラッ…

今日もよく晴れる。起床は12時半、朝食はクリームティー。論文を読んだりしてすごす。夕食は昨日のミネストローネの残りにパスタを入れたもの。

我が家のネットワークは、リビングにAirMacExtreme（旧型）があり、書斎のiMacと無線でつながっている。しかし、9月にMacを買い替えてから、ネットの反応速度が急激に落ち、その理由を探していた。本日理由が分かったので備忘のためメモ。 どうやらAirMacの…

よく晴れた日。起床は10時半、聞いたことのない謎の警告音で起こされる（結局原因不明のまま）。午前は洗濯と風呂掃除、なんだかんだで時間の浪費が多く、なかなか論文にとりかかれない。15時にCと外出、近所の喫茶店で遅めの昼食をとり、阪急駅近くでコーヒ…

起床は8時半、寒い朝。出勤してコード書き。合間に忘年会の場所探し。昼休みに喫茶店に行くが、座るときに隣の席の人にぶつかってしまい紅茶をこぼしたりをはじめ、散々な目に遭う。コード書きの方は、データ型を再修正することにした。 19時半に退所、梅田…

寒い。起床は8時半、出勤してコード書き。忘年会の幹事を仰せつかる。また、研究班配属がやっと正式に発令し、辞令を受け取る（3月までの任務だけど）。 Agdaの方は、Non-terminateはsubstitutionと量化子がごちゃごちゃになっているせいだと判断し、両者を…

18時より20時まで。参加者5人、終了間際にもう一人。Davidsonの「概念枠という考え方について」を分析し、「概念枠」と言うアイディアを擁護する。面白かったです。が、メイン部分は、また次回ということに。終了後、22時半まで小飲み会。

今日も晴れ、しかし寒い。起床は8時半、本日から冬用のコートを着て出勤。 自宅近くの朝の風景。 職場近く。昼食の買い出し時。 Agdaのコードで、昨日指摘された場合分けを埋める。そうすると、やっぱりTerminateしない。午後の打ち合わせの時間に上司に相談…

よく晴れる。しかし寒い。さすがに12月だ。起床は8時半、出勤して今後のコードのデザインを考える。 夕方、Ktさんが新しく書いたインストールマニュアルのテストも兼ねて、Agda2を最新版に更新する。前にインストールした版は10月後半のもので、Termination…

言語L1, L2, L3 があり、L1-> L2 と L2-> L3 の間が翻訳可能であっても、L1 -> L3 の間の翻訳が不可能な例を考えよう、という話。以下の例は、今年の前半、読書会のときに思いついた（本当に思いつきなんですが）。IG氏の原稿を読んでいる際にふと思い出した…

朝から雨、寒い一日。起床は8時半。出勤して書類整理、また今後の方針について考える。おかげで実際の進展はあまりなし。 19時半に退所、雨は上がっていた。21時半に帰宅、夕食はすき焼き風卵とじ鍋。

名古屋出張が1回、東京へ2回行き、それからコード・スプリント。Cの出張に某書類も何件か、こんなに忙しいとは思わなかった・・・。「ラッセルのパラドックス・傾向と対策」の更新もご無沙汰しており、誠に申し訳ありません。今週より執筆を再開します（でき…

12月とは思えない暖かさ。起床は11時半。昼食は昨日の残りのソースをマカロニにかけたもの。その後は書類整理を夜まで。夕食はプッタネスカ（スタンダード版）。 夕食後も書類整理の続き。Cは男子バレー・ブラジル戦での7点没収を見てエキサイトしていた。

暖かい日、起床は13時。よく寝た。昼食はプッタネスカ（にシーチキンを加えたもの）とビール。その後は掃除と洗濯。 夕方図書館に行くも、書庫が緊急工事中で入れず。18時に阪急駅前の本屋でCと待ち合わせ。Tsutayaに行った後、「常村」に行く。牡蠣が最高。…