[論文レビュー] How to turn a scripting language into a domain specific language for computer algebra

Raphaël Jolly, Heinz Kredel|ArXiv.org|Nov 6, 2008

Model-Driven Software Engineering Techniques参考文献 9被引用数 3

ひとこと要約

本論文では、Python や Ruby、Groovy、Scala といった現代のスクリプト言語を、Java ベースのコンピュータ代数システム（CAS）のインタラクティブなフロントエンドとして使用することを提案している。これにより、オペレーターオーバーローディングと動的シンボル処理を活用し、直感的な記号計算が可能になる。主な発見は、4 つの言語すべてが最小限の実装コストでドメイン固有言語（DSL）として機能でき、Java ライブラリとのシームレスな統合が可能であり、紙と鉛筆で書くような記法で数学的表現を自然に記述・操作できることである。

ABSTRACT

We have developed two computer algebra systems, meditor [Jolly:2007] and JAS [Kredel:2006]. These CAS systems are available as Java libraries. For the use-case of interactively entering and manipulating mathematical expressions, there is a need of a scripting front-end for our libraries. Most other CAS invent and implement their own scripting interface for this purpose. We, however, do not want to reinvent the wheel and propose to use a contemporary scripting language with access to Java code. In this paper we discuss the requirements for a scripting language in computer algebra and check whether the languages Python, Ruby, Groovy and Scala meet these requirements. We conclude that, with minor problems, any of these languages is suitable for our purpose.

研究の動機と目的

• Java ベースのコンピュータ代数システム（CAS）に対するインタラクティブで使いやすいスクリプトインターフェースの不足を解消すること。
• 既存で成熟したスクリプト言語を再利用することで、カスタム DSL の制限を克服し、強力な Java 連携性を活かすこと。
• 紙と鉛筆の記法に類似した自然な数学的式の入力と操作を可能にすること。
• 複数の現代的スクリプト言語が CAS フロントエンド実装に適しているかを評価・比較すること。
• 高水準でインタラクティブなスクリプティング環境と記号計算ライブラリを統合する再利用可能なフレームワークを確立すること。

提案手法

• Python、Ruby、Groovy、Scala のスクリプト言語を、シンボル定義、オペレーターオーバーローディング、組み込み型の拡張といった、CAS に必要な主要要件について評価する。
• 各言語におけるシンボル生成と算術演算子の上書きを実証するため、おもちゃコードを用いたプロトタイプを実装する。
• Java 連携機能を活用して、既存の Java ベースの CAS ライブラリ（例：JAS、meditor）をスクリプト環境から直接アクセスする。
• 型変換とオペレータ解釈の複数の戦略を検討する：逆メソッド呼び出し（Python）、明示的変換メソッド（Ruby）、文脈依存のオペレータバインディング（Groovy）、暗黙のビューに基づく変換（Scala）。
• 文字列ベースの式をネイティブな代数型（例：PolynomialRing、Expression）にマッピングするためのラッパークラスとファクトリメソッドを設計する。
• 最小限のコード変更で完全な機能を実現できる点を焦点に、パフォーマンス、表現力、保守性のトレードオフを4言語間で評価する。

実験結果

リサーチクエスチョン

• RQ1 現代のスクリプト言語を、インタラクティブなコンピュータ代数のためのドメイン固有言語（DSL）として効果的に再利用できるか？
• RQ2 スクリプト言語が CAS の文脈で直感的な記号計算をサポートするための、重要な言語的特徴は何か？
• RQ3 Python、Ruby、Groovy、Scala の各言語は、代数的式のオペレーターオーバーローディングと型変換をどのようにサポートしているか？
• RQ4 これらの言語で組み込み型を拡張する、または独自の変換メカニズムを実装する際のパフォーマンスと保守性のトレードオフは何か？
• RQ5 大規模な再実装を要せず、既存の Java ベースの CAS ライブラリをスクリプトフロントエンドからどのように公開できるか？

主な発見

• 評価した4つのスクリプト言語（Python、Ruby、Groovy、Scala）すべてが、最小限の作業で Java ベースのコンピュータ代数システムのフロントエンドとして効果的に機能できる。
• Python は、主に逆メソッドオーバーローディング（例：__radd__、__rmul__）を活用することで、式と数値の間でシームレスな相互作用を実現でき、最も複雑さが少ない。
• Ruby は明示的な `coerce()` メソッドを介して変換を可能にし、組み込みクラスの拡張も可能だが、パフォーマンスコストがかかる可能性がある。
• Groovy はオペレーターバインディングにコンテキストブロックを必要とし、これはインタラクティブ利用を制限する。また、組み込み型の拡張には低レベルでの演算子再実装が必要となる。
• Scala はビュー束縛と暗黙の変換を活用し、型変換のための洗練されたスケーラブルなメカニズムを提供しており、複雑な代数的型システムに非常に適している。
• 本研究の結論として、わずかな実装調整を加えることで、4言語のいずれの言語も、記号計算に適した使いやすい DSL に変換可能であり、表現力に富み、読みやすく、インタラクティブな記号計算を実現できる。