• 東ロボ君
• 東ロボ君, 数学偏差値
• Quantifier Elimination (研究論文)