MATLABは動的に型付けされる言語である.プログラム記述の際に変数宣言が不要であるなどの特徴があり,ユーザにとって使い易いと言われる.しかし,一つの"正しい"MATLABプログラムが,与えられる入力の属性に応じて多様な振る舞いをし得るため,高速処理のための最適化を静的に施すことは必ずしも容易ではない.これに対し,いくつかの変数の属性を固定することによってプログラムを特殊化して高速化を図る方法があるが,変数宣言の導入はMATLABユーザにとって敷居が高い可能性がある.そこで我々は,ユーザに負担をかけることなく特殊化による高速化を施せるよう,MATLABの対話環境からプログラムを実行させる時点で特殊化のために必要な情報を得てプログラムのコンパイルおよび実行を行うシステムを検討し,プロトタイプを実装した.本稿では,本処理系の設計について,簡単な実測結果を示しつつ述べる.

MATLAB is a widely-used dynamically-typed language which is known to be useful especially for prototyping. However, due to its dynamic nature, a well-written MATLAB program can essentially retain many functionality applicable for a lot of contexts, which in tern causes the difficulty of static optimization for high-speed execution. One of major approaches for translation of MATLAB programs is specialization: generation of a tailored program assuming a limited execution environment. This approach, although known to be effective in terms of the execution speed of translated programs, might require the user's assistance. In this article, we introduce a dynamic compilation system that works without user's support. Optimization is carried out at the invocation time of the program using the actual parameters' attributes. The system is intended to be used with MATLAB interpreter so that the user can enjoy handy built-in routines of MATLAB with dynamically translated programs. Experimental results show that the system operates fairly efficiently.