『【ぉーん】接点ｔの問題を一瞬で解く【ＱＥ入門】 Quantifier Elimination - YouTube』2025/4/12 19:10:00 https://youtu.be/IHkbXpjiX5g
