@techreport{oai:ipsj.ixsq.nii.ac.jp:00029887, author = {Choompol, Boonmee and 真鍋, 保彦 and 渋井, 俊昭 and 釣谷, 浩之 and 森, 正孝 and 川田, 重夫 and Choompol, Boonmee and Yasuhiko, Manabe and Toshiaki, Shibui and Hiroyuki, Fishing and Masataka, Mori and Shigeo, Kawata}, issue = {92(1994-HPC-053)}, month = {Oct}, note = {大規模の数値シミュレーションプログラムの作成は一般的に膨大な労力と時間を必要としている。その労力と時間を削減するために様々な支援システムが研究・開発されてきた。しかしそれらのシステムは、数値シミュレーションの知識を持ち正確さを求める技術者や他のユーザにとっても幾つかの解決すべき問題がある。ユーザとの不十分なインタラクション、生成されたソースコードの検証・修正が行えないなどが挙げられる。これらの問題を解決し技術者が求める実用的な支援環境の実現の可能性を探る。, Great efforts and a long work are required in order to produce a large-scale numeical simulation source code. So far several studies have been performed to ease the hard work; Recently problem-solving environments(PSE) have been intensively studied in vaious fields. However the PSE systems developed may have the following problems which should be studied and solved; An insufficient interaction between the system and a use, and a lack of the verification method for the correctness of the results obtained by the system. In this paper we present a study on our PSE which solves the problems.}, title = {数値シミュレーションプログラム生成支援に関する研究 -差分法プログラム生成支援-}, year = {1994} }