昼夜逆転を巻き戻すために

とりあえず証明の目処がたったので[要出典],昼夜逆転を巻き戻すためにあとはほぼ一日寝ていた.

途中,うどんを食べるために, N さんと 5km ぐらい散歩したりした.適当に色々話しつつ散歩するの楽しいので,春先に散歩部でもやりませんか.んまあ普段は歩かないだろう市街地を 10 km ぐらい,買い食いしたりしながら散歩するの.大昔北海道にいた時に何回かやったことがあるけど,まあ楽しいよね.興味ある人はお声がけを.

証明の目処がたったといっても,やはり De Brujin インデックスの shift と代入,beta reduction がまだまだ直観的じゃなくて諸々困る.Coq で証明するだけだから,十分な論理の力があれば直観とかどうでもいいのかもしれないが,そこまで論理の力がないので困る….というか,自分の研究テーマ上,なんとなく力技で通しましたは微妙で,わかりやすい(と主張できる)証明書くことが必要で,要するに自然言語で証明書くときのロジックに沿ってものを考えたいのだが….