2024.11.07
https://gyazo.com/085bc2a4f961126d94e9c911da45bfe8
本当にやる人がいてくれてうれしい
インターネット・エクスプローラー・ヘアカラー
前：
2024.11.06
後：
2024.11.08
#日報
やった
ラベル付き様相論理の
片側シークエント計算
はムリだということがわかった．