2023.04.07
https://gyazo.com/070ec16d69da62afe67054277f65c44a
後：2023.04.06
前：2023.04.08
#日報
思った
ロジシャンという言葉は調べても競走馬しか出てこないということを知った
https://ja.wikipedia.org/wiki/ロジシャン
OTOMADBはもうすぐリリースできます
思った
多分Mathjaxが悪いと思うのだけども\bar{p}相当のものがFirefoxでは表示されない(1枚目)ため意味不明なことになっている気がする
https://math.jp/wiki/数理論理学の基礎%E3%83%BB命題論理#.E5.91.BD.E9.A1.8C.E8.AB.96.E7.90.86.E3.81.AE.E5.BD.A2.E5.BC.8F.E7.9A.84.E8.A8.BC.E6.98.8E
https://gyazo.com/1ff908594a656de5c913d4d65f1c2e3f
https://gyazo.com/56a1b3f6545d74b68ab1791b9855fb62
おれの環境だけおかしい説はある