1/24(日)から1/25(月)にかけてに西日本と北陸に非常に強い寒波が流れ込む見込みです．交通機関への影響が予想されており，すでに交通状況の都合でいくつかのキャンセルのお申し出も頂いております．これに伴い，1/24(日)に会場付近に移動できない方が多くなることを想定し，以下のようにプログラムを変更いたします．
学会側のプログラムではなく，こちらを順次更新いたしますので参加される方は定期的にご確認ください．また，発表予定の方で会場への到着が遅れることがわかった場合は SS研/MSS研 幹事団 <ss-staff@ieice.org, mss-kanji@mail.ieice.org> までご連絡下さい．
| 1月25日(月) 午前 MSS1 座長: 石井大輔（福井大） |
|||
| (1) | 09:55-10:20 |
非合理取引行動と市場成長に関するシミュレーションによる考察 〜 IoTが可能にする完全情報下で合理的な取引が市場成長を阻害するケース 〜 | ○内平直志・佐々木康朗（北陸先端大） |
| (2) | 10:20-10:45 |
突発的イベント発生時の音声つぶやきシステムによるスタッフ間の連携効果 | ○崔 舜星・平石邦彦・内平直志（北陸先端大） |
| 10:45-10:55 | 休憩 （ 10分 ） | ||
| 1月25日(月) 午後 MSS2 座長: 内平直志（北陸先端大） 10:55 - 12:10 |
|||
| (4) | 10:55-11:20 | 非決定離散事象システムの双模倣制御に関する一考察 | ○串 直紀・高井重昌（阪大） |
| (5) | 11:20-11:45 | 条件付き判断を用いた分散スーパバイザの許容性の改善 | ○吉田 翔・高井重昌（阪大） |
| (6) | 11:45-12:10 | 線形ハイブリッドオートマトンのnon-Zeno公平性検証に対する遷移述語抽象化の適用 | ○柳瀬 龍・山根 智（金沢大） |
| 12:10-13:10 | 昼食 （ 60分 ） | ||
| 1月25日(月) 午後 SS1 座長: 肥後 芳樹（大阪大） |
|||
| (3) | 13:35-14:00 |
非循環関係の再合成可能な分割によるコレオグラフィ実現 〜 パレート最適な状態機械の合成について 〜 | ○宮本俊幸（阪大） |
| (9) | 14:00-14:25 | モデル計数を用いたXMLデータベースのk-安全性検査システムの高速化 | ○浅井孝俊・橋本健二・関 浩之（名大） |
| (10) | 14:25-14:50 | データフローを可視化する仕様抽出技術 | ○阿部由紀子・玉木裕二（東芝） |
| 14:50-15:00 | 休憩 （ 10分 ） | ||
| 1月25日(月) 午後 【招待講演】 座長: 山根 智（金沢大） 15:00 - 15:45 |
|||
| (11) | 15:00-15:45 | ［招待講演］区間解析による時相論理式の頑健性モニタリング | ○石井大輔（福井大） |
| 1月25日(月) 午後 MSS3 座長: 山根 智（金沢大） 15:45 - 16:35 |
|||
| (12) | 15:45-16:10 | 線形時相論理式からイベントベースオートマトンへの変換を利用したペトリネット検証ツールHiPS向けon-the-flyモデル検査器 | ○張江洋次朗・和崎克己（信州大） |
| (13) | 16:10-16:35 | 情報スーパーバイザ制御の意思決定論的特徴付け | ○佐々木康朗・内平直志（北陸先端大） |
| 16:35-16:45 | 休憩 （ 10分 ） | ||
| 1月25日(月) 午後 SS2 座長: 緒方 和博（JAIST） 16:45 - 17:35 |
|||
| (14) | 16:45-17:10 | 制約付き項書換え系における停止性と帰納的定理の同時証明 | ○川本佳史・西田直樹・酒井正彦（名大） |
| (15) | 17:10-17:35 | A method for making proof graph finite on disjunctive parameterised Boolean equation systems | ○Yutaro Nagae・Masahiko Sakai・Hiroyuki Seki（Nagoya Univ.） |
| 17:35-17:40 | 休憩 （ 5分 ） | ||
| 1月25日(月) 午後 SS3 座長: 結縁 祥治（名古屋大） 17:40 - |
|||
| (17) | 17:40-18:05 |
ハイブリッドシステムのシミュレーションにおける精度保証数値計算と数式処理との連携 | ○松本翔太・上田和紀（早大） |
| (18) | 18:05-18:30 |
モデル検査とテストを応用した制御システム検証手法の検討 | ○松原潤弥・高木理恵子・中澤輝幸（デンソークリエイト）・東道徹也・井原博之・川合幸典（デンソー） |
| (8) | 18:30-18:55 |
機能要求部品を用いた要求仕様作成支援ツールの開発 | ○小島賢也・大森隆行・糸賀裕弥・大西 淳（立命館大） |
| 1月26日(火) 午前 MSS4 座長: 宮本俊幸（阪大） 09:15 - 10:55 |
|||
| (19) | 09:15-09:40 | 分散制御システムに対する最小次元オブザーバを用いた事象駆動出力フィードバック制御 | ○藤田浩平・潮 俊光（阪大） |
| (20) | 09:40-10:05 | 重み付きオートマトンに対する線形時相論理制約の下での最適制御 | 榊原愛海・Sasinee Pruekprasert・○潮 俊光（阪大） |
| (21) | 10:05-10:30 | ネットワーク遅延がある出力フィードバックネットワーク化制御系への強化学習の応用 | ○藤田大嗣・潮 俊光（阪大） |
| (22) | 10:30-10:55 | 荷崩れを起こさない自動搬送台車のアクティブ制振制御 | ○岸本公輔・小坂 学（近畿大） |
| 10:55-11:05 | 休憩 （ 10分 ） | ||
| 1月26日(火) 午前 SS4 座長: 緒方 和博（JAIST） 11:05 - 12:20 |
|||
| (23) | 11:05-11:30 | ナローイングによる制約付き依存対の変換 | ○笹野智裕・西田直樹・酒井正彦（名大） |
| (24) | 11:30-11:55 | ハイブリッドシステムに対するCCSの拡張について | ○川北悠人・結縁祥治（名大） |
| (25) | 11:55-12:20 | Least Laxity Firstスケジューラで資源共有する組込みソフトウェア仕様の拡張時間ペトリネットによるモデル化および性能検証 | ○中村貴史・中田明夫（広島市大） |
| 12:20-13:20 | 昼食 （ 60分 ） | ||
| 1月26日(火) 午後 MSS5 座長: 豊嶋 伊知郎 (東芝) 13:20 - |
|||
| (26) | 13:20-13:45 | 大規模グラフの逐次集約による並列分散クラスタリングアルゴリズムのApache Spark上への実装 | ○浅山 陸・山根 智・櫻井孝平（金沢大） |
| 1月26日(火) 午後 SS5 座長: 小林隆志（東京工大） |
|||
| (30) | 13:45-14:10 |
機械学習を用いた自動生成コードの特定 | ○下仲健斗・鷲見創一・肥後芳樹・楠本真二（阪大） |
| (31) | 14:10-14:35 |
選択的交叉を用いた遺伝的プログラミングに基づく自動修復手法 | ○高 良多朗・肥後芳樹・楠本真二（阪大） |
| (32) | 14:35-15:00 |
コミットログを用いたOSS開発における不確かさに関する実証分析 | ○山下一寛・江 冠達・深町拓也・亀井靖高・鵜林尚靖（九大） |
| 口頭発表キャンセル分
| |||
| (7) | 13:10-13:35 |
Javaプログラミングにおけるリーダブルコード学習ツールの提案 | ○小川卓也・舩曵信生・栗林 稔・石原信也（岡山大）・天野憲樹（武庫川女子大） |
| (16) | 17:40-18:05 |
SysMLステートマシン図のシーケンシャルなSPINモデルへの変換手法 | ○宮本裕也・安藤崇央・久住憲嗣・谷津弘一・福田 晃（九大）・道浦康貴・酒見慶太・松本充広（有人宇宙システム） |
| (27) | 13:45-14:10 |
Elastic WLAN System Model and Its Implementation on Linux-PC | ○Md. Ezharul Islam・Nobuo Funabiki・Minoru Kuribayashi（Okayama Univ.） |
| (28) | 14:10-14:35 |
UPCシステムにおけるベンチマーク測定結果を用いたジョブスケジューリングの提案 | ○青柳有輝・舩曵信生・栗林 稔（岡山大） |
| (29) | 14:45-15:10 |
A Study of Value Trace Problems for Graph Theory Algorithms in Java Programming Learning Assistant System | ○Khin Khin Zaw・Nobuo Funabiki・Minoru Kuribayashi（Okayama Univ.） |