| 電子情報通信学会 研究会発表申込システム 研究会 開催プログラム |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップ | 戻る | / | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
|
★システム数理と応用研究会（MSS） 専門委員長 平石 邦彦 (北陸先端大) 副委員長 中村 祐一 (NEC) 幹事 中村 正樹 (富山県立大)， 山口 真之介 (九工大) 幹事補佐 西脇 大輔 (NEC) ★ソフトウェアサイエンス研究会（SS） 専門委員長 関 浩之 (奈良先端大) 副委員長 中島 震 (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．高知工科大学 高田喜朗） 議題 一般 1月26日(木) 午前 （09：30～12：15） (1) 09:30 - 10:00 音声つぶやきによる看護・介護の時空間コミュニケーション ～ 情報スーパーバイザ制御の提案 ～ ○内平直志・鳥居健太郎（東芝）・平石邦彦・崔 舜星・知野哲朗（北陸先端大）・平林裕治（清水建設）・杉原太郎（北陸先端大） (2) 10:00 - 10:30 フィジカルコンピューティングのためのスマートフォンを用いた開発環境の提案 ○上村祐加・高田喜朗（高知工科大） (3) 10:30 - 11:00 コスト予測における対数変換すべき変数の判別手法の評価 ○三好健太（香川高専）・生方克馬（野村総研）・柿元 健（香川高専）・楠本真二（阪大） −−− 休憩 （ 15分 ） −−− (4) 11:15 - 11:45 アーキテクチャ点写像による設計・コード間の双方向追跡 ○鵜林尚靖・亀井靖高（九大） (5) 11:45 - 12:15 SMTソルバーを用いたUML状態機械の有界モデル検査に関する一考察 ○新村勇人・宮本俊幸（阪大） −−− 昼食 （ 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分 ） −−− (10) 15:30 - 16:00 単純型付き項書換え系における書換え帰納法について ○尾関 朗・草刈圭一朗・坂田 翼・西田直樹・酒井正彦・坂部俊樹（名大） (11) 16:00 - 16:30 高階書換え系における引数切り落とし関数の下での実効規則について ○大井一展・草刈圭一朗・酒井正彦・坂部俊樹・西田直樹（名大） (12) 16:30 - 17:00 分解法に基づく2目的巡回セールスマン問題の解法とその評価 ○稲本浩也・橋爪 悟・矢嶌智之・橋爪 進・小野木克明（名大） −−− 休憩 （ 15分 ） −−− (13) 17:15 - 18:15 ［招待講演］サイバーフィジカルシステムの数理 ○田崎勇一（名大） 1月27日(金) 午前 （09：00～12：15） (14) 09:00 - 10:00 ［招待講演］区間制約プログラミングの研究事例 ～ Under-constrained問題のための射影手法とハイブリッドシステムの高精度シミュレーション手法 ～ ○石井大輔（NII） −−− 休憩 （ 15分 ） −−− (15) 10:15 - 10:45 2台のエレベーターにおけるピーク電力抑制と利便性を両立する制御手法 ○高橋宏治（東工大） (16) 10:45 - 11:15 複数の確率的遅延を有するネットワーク化システムの制御 ○小林孝一・平石邦彦（北陸先端大） (17) 11:15 - 11:45 顧客要求を基に要求仕様書を自動生成する仕組み ○村山修平・飯塚寛晃・廣瀬史典（芝浦工大）・山中隆敏（富士通研）・古宮誠一（芝浦工大） (18) 11:45 - 12:15 離散事象システムの分散型故障診断における冗長性解析 ○中田修平・高井重昌（阪大） 一般講演：発表 20 分 ＋ 質疑応答 10 分 ◎26日研究会終了後，懇親会を予定していますのでご参加ください。 割烹旅館おおりや 内「希満里(けまり)」19時～21時 下記Webページにて参加登録をよろしくお願いいたします。 http://www.info.kochi-tech.ac.jp/sigss/konshin/?id=1201 ☆MSS研究会今後の予定 [ ]内発表申込締切日 3月8日(木)～9日(金) JAIST東京サテライト [12月12日(月)] テーマ：一般 【問合先】 中村 正樹 （富山県立大） Tel: 0766-56-7500 (内 639) E-mail:    -n pu-   ☆SS研究会今後の予定 [ ]内発表申込締切日 3月13日(火)～14日(水) てんぶす那覇 [1月19日(木)] テーマ：一般 【問合先】 高田喜朗(高知工科大) TEL 0887-57-2207 FAX 0887-57-2220 E-mail:      a  - ◎最新の情報はSIGSS研究会ホームページでご確認ください． http://www.info.kochi-tech.ac.jp/sigss/ Last modified: 2012-01-13 18:10:54 |
ご注意： 迷惑メール対策のためメールアドレスの一部の文字を置換しております．ご了承ください．
[この開催に関する講演論文リストをダウンロードする] ※ こちらのページの最下にあるダウンロードボタンを押してください
[研究会資料インデックス(vol. no.ごとの表紙と目次)]
[研究会発表・参加方法，FAQ] ※ ご一読ください
[MSS研究会のスケジュールに戻る] / [SS研究会のスケジュールに戻る] /
| トップ | 戻る | / | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
[研究会発表申込システムのトップページに戻る]