2023.05.15
https://gyazo.com/74fa34fff23f8db9cfe474a15ab06166
ラブライブだろ？
前：2023.05.14
後：2023.05.16
#日報
観た
とらドラ！第13話
とらドラ！第14話
とらドラ！第15話
とらドラ！第16話
とらドラ！第17話
とらドラ！第18話
とらドラ！第19話
とらドラ！第20話
とらドラ！第21話
とらドラ！第22話
読んだ
TaPL
数学における証明と真理 様相論理と数学基礎論
数学における証明と真理 第2部メモ
思った
とらドラ！のどこかのBGMとDDLCのBGMにすごい似てるやつがある
Skrillexは今はしんみりとしたエモみたいな曲を作ったりシンプルかつ力強い曲を作ったりしている気がするがその気になれば自分の過去の資産でバリバリのBrostepとか流せるの無法すぎる
項は内部的にはde Bruijnインデックスを用いて表現されるがこれは明らかにユーザに提示するべき形ではない．
そのようなことはない！
とらドラ！の劇中BGMの『雨色ロンド』がDDLCの"Dreams of Love and Literature"及び"Sayonara"に似すぎていてアニメで流れる度に心がおかしくなる
シンパシー
メモ
S. Artemov, L.Beklemishev, "Provability Logic"
https://sartemov.ws.gc.cuny.edu/files/2012/10/Artemov-Beklemishev.-Provability-logic.pdf
G. Japaridze and D. de Jongh - "The logic of Provability"
http://www.csc.villanova.edu/~japaridz/Text/prov.pdf