2023.05.30
https://gyazo.com/6cda8adc3e95ddc0b305d78872c69987
前：
2023.05.29
後：
2023.05.31
#日報
メモ
カット除去定理に関するいくつか
思った
シークエント計算
の
カット除去
を未だに証明追ってないの良くないから追う
「0は単数ではない(≠1)ので"zero apples"と言うのが正しい」と推論した10年前のあの日が自分の中で最も論理的であった気がする