Profile
Masanori Ogino 𓀁
181351 posts 1993 follows 1215 followers
Please pay attention to random failures.
https://mstdn.maud.io/@omasanori
Masanori Ogino 𓀁 reblogged at 4 years ago
きゅーけー tojoqk@mastodon.tojo.tokyo
停止性の証明については定理証明手習いで学んだ。厳密には理解してないんだけど、再帰する度に引数がなんらかの尺度(順序数)で小さくなっていくやつは停止性を証明できるという認識でいる。
https://www.lambdanote.com/products/littleprover-ebookonly