電子情報通信学会 研究会発表申込システム
研究会 開催プログラム
技報閲覧サービス
技報オンライン
‥‥ (ESS/通ソ/エレソ/ISS)
技報アーカイブ
‥‥ (エレソ/通ソ)
 トップ  戻る   / [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

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

講演時間
一般講演発表 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/


Last modified: 2012-01-13 18:10:54


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

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

[技術研究報告冊子体販売対象研究会向け:技報の当日価格一覧] ※ 開催2週間前頃に掲載されます
 
[研究会発表・参加方法,FAQ] ※ ご一読ください
 
[研究会資料インデックス(vol. no.ごとの表紙と目次)]
 

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


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

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


IEICE / 電子情報通信学会