2024.10.30
https://www.youtube.com/watch?v=lVTjMA0GmU0
前：
2024.10.29
後：
2024.10.31
#日報
メモ
Craig補完性を持つ中間論理は7個しか存在しない
思った
色々な話が聞けて楽しい
メモ
TPP2024
に対面で出席するかはまだ謎です．旅費の支援が出れば行けるのだが…
思った
情勢を考えると音MADのデータベースは本当に腰を据えて作り直したほうがいいような気もするのですが、気合とモチベーションが…
日本外からはいくつかのニコニコの機能が制限されてしまっている