Keio University

Presentations

Iijima, Tadashi

121-140 items (total 152)

拡張論理プログラミング言語におけるオブジェクト部分識別性とそれに基づく否定

Speaker
飯島 正,永田守男,浦 昭二
Conference Title
[Conference Category Domestic presentation] Dates 1992.07 - 1992.07
Presentation Format
Domestic presentation

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

Speaker
飯島 正,その他
Conference Title
[Conference Category Domestic presentation] Dates 1992.05 - 1992.05
Presentation Format
Domestic presentation

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

Speaker
森 安生, 飯島 正, 原田 賢一
Conference Title
[Conference Category Domestic presentation] Dates 1992.03 - 1992.03
Presentation Format
Domestic presentation
Conference Category
Oral presentation (general)

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

Speaker
飯島 正
Conference Title
[Conference Category Domestic presentation] Dates 1992.01 - 1992.01
Presentation Format
Domestic presentation
Conference Category
Oral presentation (general)

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

Conference Title
Dates 1991.12 - 1991.12
Invitation Status
Without
Language of Publication
Japanese

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

Conference Title
Dates 1991.10 - 1991.10
Invitation Status
Without
Language of Publication
Japanese

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

Conference Title
Dates 1991.05 - 1991.05
Invitation Status
Without
Language of Publication
Japanese

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

Conference Title
Dates 1991.02 - 1991.02
Invitation Status
Without
Language of Publication
Japanese

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

Speaker
飯島 正, 永田 守男, 浦 昭二
Conference Title
[Conference Category Domestic presentation] Dates 1989.03 - 1989.03
Presentation Format
Domestic presentation
Conference Category
Oral presentation (general)

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

Conference Title
Dates 1989.03 - 1989.03
Invitation Status
Without
Language of Publication
Japanese

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

Speaker
飯島 正, 岡田 謙一, 横山 光男, 北川 節
Conference Title
[Conference Category Domestic presentation] Dates 1986.10 - 1986.10
Presentation Format
Domestic presentation
Language of Publication
Japanese
Conference Category
Oral presentation (general)

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

Speaker
飯島 正, 岡田 謙一, 横山 光男, 北川 節
Conference Title
[Conference Category Domestic presentation] Dates 1986.03 - 1986.03
Presentation Format
Domestic presentation
Conference Category
Oral presentation (general)

ソフトウェア・コンポーネントのための結合性と分解性 --- 共生・寄生エージェントモデルに基づくコンポーネント ---

Speaker
飯島正,山本喜一,土居範久
Conference Title
Dates 1999.11 - 1999.11
Invitation Status
Without
Language of Publication
Japanese

JavaとXML

Conference Title
Dates 1999.10 - 1999.10
Invitation Status
Without
Language of Publication
Japanese

電子投票におけるMixnet機関の負担軽減

Speaker
溝入優一,飯島正,土居範久
Conference Title
[Conference Category Domestic presentation] Dates 1999.09 - 1999.09
Presentation Format
Domestic presentation

情報の濃度に基づく参照表現の生成

Speaker
関洋平,飯島正,原田賢一
Conference Title
[Conference Category Domestic presentation] Dates 1999.09 - 1999.09
Presentation Format
Domestic presentation

共生・寄生エージェントモデル(S/PAM)に基づくロボットプログラミング

Speaker
飯島正,山本喜一,土居範久
Conference Title
[Conference Category Domestic presentation] Dates 1999.09 - 1999.09
Presentation Format
Domestic presentation

共生・寄生エージェントモデル(S/PAM)に基づく可変&移動型ソフトウェアコンポーネント

Speaker
飯島正,山本喜一,土居範久
Conference Title
Dates 1999.08 - 1999.08
Invitation Status
Without
Language of Publication
Japanese

意味焦点駆動文生成

Speaker
関洋平,飯島正,原田賢一
Conference Title
Dates 1999.05 - 1999.05
Invitation Status
Without
Language of Publication
Japanese

分散コンポーネントのためのアーキテクチャパターン

Conference Title
Dates 1999.05 - 1999.05
Invitation Status
Without
Language of Publication
Japanese