>>365
動画の仕掛けを見ているうちに、「1+2=3」が出てきて、このパタンなら自動定理検証で合ってる、になれば３が答えで、
人間に答えを見せるために文字や画面の点に変換するという意味ですか？