2023.06.10
https://gyazo.com/3e5779f75795f9fc410228033556d2ec
ソードアート・オンラインで一番熱いシーン
ぼっち・ざ・ろっく!で一番熱いシーン
無駄に高画質な動画を手に入れたので作らされた
前:
2023.06.09
後:
2023.06.11
#日報
メモ
今日はつかれた
示しそびれた
Ackermann関数は原始再帰的ではない
論理と計算のしくみ(本)
のほうが単純そうな気がしてきた.
https://github.com/leanprover-community/mathlib4/blob/a55642fcf1c553ce2dbdd1f3f44edc387782edd0/Mathlib/Computability/Ackermann.lean#L394-L396