お知らせ 2023年度・2024年度 学生員 会費割引キャンペーン実施中です
お知らせ 技術研究報告と和文論文誌Cの同時投稿施策(掲載料1割引き)について
お知らせ 電子情報通信学会における研究会開催について
お知らせ NEW 参加費の返金について
電子情報通信学会 研究会発表申込システム
研究会 開催スケジュール
技報閲覧サービス
[ログイン]
技報アーカイブ
    [Japanese] / [English] 
研究会名/開催地/テーマ  )→
 
講演検索  検索語:  /  範囲:題目 著者 所属 抄録 キーワード )→

すべての研究会開催スケジュール  (検索条件: すべての年度)

講演検索結果
 登録講演(開催プログラムが公開されているもの)  (日付・降順)
 6件中 1~6件目  /   
研究会 発表日時 開催地 タイトル・著者 抄録 資料番号
AI 2011-11-21
15:20
福岡 九州大学 伊都キャンパス 帰納論理プログラミングを用いたTwitterからのルール抽出
力 規晃徳山高専)・越村三幸藤田 博長谷川隆三九大AI2011-25
Web上には多くの情報推薦システムが存在する.これらのシステムはユーザーに対して有用な情報を見つけ提供することを目的とし... [more] AI2011-25
pp.49-51
AI 2009-05-22
13:50
東京 関学東京キャンパス 帰納論理プログラミングを用いたWebページ評価ルールの抽出とその評価
田代祐一大石哲也九大)・力 規晃徳山高専)・越村三幸藤田 博長谷川隆三九大AI2009-5
Web検索結果の向上を目指す際,新たに得られた検索結果が適切なものであるかどうか評価する必要がある.しかしこの評価は評価... [more] AI2009-5
pp.25-29
KBSE, JSAI-KBS
(共催)
2007-01-23
12:15
神奈川 慶應義塾大学・日吉キャンパス・来往舎・中会議室 スケジュールに基づくWebページ推薦に用いる検索単語の選定
大石哲也峯 恒憲長谷川隆三藤田 博越村三幸倉元俊介永田廣人九大
 [more] KBSE2006-61
pp.37-42
AI 2006-05-18
11:35
東京 機械振興会館 抽象モデルを利用したSAT問題の前処理
越村三幸長谷川隆三九大
我々は一階のCNF論理式に対する抽象化を考案し,このエルブランモデルを用いて元の
CNF式を簡単化(前処理)する方式を... [more]
AI2006-5
pp.25-28
CPSY, VLD, IPSJ-SLDM
(共催)
2005-01-25
15:50
神奈川 慶應義塾大学 日吉キャンパス FPGA上に実装されたPCMGTPを用いたSAT問題の解決
木之下昇平松田純一藤田 博越村三幸長谷川隆三九大
本論文では,FPGA上に実装された定理証明器PCMGTP(Propositional Constraint Model ... [more] VLD2004-107 CPSY2004-73
pp.57-62
AI 2004-06-21
14:35
東京 機械振興会館 抽象モデル生成による節集合の前処理
梅田眞由美越村三幸長谷川隆三九大
節集合を抽象化して得られる抽象節集合のエルブランモデルが,節集合の前処理に利用できることを示す.自動定理証明(Autom... [more] AI2004-7
pp.33-38
 6件中 1~6件目  /   
ダウンロード書式の初期値を指定してください NEW!!
テキスト形式 pLaTeX形式 CSV形式 BibTeX形式
著作権について : 以上の論文すべての著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)


[研究会発表申込システムのトップページに戻る]

[電子情報通信学会ホームページ]


IEICE / 電子情報通信学会