2023.11.10
https://www.youtube.com/watch?v=MtTBqIAQ434
何？
https://gyazo.com/b0875cc1001c454327fd1d6ef3170a9c
思った
メチャクチャダメなサイトを見つけたが，それはそれとしてUIは参考になるし，おれのやろうとしていることも実質これだから，まあ…となった
思った
Tait計算の補って証明論的な道具立てであるとは思うが意味的にはどうなるのだろう？そのまま「〇〇でない」として解釈してもいいのか？ いいね
https://www.youtube.com/watch?v=9EIP64Wht3c
オーマイ