お知らせ 研究会の開催と会場に参加される皆様へのお願い(2020年10月開催~)
電子情報通信学会 研究会発表申込システム
研究会 開催プログラム
技報閲覧サービス
[ログイン]
技報アーカイブ
 トップ  戻る   前のSS研究会 / 次のSS研究会 [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 

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

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

日時 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)

議題 一般

1月15日(火) 午前 MSS-1 (10:25~12:40)
座長: 豊嶋 伊知郎(東芝エネルギーシステムズ)

(1) 10:25 - 10:50
電力市場におけるネガワットの不安定性低減と需要家間の不平等解消手法の提案
○橘 直博・長谷 亮・篠宮紀彦(創価大)

(2) 10:50 - 11:15
デマンドレスポンスのための電力消費ダイナミクスのモデル予測制御
○大橋建太・小林孝一・山下 裕(北大)

(3) 11:15 - 11: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
燃料制約を考慮したグラフ上のマルチエージェントモニタリング
○増田 亮・小林孝一・山下 裕(北大)

−−− 休憩 ( 10分 ) −−−

1月15日(火) 午後 SS-1 (14:30~15:55)
座長: 肥後 芳樹 (大阪大学)

(8) 14:30 - 14:55
依存関係を考慮した部分コミット履歴の再構成支援
○舟木亮介・林 晋平・佐伯元司(東工大)

(9) 14:55 - 15:20
アプリケーション開発事例を対象としたテスト設計によるプロセス改善への影響調査
○辻原拓弥・福安直樹・満田成紀・松延拓生・鯵坂恒夫(和歌山大)

(10) 15:20 - 15:45
計算論的融和の枠組みに向けて
○高井利憲(奈良先端大)

−−− 休憩 ( 10分 ) −−−

1月15日(火) 午後 MSS-3 (15:55~17:00)
座長: 内平 直志(北陸先端科学技術大学院大学)

(11) 15:55 - 16:40
[招待講演]機械学習を活用した電力需要予測 ~ 機械学習による数値気象予報の活用可能性 ~
○進 博正・志賀慶明・柿元 満(東芝)

−−− 休憩 ( 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分 ) −−−

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)

−−− 昼食 ( 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をベースにした検証手法
○外間政尊・河野真治(琉球大)

−−− 休憩 ( 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
音声つぶやきシステムを活用した農業ナレッジマネジメントシステム ~ ハウス農業における試行評価 ~
○内平直志(北陸先端大)・吉田正巳(アグリセンシング)

−−− 休憩 ( 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
プログラミング教育における実績制度を用いたコード品質可視化システムの試作
○華山魁生・柗本真佑・肥後芳樹・楠本真二(阪大)



☆SS研究会今後の予定 [ ]内発表申込締切日

3月4日(月)~5日(火) 沖縄産業支援センター [1月7日(月)] テーマ:一般

【問合先】
肥後芳樹 (大阪大学)
TEL: 06-6879-4111
FAX: 06-6879-4114
E-mail: ist-u

◎最新の情報はSIGSS研究会ホームページでご確認ください.
http://www.sa.cs.titech.ac.jp/sigss/

☆MSS研究会今後の予定 [ ]内発表申込締切日

3月14日(木)~15日(金) 福井大学 文京キャンパス [1月18日(金)] テーマ:SICE-DES研究会,IEICE-MSS研究会,IEICE-NLP研究会の3研究会併催,一般およびWork In Progress(WIP)

【問合先】
豊嶋 伊知郎(東芝エネルギーシステムズ)
Tel: 042-333-2843
E-mail: iba

◎MSS研究会では,研究会(MSSセッション)で発表された論文の中から毎年1件を優秀研究会論文賞として表彰しております.こちらはMSSからの申し込みであれば,特にノミネートのチェックなどは必要ありません.
◎システム数理と応用研究会ホームページもご参照下さい.
http://www.ieice.org/~mss/


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


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

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

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

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


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

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


IEICE / 電子情報通信学会