「書き手は人間ではない」を前提に言語を設計するとどうなるか

「書き手は人間ではない」ことを前提とした言語設計の可能性を探る。LLMによるコード生成比率増加に伴い、人間中心の設計思想が不要になる場合の言語設計への影響を考察。

• 書き手がAI（LLM）であることを前提とした新しい言語設計の必要性が提唱されている。
• Sprout言語は、自己書き換え可能なエージェントを安全に記述するため、保留効果、極性・ゲート、価値層の単調ロック機構を持つ。
• AIによるコード生成では、推論より明示、二重帳簿、局所検査可能性の原則が重要であると説明されている。