可読性を重視したプログラムの生成に関する研究 : プログラムの生成支援システム(NCAS-FEM)における一考察
スポンサーリンク
概要
- 論文の詳細を見る
近年,コンピュータは人間の社会活動、日常生活に深く浸透し現代の人間社会を支える上で,なくてはならない存在になっている.このように人間とより密接になりつつあるコンピュータだが,それを動作させるためのプログラム(ソフトウェア)作成は,年々巨大化,複雑化の傾向を呈しており,プログラム開発には非常に多くの労力と費用が必要となってきた.このような中,コンピュータにシステム設計の一部を肩代わりさせ,人間との協調によってシステムを開発して行こうという動きがある.そうしたとき,我々は"コンピュータに対してどのようなスタンスをとれば良いのか","人間のパートナーとしてコンピュータを位置付けるには何が必要なのか"を考えていかなくてはならない.そこで本研究では,プログラムを人間とコンピュータとの間のインターフェイス(双方向の意志伝達手段)と位置付け,その際に重要となってくることの一つとして,"可読性"という概念を取り上げた.そして,物理分野の数値シミュレーションコード(有限要素法解析)生成支援システムを作成した.プログラム生成支援システムが可読性を重視したプログラムを生成することによって,人間とコンピュータとのより良い協調関係が実現でき,信頼性の高いプログラムを構築することが可能となる.
- 社団法人情報処理学会の論文
- 1995-12-11
著者
-
川田 重夫
宇都宮大学工学研究科
-
川田 重夫
長岡技術科学大学
-
BOONMEE Choompol
Dept. Electrical Eng., Faculty of Eng., Thammasat University
-
BOONMEE Choompol
長岡技術科学大学 工学部・電気系
-
Boonmee Choompol
長岡技術科学大学工学部
-
Boonmee Choompol
Dept. Electrical Eng. Faculty Of Eng. Thammasat University
-
渋井 俊昭
長岡技術科学大学
-
渋井 俊昭
長岡技術科学大学・工学部
-
Boonmee C
Nagaoka Univ. Technol.
-
Boonmee Choompol
長岡技術科学大学工学部電気系
-
Boonmee Choompol
長岡技術科学大学 工学部
関連論文
- プログラミング教育における習熟別アドバイスメッセージの自動生成に関する考察
- 偏微分方程式問題向き数値シミュレーション言語による問題解決環境に関する研究
- 高強度レーザーを用いた高エネルギー密度電子バンチの形成
- 重イオンビーム慣性核融合におけるビーム照射不均一に関する研究
- MPIによる並列プログラミングと分散PSEシステム
- 間接照射型重イオンビーム慣性核融合に向けた燃料ペレット爆縮不均一の緩和
- 人類社会の持続的発展における原子力エネルギー利用の役割に関する研究 II
- 人類社会の持続的発展における原子力エネルギー利用の役割に関する研究 I
- 数学モデルからの領域分割による並列数値シミュレーションプログラム生成支援環境P-NCASの構築 : 並列プログラム生成支援及びその設計過程の可視化とステアリング
- 計算機支援問題解決環境CAPSEにおけるプログラム自動生成機能
- 物理数値シミュレーションプログラムの領域分割による並列化支援
- 物理数値シミュレーションプログラムの領域分割による並列化支援について
- 数値シミュレーションにおける安定条件の導出に関する研究
- 科学技術数値シミュレーション支援環境NCAS : ホワイトボックスなシステム
- 流体シミュレーションプログラムの並列化支援に関する研究
- 数値シミュレーション支援環境におけるプログラム生成過程の可視化及びステアリング
- 数値シミュレーション支援環境におけるプログラム生成過程の可視化
- 可読性を重視したプログラムの生成に関する研究 : プログラムの生成支援システム(NCAS-FEM)における一考察
- 可読性を重視した有限要素法数値シミュレーションプログラムの生成支援に関する研究
- 差分法による物理シミュレーション生成支援に関する研究 : 開発プラットフォームの研究
- 物理シミュレーション支援におけるドキュメンテーションに関する研究
- 数値データのグラフ化のための計算プログラム解析によるデータ保存形式の抽出に関する研究
- 数値プログラムの解析によりデータ形式を得て行う可視化
- 数値シミュレーションプログラム生成支援に関する研究 : 差分法プログラム生成支援
- シミュレーションプログラム自動合成システムの可視化サブシステム
- シミュレーションプログラム自動合成システム
- 科学技術シミュレーションプログラム合成支援IV : システム環境
- 科学技術シミュレーションプログラム合成支援III : 可視化プログラム合成
- 科学技術シミュレーションプログラム合成支援II : 離散化とプログラム合成
- 分散型問題解決環境(PSE)に向けたPSE要素モジュールの開発
- 差分法用の離散化および生成モジュールについて
- 計算工学の基盤としてのこれからのPSE
- WWWシステムを用いた数値シミュレーション支援環境の構築
- 24p-E-12 粒子コードにおける並列処理
- 31p-TG-2 粒子コードによる軽イオンビーム用ダイオードのシミュレーション・III
- シミュレーション結果をグラフ化で検証する (シミュレーション科学への招待--コンピュータによる科学) -- (CHAPTER4 計算科学を支える道具たち)
- 計算機による物理モデル化支援
- 質問システムにおけるツリー構築支援に関する研究
- 計算機による科学技術シミュレーションの物理モデル化支援
- 質問システム構築支援に関する研究
- 2次元数値データのグラフィックスにおける中抜け領域の除去を含む計算節点相互の位置関係の抽出
- 科学技術数値シミュレーションにおけるモデル化支援
- 数値シミュレーションプログラムのドキュメンテーションの支援に関する研究
- PVMを用いた並列計算による数値シミュレーションでのパラメータスタディの効率化に関する研究
- 数値シミュレーションプログラム生成支援環境に関する研究 : 差分化・プログラム生成の可視化
- 30p-Q-8 絶縁体ビームガイドを用いた大電流電子ビーム輸送に関する研究
- 第8回高パワー粒子ビーム国際会議(BEAMS' 90)報告
- BABEL : エンジニア支援のための多言語辞書とハイパーテキスト生成
- データベースを活用した分散授業支援システムの構築2
- Babel : エンジニア支援としての多言語辞書・ハイパーテキスト生成機能システム
- イベントデータの分散処理に関する考察
- 問題解決環境のソフトウェアアーキテクチャ
- 計算機シミュレーション支援システムの調査・研究
- 企業環境での作業員配置の最適化に関する研究
- 30p-YX-3 絶縁体ガイドによる大電流電子ビーム輸送効率に関する研究
- 3a-W-5 大電流電子ビーム輸送制御に関する研究
- 30p-ZD-10 平均イオンモデルにおける遮蔽定数の改良II(プラズマ物理・核融合)
- 30a-G-6 プラクティカルなDT慣性核融合の研究II
- 18pRB-9 重イオンビーム慣性核融合における輻射の爆縮不均一緩和効果に関する研究
- 28aYP-5 重イオンビーム慣性核融合における燃料ペレット爆縮の均一化に関する研究
- 28aWD-7 重イオン慣性核融合におけるビーム高効率輸送および収束に関する研究
- 28aWD-6 重イオン慣性核融合プラズマにおけるMaxwell-Boltzmann方程式の高精度数値解法
- 22pWE-2 重イオンビーム慣性核融合燃料ペレットにおける低密度領域の形成
- 22pWE-1 プラズマシミュレーションに向けた保存型高精度数値解析手法の開発
- 31p-TG-6 レーリー・テーラー不安定性への放射の影響
- 5a-K-2 レーリー・テーラー不安定性に対する不均一重力場の影響
- 6. ビーム標的相互作用の理論解析技術( イオンビーム核融合技術)
- 数学モデルからの領域分割による並列数値シミュレーションプログラム生成支援環境P-NCASの構築 : 並列プログラム生成支援及びその設計過程の可視化とステアリング
- 3. マイクロプラズマの計測・解析(ミクロ反応場の生成と応用-マイクロプラズマ研究の現状と将来展望-)
- 19aRA-7 高次元位相空間における分布関数の高精度数値解法と衝突項直接積分
- レーザー・プラズマ相互作用に向けた衝突項の直接数値解法
- データベースを活用した分散授業支援システムの構築
- Visualization and Steering of Program Generation Process in PDEs-based Problem Solving Environment
- 仮想エキスパートソサイエティを用いた分散型問題解決環境
- 数値シミュレーション支援環境におけるソースコード生成プロセスのステアリング
- 記号処理によるシミュレーションソフトウェア開発支援システムの研究
- 有限要素法による物理シミュレーションプログラム生成支援に関する研究 : プログラムの可読性についての考察
- 23pB7p イオンビーム慣性核融合における燃料ペレット爆縮の均一化について(慣性核融合/加熱)
- DISTRANへの Runge-Kutta 法における個別時間幅の実装
- 数値シミュレーションプログラムを作るプログラム : プログラミングからの開放を目指す問題解決環境(PSE)の世界
- ワールドモデルによるエネルギー消費形態への環境ファクターの影響
- 3次元数値計算格子生成に関する研究
- 数値計算格子生成に関する研究
- 30p-Q-10 DT燃料ペレット中の燃料成分比の空間的不均一による影響に関する研究
- 30p-Q-9 大質量慣性核融合に関する研究
- 科学技術シミュレーションプログラム合成支援I : 設計思想とシステム構成
- 30p-ZD-9 インパクト慣性核融合に関するシミュレーション(プラズマ物理・核融合)
- 30a-G-8 プラクティカルなDT慣性核融合の研究IV
- 30a-G-7 プラクティカルなDT慣性核融合の研究III
- Compression of non-correlated data via wavelet transform
- 3a-W-4 大質量DT燃料を用いた慣性核融合
- 30p-YX-2 燃料ペレット中のDおよびT含有量バランスの空間的不均一度の影響
- 29p-Y-5 逆制動放射過程による電子の加速IV
- 28a-H-2 逆制動放射過程による電子の加速III
- 31p-TF-3 逆シンクロトロン放射過程の電子加速
- 5a-H-7 電磁波による粒子加速II
- 6a-D6-9 電磁波による高エネルギー粒子加速
- 27a-E-1 逆制動放射過程による電子の加速 II
- 3a-R-7 逆制動放射過程による電子の加速
- 電磁波による粒子加速機構における粒子と波のふるまいに対する計算機シミュレーション