Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2015] | [2016] | [2017] | [2018] | [2019] | [2020] | [2021] | [Japanese] / [English]
MSS2018-54
電力市場におけるネガワットの不安定性低減と需要家間の不平等解消手法の提案
○橘 直博・長谷 亮・篠宮紀彦（創価大）
pp. 1 - 6
MSS2018-55
デマンドレスポンスのための電力消費ダイナミクスのモデル予測制御
○大橋建太・小林孝一・山下 裕（北大）
pp. 7 - 12
MSS2018-56
事象駆動モデル予測制御に基づくデマンドレスポンスの設計
○宮崎公大・小林孝一（北大）・東 俊一（名大）・山口順之（東京理科大）・山下 裕（北大）
pp. 13 - 18
MSS2018-57
Similarity Control of Nondeterministic Discrete Event Systems under Partial Observation
○Jinglun Li・Shigemasa Takai（Osaka Univ.）
pp. 19 - 23
MSS2018-58
A Study on Control Specifications Using LTL[F] for Supervisory Control
○Ami Sakakibara・Toshimitsu Ushio（Osaka Univ.）
pp. 25 - 28
MSS2018-59
外乱のある線形離散時間システムに対する自己駆動モデル予測制御器の一設計法
○田頭史都・潮 俊光（阪大）
pp. 29 - 32
MSS2018-60
燃料制約を考慮したグラフ上のマルチエージェントモニタリング
○増田 亮・小林孝一・山下 裕（北大）
pp. 33 - 36
MSS2018-61
依存関係を考慮した部分コミット履歴の再構成支援
○舟木亮介・林 晋平・佐伯元司（東工大）
pp. 37 - 42
MSS2018-62
アプリケーション開発事例を対象としたテスト設計によるプロセス改善への影響調査
○辻原拓弥・福安直樹・満田成紀・松延拓生・鯵坂恒夫（和歌山大）
pp. 43 - 48
MSS2018-63
計算論的融和の枠組みに向けて
○高井利憲（奈良先端大）
pp. 49 - 54
MSS2018-64
［招待講演］機械学習を活用した電力需要予測 ～ 機械学習による数値気象予報の活用可能性 ～
○進 博正・志賀慶明・柿元 満（東芝）
pp. 55 - 56
MSS2018-65
［招待講演］インセンティブ配分を用いた電力使用量削減問題に対するゲーム理論的アプローチ
○長谷川祐太・金澤尚史（阪大）
pp. 57 - 60
MSS2018-66
重み付きレジスタオートマトンの最小重み実行問題
○吉村玲勇・関 浩之（名大）
pp. 61 - 66
MSS2018-67
論理制約付き書換えにおける構造体および共用体の表現について
○金澤慶明・西田直樹・酒井正彦（名大）
pp. 67 - 72
MSS2018-68
項書換えにおけるナローイング計算木のベーシックナローイングへの拡張
○前田侑也・西田直樹・酒井正彦・小林倫也（名大）
pp. 73 - 78
MSS2018-69
SMTソルバを用いた時間ペトリネットの非有界モデル検査
○井川 直・横川智教（岡山県立大）・近藤真史（川崎医療福祉大）・佐藤洋一郎・有本和民（岡山県立大）
pp. 79 - 84
MSS2018-70
最適速度交通流モデルに基づく並列多段工程を有する生産ラインの分配パラメータ設計
○佐野 徹・小西啓治（阪府大）・伊藤岳大・若山永哉（NEC）
pp. 85 - 90
MSS2018-71
グラフのトポロジカルキューレイアウトの簡潔な証明
○宮内美樹（NTT）
pp. 91 - 96
MSS2018-72
圧縮XML文書に対するXQuery問合せ評価の効率化
○小椋寿希也（阪大）・石原靖哲（南山大）・藤原 融（阪大）
pp. 97 - 102
MSS2018-73
データ交換フレームワークにおける問合せ解像度に基づいたデータ公開
○福嶋啓二（阪大）・石原靖哲（南山大）・藤原 融（阪大）
pp. 103 - 108
MSS2018-74
GearsOSのHoare Logicをベースにした検証手法
○外間政尊・河野真治（琉球大）
pp. 109 - 114
MSS2018-75
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.）
pp. 115 - 119
MSS2018-76
機械学習とBLE信号による移動物体の位置推定
○當眞 南・佐次田新泰（琉球大）・金城秀樹（沖縄大）・名嘉村盛和（琉球大）・崎間 顕（国建システム）
pp. 121 - 125
MSS2018-77
音声つぶやきシステムを活用した農業ナレッジマネジメントシステム ～ ハウス農業における試行評価 ～
○内平直志（北陸先端大）・吉田正巳（アグリセンシング）
pp. 127 - 132
MSS2018-78
Javaメソッドの高精度な追跡のための細粒度版管理システムの提案
○肥後芳樹・楠本真二（阪大）
pp. 133 - 138
MSS2018-79
JavaScriptフレームワーク比較支援のためのプレイグラウンド型ツールの試作
○中島 望・柗本真佑・楠本真二（阪大）
pp. 139 - 144
MSS2018-80
プログラミング教育における実績制度を用いたコード品質可視化システムの試作
○華山魁生・柗本真佑・肥後芳樹・楠本真二（阪大）
pp. 145 - 150
注： 本技術報告は査読を経ていない技術報告であり，推敲を加えられていずれかの場に発表されることがあります．