2022.08.30
https://gyazo.com/788853c4f32eb4ea997c8ebef2507d6c
前：
2022.08.29
後：
2022.08.31
#日報
やった
線形時相論理
命題分岐時間時相論理
計算木論理CTL
計算木論理CTL*
読んだ
数理論理学 合理的エージェントへの応用に向けて(本)
鹿島 亮; "コンピュータサイエンスにおける様相論理"
観た
ゴジラSP 第6話「りろんなきすうじ」
ゴジラSP 第7話「じかんのぎもんふ」
ゴジラSP 第8話「まぼろしのすがた」
ゴジラSP 第9話「たおれゆくひとの」
ゴジラSP 第10話「りきがくのげんり 」
ゴジラSP 第11話「りふじんながくふ」
ゴジラSP 第12話「たたかいのおわり 」
ゴジラSP 第13話「はじまりのふたり」
エーッ
面白かった
思った
フォロワーの中に特に虚無とされるドラえもん映画を観てる大バカものがおるらしいね
事業分析・データ設計のためのモデル作成技術入門(本)
これは本当にひどく，売っぱらうことを決定した
おれの金返してくれ！
画風の定義
TEXHNOLYZE
観たいアニメ