| 電子情報通信学会 研究会発表申込システム 研究会 開催プログラム |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップ | 戻る | 前のAI研究会 / 次のAI研究会 | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
|
★人工知能と知識処理研究会（AI） 専門委員長 岩沼 宏治 副委員長 大須賀 昭彦， 北村 泰彦 幹事 櫟 粛之， 栗原 聡 幹事補佐 鍋島 英知 日時 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） −−− 休憩 （ 10分 ） −−− (7) 14:45 - 15:15 鍵交換プロトコルのFunctionality合成について ○今本健二（九大）・櫟 粛之（NTT）・櫻井幸一（九大） (8) 15:15 - 15:45 Task-PIOAに基づくIdeal Functionality実現の証明の自動化 ○櫟 粛之（NTT） −−− 休憩 （ 10分 ） −−− (9) 15:55 - 16:25 モデル検査によるステートチャートとシーケンスチャートの整合性検証 ○長谷川哲夫（早大/東芝）・深澤良彰（早大） (10) 16:25 - 16:55 生成と検査の論理プログラムの統合による優先順位付き極小限定の一般選言論理プログラムへの変換 ○若木利子（芝浦工大）・富田一夫（NTT） ☆AI研究会今後の予定 [ ]内発表申込締切日 11月30日(木)～12月1日(金) 松下電工（汐留） [9月20日(水)] テーマ：InterSociety - ユビキタスネットワーク社会における知的協調・連携基盤の創造 2007年1月14日(日)～16日(火) (予定) ルスツリゾート（予定） [1月19日(金)] テーマ：「社会システムにおける知能」および一般 【問合先】 人工知能と知識処理研究会 幹事 E-mail:ai-  n    Last modified: 2006-10-11 18:08:31 |
ご注意： 迷惑メール対策のためメールアドレスの一部の文字を置換しております．ご了承ください．
[この開催に関する講演論文リストをダウンロードする] ※ こちらのページの最下にあるダウンロードボタンを押してください
[研究会資料インデックス(vol. no.ごとの表紙と目次)]
[研究会発表・参加方法，FAQ] ※ ご一読ください
[AI研究会のスケジュールに戻る] /
| トップ | 戻る | 前のAI研究会 / 次のAI研究会 | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
[研究会発表申込システムのトップページに戻る]