2022.10.31
https://gyazo.com/abeac8b41ffda1462f9a99f44782ca28
た し か に
前:
2022.10.30
後:
2022.11.01
#日報
観た
機動戦士ガンダム 水星の魔女 第5話
こんな面白いアニメあって良いのかよ
メモ
leanリポジトリ毎にmathlibの各々証明等をビルドする必要があるの本当なのか?
様相論理
を形式化する
読んだ
ぼっち・ざ・ろっく!(1)
決断的に2,3,4巻の購入を決定
はじめてのヴィトゲンシュタイン(本)
読みやすいな〜
思った
認識論理
にを学習.形式化したいという気持ちを新たに
その他
動的論理
動的命題論理
/ne-sachirou
なんで全部
旧仮名遣い体
なんだ(涙)
ワクドナルドとトゥイッターの組