2023.09.24
https://gyazo.com/ecb57ae0d74c06d190289fde423ade28
試した.
https://gyazo.com/f0b7d79693ffa744b8b4753cfab03b22
それは、そう
https://gyazo.com/c525d4189972ee6d2de1637f91f62e46
https://gyazo.com/2da905c007ef02e4371b9e85fe70267a
https://gyazo.com/ecb57ae0d74c06d190289fde423ade28
https://gyazo.com/be36c51af6421f272c2dfdd54110aad9
やった
前まではKSOPSというのを使っていたらしい(なんで自分で覚えてないんですか?) メモ
謎だ.
DelayedInputがおかしすぎる挙動をするので剥がしてはいる.
メモ
code:provability
可証性 ⇆ 反証性
⇅ ⇅
非可証性 ⇆ 非反証性
やった
近況
https://gyazo.com/425b93327f417abb8e51f5a565169c89