数学のサポートに特化したフレンドリーなAI。