構成的アルゴリズムに対する Java プログラムの生成

構成的アルゴリズムに対するJavaプログラムの生成構成的アルゴリズムに対するJavaプログラムの生成数理7研 00669 村上拓真

構成的アルゴリズム 関数型プログラムオブジェクト指向手続き型プログラム研究の目的と背景変換システムの作成 • プログラム変換 • 実行速度

関数プログラム 整数論理値リスト Javaコード Integerクラス Booleanクラス Listクラスデータの変換

関数プログラム (+ 5 2) Javaコード Func_Plus.apply(5,2); 関数の変換一般の関数基本関数 • リストクラスのメソッド

関数プログラム (fold + list) Javaコード list.fold(Func_Plus); 基本関数の変換 fold・・・リストをたたみ込む (fold + [a,b,c,d]) = a+b+c+d for(i=0;i<n-1;i++){ x=list[i]+list[i+1]; }

esum関数(1) (defun esum (list) (if (null list) 0 (let ((x (head list)) (xs (tail list))) (if (even x) (+ x (esum xs)) (esum xs)))))

esum関数(2) (defun esum (list) (fold + (filter even list))) • リストから偶数の要素を選び(filter even) • 値を合計する(foldr +)

esum関数の実行時間

本研究の成果 • 自動的な変換を実現 • Java版インタープリタ • 基本関数の最適化

構成的アルゴリズムに対する Java プログラムの生成