お知らせ 研究会の開催と会場に参加される皆様へのお願い(2022年6月開催~)
電子情報通信学会 研究会発表申込システム
研究会 開催プログラム
技報閲覧サービス
[ログイン]
技報アーカイブ
 トップ  戻る   前の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-n


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


ご注意: 迷惑メール対策のためメールアドレスの一部の文字を置換しております.ご了承ください.

[この開催に関する講演論文リストをダウンロードする] ※ こちらのページの最下にあるダウンロードボタンを押してください
 

[研究会発表・参加方法,FAQ] ※ ご一読ください
 
[研究会資料インデックス(vol. no.ごとの表紙と目次)]
 

[AI研究会のスケジュールに戻る]   /  
 
 トップ  戻る   前のAI研究会 / 次のAI研究会 [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 


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

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


IEICE / 電子情報通信学会