起床は8時。一日雨が降る。朝一でA教授の授業、bounded arithmeticについて。今回はイントロのみ。 その後AML論文の最終版を作成、送付する。他は色々雑用。3号館のベランダに、ハトの糞よけの防鳥ネットを張ることになり、本日午後にその工事が回ってきた。