第１問 全体としてのポイントは関数gを対応と捉える所です． まず，gのグラフに(t,u)が属する条件を求めます． 実際の問題文は幾何学的に表現されているので，機械での翻訳はかなり難しそう． In[1]:= G[t_, u_] := Reduce[Exists[{p, q}, ForAll[x, x*(x - …

東ロボくんの目標は東大文科合格らしいので，今回からしばらく 人間が問題を翻訳した場合，本年の東大文科数学の問題をどの程度処理できるのか？を試してみようと思います．問題と解答はこんな感じ．http://www.yozemi.ac.jp/nyushi/sokuho/recent/tokyo/zen…