回転放物面の方程式と東大の問題
http://mathtrain.jp/kaitenhobutsu

「放物線 y = 3/4 - ｘ^2」
を
「y軸の回りに回転させる」

・・・例えば、こういう操作ができる３次元ＣＡＤって開発されてないんですか？

統計的機械翻訳では自然言語処理は無理という話も聞いているけれど、高校数学でやることは内容が限られており、
一般的な機械翻訳よりは難易度は低いと思われます。