11月12日(月) 午後 AL1 13:00 - 14:25 |
(1) |
13:00-13:25 |
あみだくじリアライゼーション問題の計算複雑さ
〇山中 克久 (岩手大学), 堀山 貴史 (埼玉大学), 宇野 毅明 (国立情報学研究所), 和佐 州洋 (国立情報学研究所) |
(2) |
13:25-13:50 |
An Improved Algorithm for Uniform Page Migration on Euclidean Space
〇松林 昭 (金沢大) |
(3) |
13:50-14:15 |
Polynomial-time Algorithms for Dock Reallocation Problem in Bike Sharing System
〇塩浦 昭義 (東京工業大学) |
|
14:15-14:25 |
休憩 ( 10分 ) |
11月12日(月) 午後 CAS1 14:25 - 15:50 |
(4) CAS |
14:25-14:50 |
イジングモデルによる求解における更新方法の性能の検討 |
○内藤有紀・藤吉邦洋(東京農工大) |
(5) CAS |
14:50-15:15 |
周辺機器動作をふまえた電源装置の活線劣化診断手法の検討 |
○石山文彦・鳥海陽平(NTT) |
(6) CAS |
15:15-15:40 |
重み平均に基づくペアリングによるルール並び替え法 |
○渕野 敬・原田崇司・田中 賢(神奈川大)・三河賢治(新潟大) |
|
15:40-15:50 |
休憩 ( 10分 ) |
11月12日(月) 午後 MSS1 座長: 金澤尚史(大阪大) 15:50 - 17:15 |
(7) MSS |
15:50-16:15 |
閉路フロー行列変換によるペトリネットの安定部分ネットの検知 |
○張江洋次朗・和﨑克己(信州大) |
(8) MSS |
16:15-16:40 |
一般ペトリネットにおける可達グラフ生成プロセスのメモリ効率化手法 |
○藤森浩平・張江洋次朗・和崎克己(信州大) |
(9) MSS |
16:40-17:05 |
心拍変動バイオフィードバックのペトリネットモデル |
○新里幸恵・名嘉村盛和(琉球大)・金城秀樹(沖縄大)・國田 樹(琉球大) |
|
17:05-17:15 |
休憩 ( 10分 ) |
11月12日(月) 午後 MSS招待講演 座長: 末廣大貴(九州大) 17:15 - 18:05 |
(10) MSS |
17:15-18:05 |
[招待講演]ロバスト最適化法の教師あり機械学習への適用 |
○武田朗子(東大) |
11月13日(火) 午前 AL2 08:45 - 10:35 |
(11) |
08:45-09:10 |
誤りの効果的な説明のための反例空間解析
〇戸田 貴久 (電気通信大学), 井上 武 (日本電信電話株式会社) |
(12) |
09:10-09:35 |
MDDの拡張による線形順序拡大集合の省領域表現とスケジューリング問題への応用
〇三宅 郁人 (九州大学), 瀧本 英二 (九州大学), 畑埜 晃平 (九州大学/理研AIP) |
(13) |
09:35-10:00 |
On the Possibilities and Impossibilities of Sublinear-Time Rendezvous
〇江口 僚太 (名古屋工業大学), 北村 直暉 (名古屋工業大学), 泉 泰介 (名古屋工業大学) |
(14) |
10:00-10:25 |
Multi-Pass Streaming Algorithms for Monotone Submodular Function Maximization
〇垣村 尚徳 (慶應義塾大学) |
|
10:25-10:35 |
休憩 ( 10分 ) |
11月13日(火) 午前 MSS2 座長: 高木 理(群馬大) 10:35 - 13:00 |
(15) MSS |
10:35-11:00 |
階層型マルチエージェント・シミュレーション技法による駐車場レイアウトの定量評価 |
○尾山武史・榊原一紀・中村正樹(富山県立大)・松本卓也(創発システム研)・大原 誠(神戸大) |
(16) MSS |
11:00-11:25 |
放射線技師スケジューリングの中期計画に関する研究 |
○宮本俊幸・日高国幸(阪大) |
(17) MSS |
11:25-11:50 |
都市型河川におけるポンプ動作を考慮した水位学習による予測精度の向上 |
○山田哲太郎・笹原広志・飯田祥文・柿沼 隆・永井誠一・亀田洋志(三菱電機) |
|
11:50-13:00 |
昼休 ( 70分 ) |
11月13日(火) 午後 CAS2 13:00 - 14:50 |
(18) CAS |
13:00-13:25 |
Parametric ReLU関数を活性化関数として持つニューラルネットワークの多項式関数包囲を構築する方法 |
○岡崎秀晃・小澤和也・磯貝海斗・橘 俊宏・中野秀夫(湘南工科大) |
(19) CAS |
13:25-13:50 |
Prametric ReLU関数を活性化関数として持つニューラルネットワークによる多項式関数近似について |
○小澤和也・橘 俊宏・中野秀夫・岡崎秀晃(湘南工科大) |
(20) CAS |
13:50-14:15 |
ニューラルネットワークを用いたリチウムイオン蓄電池の劣化診断の一検討 |
○有馬理仁・林 磊・福井正博(立命館大) |
(21) CAS |
14:15-14:40 |
全点間最短経路探索問題に対するベクトル計算機での高速実装 |
○高島康裕(北九州市大)・荒木拓也・細見岳生・中村祐一(NEC) |
|
14:40-14:50 |
休憩 ( 10分 ) |
11月13日(火) 午後 MSS3 座長: 山田 哲太郎(三菱電機) 14:50 - 16:05 |
(22) MSS |
14:50-15:15 |
プロセスマイニング手法を適用した離散事象シミュレーションモデルの仕様適合性検査 |
○上原健嗣・平石邦彦(北陸先端大) |
(23) MSS |
15:15-15:40 |
代数仕様を用いた数理計画モデルの形式的検証について |
○中村正樹・榊原一紀(富山県立大) |
(24) MSS |
15:40-16:05 |
多様なデータの連携分析のための頻度論理の拡張 ~ 頻度論理に基づく,より大規模な業務プロセスの評価に向けて ~ |
○高木 理(群馬大) |