研究会開催プログラム

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

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

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

トップ

戻る

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

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

[Japanese] / [English]

システム数理と応用研究会（MSS）

[schedule] [select]

専門委員長		平石邦彦 (北陸先端大)
副委員長		中村祐一 (NEC)
幹事		中村正樹 (富山県立大)，山口真之介 (九工大)
幹事補佐		西脇大輔 (NEC)

ソフトウェアサイエンス研究会（SS）

[schedule] [select]

専門委員長		関浩之 (奈良先端大)
副委員長		中島震 (NII)
幹事		高田喜朗 (高知工科大)，満田成紀 (和歌山大)
幹事補佐		鷲崎弘宜 (早大)

日時	2012年 1月26日(木)　09:30 - 18:15 2012年 1月27日(金)　09:00 - 12:15
議題	一般
会場名	高知市文化プラザかるぽーと 9階第3学習室
住所	〒780-8529 高知市九反田2-1
交通案内	JR高知駅から徒歩20分。またははりまや橋観光バスターミナルから徒歩3分。または土佐電鉄(路面電車)はりまや橋駅から徒歩7分, 菜園場駅から徒歩3分。 http://www.bunkaplaza.or.jp/access/index.html
会場世話人連絡先	高知工科大学高田喜朗
お知らせ	◎26日研究会終了後，懇親会を予定していますのでご参加ください。割烹旅館おおりや内「希満里(けまり)」19時～21時下記Webページにて参加登録をよろしくお願いいたします。 http://www.info.kochi-tech.ac.jp/sigss/konshin/?id=1201
著作権について	以下の論文すべての著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)

1月26日(木) 午前 09:30 - 12:15
(1)	09:30-10:00	音声つぶやきによる看護・介護の時空間コミュニケーション～情報スーパーバイザ制御の提案～ MSS2011-54 SS2011-39	○内平直志・鳥居健太郎（東芝）・平石邦彦・崔　舜星・知野哲朗（北陸先端大）・平林裕治（清水建設）・杉原太郎（北陸先端大）
(2)	10:00-10:30	フィジカルコンピューティングのためのスマートフォンを用いた開発環境の提案 MSS2011-55 SS2011-40	○上村祐加・高田喜朗（高知工科大）
(3)	10:30-11:00	コスト予測における対数変換すべき変数の判別手法の評価 MSS2011-56 SS2011-41	○三好健太（香川高専）・生方克馬（野村総研）・柿元　健（香川高専）・楠本真二（阪大）
	11:00-11:15	休憩　（ 15分）
(4)	11:15-11:45	アーキテクチャ点写像による設計・コード間の双方向追跡 MSS2011-57 SS2011-42	○鵜林尚靖・亀井靖高（九大）
(5)	11:45-12:15	SMTソルバーを用いたUML状態機械の有界モデル検査に関する一考察 MSS2011-58 SS2011-43	○新村勇人・宮本俊幸（阪大）
	12:15-13:15	昼食　（ 60分）
1月26日(木) 午後 13:15 - 18:15
(6)	13:15-13:45	cbUMLのコミュニケーション図から状態機械への変換およびそれらの形式的意味について MSS2011-59 SS2011-44	○長谷川泰央・宮本俊幸（阪大）
(7)	13:45-14:15	拡張自由選択ワークフローネットとそのサブネット間のProtocol継承の多項式時間判定について MSS2011-60 SS2011-45	○平川智悠・山口真悟（山口大）
(8)	14:15-14:45	関数呼び出しを持つプログラムの非線形ループ不変式の自動生成 MSS2011-61 SS2011-46	○鈴木英一・坂部俊樹・酒井正彦・草刈圭一朗・西田直樹（名大）
(9)	14:45-15:15	語問題を基底等式集合の語問題に帰着可能な等式集合のクラスについて MSS2011-62 SS2011-47	○坂井利光・酒井正彦・坂部俊樹・西田直樹・草刈圭一朗（名大）
	15:15-15:30	休憩　（ 15分）
(10)	15:30-16:00	単純型付き項書換え系における書換え帰納法について MSS2011-63 SS2011-48	○尾関　朗・草刈圭一朗・坂田　翼・西田直樹・酒井正彦・坂部俊樹（名大）
(11)	16:00-16:30	高階書換え系における引数切り落とし関数の下での実効規則について MSS2011-64 SS2011-49	○大井一展・草刈圭一朗・酒井正彦・坂部俊樹・西田直樹（名大）
(12)	16:30-17:00	分解法に基づく2目的巡回セールスマン問題の解法とその評価 MSS2011-65 SS2011-50	○稲本浩也・橋爪　悟・矢嶌智之・橋爪　進・小野木克明（名大）
	17:00-17:15	休憩　（ 15分）
(13)	17:15-18:15	［招待講演］サイバーフィジカルシステムの数理 MSS2011-66 SS2011-51	○田崎勇一（名大）
1月27日(金) 午前 09:00 - 12:15
(14)	09:00-10:00	［招待講演］区間制約プログラミングの研究事例～ Under-constrained問題のための射影手法とハイブリッドシステムの高精度シミュレーション手法～ MSS2011-67 SS2011-52	○石井大輔（NII）
	10:00-10:15	休憩　（ 15分）
(15)	10:15-10:45	2台のエレベーターにおけるピーク電力抑制と利便性を両立する制御手法 MSS2011-68 SS2011-53	○高橋宏治（東工大）
(16)	10:45-11:15	複数の確率的遅延を有するネットワーク化システムの制御 MSS2011-69 SS2011-54	○小林孝一・平石邦彦（北陸先端大）
(17)	11:15-11:45	顧客要求を基に要求仕様書を自動生成する仕組み MSS2011-70 SS2011-55	○村山修平・飯塚寛晃・廣瀬史典（芝浦工大）・山中隆敏（富士通研）・古宮誠一（芝浦工大）
(18)	11:45-12:15	離散事象システムの分散型故障診断における冗長性解析 MSS2011-71 SS2011-56	○中田修平・高井重昌（阪大）

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

問合先と今後の予定
MSS	システム数理と応用研究会（MSS） [今後の予定はこちら]
	問合先	中村正樹（富山県立大） Tel: 0766-56-7500 (内 639) E-: -npu-
SS	ソフトウェアサイエンス研究会（SS） [今後の予定はこちら]
	問合先	高田喜朗(高知工科大) TEL 0887-57-2207 FAX 0887-57-2220 E-: a-
	お知らせ	◎最新の情報はSIGSS研究会ホームページでご確認ください． http://www.info.kochi-tech.ac.jp/sigss/