2025.06.17
https://www.youtube.com/watch?v=tYjfjKcxl74
そろそろか…
前：
2025.06.16
後：
2025.06.18
#日報
メモ
Diegoの定理
とその一般化について
もともとは
A. Diego; "Sur les algibres de Hilbert"
で証明されているが，
A. Chagrov, M. Zakharyaschev; "Modal Logic"
に乗っている証明は
A. Urquhart; "Implicational Formulas in Intuitionistic Logic"
．
Sobolov; "On finite approximability of superintuitionistic logics"
はもっと一般化して次のことを示している．
Sobolovの定理
一変数論理式による
中間論理
はすべて有限モデル性を持つ．したがって決定可能．
思った
Diegoの定理
の証明が全くわからん…
メモ
音MAD動画とは、音声作品を再編集して動画としたもの。ニコニコ動画などで隆盛したムーブメントです。もちろん許可を得ていないであろう作品は著作権違反となり、その性質上音MADにはそういった作品も多く留意が必要です。
https://news.yahoo.co.jp/articles/2d92ea0fc8fe8450c94e9161a6f45ee9bab9847a
マジか
思った
行ってないんですけど，絶対に
Bad Computer
の音楽の感じではないだろうのにこれ流れてるのちょっとおもしろい