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


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

日時 2005年10月21日(金)　10:30 - 17:10
議題 「さまざまな分野の形式的検証最前線」および一般 
会場名 アピカルイン京都 
住所 〒606-0967京都市左京区松ヶ崎橋西詰
交通案内 叡山電車 修学院駅から徒歩2分
http://www.apical-inn-kyoto.com/index.html
会場世話人
連絡先		 櫟 粛之
0774-93-5112

10月21日(金) 午前  AI一般
10:30 - 11:45
(1) 10:30-10:55 ヒューリスティクアプローチによる協調システムの性能シミュレーション ○タッド ゴンサルベス・伊藤　潔（上智大）
(2) 10:55-11:20 店舗内回遊モデルの定性的検証 ○豊嶋伊知郎・小磯貴史・吉田琢史・服部可奈子・今崎直樹（東芝）
(3) 11:20-11:45 QSR Data Mining System for Dynamic Route Selection in Multimedia Communication Networks ○Jing He（Konan Univ./Chinese Academy of Sciences）・Wuyi Yue（Konan Univ.）・Yong Shi（Chinese Academy of Sciences）
  11:45-13:00 昼食　（ 75分 ）
10月21日(金) 午後  さまざまな分野の形式的検証最前線
13:00 - 17:10
(4) 13:00-14:00 ［チュートリアル講演］形式的検証（モデルチェック技術）の基本（口頭発表） ～ SMV、SPIN、Athenaを中心に ～ ○櫟　粛之（NTT）
  14:00-14:10 休憩　（ 10分 ）
(5) 14:10-14:35 ワンタイムID鍵交換プロトコルの設計，および様相論理による安全性検証 ○今本健二・櫻井幸一（九大）
(6) 14:35-15:00 Formal Verification of Crash Failure Tolerance Algorithm(口頭発表)
-- Formal Verification of Distributed Systems in Unbounded Number of Processes -- 		Pierre Metrailler（EPFL）・○Tadashi Araragi（NTT）
  15:00-15:10 休憩　（ 10分 ）
(7) 15:10-15:35 Checking Liveness Properties of Concurrent Systems by Using Reinforcement Learning ○Tadashi Araragi（NTT）・Seung Mo Cho（Samsung）
(8) 15:35-16:00 The Circum System ○Toshiko Wakaki（Shibaura Inst. of Tech.）・Katsumi Nitta（Tokyo Inst. of Tech.）
  16:00-16:10 休憩　（ 10分 ）
(9) 16:10-17:10 ［招待講演］産業技術総合研究所「システム検証研究センター」 研究活動の概要（口頭発表） ○木下佳樹（産総研）

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


Last modified: 2005-08-29 14:08:58


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

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

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