電子情報通信学会 研究会発表申込システム
研究会 開催プログラム
技報閲覧サービス
技報オンライン
‥‥ (ESS/通ソ/エレソ/ISS)
技報アーカイブ
‥‥ (エレソ/通ソ)
 トップ  戻る   / [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 


システム数理と応用研究会(MSS) [schedule] [select]
専門委員長 名嘉村 盛和 (琉球大)
副委員長 髙井 重昌 (阪大)
幹事 豊嶋 伊知郎 (東芝エネルギーシステムズ), 金澤 尚史 (阪大)
幹事補佐 金城 秀樹 (沖縄大)

ソフトウェアサイエンス研究会(SS) [schedule] [select]
専門委員長 中田 明夫 (広島市大)
副委員長 小林 隆志 (東工大)
幹事 肥後 芳樹 (阪大), 島 和之 (広島市大)
幹事補佐 林 晋平 (東工大)

日時 2019年 1月15日(火) 10:25 - 17:45
2019年 1月16日(水) 09:00 - 16:45
議題 一般 
会場名 沖縄県青年会館 
住所 〒900-0033 沖縄県那覇市久米2丁目15−23
交通案内 那覇空港よりモノレール 旭橋駅下車徒歩5分
http://www.okiseikan.or.jp/
会場世話人
連絡先
沖縄大学 金城秀樹
098-864-1780
参加費に
ついて
この開催は「技報完全電子化」研究会です.参加費(MSS研究会, SS研究会)についてはこちらをご覧ください.

1月15日(火) 午前  MSS-1
座長: 豊嶋 伊知郎(東芝エネルギーシステムズ)
10:25 - 12:40
(1) 10:25-10:50 電力市場におけるネガワットの不安定性低減と需要家間の不平等解消手法の提案 橘 直博長谷 亮篠宮紀彦創価大
(2) 10:50-11:15 デマンドレスポンスのための電力消費ダイナミクスのモデル予測制御 大橋建太小林孝一山下 裕北大
(3) 11:15-11:40 事象駆動モデル予測制御に基づくデマンドレスポンスの設計 宮崎公大小林孝一北大)・東 俊一名大)・山口順之東京理科大)・山下 裕北大
  11:40-12:40 昼食 ( 60分 )
1月15日(火) 午後  MSS-2
座長: 金澤 尚史 (大阪大学)
12:40 - 14:30
(4) 12:40-13:05 Similarity Control of Nondeterministic Discrete Event Systems under Partial Observation Jinglun LiShigemasa TakaiOsaka Univ.
(5) 13:05-13:30 A Study on Control Specifications Using LTL[F] for Supervisory Control Ami SakakibaraToshimitsu UshioOsaka Univ.
(6) 13:30-13:55 外乱のある線形離散時間システムに対する自己駆動モデル予測制御器の一設計法 田頭史都潮 俊光阪大
(7) 13:55-14:20 燃料制約を考慮したグラフ上のマルチエージェントモニタリング 増田 亮小林孝一山下 裕北大
  14:20-14:30 休憩 ( 10分 )
1月15日(火) 午後  SS-1
座長: 肥後 芳樹 (大阪大学)
14:30 - 15:55
(8) 14:30-14:55 依存関係を考慮した部分コミット履歴の再構成支援 舟木亮介林 晋平佐伯元司東工大
(9) 14:55-15:20 アプリケーション開発事例を対象としたテスト設計によるプロセス改善への影響調査 辻原拓弥福安直樹満田成紀松延拓生鯵坂恒夫和歌山大
(10) 15:20-15:45 計算論的融和の枠組みに向けて 高井利憲奈良先端大
  15:45-15:55 休憩 ( 10分 )
1月15日(火) 午後  MSS-3
座長: 内平 直志(北陸先端科学技術大学院大学)
15:55 - 17:00
(11) 15:55-16:40 [招待講演]機械学習を活用した電力需要予測 ~ 機械学習による数値気象予報の活用可能性 ~ 進 博正志賀慶明柿元 満東芝
  16:40-16:50 休憩 ( 10分 )
(12) 16:50-17:00 MSS2017優秀論文表彰式
1月15日(火) 午後  MSS-4
座長: 名嘉村 盛和(琉球大学)
17:00 - 17:45
(13) 17:00-17:45 [招待講演]インセンティブ配分を用いた電力使用量削減問題に対するゲーム理論的アプローチ 長谷川祐太金澤尚史阪大
1月16日(水) 午前  SS-2
座長: 島 和之 (広島市立大学)
09:00 - 10:25
(14) 09:00-09:25 重み付きレジスタオートマトンの最小重み実行問題 吉村玲勇関 浩之名大
(15) 09:25-09:50 論理制約付き書換えにおける構造体および共用体の表現について 金澤慶明西田直樹酒井正彦名大
(16) 09:50-10:15 項書換えにおけるナローイング計算木のベーシックナローイングへの拡張 前田侑也西田直樹酒井正彦小林倫也名大
  10:15-10:25 休憩 ( 10分 )
1月16日(水) 午前  MSS-5
座長: モハマド アヌアルッディン ビン アハマドン(山口大学)
10:25 - 12:40
(17) 10:25-10:50 SMTソルバを用いた時間ペトリネットの非有界モデル検査 井川 直横川智教岡山県立大)・近藤真史川崎医療福祉大)・佐藤洋一郎有本和民岡山県立大
(18) 10:50-11:15 最適速度交通流モデルに基づく並列多段工程を有する生産ラインの分配パラメータ設計 佐野 徹小西啓治阪府大)・伊藤岳大若山永哉NEC
(19) 11:15-11:40 グラフのトポロジカルキューレイアウトの簡潔な証明 宮内美樹NTT
  11:40-12:40 昼食 ( 60分 )
1月16日(水) 午後  SS-3
座長: 中田 明夫 (広島市立大学)
12:40 - 14:05
(20) 12:40-13:05 圧縮XML文書に対するXQuery問合せ評価の効率化 小椋寿希也阪大)・石原靖哲南山大)・藤原 融阪大
(21) 13:05-13:30 データ交換フレームワークにおける問合せ解像度に基づいたデータ公開 福嶋啓二阪大)・石原靖哲南山大)・藤原 融阪大
(22) 13:30-13:55 GearsOSのHoare Logicをベースにした検証手法 外間政尊河野真治琉球大
  13:55-14:05 休憩 ( 10分 )
1月16日(水) 午後  MSS-6
座長: 金城 秀樹(沖縄大学)
14:05 - 15:30
(23) 14:05-14:30 User Preference Extraction Method and Its Rating Scale with Associative Mining and Workflow Net Mohd Anuaruddin Bin AhmadonYamaguchi Univ.)・Piyatida SakornKasetsart Univ.)・Shingo YamaguchiYamaguchi Univ.
(24) 14:30-14:55 機械学習とBLE信号による移動物体の位置推定 當眞 南佐次田新泰琉球大)・金城秀樹沖縄大)・名嘉村盛和琉球大)・崎間 顕国建システム
(25) 14:55-15:20 音声つぶやきシステムを活用した農業ナレッジマネジメントシステム ~ ハウス農業における試行評価 ~ 内平直志北陸先端大)・吉田正巳アグリセンシング
  15:20-15:30 休憩 ( 10分 )
1月16日(水) 午後  SS-4
座長: 林 晋平 (東京工業大学)
15:30 - 16:45
(26) 15:30-15:55 Javaメソッドの高精度な追跡のための細粒度版管理システムの提案 肥後芳樹楠本真二阪大
(27) 15:55-16:20 JavaScriptフレームワーク比較支援のためのプレイグラウンド型ツールの試作 中島 望柗本真佑楠本真二阪大
(28) 16:20-16:45 プログラミング教育における実績制度を用いたコード品質可視化システムの試作 華山魁生柗本真佑肥後芳樹楠本真二阪大

問合先と今後の予定
MSS システム数理と応用研究会(MSS)   [今後の予定はこちら]
問合先 豊嶋 伊知郎(東芝エネルギーシステムズ)
Tel: 042-333-2843
E-: iba 
お知らせ ◎MSS研究会では,研究会(MSSセッション)で発表された論文の中から毎年1件を優秀研究会論文賞として表彰しております.こちらはMSSからの申し込みであれば,特にノミネートのチェックなどは必要ありません.
◎システム数理と応用研究会ホームページもご参照下さい.
http://www.ieice.org/~mss/
SS ソフトウェアサイエンス研究会(SS)   [今後の予定はこちら]
問合先 肥後芳樹 (大阪大学)
TEL: 06-6879-4111
FAX: 06-6879-4114
E-: ist-u 
お知らせ ◎最新の情報はSIGSS研究会ホームページでご確認ください.
http://www.sa.cs.titech.ac.jp/sigss/


Last modified: 2019-01-11 12:57:45


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

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

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

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


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

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


IEICE / 電子情報通信学会