相場 亮 | 新世代コンピュータ技術開発機構
スポンサーリンク
概要
関連著者
-
相場 亮
ICOT
-
相場 亮
新世代コンピュータ技術開発機構
-
相場 亮
(財)新世代コンピュータ技術開発機構
-
荒牧 重登
福岡大学工学部電子情報工学科
-
佐藤 洋祐
東京理科大学理学部
-
古川 康一
(財)新世代コンピュータ技術開発機構
-
古川 康一
Icot
-
古川 康一
新世代コンピュータ技術開発機構
-
川越 恭二
日本電気(株) C&Cシステム研究所 応用システム研究部
-
荒牧 重登
福岡大学工学部
-
佐藤 晋一
ICOT
-
佐藤 健
(財)新世代コンピュータ技術開発機構
-
横井 俊夫
(株)日本電子化辞書研究所
-
荒牧 重登
福岡大 工
-
町田 和浩
日本電気技術情報システム開発(株)
-
横井 俊夫
日本電子化辞書研究所
-
佐藤 洋祐
立命館大学理工学部
-
毛受 哲
日本電気(株)C&Cシステム研究所システム基礎研究部
-
町田 和浩
日本電気技術情穀システム開発(株)
-
佐藤 健
(株)富士通研究所
-
毛受 哲
日本電気(株)c&cシステム研究所システム基礎研究部
-
佐藤 健
National Institute Of Informatics The Graduate University For Advanced Studies
著作論文
- 制約プログラミングについて : 制約ロジックプログラミングを中心として
- 制約論理プログラミングによるロボット構造設計支援システムの構築
- 制約ロジック・プログラミング : 知識処理への新しいパラダイム
- 89-34 制約の階層と論理プログラミング
- ブーリアン・グレブナー基底の Syzygy 基底による特徴付け
- 制約論理プログラミングシステム (制約論理プログラミング)
- 視覚的制約プログラミングについて
- 制約論理プログラミング言語CALについて (「第五世代コンピュータ」)
- 制約論理プログラミング言語(Constraint Logic Programming)