白井　康之

選好度に基づく集合推薦と調理レシピへの応用
白井　康之 鶴間　浩二 高嶋　宏之 小山　聡 
誌名:   電子情報通信学会論文誌 D
発行日: 2013/05/01
Vol. J96-D  No. 5  pp. 1246-1254
論文種別:  特集論文 (データ工学と情報マネジメント論文特集)
専門分野: 情報推薦
キーワード: 
情報推薦, 集合推薦, 調理レシピ, 二分決定グラフ, 
 あらまし | 本文:PDF(871.8KB)
モデル生成型定理証明システムによる制約充足問題の解決とその並列化
白井　康之 長谷川　隆三 
誌名:   電子情報通信学会論文誌 D
発行日: 1997/01/25
Vol. J80-D2  No. 1  pp. 224-236
論文種別:  論文
専門分野: 人工知能，自然言語処理，認知科学
キーワード: 
自動証明, 制約充足問題, 準群問題, モデル生成法, OR並列, 
 あらまし | 本文:PDF(854.2KB)