お知らせ 2023年度・2024年度 学生員 会費割引キャンペーン実施中です
お知らせ 技術研究報告と和文論文誌Cの同時投稿施策(掲載料1割引き)について
お知らせ 電子情報通信学会における研究会開催について
お知らせ NEW 参加費の返金について
電子情報通信学会 研究会発表申込システム
研究会 開催プログラム
技報閲覧サービス
[ログイン]
技報アーカイブ
 トップ  戻る   前の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 HeKonan Univ./Chinese Academy of Sciences)・Wuyi YueKonan Univ.)・Yong ShiChinese 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 MetraillerEPFL)・○Tadashi AraragiNTT
  15:00-15:10 休憩 ( 10分 )
(7) 15:10-15:35 Checking Liveness Properties of Concurrent Systems by Using Reinforcement Learning Tadashi AraragiNTT)・Seung Mo ChoSamsung
(8) 15:35-16:00 The Circum System Toshiko WakakiShibaura Inst. of Tech.)・Katsumi NittaTokyo 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 / 電子情報通信学会