発表

-02:00 (要するに前日の 22:00) に起床し,そのまま起き続ける.久しぶりに早朝 7 km 走る.ちょっと足下が暗いので怖い.

割と朝早くに発表.質問はごもっともなのが 2 つぐらいと,よくわからんのが 1 つとんできた.よくわからんのは結局質問の前提が色々おかしかったと言うオチ.

念のためにと思って用意したカウンタースライドを使うことになるとは思わなかった.けんども,あとで聞いたら「あれはちょっと質問の意図が違った」みたいなことを言われたので,やっぱりいらなかったのかも.うーむ.

ところで,あれが計算できない理由を,「Girardパラドックス的な感じで順序数が埋め込めて Burali-Forti paradox を起こすみたいな感じだと思った」と言われたけんども,計算不能であることを示すのにそういうことすることってあるんだべか? Girardパラドックスはそもそも計算可能性あんま関係ないし.んまあ,確かになんかある特定の入力に対して停止しないことを示す時のタネとして使えそうだけど,うーん,よくわからない.というかそれで思い出したけど,いい加減優先法理解したい.

んで,夕方からは謎の作文.いい感じに寝不足で頭が沸いていたので,久しぶりに文章の書ける守護霊が降りてきて3時間ちょっとぐらいでガーッっと5500字ぐらい書けた.

あしたは聞き専.楽しみな発表がいくつかある(イヤミじゃないってば)