よく晴れていたが、肌寒い。出勤して会議と打ち合わせと雑用。 ふと思い立って、Cと梅田の「ビストロ・ストーク」に行く（昨日テレビで紹介していた）。場所は非常にわかりにくい。シャリアピンステーキを頼むが、タマネギソースが美味、また行こう。画像はC…

よく晴れる。昼は初夏の陽気、夜は肌寒い。 忙しい一日。打ち合わせで盛大に自爆する。全部ひっくるめて色々残念な感じに。 夕方Kr氏と今月末の打ち合わせ、その後本日分のレポートを作成、発送する。帰宅は23時、夕食は干しエビと茄子のトマトソースパスタ。

暖かい日、昼は晴れるが夜に降り出す。 午前は研究所、午後に非常勤先へ（BHK解釈の話はやりすぎだったか）。終了後、圏論セミナーの顔合わせ。 24時に帰宅、神戸も雨が降り出していた。

よく晴れる。出勤して共同研究プロジェクトの打ち合わせ各種。ややこしい話が多い。 夕方から某書類の続き、22時まで。なんとか書き上げ、アップロードする。帰宅は23時半、駅前のスーパーで買ったイカの刺身で夕食。それから明日の非常勤の準備。

今日もよく晴れる。本日は家にこもって某書類、一日かかってもまだ終わらない。 昼食はシラス丼ともらい物の小エビ、夕食は小エビとトマトのパスタ。

よく晴れる。一日某原稿、23時半にメールで発送した。昼食はツナとバジルのサンドイッチ、夕食は店屋物。

Bellantoni and Cook (1992) characterized the polynomial-time functions by the primitive recursion schemes, with a semicolon separating the variables into two kinds. The first ``normal'' ones control the length of recursions, and the second…

肌寒い日、湿度も高い。午前中に銀行に行き、国際会議の参加費を払おうとしたが、チェコの銀行へチェコ・コルナだてで送金が出来ないことが判明…金融のグローバル化ってやっぱり嘘だったのか。 午後は出張、講演を聴き、文学部とメディアセンターに寄ってか…

朝から雨、夕方には止む。湿度が高い日、おかげで頭痛がする。 出勤して某書類の作成、発送してから他の雑用。22時に帰宅、夕食はニンニクの芽と豚肉の炒め物。

連休の最終日、振替休日。一日中家にこもって論文書きの続き。やっぱり閉区間ではだめだと言うことに気付く。 昼食は小松菜のミネストローネのマカロニ入り、夕食はその残り。夜、連休最終日と言うことで入浴剤入りの風呂に入り、それからまた論文の続き。

こどもの日、天気は悪くなり、夕方には小雨が降り出す。一日某論文、足し算と引き算の処理に手間取る。他に洗濯など。昼食は娼婦風パスタ、夕食はサーモンと小松菜ののカレー。

比較的暖かい日。一日某書類の続き、やっと完成したので発送する。 夕方、Cと外出し、Hangでハンバーグを食べる。

ちょっと寒い。朝から某書類。 昼食は干しエビと小松菜のオリーブオイルパスタ、夕食は新タマネギとベーコンのトマトソースパスタ。

We develop a Logic for Inductive Definitions (LID), a self-generating system built from scratch and based on minimal logic, the only underlying notion being that of a computable functional on partial continuous objects. We sketch the reali…

暖かい日、初夏の陽気。気温の変化について行けない。 本日は出張、講演を聞く。その後会食、22時半に帰宅。