2021-03-12 2021-03-11 (木) 数学 Quantifier Elimination の論文を読み始めた。 チェス https://www.chess.com/puzzles/problem/1189744 ? https://www.chess.com/puzzles/problem/1035682 メイト見逃し。