2022.08.09
https://gyazo.com/f40eeaf2b80bf314411ddbd33da902d5
前：
2022.08.08
後：
2022.08.10
#日報
思った
三槓子
が2翻なの意味不明すぎる
https://gyazo.com/c364f97c8bdde9780dd8e51a300725ac
数式で書かれるとぼんやりしているがプログラムとして実装すると「なるほどここが再帰的になっているのですね」というのが分かり理解しやすすぎる
Hilbert流演繹体系
における演繹の定義
観た
スペース☆ダンディ 第2話
スペース☆ダンディ 第3話
スペース☆ダンディ 第4話
知った
播磨屋
がおかき屋であることをあんまり知られていないことを知った
命題論理
のタブローに関して諸々修正