私の戦闘力は約 207,000?

昼ごろ起床?

「Ackermann 関数が原始再帰的でない」の証明を形式化中.ところで,Ackermann 関数が原始再帰的でないことの証明が書かれている日本語の本は,そんなに多くなかったりする.最近(といっても2016年か)出た高橋正子先生の『コンピュータと数学』には書かれているが,より幅広い話を経由して,系として導いているので,よく知られた帰納法回しまくるやつではないっぽい.

Amazon CAPTCHA

閑話休題.やはり形式化しようと後半の補題にいくつか辛いやつがあるな.Church-Rosser ほどではなさそうだが….

閑話休題.某所のホワイトボードに,名前と数字の組が書かれていた.規則性がなかなか見つからないが,そのあと寿司を食べに行く車の中でわかった.例えば,

  • 斎藤は約 546,000,
  • 斉藤は約 325,000,
  • 齋藤は約 87,100,
  • 齊藤は約 37,200

らしい.あそこのホワイトボードに書いてある時点で,何かのゲームのレートか,あるいはグラフ理論的な何か…,と思ったのがバカだった.超簡単だった.計算量 $\mathrm{O}(n)$ は,未だに納得いってないが….

夜は久しぶりにスシロー.また寿司の合間にミルクレープを頼んで頭おかしい扱いされる.かなC.