| 電子情報通信学会 研究会発表申込システム 研究会 開催プログラム |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップ | 戻る | 前のMSS研究会 / 次のMSS研究会 | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
|
新型インフルエンザへの対応として中止を決定しました(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:  n    gu -u ◎最新情報は、コンカレント工学研究会ホームページをご覧下さい． http://www.ieice.org/~cst/ ◎CST研究会では、研究会で発表された論文の中から毎年一件を優秀研究会論文賞として表彰しております． Last modified: 2010-10-12 19:20:10 |
ご注意： 迷惑メール対策のためメールアドレスの一部の文字を置換しております．ご了承ください．
[この開催に関する講演論文リストをダウンロードする] ※ こちらのページの最下にあるダウンロードボタンを押してください
[研究会資料インデックス(vol. no.ごとの表紙と目次)]
[研究会発表・参加方法，FAQ] ※ ご一読ください
| トップ | 戻る | 前のMSS研究会 / 次のMSS研究会 | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
[研究会発表申込システムのトップページに戻る]