佐藤 健 | National Institute Of Informatics The Graduate University For Advanced Studies
スポンサーリンク
概要
関連著者
-
佐藤 健
(財)新世代コンピュータ技術開発機構
-
佐藤 健
(株)富士通研究所
-
佐藤 健
National Institute Of Informatics The Graduate University For Advanced Studies
-
西貝 吉晃
東京大学大学院情報理工学系研究科電子情報学専攻原島・苗村研究室
-
細部 博史
国立情報学研究所
-
相場 亮
(財)新世代コンピュータ技術開発機構
-
相場 亮
ICOT
-
松本 裕治
新世代コンピュータ技術開発機構
-
相場 亮
新世代コンピュータ技術開発機構
-
上田 和紀
早稲田大学大学院情報理工学専攻
-
松本 裕治
京都大学大型計算機センター
-
佐藤 健
(株) 富士通研究所
-
BENHAMOU Frederic
University of Nantes
-
CEBERIO Martine
University of Texas at El Paso
-
CODOGNET Philippe
Embassy of France in Japan, University of Paris 6
-
細部 博史
National Institute of Informatics, The Graduate University for Advanced Studies
-
JERMANN Christophe
University of Nantes
-
上田 和紀
Waseda University
-
Codognet Philippe
Embassy Of France In Japan University Of Paris 6
著作論文
- PROLEG--論理プログラミングをベースとした民事訴訟における要件事実論の実装 (社会システムと情報技術研究ウィーク)
- 著作権法の要件事実論のPROLEGによる実装 (社会システムと情報技術研究ウィーク)
- 矛盾を契機とする非単調推論の確率的意味について
- 解釈の順序による柔らかい制約の定式化
- 極小限定の確率的意味について
- 89-34 制約の階層と論理プログラミング
- 非単調論理と常識推論 (<特集>非標準論理とその応用)
- Yale Shooting問題とその解決へのアプローチ
- PROLEGを用いた判例法理の実装--転得者が存在する場合の背信的悪意者の法理の実装 (社会システムと情報技術研究ウィーク)
- 制約プログラミングに関する日本・フランス間の研究交流
- デフォルト論理のトップダウン証明手法について
- JICSLP '92会議報告
- 制限付きGHCの逐次型処理系