| 日程 | 平成30年11月12日（月），13日（火） |
|---|---|
| 会場 | ハートピア熱海 |
| 住所 | 〒413-0002 静岡県熱海市伊豆山717-18 |
| 交通案内 | JR熱海駅よりタクシーまたはバス(当日は送迎バスを用意いたします)（ハートピア熱海のアクセスのページ） |
| 原稿提出締切 | 平成30年10月12日（金）23時59分締切厳守 |
今回は電子情報通信学会（IEICE）回路とシステム研究会（CAS）およびシステム数理と応用研究会（MSS）との合同で開催されます．
◎宿泊について
こちらよりハートピア熱海での11月12日の宿泊の申し込みを行うことが可能です(1泊2食付き．申込締め切り：10月26日)．共催には分野間交流という意味合いもございますので，宿泊ありで参加される方はできるだけ会場での宿泊をお願いいたします．
＠昼食について
会場のほうで，12日，13日の昼食を用意することが可能です．希望される方は，上記宿泊申し込みフォームにて注文ください（申込締め切り：10月26日．宿泊なしで日帰りの方でも注文可能です）．
＠送迎について
会場とJR熱海駅の間には送迎バスが定期運航されていますが(ここ を参照)，それとは別に会議開始タイミングに合わせて臨時便を運航いたします(12:30ごろJR熱海駅発を予定)．臨時便への乗車を希望される方は上記宿泊申し込みフォームより申し込みをお願いいたします（申込締め切り：10月26日．宿泊なしで日帰りの方でも申込可能です．臨時便でなく定期便を利用される方は申し込み不要です）．
| 発表番号 | 時間 | 題目 | 著者（○は発表者）など |
|---|---|---|---|
| 11月12日（月） 13:00-18:05 | |||
| AL-1 | 13:00-13:25 | あみだくじリアライゼーション問題の計算複雑さ | 〇山中 克久 (岩手大学), 堀山 貴史 (埼玉大学), 宇野 毅明 (国立情報学研究所), 和佐 州洋 (国立情報学研究所) |
| AL-2 | 13:25-13:50 | An Improved Algorithm for Uniform Page Migration on Euclidean Space | 〇松林 昭 (金沢大) |
| AL-3 | 13:50-14:15 | Polynomial-time Algorithms for Dock Reallocation Problem in Bike Sharing System | 〇塩浦 昭義 (東京工業大学) |
| 休憩（10分） | |||
| CAS | 14:25-14:50 | イジングモデルによる求解における更新方法の性能の検討 | 〇内藤有紀・藤吉邦洋（東京農工大） |
| CAS | 14:50-15:15 | 周辺機器動作をふまえた電源装置の活線劣化診断手法の検討 | 〇石山文彦・鳥海陽平（NTT） |
| CAS | 15:15-15:40 | 重み平均に基づくペアリングによるルール並び替え法 | 〇渕野 敬・原田崇司・田中 賢（神奈川大）・三河賢治（新潟大） |
| 休憩（10分） | |||
| MSS | 15:50-16:15 | 閉路フロー行列変換によるペトリネットの安定部分ネットの検知 | 〇張江洋次朗・和﨑克己（信州大） |
| MSS | 16:15-16:40 | 一般ペトリネットにおける可達グラフ生成プロセスのメモリ効率化手法 | 〇藤森浩平・張江洋次朗・和崎克己（信州大） |
| MSS | 16:40-17:05 | 心拍変動バイオフィードバックのペトリネットモデル | 〇新里幸恵・名嘉村盛和（琉球大） |
| 休憩（10分） | |||
| 招待講演 | 17:15-18:05 | ロバスト最適化法の教師あり機械学習への適用 | 〇武田 朗子(東京大学) |
| 11月13日（火） 8:45-16:05 | |||
| AL-4 | 8:45-9:10 | 誤りの効果的な説明のための反例空間解析 | 〇戸田 貴久 (電気通信大学), 井上 武 (日本電信電話株式会社) |
| AL-5 | 9:10-9:35 | MDDの拡張による線形順序拡大集合の省領域表現とスケジューリング問題への応用 | 〇三宅 郁人 (九州大学), 瀧本 英二 (九州大学), 畑埜 晃平 (九州大学/理研AIP) |
| AL-6 | 9:35-10:00 | On the Possibilities and Impossibilities of Sublinear-Time Rendezvous | 〇江口 僚太 (名古屋工業大学), 北村 直暉 (名古屋工業大学), 泉 泰介 (名古屋工業大学) |
| AL-7 | 10:00-10:25 | Multi-Pass Streaming Algorithms for Monotone Submodular Function Maximization | 〇垣村 尚徳 (慶應義塾大学), Chien-Chung Huang (ENS) |
| 休憩（10分） | |||
| MSS | 10:35-11:00 | 階層型マルチエージェント・シミュレーション技法による駐車場レイアウトの定量評価 | 〇尾山武史・榊原一紀・中村正樹（富山県立大）・松本卓也（創発シス研）・大原 誠（神戸大） |
| MSS | 11:00-11:25 | 放射線技師スケジューリングの中期計画に関する研究 | 〇宮本俊幸・日高国幸（阪大） |
| MSS | 11:25-11:50 | 都市型河川におけるデータ学習型水位予測技術 | 〇山田哲太郎・笹原広志・柿沼 隆・亀田洋志（三菱電機） |
| 昼休み（70分） | |||
| CAS | 13:00-13:25 | Parametric ReLU関数を活性化関数として持つニューラルネットワークで多項式関数を表現する方法 | 〇岡崎秀晃・小澤和也・磯貝海斗・橘 俊宏・中野秀夫（湘南工科大） |
| CAS | 13:25-13:50 | 多項式関数で表現されたニューラルネットワークをコンピュータ上で実装するための検討 | 〇小澤和也・橘 俊宏・中野秀夫・岡崎秀晃（湘南工科大） |
| CAS | 13:50-14:15 | ニューラルネットワークを用いたリチウムイオン蓄電池の劣化診断の一検討 | 〇有馬理仁・林 磊・福井正博（立命館大） |
| CAS | 14:15-14:40 | 全点間最短経路探索問題に対するベクトル計算機での高速実装 | 〇高島康裕（北九州市大）・荒木拓也・細見岳生・中村祐一（NEC） |
| 休憩（10分） | |||
| MSS | 14:50-15:15 | プロセスマイニング手法を適用した離散事象シミュレーションモデルの仕様適合性検査 | 〇上原健嗣・平石邦彦（北陸先端大） |
| MSS | 15:15-15:40 | 代数仕様を用いた数理計画モデルの形式的検証について | 〇中村正樹・榊原一紀（富山県立大） |
| MSS | 15:40-16:05 | 頻度論理に基づく作業プロセスの評価 | 〇高木 理（群馬大） |
今回は一般発表25分（発表20分＋質疑5分）で行います．
本研究会は無査読で実施しています．