天津大学と北杭大学はファーウェイの「Cangjie」プロジェクトに深く関与しており、国産プログラミング言語をベースにした初のAIエージェントプログラミングフレームワーク「Cangqiong」を立ち上げた。

6月22日のこのサイトのニュースによると、ファーウェイは昨日、ファーウェイが自社開発したプログラミング言語Cangjieを世界中の開発者に紹介しました。 Cangjie プログラミング言語が公に公開されるのはこれが初めてです。

当サイトの問い合わせにより、天津大学と北京航空航天大学がファーウェイの「蒼傑」の研究開発に深く関与していたことが判明した。

天津大学: Cangjie プログラミング言語コンパイラー

天津大学インテリジェンス・コンピューティング学部のソフトウェアエンジニアリングチームは、Huawei Cangjie チームと協力して、Cangjie プログラミング言語コンパイラーの品質保証研究に深く参加しました。

報告によると、倉街コンパイラは倉街プログラミング言語と共存する基本ソフトウェアです。 Cangjie プログラミング言語の準備段階では、それに匹敵する高品質のコンパイラが中心的な目標の 1 つになりました。 Cangjie プログラミング言語が進化するにつれて、Cangjie コンパイラは常にアップグレードおよび改善されています。

過去5年間に、天津大学インテリジェンス・コンピューティング学科のソフトウェアエンジニアリングチームのChen Junjie教授、Wang Zan教授、研究員Jiang Jiajun、および以下を含む10名以上の大学院生が参加しました。 Zhao Yingquan、Fu Ruifeng、Guo Yile、Zheng Kai、Fan Xingyu など は、Cangjie コンパイラのテスト作業に関する詳細な研究を実施し、プログラムに基づいたテスト プログラム生成技術をカバーするデータ駆動型 Cangjie コンパイラの体系的なテスト フレームワークを提案しました。合成技術、プログラムの変更によるテストオラクル構築技術、コード表現によるテスト処理の高速化技術など、数多くの先進技術を搭載しています。その結果は、ICSE や ISSTA などのソフトウェア エンジニアリング分野のトップ会議で多くの学術論文として発表され、Cangjie コンパイラの実際のテストに導入され、Cangjie コンパイラのテスト結果が大幅に向上しました。

• プログラム合成に基づくテストプログラム生成技術: この技術は、プログラムコードを、さまざまな言語機能を含むきめ細かいコードフラグメントに分解し、構文および意味上の制約に基づいてテストを実装します。 プログラムの効率的な合成。このテクノロジーは、過去の欠陥を基本データとして使用し、欠陥に関連するコードの断片を抽出し、それらをさまざまなコード コンテキストに統合して、より多くの欠陥をトリガーし、より多くのコード分岐を実行する能力を刺激できることは注目に値します。

• プログラムの突然変異に基づくテスト予測構築技術: この技術は、Cangjie プログラミング言語の構文とセマンティクスの詳細な分析とマイニングを通じて、一連の等価突然変異演算子と不等突然変異演算子を設計します。前者はテスト予測の補足を提供し、変成的なテストのアイデアを統合し、技術的なエラー検出機能を向上させます。一方、後者はテスト プログラムの多様性をさらに強化し、より完全な理解を達成するためにより多くの滄街言語機能、基礎となるライブラリ呼び出し、およびその他の情報を導入します。 Cangjie コンパイラのテスト。

• コード表現ベースのテストプロセス高速化テクノロジ: このテクノロジは、コンパイラのテスト効率を向上させ、より短時間でより多くのコンパイラの欠陥を検出することを目的としています。このテクノロジーは、テスト プログラム コードを断片化し、それを言語定義空間で表現するためのコード表現学習戦略を導入します。さらに、この技術はコードスニペットを利用して多様性の観点からテストプログラムを生成し、テスト結果をフィードバックとしてその後のテストプロセスをさらにガイドすることで、全体的なテスト効率を向上させます。

北京大学: Cangqiong AI エージェント プログラミング フレームワーク

北京航空航天大学ソフトウェア スクールLi Li 先生のチームCangjie プログラミング言語に基づく AI エージェント プログラミング フレームワークである CangChain の開発に深く参加しています。今回は初めて、国産プログラミング言語をベースにしたAIエージェントプログラミングフレームワークを開発しました。

報告によると、CangChainはCangjieコミュニティで生まれ、Cangjieプログラミング言語公式チームから技術サポートを受けています。コミュニティ オープン ソース プロジェクトとして、Cangqiong はモジュール式の設計と機能を採用し、ソフトウェア統合モデルのための信頼できる機能、プライベート データへの安全なアクセス、およびデータ インタラクションをソフトウェア エンジニアに提供することを目指しています。

モジュール設計コンセプトに基づいて、Cangqiong を使用すると、開発者は独自のニーズに応じてさまざまなモジュールを選択して組み合わせることができます。タスクを実現する過程で、Cangqiong はタスクを複数のサブタスクに分解し、各サブタスクに適切なエージェントを選択して構築し、言語モデルが外部 API と対話できるようにし、サブタスクの目標を満たすツールを呼び出して、タスクチェーン（Chain）は、各サブタスクを直列に接続し、最終的にタスクの解決策を取得します。

Li Li 先生のチームは、主に ReAct フレームワークと空のマルチエージェント プランナー スケジューリングの設計、開発、実装に携わっています。

特定のアプリケーションでは、チームは、Docwriter、CodeWriter、CodeTester、CodeReviewer の 4 つの主要な役割を含むマルチエージェント システムを設計および実装しました。これらのエージェントは、Cangqiong プラットフォーム上で緊密に連携して、2048 などの古典的なゲームの開発タスクを完了します。

• ドキュメントライター: 詳細な要件ドキュメントと設計仕様を作成する責任があります。ゲーム開発の初期段階で、Docwriter はユーザーや他のエージェントと通信して、ゲームの機能要件と設計アイデアを深く理解して記録し、後続のステップのための詳細な青写真を提供します。

• CodeWriter: 設計文書に従ってソースコードを記述する責任を負います。 CodeWriter は、高度なプログラミング技術とアルゴリズムを使用して、Docwriter によって提供される要件を特定のコード実装に変換します。 Sky Framework の ReAct の「推論アクション」モードは、CodeWriter のプログラミング効率と精度を効果的に向上させます。

• CodeTester: ソース コードが最初に記述された後、CodeTester は一連のテスト ケースを自動的に生成して実行し、コード関数の正確さと安定性を確認します。 CodeTester は、さまざまな定義済みツールを使用してテスト ケースを構築し、対応するテスト ケースを実行して、コード内の潜在的な問題を特定してフィードバックを提供し、コードの品質を向上させます。

• CodeReviewer: CodeWriter によって書かれたコードの包括的なレビューを実施し、コードがベスト プラクティスと品質基準を満たしていることを確認する責任を負います。 CodeReviewer は、コードの機能実装をチェックするだけでなく、コードの読みやすさや保守性にも注意を払い、最適化の提案を行います。

Cangqiongのモジュラー設計とマルチエージェントインテリジェントスケジューリングを通じて、これらのロールエージェントは効率的に作業を分割し、相互に協力し、継続的に実行できます。最適化を繰り返し、最終的にゲーム開発タスクを完了します。具体的には、タスク チェーン (Chain) メカニズムによりさまざまなサブタスクが効果的に接続され、エージェント間の情報のやりとりは Planner スケジューリング を通じてシームレスに接続され、開発効率とコード品質が向上します。

将来的に、北京大学ソフトウェア学部チームは、Qiongqiong の応用分野を拡大し続け、他の複雑なタスクにおけるマルチエージェント システムの応用可能性について徹底的な研究を行う予定です。

以上が天津大学と北杭大学はファーウェイの「Cangjie」プロジェクトに深く関与しており、国産プログラミング言語をベースにした初のAIエージェントプログラミングフレームワーク「Cangqiong」を立ち上げた。の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。