海老原 一郎 | 電子技術総合研究所情報アーキテクチャー部
スポンサーリンク
概要
関連著者
-
海老原 一郎
電子技術総合研究所情報アーキテクチャ部
-
海老原 一郎
電子技術総合研究所情報アーキテクチャー部
-
大蒔 和仁
電子技術総合研究所
-
大蒔 和仁
産業技術総合研究所
-
大蒔 和仁
電子技術総合研究所情報アーキテクチャ部
-
岡田 義邦
電子技術総合研究所
-
油田 信一
筑波大学
-
油田 信一
筑波大学電子情報工学系
-
磯部 祥尚
電子技術総合研究所
著作論文
- 高階論理を使ったオブジェクト指向データベースのモデル化
- 高階論理を使ったオブジェクト指向データベースのモデル化
- 論理型オブジェクト指向データベースF-logicの実装と基本概念への考察
- シソーラスにおける語群を用いたキーワード自動抽出法の検討
- 相関を用いたステレオ視による高精度レンジデータ生成法
- 高階等式論理に基づいたIF-THEN-WHILEプログラムの等価性の導出
- λ計算に基づいたC言語の等価性の導出
- 高階論理に基づいたOODBにおける型理論