Presentations -

画像ファイリングシステム開発へのオブジェクト指向方法論の適用事例

飯島 正，その他

情報処理学会ソフトウェア工学研究会, 

1992.05

副作用を持つPrologプログラムに対するデバッガの設計と実現

森 安生, 飯島 正, 原田 賢一

情報処理学会全国大会 (日本) , 

1992.03

, 

Oral presentation (general)

項包摂関係に基づいて多重継承階層を導入した演繹データベースの基本演算

飯島 正

電子情報通信学会データ工学研究会，データベースワークショップ (日本) , 

1992.01

, 

Oral presentation (general)

項包摂言語におけるオブジェクト部分識別性と否定

飯島 正，永田守男，浦 昭二

ソフトウェア科学会第9回全国大会 (日本) , 

1992

, 

Oral presentation (general)

項包摂関係に基づいて多重継承階層を導入した演繹データベースの基本演算

電子情報通信学会データ工学研究会, 

1991.12

多重継承階層を導入した論理プログラミング言語のための否定の計算

情報処理学会全国大会, 

1991.10

　View Summary

前出の「分類階層を導入した論理プログラミング言語」の表現力を拡張する（単一継承から多重継承へ）ための計算法・データ構造の提案。

動的クラス分け論理プログラミング言語によるオブジェクト指向分析の支援

情報処理学会オブジェクト指向技術シンポジウム, 

1991.05

　View Summary

「分類階層を導入した論理プログラミング言語」をベースにソフトウェア開発における分析過程の支援を行なう提案。今後の研究方針の一つ（応用面）を示すものである。

クラス階層を導入した演繹データベースにおける否定の計算

電子情報通信学会データ工学研究会，データベースワークショップ, 

1991.02

　View Summary

前出の否定表現の計算法を，演繹データベースに適用するもの。

クラス階層を導入した論理プログラミング言語のための否定

飯島 正, 永田 守男, 浦 昭二

ソフトウェア科学会第7回大会 (日本) , 

1989.03

, 

Oral presentation (general)

　View Summary

概念の抱摂関係に基づいて分類階層を導入した論理プログラミング言語に，更に否定表現を導入する提案。分類階層と否定表現の導入は，これまで別個に注目されていた。

Prologへの分類階層の導入による拘束充足問題の生成検査解法の高速化〜集合項による多重継承の取り扱い〜

情報処理学会全国大会, 

1989.03

　View Summary

論理プログラミング言語Prologの項構造上の単一化を使って性質継承を伴なう分類階層を導入する提案の更に項を拡張して集合表現を許すことで多重継承を可能にしている。この後は，このテーマを核として，応用（ソフトウェア開発の支援）と，基礎（否定等の表現力の拡張）の両面で研究を進めている。

T式による関数型プログラム開発

飯島 正, 岡田 謙一, 横山 光男, 北川 節

情報処理学会全国大会 (日本) , 

1986.10

, 

Oral presentation (general)

　View Summary

前出の関数型視覚言語の枠組の上で命令的プログラムを記述していくことで，意味を明確に把えながら，段階的にソフトウェア開発を進められるという提案。

T式:多分木構造による関数型プログラムの図的表現

飯島 正, 岡田 謙一, 横山 光男, 北川 節

情報処理学会全国大会 (日本) , 

1986.03

, 

Oral presentation (general)