著者

郡司 賢 武田 和彦 丹羽 隆 茅野 康臣

雑誌

全国大会講演論文集

巻号頁・発行日

vol.51, pp.187-188, 1995-09-20

---

オブジェクト指向方法論の有効性が議論されてから久しく、現在では、実際の開発に適用した話も多く聞かれようになった。しかし、オブジェクト指向による開発への適用を考えた場合、ドキュメントの管理、作業プロセスの明確化、開発体制など、プロジェクトの運営に関する問題が存在している。今回のツールの開発に先立って、OMTをベースとした具体的な作業プロセス、ドキュメント管理などの開発手順書を作成し、全面的にオブジェクト指向による分析、設計、実装を実践適用した。本稿では、オブジェクト指向の適用事例として、OMTをベースにした実践的方法論の紹介とその問題点について述べる。開発の規模、期間および環境は、以下のとおりである。開発期間....94/4-現在開発人数....6人(プログラマー3人)適用OS....Windows3.1開発言語....VisualC++ver 1.51(MFC2.5)クラス数....122ステップ数....33K(+コメント:20K)

著者

芦澤 宏樹 茅野 康臣 岩沼 宏治

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会技術研究報告. AI, 人工知能と知識処理

巻号頁・発行日

vol.94, no.374, pp.63-68, 1994-11-25

被引用文献数

1

---

Stickelにより開発させたPTTPは一階論理コンパイラであり、証明すぼき一階論理式が与えられると、その上のトップダウン型の演繹を模倣する高速なPrologプログラムを出力する。本研究では、より高速な定理証明システムの構築を目指して、分散処理型のPrologコードを生成する一階論理コンパイラを構築する。生成コードは、LANで結合されたWS群の上で実行される。オーバーヘッドを軽減するため、分散処理の基的形態は極めて単純なものを採用している。幾つかの問題について性能評価実験を行なった結果、線形台数効果の確認等、良好な結果を得たので報告する。