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

面向S表达式的编程系统构建研究

• 批准号: 09780254
• 负责人: 岩崎 英哉
• 金额: $ 1.28万
• 依托单位: The University of Tokyo (1998)Tokyo University of Agriculture and Technology (1997)
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 1997
• 资助国家: 日本
• 起止时间: 1997 至 1998
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-09780254/
• 关键词: 記号処理言語; Lisp; 言語環境; 関数プログラム; S式; 清書系; プログラム変換

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

This study is a dialect of Lisp. UtiLisp is a dialect of Lisp. This year, the main research has been carried out, and the results have been obtained. 1. UtiLisp's processing system is easy to handle, and the main body of UtiLisp is easy to operate, and the environment is easy to operate, and the portability is high GUI (Graphical User Interface) is open to research and development. Specifically, the operation of both Unix environment and Windows environment is carried out.うなGUI is equipped with UtiLisp and built-in, performance, portability, etc., and it has good results. 2. Lisp のような token processing language あるいは な side of numeric type language とhand続き type language な side を and holder つ Beginner's entry-level language environment を design ・実 appearances し た.このシステムはJava仮愿Mechanicalへのコンパイラであり,これにより,ネットワークPoint, model-independent,というFeaturesを备えている.3. Mark processing method Seki's research on the practice. Concrete には, plural independent したプログラム変 change technique (fusion (Fusion) とTupling) is applicable to the system of Tupling and Efficiency The possibility of transformation is shown, and the validity of the maximum partial column sum/product problem of one/two dimensions is applicable and the validity is confirmed.

项目成果

吉良智樹,並木美太郎,岩崎英哉: "初心者入門用言語「若葉」によるプログラミング学習環境の設計と実現" 情報処理学会 コンピュータと教育研究会 第51回研究報告. (1999)

Tomoki Kira、Mitaro Namiki、Hideya Iwasaki：“使用初学者入门语言“Wakaba”的编程学习环境的设计和实现”日本信息处理学会计算机和教育研究小组第 51 次研究报告（1999 年）。

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)

Hu,Z.、Takeichi,M.、Iwasaki,H.：“扩散：计算高效并行程序”1999 年 ACM SIGPLAN 部分评估和基于语义的程序操作研讨会。

岩崎英哉,胡振江,武市正人: "変換部品の組合せによるプログラムの最適化" 日本ソフトウェア科学会 第15会大会論文集. 365-368 (1998)

Hideya Iwasaki、Zhenjian Hu、Masato Takeichi：“通过组合转换组件进行程序优化”日本软件学会第 15 届年会论文集 365-368（1998）。

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)

Iwasaki,H.,Hu,Z.,Takeichi,M.：“Towards Manipulation of Mutually Recursive Functions”Proc.第三届富士函数与逻辑编程国际研讨会。

岩崎英哉: "構成的アルゴリズム論" コンピュータソフトウェア. 15・6. 57-70 (1998)

岩崎秀哉：“构造算法理论”计算机软件 15・6（1998）。