DEPONTES' PORTFOLIO

SUDO - 数学動画ジェネレーター

使用技術

Next.js

FastAPI

manim

LangGraph

Gemini API

受賞履歴

イベント名受賞内容
JPHACKS2025 HackDayパソナ賞
JPHACKS2025 AwardDayイノベーター認定
JPHACKS2025 AwardDay審査員特別賞(準優勝)
JPHACKS2025 AwardDayCyber Agent賞
JPHACKS2025 AwardDayHow Television賞
技育博2025Carta Holdings賞
技育博2025WingArc 1st賞

-数学動画ジェネレーター SUDO-


生徒に数式の"動き"を伝える

 SUDOは、数学講師が「自分らしい解説」をするための数学動画ジェネレーターです。

塾の数学講師をしている中で、数式の意味を教えたいのに生徒が数式の意味を丸暗記してしまい、式の意味を理解できずに苦手になってしまう生徒をたくさん見てきました。

数式の意味を理解していない生徒複雑な紙面


そこで学校や塾で「自分らしい解説」を動画で手軽に届けたい数学講師が簡単に副教材としてのアニメーションを作れるアプリケーションを作りました。

手元の数式や板書イメージをテキストで入力すれば、AI×manimが解説意図に沿った理想の数学動画を即自動生成します。 先生自身の"教えたい順序""強調したいポイント""生徒のつまずきや質問"を、自然な日本語で柔軟に動画へ反映できます。
SUDO動画生成デモ

独自技術のポイント

🤖 Manim動画生成AIエージェント

LangGraphベースのAIエージェントにより動画を生成。コード生成やエラー処理、実行を頂点に持ち、コードやエラー内容を状態として保持することで、manimコードの生成から実行の一連の流れを管理しやすくしました。

🔍 検索機能

既存動画の説明文を埋め込みベクトル化してベクトルDBに保存し、ユーザー入力に意味的に近い動画を高速に検索。あるユーザーが編集を重ねて作った分かりやすい動画を他のユーザーも再利用できるようにしました。

⚡ コードの差分更新

編集時やエラー処理時に Unified Diff 形式の差分更新を適用し、出力トークン削減による低コスト化と高速化を実現しました。

🛠️ Manim専用linter

Manim 0.19.0で使用できないクラス/メソッド/引数の有無を静的解析で確認する自作のlinterを開発しました。

🔒 セキュリティ対策

プロンプトインジェクション対策として、Manim コード実行前に危険なコードでないかを静的解析により確認。HTTPS 化・Docker 利用・GitHub コードレビューの厳格化により、安全なコード実行環境を整備しました。