研究会開催プログラム

お知らせ 2023年度・2024年度学生員会費割引キャンペーン実施中です
お知らせ技術研究報告と和文論文誌Ｃの同時投稿施策(掲載料1割引き)について
お知らせ電子情報通信学会における研究会開催について
お知らせ NEW 参加費の返金について

電子情報通信学会研究会発表申込システム
研究会開催プログラム

技報閲覧サービス
[ログイン]
技報アーカイブ

トップ

戻る

前のAI研究会 / 次のAI研究会

[HTML] / [HTML(simple)] / [TEXT]

[Japanese] / [English]

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

日時　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）

−−−　昼食　（ 75分）　−−−

10月21日(金) 午後さまざまな分野の形式的検証最前線（13：00～17：10）

(4) 13:00 - 14:00
［チュートリアル講演］形式的検証（モデルチェック技術）の基本（口頭発表）～ SMV、SPIN、Athenaを中心に～
○櫟　粛之（NTT）

−−−　休憩　（ 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）

−−−　休憩　（ 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.）

−−−　休憩　（ 10分）　−−−

(9) 16:10 - 17:10
［招待講演］産業技術総合研究所「システム検証研究センター」研究活動の概要（口頭発表）
○木下佳樹（産総研）

☆AI研究会今後の予定　[ ]内発表申込締切日

2006年1月12日(木)～13日(金)　ヒルトン小樽　[11月18日(金)]　テーマ：「社会システムにおける知能」および一般

【問合先】
人工知能と知識処理研究会幹事
E-mail:ai-