2023.04.15
https://gyazo.com/dd5020f694273fe78161e638085098e7
前:
2023.04.14
後:
2023.04.16
#日報
思った
『
ゲーデル、エッシャー、バッハ
』を初めて見た(2週間前の出来事)とき想定の5倍ぐらいでかくて本屋ですっ転んでた
メモ
/htmra/✨ ᴢʟᴍɴ
2÷す
,
おだやか
,
こかむも
の音MADっぽいミュージックビデオプロジェクト
やった
Lean 4
で
原始再帰的関数
のあれを定義やっていた
原始再帰関数(Mathlib4版)