オブジェクト指向一貫相似性記述言語OOJの設計と検証(形式手法(1)・言語(学生セッション))
スポンサーリンク
概要
- 論文の詳細を見る
非情報系の科学技術諸分野の専門家(ドメインユーザ, DU)が扱う対象世界をオブジュクト指向(OO)に基づき自然日本語を主用して記述し,相似性の高い再現シミュレーションを実現するために,OO一貫相似性の概念を提案した.また一貫相似性を検証可能にするために分析・設計・実装の各段階毎にOO記述言語が必要であることが分かった.それ故に記述言語系を定義・設計し,計算機で扱えるように記述支援エディタを実現した.各記述言語の記述要素毎のの対応関係とその対応要素の相似性を検証し,それらを全要素(構造要素も含む)に行って総合することで,分析記述され対象世界と再現シミュレーションの相似性の高さを(客観的にも)検証可能な方法として提案した.さらに,三つの記述言語を一つの記述言語に統合化した記述言語OOJの設計方針を導出した.今後は三つの記述言語の仕様を拡張して完成度を高めると共に,それを基盤にしたOOJの詳細設計と実装を行う.
- 一般社団法人情報処理学会の論文
- 2008-03-17
著者
-
涌井 智寛
茨城大学大学院理工学研究科情報工学専攻
-
畠山 正行
茨城大学工学部情報工学科
-
池田 陽祐
茨城大学大学院理工学研究科
-
加藤木 和夫
茨城県立産業技術短期大学
-
大木 幹生
群馬工業高等専門学校電子情報工学科
-
片野 克紀
茨城大学大学院理工学研究科情報工学専攻
-
池田 陽祐
茨城大学工学部情報工学科
-
大木 幹生
茨城大学工学部情報工学科
-
涌井 智寛
茨城大学大学院理工学研究科
-
加藤木 和夫
現在,茨城県立産業技術短期大学
-
畠山 正行
現在,茨城大学工学部情報工学科
-
大木 幹生
現在,群馬工業高等専門学校教育研究支援センター
-
大木 幹生
現在,群馬工業高等専門学校
-
池田 陽祐
茨城大学工学部
-
畠山 正行
茨城大学工学部
関連論文
- 単言語方式のオブジェクト指向プロセス記述言語OOJの設計(オブジェクト指向,言語設計(学生セッション))
- 低開発コストの分散計算方式の構築
- 共有配列を用いたオブジェクト指向自動分散計算システム
- オブジェクト指向数値計算の自動負荷分散システム
- オブジェクト指向に基づく柔軟な数値風胴シミュレーションシステム
- オブジェクト指向自然日本語OONJの記述モデル構築の試み(セッション3)
- Webアプリケーションのユーザ快適性向上を目指した一つのモデルの提案と解決
- オブジェクト指向相互作用伝達モデルに基づく微分方程式の解法とその実行例
- オブジェクト指向記述言語OOJにおける汎化階層と実値化の方法
- 日本語を主用したオブジェクト指向分析記述言語OONJの設計主題とその記述法
- 真性実世界と擬似実世界のオブジェクト指向モデリングの違いとその典型記述例での検証
- オブジェクト指向相互作用伝達モデルに基づく微分方程式の解法とその実行例
- 真性実世界と擬似実世界のオブジェクト指向モデリングの違いとその典型記述例での検証
- オブジェクト指向分析記述言語OONJの記述例を用いた簡潔な表現技法の開発
- 日本語を主用したオブジェクト指向分析記述言語OONJの設計主題とその記述法
- ドメインユーザ・プログラミング:記述言語をベースとする仕組みの提案
- オブジェクト指向分析記述言語OONJの記述例を用いた簡潔な表現技法の開発
- オブジェクト指向記述言語OOJにおける日本語単文の自動変換機構
- 三言語独立のオブジェクト指向記述言語OOJの実装と検証(オブジェクト指向,言語設計(学生セッション))
- オブジェクト指向一貫相似性記述言語OOJの設計と検証(形式手法(1)・言語(学生セッション))
- オブジェクト指向設計記述言語ODDJの汎化階層構成への拡張とその実装(形式手法(1)・言語(学生セッション))
- オブジェクト指向に基づく一貫相似性モデリング過程の実現とその検証方法の提案 : 科学技術計算/解析/設計/シミュレーション等の応用ドメインの専門家ユーザが使えるオブジェクト指向技術(セッション2)
- オブジェクト指向に基づく一貫相似性モデリング過程の実現とその検証方法の提案 : 科学技術計算/解析/設計/シミュレーション等の応用ドメインの専門家ユーザが使えるオブジェクト指向技術(セッション2)
- オブジェクト指向プログラム自動生成記述言語OPDJとその記述開発環境 : 科学技術計算/解析/設計/シミュレーション等の応用ドメインの専門家ユーザが使えるオブジェクト指向技術の提案(セッション5)
- オブジェクト指向ドメインユーザ計算設計記述日本語ODDJとその記述特性 : 科学技術計算/解析/設計/シミュレーション等の応用ドメインの専門家ユーザが使えるオブジェクト指向技術の提案(セッション5)
- simpleOONJ : ドメインユーザでも使いこなせるオブジェクト指向技術の提唱(セッション3)
- オブジェクト指向自然日本語記述言語OONJの設計とその記述力の評価(セッション4)
- オブジェクトベースー貫日本語記述言語OOJに基づくプログラムの自動生成(セッション4)
- オブジェクト指向プログラム設計記述言語OOPDとその記述環境(システムLSIの設計技術と設計自動化)
- オブジェクト指向計算記述日本語OCDJの設計
- オブジェクト指向プログラム設計記述言語OOPDの設計
- オブジェクト指向自然日本語OONJの設計とその評価
- DNA演算シミュレータの構築
- DNAを用いた乗算の方法の提案とその計算手順の設計
- オブジェクト指向シミュレーション分散仮想計算機システム : (その2)その構成とエージェントを用いた自動分散計算の試み
- オブジェクト指向データベースをもちいた自然現象の再現シミュレーション
- オブジェクトベースFortranの設計とそのトランスレータの開発(開発支援(1))
- 数値シミュレーションにおけるマッピングと可視化
- 低開発コストの分散計算方式の構築
- 低開発コストの分散計算方式の構築
- オブジェクト指向記述日本語OODJとその記述環境
- オブジェクト指向分析記述日本語OOJとその記述環境
- オブジェクト指向日本語分析記述環境OOJの設計と開発
- オブジェクトベースリポジトリの駆動及びインタフェースシステム
- オブジェクト指向に基づく視覚系及び操作系の研究
- ドメインユーザにもやさしいオブジェクト指向自然日本語記述言語simpleOONJとその記述環境(プログラミング環境)
- エージェント指向モデルの数値流体計算への応用
- オブジェクト指向実行記述言語OEDJとそのトランスレータ(言語処理系・テスト)
- オブジェクト指向実装記述言語OEDJの記述環境およびトランスレータの開発(開発支援(1))
- オブジェクト指向日本語一貫プログラミング環境
- オブジェクト指向日本語一貫プログラミング環境
- オブジェクト指向一貫記述言語系OOJにおけるトレーサの開発
- オブジェクトベース一貫数値風胴システムとその駆動支援環境
- オブジェクトベースCADSシステムの構築 : O0DBMSを基礎にした設計・加工及びシミュレーションシステム
- オブジェクト指向に基づく数値シミュレーション法の提案と実現例
- データベースを基礎にした擬似オブジェクトベース機構の実現とシミュレーション
- データベースを基礎にした分散数値シミュレーション実行制御支援環境
- オブジェクト指向設計記述言語ODDJの設計とその記述環境の開発(開発支援(1))
- ブラウザ上のWebアプリケーションの応答性を高める実装手法
- メッセージパッシングモデルに基づく差分方程式の計算方式とその実行例
- メッセージパッシングモデルに基づく差分方程式の計算方式とその実行例
- オブジェクト指向シミュレーションの実現とその実行環境
- プロトタイプベースオブジェクトファイルシステム
- オブジェクトシミュレーションシステムへのUNIXシステムの再構成
- 高負荷オブジェクトシミュレーションの動的負荷分散化
- オブジェクト指向分析記述言語OONJの設計原理構築と記述環境開発(開発支援(1))
- オブジェクト指向自然日本語記述言語OONJの設計とその記述例(プログラミング環境)
- オブジェクト指向CFDシミュレーションの並列化システム
- オブジェクト指向シミュレーションの自動分散化の実現と評価
- 自動分散型オブジェクト指向シミュレーションシステムの実行効率
- オブジェクト指向に基づく数値風胴シミュレーション : 高精度なモデリングと柔らかな計算システムの実現例(ソフトコンピューティング)
- オブジェクトベースモデルに基づくシミュレーション駆動機構の構築
- オブジェクトベース機構に基づく数値シミュレーション
- オブジェクトベース機構 : オブジェクト指向一貫モデリング過程論に基づくシミュレーションの実現
- オブジェクトの振舞いの自動的な改変機構の試み
- PVM を用いた2次元流れの自動負荷分散計算
- オブジェクト指向の概念を導入したグラフィックス表現法
- オブジェクト指向に基づく偏微分方程式の数値シミュレーション
- オブジェクトシンセサイザの設計と実装及び評価
- UMLとの比較に基づくオブジェクト指向分析設計記述言語OONJの評価
- 自動分散型オブジェクト指向数値計算プログラムの生成システム
- 自動分散型オブジェクト指向シミュレーションシステムの生成
- オブジェクトベース・シミュレーションのGUI実行支援環境
- 階層構造オブジェクト・エディタの試作
- UMLとの比較評価に基づくオブジェクト指向分析設計記述言語OONJの記述技法の特徴
- 記述言語系OOJ上で実現する個人向けV&V環境の提案
- 実世界を直截に記述可能なOOJ記述環境の開発とその利用効果
- 離散構造化モデル記述言語系OOJの構築と効果的な利用法-分析からプログラムまでの一貫開発とV&V評価実現の検討-
- OOJ上に構築するソフトウェアV&Vのためのテスト環境の提案と実装
- V&V評価の仕組みを組み込んだOOJ記述環境の開発と評価
- 離散・構造化モデル記述言語系OOJの構築と科学技術計算教育への適用 -分析からプログラムまでの一貫開発とV&V評価実現の検討-
- オブジェクト管理システムとしてのオブジェクトベースリポジトリの考察