S式指向のプログラミングシステムの構築に関する研究

• Project/Area Number: 09780254
• Research Category: Grant-in-Aid for Encouragement of Young Scientists (A)
• Allocation Type: Single-year Grants
• Research Field: 計算機科学
• Research Institution: The University of Tokyo (1998); Tokyo University of Agriculture and Technology (1997)
• Principal Investigator: 岩崎 英哉 東京大学, 大学院・工学系研究科, 助教授 (90203372)
• Project Period (FY): 1997 – 1998
• Project Status: Completed (Fiscal Year 1998)
• Budget Amount: ¥2,000,000 (Direct Cost: ¥2,000,000); Fiscal Year 1998: ¥1,000,000 (Direct Cost: ¥1,000,000); Fiscal Year 1997: ¥1,000,000 (Direct Cost: ¥1,000,000)
• Keywords: 記号処理言語 / Lisp / 言語環境 / 関数プログラム / S式 / 清書系 / プログラム変換

Research Abstract

本研究では,Lispの一方言であるUtiLispをベースとしている.本年度は,主として次のような研究を進め,成果を得ることができた.
1. UtiLispの処理系を,インタプリタ本体にはほとんど手を入れず,様々な環境で作動可能し,さらに移植性の高いGUI(Graphical User Interface)を開発する研究を行った.具体的には,Unix環境とWindows環境の双方で作動するようなGUIを具備するUtiLispシステムを構築し,性能・移植性等について良好な結果を得ることができた.
2. Lispのような記号処理言語あるいは関数型言語的な側面と手続き型言語的な側面を併せ持つ初心者入門用言語環境を設計・実現した.このシステムはJava仮想機械へのコンパイラであり,これにより,ネットワーク指向,機種非依存という特長を備えている.
3. 記号処理プログラム・関数プログラムを,より実行効率のよいものに静的に変換するための手法に関する研究を行った.具体的には,複数の独立したプログラム変換手法(融合(Fusion)と組化(Tupling))を順番に適用することにより,プログラムを効率のよいものへ系統的に変換可能であることを示し,一/二次元最大部分列和/積問題に適用してその有効性を確認した.

Research Products

• [Publications] 吉良智樹,並木美太郎,岩崎英哉: "初心者入門用言語「若葉」によるプログラミング学習環境の設計と実現" 情報処理学会 コンピュータと教育研究会 第51回研究報告. (1999)
• [Publications] Iwasaki,H.,Hu,Z.,Takeichi,M.: "Towards Manipulation of Mutually Recursive Functions" Proc.3rd Fuji International Symposium on Functional and Logic Programming. 61-79 (1999)
• [Publications] 岩崎英哉,胡振江,武市正人: "変換部品の組合せによるプログラムの最適化" 日本ソフトウェア科学会 第15会大会論文集. 365-368 (1998)
• [Publications] 岩崎英哉: "構成的アルゴリズム論" コンピュータソフトウェア. 15・6. 57-70 (1998)
• [Publications] Hu,Z.,Takeichi,M.,Iwasaki,H.: "Diffusion: Calculating Efficient Parallel Programs" 1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation. 85-94 (1999)
• [Publications] 岩崎 英哉,胡振江: "蓄積引数を持つ関数プログラムの融合変換" 情報処理学会 論文誌. 39巻3号. (1998)