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 Li・Shigemasa Takai（Osaka Univ.） |
| (5) |
13:05-13:30 |
A Study on Control Specifications Using LTL[F] for Supervisory Control |
○Ami Sakakibara・Toshimitsu Ushio（Osaka 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 Ahmadon（Yamaguchi Univ.）・Piyatida Sakorn（Kasetsart Univ.）・Shingo Yamaguchi（Yamaguchi 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 |
プログラミング教育における実績制度を用いたコード品質可視化システムの試作 |
○華山魁生・柗本真佑・肥後芳樹・楠本真二（阪大） |
: i
-u