お知らせ 2023年度・2024年度 学生員 会費割引キャンペーン実施中です
お知らせ 技術研究報告と和文論文誌Ｃの同時投稿施策(掲載料1割引き)について
お知らせ 【重要】研究会・各種料金のお支払い方法変更について
電子情報通信学会 研究会発表申込システム
研究会 開催プログラム		 技報閲覧サービス
[ログイン]
技報アーカイブ
 トップ  戻る   / [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 


人工知能と知識処理研究会（AI） [schedule] [select]
専門委員長 岩沼 宏治
副委員長 大須賀 昭彦， 北村 泰彦
幹事 櫟 粛之， 栗原 聡
幹事補佐 鍋島 英知

日時 2006年11月10日(金)　10:00 - 16:55
議題 「さまざまな分野の形式的検証最前線」およびAI一般 
会場名 （▲▲幹事さんへ▲▲ 会場情報をご登録ください ▲▲） 

11月10日(金) 午前  AI一般
10:00 - 12:00
(1) 10:00-10:30 On securing open networks through trust and reputation - architecture, challenges and solutions ○Yufeng Wang・Yoshiaki Hori・Kouichi Sakurai（Kyushu Univ.）
(2) 10:30-11:00 極大系列抽出を目的とする系列包含検査の高速化アルゴリズム ○市川博規・岩沼宏治・鍋島英知（山梨大）
(3) 11:00-11:30 WEBアクセスログに対する系列データマイニング ～ ページ滞在時間系列の解析 ～ ○吉田　修・岩沼宏治・鍋島英知（山梨大）
(4) 11:30-12:00 ＯＷＬオントロジー間の自動対応付け手法の提案と評価 ○酒井隆道・櫟　粛之（NTT）
11月10日(金) 午後  さまざまな分野の形式的検証最前線
13:20 - 16:55
(5) 13:20-13:50 ［チュートリアル招待講演］セキュリティプロトコルの検証技術（１） ～ カギ交換プロトコルの安全性証明でよく見られる誤り ～ ○今本健二（九大）
(6) 13:50-14:35 ［チュートリアル講演］口頭発表 セキュリティプロトコルの検証技術 （２） ～ Abadi-Rogaway logic を中心に ～ ○櫟　粛之（NTT）
  14:35-14:45 休憩　（ 10分 ）
(7) 14:45-15:15 鍵交換プロトコルのFunctionality合成について ○今本健二（九大）・櫟　粛之（NTT）・櫻井幸一（九大）
(8) 15:15-15:45 Task-PIOAに基づくIdeal Functionality実現の証明の自動化 ○櫟　粛之（NTT）
  15:45-15:55 休憩　（ 10分 ）
(9) 15:55-16:25 モデル検査によるステートチャートとシーケンスチャートの整合性検証 ○長谷川哲夫（早大/東芝）・深澤良彰（早大）
(10) 16:25-16:55 生成と検査の論理プログラムの統合による優先順位付き極小限定の一般選言論理プログラムへの変換 ○若木利子（芝浦工大）・富田一夫（NTT）

問合先と今後の予定
AI 人工知能と知識処理研究会（AI）   [今後の予定はこちら]
問合先 人工知能と知識処理研究会 幹事
E--mail:ai-n 


Last modified: 2006-10-11 18:08:31


ご注意： 迷惑メール対策のためメールアドレスの一部の文字を置換しております．ご了承ください．
[この開催に関する講演論文リストをダウンロードする] ※ こちらのページの最下にあるダウンロードボタンを押してください
 
[研究会資料インデックス(vol. no.ごとの表紙と目次)]
 
[研究会発表・参加方法，FAQ] ※ ご一読ください
 
[AI研究会のスケジュールに戻る]   /  
 
 トップ  戻る   / [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 

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

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