越村　三幸

分割決定木を用いた分割関数ゲームの提携構造形成アルゴリズム
査　澳龍 越村　三幸 櫻井　祐子 横尾　真 
誌名:   
発行日: 2019/04/01
Vol. J102-D  No. 4  pp. 313-323
論文種別:  論文
専門分野: 情報ネットワーク
キーワード: 
マルチエージェントシステム, 協力ゲーム, 提携構造形成問題, MaxSAT, 
 あらまし | 本文:PDF(952.2KB)
関連単語抽出アルゴリズムを用いたWeb検索クエリの生成
大石　哲也 倉元　俊介 峯　恒憲 長谷川　隆三 藤田　博 越村　三幸 
誌名:   電子情報通信学会論文誌 D
発行日: 2009/03/01
Vol. J92-D  No. 3  pp. 281-292
論文種別:  特集論文 (データ工学論文特集)
専門分野: Web情報検索
キーワード: 
適合性フィードバック, クエリ拡張, Web検索, 
 あらまし | 本文:PDF(414.9KB)
抽象モデル生成による不要節の削除
梅田　眞由美 越村　三幸 長谷川　隆三 
誌名:   電子情報通信学会論文誌 D
発行日: 2006/10/01
Vol. J89-D  No. 10  pp. 2288-2295
論文種別:  論文
専門分野: 人工知能，認知科学
キーワード: 
定理証明, 節の抽象化, 節集合の前処理, モデル生成, 
 あらまし | 本文:PDF(221.6KB)
モデル生成型定理証明系のAND並列化方式
越村　三幸 長谷川　隆三 
誌名:   電子情報通信学会論文誌 D
発行日: 1995/02/25
Vol. J78-D1  No. 2  pp. 228-238
論文種別:  特集論文 (超並列コンピュータシステム論文特集)
専門分野: 応用
キーワード: 
自動証明, モデル生成, 連言照合, 包摂テスト, AND並列, 
 あらまし | 本文:PDF(762.4KB)