2022.10.08
https://gyazo.com/7525d9161e57137a9ac89a3e51e498ee
前：
2022.10.07
後：
2022.10.09
#日報
観た
カウボーイ・ビバップ 第20話
機動戦士ガンダム 水星の魔女 第1話
令和のデ・ジ・キャラット 第1話
思った
重要でないシーンで作画がフニャフニャになっているキャラクターと同じ感じで存在したい
https://twitter.com/SnO2WMaN/status/1578405716230311936
これ逆にそんなに共感されるんだと思った
最近では
Do It Yourself!! -どぅー・いっと・ゆあせるふ-
みたいな感じで…と思っています
やった
論理と計算のしくみ(本)
直観主義命題論理
古典命題論理は直観主義命題論理の特殊ケースである
ことを確認した
絶対やってはいると思うんだけどまあもう一回ということで
読んだ
HERP における Nix 活用(外部記事)
大体意見が同じだな