Matcha：法的推論の形式言語

Matchaは、法的推論における思考の構造を、自然言語ではなく形式言語として記述するための試みである。 このプロジェクトでは、法律答案を書く前の「答案構成」を、プログラミングにおけるコードのように扱う。起案者は、問題文から抽出した事実や論点をもとに、Matchaの構文によって法的推論を記述する。その記述は、人間が思考を整理するための記法としてのプロトコルであると同時に、ソフトウェアによって解析・生成・評価されうるデータフォーマットとしてのプロトコルでもある。