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

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

講演検索結果
 登録講演(開催プログラムが公開されているもの)  (日付・降順)
 18件中 1~18件目  /   
研究会 発表日時 開催地 タイトル・著者 抄録 資料番号
AI 2013-11-28
13:00
福岡 九州大学 伊都キャンパス ウエスト2号館 仮説推論に基づく分子ネットワークモデルの補完
山本泰生岩沼宏治坂本 悠山梨大AI2013-19
 [more] AI2013-19
pp.1-6
AI 2013-11-29
14:40
福岡 九州大学 伊都キャンパス ウエスト2号館 ストリームデータ上の各種の頻出データのオンライン型マイニングに関する一考察
岩沼宏治山本泰生伊藤秀志山梨大AI2013-33
 [more] AI2013-33
pp.83-88
SS 2010-10-14
17:00
岩手 岩手県立大学 [招待講演]近年の一階論理定理証明プログラムの実際
岩沼宏治山梨大SS2010-33
本稿では近年発展を遂げてきた一階論理定理証明システム,特に,応用上極めて重要な等号推論システムについて概説を行う.現在ま... [more] SS2010-33
pp.31-36
AI 2010-06-25
14:15
東京 関学東京キャンパス WEB検索高度化のためのアンサンブル学習に基づく訓練事例の精錬
平林宏基・○岩沼宏治山本泰生鍋島英知山梨大AI2010-5
WEB の専門検索エンジンを簡便に構築するための手法として,小山らは“検索隠し味” と呼ばれる検索質問へ拡張語を付加する... [more] AI2010-5
pp.25-30
SS 2010-03-08
11:40
鹿児島 鹿児島大学 郡元キャンパス 共通記号を持つ背景理論の決定手続きの結合法とその効率化について
岩沼宏治山梨大SS2009-67
Nelson-Oppen 法は複数の背景理論の決定手続きを結合する代表的な手法であり,近年盛んに研究されているSMT(S... [more] SS2009-67
pp.115-120
SS 2009-03-02
16:15
佐賀 佐賀大学本庄キャンパス 並列分散型SATソルバにおける探索空間の分割手法の提案
高見明秀鍋島英知岩沼宏治山梨大SS2008-52
命題論理の充足可能性問題(satisfiability problem; SAT 問題)は計算機科学や
人工知能の基... [more]
SS2008-52
pp.23-28
AI 2007-05-31
10:45
東京 機械振興会館 マルチコア環境向け並列SATソルバの開発
高見明秀岩沼宏治鍋島英知山梨大AI2007-2
本論文では,実用的な高速並列SAT ソルバの開発を目的として,最新のSAT ソルバ技術に基づくマル
チコア環境向けのS... [more]
AI2007-2
pp.7-12
AI, KBSE
(共催)
2007-03-28
14:20
東京 機械振興会館 階層パターンの抽出を目指した系列データマイニング
吉田 修岩沼宏治鍋島英知山梨大
本論文では,文法に基づくデータ圧縮技術を応用して,既存アルゴリズムで抽出困難な階層パターンを見
つけ出すための系列デー... [more]
AI2006-71 KBSE2006-79
pp.45-48
AI 2006-11-10
10:30
京都 アピカルイン京都 極大系列抽出を目的とする系列包含検査の高速化アルゴリズム
市川博規岩沼宏治鍋島英知山梨大
 [more] AI2006-13
pp.7-12
AI 2006-11-10
11:00
京都 アピカルイン京都 WEBアクセスログに対する系列データマイニング ~ ページ滞在時間系列の解析 ~
吉田 修岩沼宏治鍋島英知山梨大
 [more] AI2006-14
pp.13-18
AI 2006-05-18
11:10
東京 機械振興会館 効率的なSATプランニングとSATスケジューリングのための補題再利用
鍋島英知山梨大)・宋 剛秀神戸大)・井上克巳NII)・岩沼宏治山梨大
本稿では,SATプランニングとSATスケジューリングを効率よく解くために補題再利用手法を提案し,その効果を実証する.一般... [more] AI2006-4
pp.19-24
AI 2006-03-07
14:30
大阪 関西学院大学 WEB文書の頻出語情報を利用した解答検索システムの構築
藤枝直樹岩沼宏治鍋島英知山梨大
 [more] AI2005-51
pp.25-29
AI 2006-03-07
15:00
大阪 関西学院大学 専門検索エンジンの半自動生成を目的とした類似度に基づくWEB学習データの精製
宮川礼子岩沼宏治鍋島英知山梨大
 [more] AI2005-52
pp.31-36
NLC 2006-02-02
15:15
滋賀 ラフォーレ琵琶湖 背景記事集合の類似度に基づく新聞記事のクラスタリング
広瀬千夏岩沼宏治鍋島英知山梨大
 [more] NLC2005-110
pp.25-30
NLC 2006-02-03
11:00
滋賀 ラフォーレ琵琶湖 専門語彙テンプレートの自動生成とWebページの自動統合
須田真行岩沼宏治鍋島英知山梨大
現在Web上には膨大な量の情報が蓄積されている.Web上の商品やサービスを比較するため,異なるサイトのデータを比較したい... [more] NLC2005-117
pp.19-24
AI 2005-05-31
16:05
東京 機械振興会館 系列パターンマイニングにおけるアイテム集合間の関連強度による頻出部分系列の絞込み
大塚尚貴岩沼宏治鍋島英知山梨大
 [more] AI2005-5
pp.21-26
AI 2005-05-31
16:30
東京 機械振興会館 検索隠し味の半自動生成を目的とした訓練データの精製
鈴木悠生・○鍋島英知岩沼宏治山梨大
小久保らによる検索隠し味を用いた専門検索エンジンの構築手法は,高い適合率と再現率を示す非常に優れた手法である.しかしなが... [more] AI2005-6
pp.27-31
AI 2004-06-21
15:00
東京 機械振興会館 SOLにおけるタブロ証明反転法とその応用
岩沼宏治山梨大)・井上克已NII)・鍋島英知山梨大
 [more] AI2004-8
pp.39-44
 18件中 1~18件目  /   
ダウンロード書式の初期値を指定してください NEW!!
テキスト形式 pLaTeX形式 CSV形式 BibTeX形式
著作権について : 以上の論文すべての著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)


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

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


IEICE / 電子情報通信学会