2023.07.01
https://gyazo.com/818180eabba2a0c853c8f81c903c423e
hidosugiru
前:
2023.06.30
後:
2023.07.02
#日報
読んだ
鹿島 亮; "コンピュータサイエンスにおける様相論理"
当時はよくわからなかったけど今見ると意外と技巧的なことしてるなと思った
ツインスター・サイクロン・ランナウェイ 3
読んだ!
意外と何の話だったかわからなかあたからもう1階全部最初から観ようかな
知った
LeanDojo
AIによる定理証明支援
早くたすけてくれー
やった
シーシャ
吸った
もういいかな…
教えた
/fsubal/歌詞がワンフレーズしかない曲の一覧#649fda89aab362000060328a
2023.06.28#649c2b5e13a1580000d0c375
食べた
焼肉
おれって焼肉に関するステータス2つある