言語からタスクマップへ：タスクに関連する自由度を保ちながら意味的関係をコンパイルする

- 自然言語の manipulation 指示を、連続制御器が扱える state-evaluable な task quantity・微分・完了条件へ変換する枠組み。 - 言語は entity・relation・phase を指定し、各 relation は task-relevant distinction と preserved freedom の登録済み specification を索引する。 - robot-side compiler が specification を grounding し、conformal geometric algebra で relation-specific task map と consistent differential を構成、RMPflow で policy を合成する。

- 従来は qualitative relation を完全な pose へ展開し、意図しない制約を導入しうる点が問題。 - 本研究は relation が指定しない relative configuration の自由度を preserved freedom として登録・保持する点が特徴。 - 言語モデルと compiler の責任分界を比較評価し、relation-specific geometric specification を追加要求する interface では critical error が 58/60 と増えることを示す。

- typed semantic-to-geometric interface を導入し、language 側は entity・relation・phase を指定。 - 各 relation は task-relevant distinction と preserved freedoms の registered specification を索引。 - compiler が conformal geometric algebra で relation-specific task map と consistent differential を構築。 - 得られた policy を RMPflow で合成し、composable continuous objective とする。

- Semantic Topology interface と relation-specific geometric specification を追加要求する interface を 60 指示で比較。 - 両者とも shared semantic content は 41/60 で正しいが、critical error はそれぞれ 19/60 と 58/60。 - 8 つの geometric relation form にわたる 64 grounded evaluation で、task map が registered null direction を保持し relation-relevant perturbation に応答。 - analytic directional derivative が finite difference と一致し、Jacobian rank が registered dimension と一致。 - MuJoCo の simulated Franka Emika Panda による 3 つの closed-loop ablation で、rel…

- relation-visible geometry と preserved freedom を同時に composable continuous objective へ compile する妥当性を支持。 - 言語モデルと compiler の責任分界が critical error に影響することを示唆。 - ただし要旨からは、実機実験・他タスクへの一般化・失敗事例の詳細は不明。

- RMPflow に関する研究。 - conformal geometric algebra を用いた manipulation 研究。 - Semantic Topology interface に関する研究。 - language-conditioned manipulation の定番手法（例: CLIPort, SayCan など）。