microsoft/prose

Microsoft Program Synthesis using Examples SDK is a framework of technologies for the automatic generation of programs from input-output examples. This repo includes samples and sample data for the Microsoft Program Synthesis using Example SDK.

解決する課題

Microsoft PROSE (Program Synthesis using Examples) は、入出力例に基づいてプログラムを生成することでコード作成を自動化します。開発者は、ユーザーが提供したいくつかの例を観察することで、データ変換やロジックタスクの実行方法を学習できるツールを構築できます。

仕組み

このSDKは、ドメイン固有言語 (DSLs) を定義するためのフレームワークを提供します。開発者はこれらのDSLを使用して合成ソリューションを作成し、システムは入力から出力へマッピングするために必要な基礎ロジックを学習します。リポジトリには、DSL作成に関するチュートリアルや、マージコンフリクトの解決といった具体的なユースケースを含むサンプル実装が用意されています。

対象読者

このプロジェクトは、プログラム合成、自動コード生成、およびユーザーが提供した例から学習するインテリジェントなデータ処理ツールの構築に関心のある開発者や研究者を対象としています。

ハイライト

  • 既存のプログラム合成タスクのためのAPIを提供。
  • カスタムドメイン固有言語 (DSLs) を作成するためのフレームワークが含まれています。
  • マージコンフリクト解決のような複雑なタスクのための実用的なサンプルを提供。
  • 合成ソリューションの構築方法を学ぶための専用チュートリアルを搭載。

関連

  • プロジェクト
  • プロジェクト
  • プロジェクト
  • プロジェクト