∀進捗∈P(x) {x|P(x)≡ok}=∅
天文館むじゃき
2024 ShindanMaker All Rights Reserved.