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

点击翻译按钮获取中文摘要

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