2023.06.19
https://gyazo.com/df41c9c6371c5423dd28e85ae9d27a7a
前：
2023.06.18
後：
2023.06.20
#日報
思った
有界量化を略記として導入することについて
今日夢の中で「私は自己拡張する巨大な工場に魂を移植したいんです！」と皆に雄弁に語ってたんだけど本当に自分がなりたいもの何だろうなと思った
知った
松井元哉 第113回医師国家試験 不合格発表閲覧之地 石碑
読んでる
T. Kurahashi, Y. Sato; "The finite frame property of some extensions of the pure logic of necessitation"
など
書いた
Peano算術の原始再帰関数に対しての保存的拡大について
あんまりマジメに振り返ることはない事実について
メモ
出会って4光年で合体
温水洗浄便座をオーディオ用電源で強化したら何が起きたか
OtoMADBにSoundCloudの追加できるようにしたときにやる