研究会開催プログラム

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

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

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

トップ

戻る

前のMSS研究会 / 次のMSS研究会

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

[Japanese] / [English]

回路とシステム研究会（CAS）

[schedule] [select]

専門委員長		藤澤久典 (富士通研)
副委員長		牧野光則 (中大)
幹事		山崎博 (富士通研)，神澤雄智 (芝浦工大)
幹事補佐		高藤大介 (広島大)

コンカレント工学研究会（CST）

専門委員長		潮俊光 (阪大)
副委員長		平石邦彦 (北陸先端大)
幹事		山口真悟 (山口大)，中村正樹 (金沢大)
幹事補佐		山崎達志 (摂南大)

日時	2009年11月26日(木)　10:45 - 16:50 2009年11月27日(金)　09:30 - 17:30
議題	一般
会場名	名古屋大学ベンチャービジネスラボラトリ
住所	〒464-8603 名古屋市千種区不老町
交通案内	JR名古屋駅から名古屋市営地下鉄名古屋大学下車 http://www.vbl.nagoya-u.ac.jp/access/index.html
会場世話人連絡先	大学院情報科学研究科柳浦睦憲 052-789-5447（会場）
お知らせ	◎27日(金)11:00～12:00に情報処理学会アルゴリズム研究会主催の高田広章教授（名大）による特別講演会が開催されます．ご参加ください．
著作権について	以下の論文すべての著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)

11月26日(木) 午前 CST(1) 10:45 - 12:00
(1)	10:45-11:10	On a new model for Quantum Computers by using Quantum Petri Nets CAS2009-45 CST2009-18	○Shinsuke Ito・Atsushi Ohta・Kohkichi Tsuji（Aichi Pref. Univ.）
(2)	11:10-11:35	ペトリネットの発火系列問題の拡張とWebアプリケーション用汎用スケジューラの作成	○中野雅章・山内雅弘（近畿大）・田岡智志・渡邉敏正（広島大）
(3)	11:35-12:00	製品ライフサイクルでの高信頼化技術の動向 CAS2009-46 CST2009-19	○内平直志（東芝）
11月26日(木) 午後 CAS(1) 13:30 - 14:45
(4)	13:30-13:55	Hierarchical Abstraction of Nonlinear Oscillator Macromodels CAS2009-47 CST2009-20	○Jaijeet Roychowdhury（Univ. of California, Berkeley）
(5)	13:55-14:20	交互方向陽解法に基づくFDTD法 CAS2009-48 CST2009-21	○青野修一（セサミテクノロジー）・海野正樹・浅井秀樹（静岡大）
(6)	14:20-14:45	並列分散型ブロックLIMによる強結合伝送線路の高速過渡解析 CAS2009-49 CST2009-22	○井上雄太・關根惟敏・浅井秀樹（静岡大）
11月26日(木) 午後 CST招待講演（研究会優秀論文賞） 15:00 - 15:50
	-	2008年CST研究会優秀論文賞表彰式（著者：駒形龍太・○森下篤・山根智（金沢大），題目：述語抽象化とその洗練による確率時間オートマトンの到達可能性解析手法，信学技報：CST2008-5）
(7)	15:00-15:50	［招待講演］確率時間CEGAR ○森下篤・駒形龍太・山根智（金沢大）
11月26日(木) 午後 CST招待講演 16:00 - 16:50
(8)	16:00-16:50	［招待講演］組合せ最適化問題の計算複雑度解析とアルゴリズム設計 CAS2009-50 CST2009-23	○渡邉敏正（広島大）
11月27日(金) 午前 CST(2) 09:30 - 10:45
(9)	09:30-09:55	確率ゲーム理論による組込みシステムのモデル化とモデル検査 CAS2009-51 CST2009-24	○越田彰太・山根　智（金沢大）
(10)	09:55-10:20	確率時間REGARによるPTCTLのサブクラスのモデル検査 CAS2009-52 CST2009-25	○高橋正樹・森下　篤・山根　智（金沢大）
(11)	10:20-10:45	非決定出力関数をもつMealyオートマトンで表される離散事象システムの診断 CAS2009-53 CST2009-26	○高井重昌・潮　俊光（阪大）
11月27日(金) 午後 CAS(2) 13:00 - 14:15
(12)	13:00-13:25	携帯機器向けグラフィックス・アクセラレータシステムの設計と評価 CAS2009-54 CST2009-27	○永井　靖・大和田　徹（日立）・高木徹夫（日立アドバンストデジタル）・滝田　功（日立）
(13)	13:25-13:50	Universal Test Sets for Reversible Circuits CAS2009-55 CST2009-28	○Satoshi Tayu・Shota Fukuyama・Shuichi Ueno（Tokyo Inst. of Tech.）
(14)	13:50-14:15	整数計画法によるグラフ埋め込みの定式化とLSI配線への応用 CAS2009-56 CST2009-29	○井上恵介（北陸先端大/学振）・金子峰雄（北陸先端大）
11月27日(金) 午後 CST(3) 14:25 - 15:40
(15)	14:25-14:50	A Method to Determine Firing Times of Transitions for Timed Petri Nets by Introducing Stochastic Decision Rules CAS2009-57 CST2009-30	○Yoshimasa Miwa（Yamaguchi Univ.）・Chen Li（Univ. of Tokyo）・Qi-Wei Ge・Hiroshi Matsuno（Yamaguchi Univ.）
(16)	14:50-15:15	ライントポロジー上の非同期分散型進化計算の実験評価 CAS2009-58 CST2009-31	○宮城隼人・名嘉村盛和（琉球大）
(17)	15:15-15:40	拡張ペトリネットを用いた情報収集の為の分散アルゴリズムの設計 CAS2009-59 CST2009-32	○山口真之介（九工大）・和崎克己・師玉康成（信州大）
11月27日(金) 午後 CST(4) 15:50 - 17:30
(18)	15:50-16:15	自由選択ワークフローネットのWell-Structuredワークフローネットへのリファクタリングについて CAS2009-60 CST2009-33	○黒田祐樹・山口真悟・田中　稔（山口大）
(19)	16:15-16:40	マルチティアサーバシステムにおける分散QoS公平化制御へのコンセンサス問題の応用 CAS2009-61 CST2009-34	○林　直樹・潮　俊光・金澤尚史（阪大）
(20)	16:40-17:05	ペトリネットを用いたコレオグラフィ実現について CAS2009-62 CST2009-35	○宮本俊幸（阪大）・藤井　拓（オージス総研）
(21)	17:05-17:30	与えられた動作を行う条件／事象ネットの最小実現に関する考察 CAS2009-63 CST2009-36	○橋爪　進・矢嶌智之・小野木克明（名大）

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

問合先と今後の予定
CAS	回路とシステム研究会（CAS） [今後の予定はこちら]
	問合先	山崎博（富士通研究所） TEL 045-473-5801 E-: si
	お知らせ	◎回路とシステム研究専門委員会では、研究会の振興を目的として「回路とシステム研究会学生優秀発表賞」を制定しました。優秀な学生発表は、3月の総合大会にて表彰いたしますので、ふるって申し込み・投稿をお待ちしております。受賞資格は回路とシステム研究会でご自身で発表され、かつ予稿にて第一著者のIEICE学生会員(申し込み中でも可)の方です。詳しくは幹事までお問い合わせください。
CST	コンカレント工学研究会（CST）
	問合先	山口真悟（山口大学大学院理工学研究科） TEL: 0836-85-9510, FAX: 0836-85-9501 E-: ngu-u
	お知らせ	◎最新情報は、コンカレント工学研究会ホームページをご覧下さい． http://www.ieice.org/~cst/
		◎CST研究会では、研究会で発表された論文の中から毎年一件を優秀研究会論文賞として表彰しております．