研究会開催プログラム

お知らせ技術研究報告と和文論文誌Ｃの同時投稿施策(掲載料1割引き)について
お知らせ【重要】研究会・各種料金のお支払い方法変更について

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

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

新型インフルエンザへの対応として中止を決定しました(2009/05/18)

★コンカレント工学研究会（CST）
専門委員長　潮俊光 (阪大)　　副委員長　平石邦彦 (北陸先端大)
幹事　山口真悟 (山口大)，中村正樹 (金沢大)
幹事補佐　山崎達志 (摂南大)

日時　2009年 6月 3日(水)　10：40～17：40
　　　2009年 6月 4日(木)　09：00～16：05

会場摂南大学大阪センター（大阪市北区梅田３－４－５毎日インテシオ３Ｆ．JR大阪駅から徒歩10分．http://www.josho.ac.jp/corp/jigyoubu/osakacenter/index.html．山崎達志）

議題【新型インフルエンザへの対応として中止を決定しました】ペトリネット，離散事象システム，一般

6月3日(水) 午前 CST(1) DES(1) （10：40～11：55）

(1) 10:40 - 11:05
部分観測下での最悪ケースを考慮したスーパバイザの強化学習
○梶原弘治・山崎達志（摂南大）

ひきつづき、計測自動制御学会離散事象システム部会セッション

6月3日(水) 午後 DES特別招待講演（13：00～13：50）

計測自動制御学会離散事象システム部会セッション

6月3日(水) 午後 CST(2) （14：00～15：15）

(2) 14:00 - 14:25
空間の概念を持つコスト付き確率時間オートマトンの提案とセンサーネットワークへの適用
○鎌澤浩司・山根　智（金沢大）

(3) 14:25 - 14:50
CPUと動的再構成可能プロセッサとの協調システムのモデル検査
○南　翔太・瀧内新悟・瀬古口　智・山根　智（金沢大）

(4) 14:50 - 15:15
SAT and SMT Based Model Checking of Concurrent Systems
○Tatsuhiro Tsuchiya・Tohru Kikuno（Osaka Univ.）

6月3日(水) 午後 DES(2) （15：25～16：40）

計測自動制御学会離散事象システム部会セッション

6月3日(水) 午後招待講演（研究会優秀論文賞）（16：50～17：40）

(5) 16:50 - 17:40
［招待講演］確率時間CEGAR
○森下　篤・駒形龍太・山根　智（金沢大）

6月4日(木) 午前 DES(3) （09：00～10：15）

計測自動制御学会離散事象システム部会セッション

6月4日(木) 午前 CST(3) （10：25～11：40）

(6) 10:25 - 10:50
モジュラーペトリネットを用いたマルチエージェントネットの可達性解析について
○堀口恭太・宮本俊幸（阪大）

(7) 10:50 - 11:15
観測マスクをもつ離散事象システムにおける最大可制御オペイク部分言語の計算
依藤　梢（京都工繊大）・○高井重昌（阪大）

(8) 11:15 - 11:40
離散事象システムのモジュラ状態フィードバック制御に対する調停器設計
乾　翼・○潮　俊光（阪大）・足立正和・佐野範佳（豊田中研）

6月4日(木) 午後 DES(4) （13：00～14：40）

計測自動制御学会離散事象システム部会セッション

6月4日(木) 午後 CST(4) （14：50～16：05）

(9) 14:50 - 15:15
アクションを共有するワークフローネットに対する振る舞い継承と健全性を満たす合成規則
○渡辺悠生・山口真悟・池田　良・田中　稔（山口大）

(10) 15:15 - 15:40
色つき量子ペトリネットによる量チューリング機械のモデル化と解析
○伊藤慎祐・太田　淳・辻　孝吉（愛知県立大）

(11) 15:40 - 16:05
CSTソリューションコンペティション2007及び2008の総括
○山口真悟（山口大）・宮本俊幸（阪大）・内平直志（東芝）・葛　崎偉（山口大）・本位田真一（NII）

一般講演：発表 20 分＋質疑応答 5 分

◆計測自動制御学会離散事象システム部会併催（http://www.sice.or.jp/~discrete/）

◎初日研究会終了後、懇親会を予定していますのでご参加ください

☆CST研究会

【問合先】
山口真悟（山口大学大学院理工学研究科）
TEL: 0836-85-9510, FAX: 0836-85-9501
E-mail: