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	イジングモデルによる求解における更新方法の性能の検討 CAS2018-61 MSS2018-37	○内藤有紀・藤吉邦洋（東京農工大）
(5) CAS	14:50-15:15	周辺機器動作をふまえた電源装置の活線劣化診断手法の検討 CAS2018-62 MSS2018-38	○石山文彦・鳥海陽平（NTT）
(6) CAS	15:15-15:40	重み平均に基づくペアリングによるルール並び替え法 CAS2018-63 MSS2018-39	○渕野　敬・原田崇司・田中　賢（神奈川大）・三河賢治（新潟大）
	15:40-15:50	休憩　（ 10分 ）
11月12日(月) 午後  MSS1 座長: 金澤尚史(大阪大) 15:50 - 17:15
(7) MSS	15:50-16:15	閉路フロー行列変換によるペトリネットの安定部分ネットの検知 CAS2018-64 MSS2018-40	○張江洋次朗・和﨑克己（信州大）
(8) MSS	16:15-16:40	一般ペトリネットにおける可達グラフ生成プロセスのメモリ効率化手法 CAS2018-65 MSS2018-41	○藤森浩平・張江洋次朗・和崎克己（信州大）
(9) MSS	16:40-17:05	心拍変動バイオフィードバックのペトリネットモデル CAS2018-66 MSS2018-42	○新里幸恵・名嘉村盛和（琉球大）・金城秀樹（沖縄大）・國田　樹（琉球大）
	17:05-17:15	休憩　（ 10分 ）
11月12日(月) 午後  MSS招待講演 座長: 末廣大貴(九州大) 17:15 - 18:05
(10) MSS	17:15-18:05	［招待講演］ロバスト最適化法の教師あり機械学習への適用 CAS2018-67 MSS2018-43	○武田朗子（東大）
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	階層型マルチエージェント・シミュレーション技法による駐車場レイアウトの定量評価 CAS2018-68 MSS2018-44	○尾山武史・榊原一紀・中村正樹（富山県立大）・松本卓也（創発システム研）・大原　誠（神戸大）
(16) MSS	11:00-11:25	放射線技師スケジューリングの中期計画に関する研究 CAS2018-69 MSS2018-45	○宮本俊幸・日高国幸（阪大）
(17) MSS	11:25-11:50	都市型河川におけるポンプ動作を考慮した水位学習による予測精度の向上 CAS2018-70 MSS2018-46	○山田哲太郎・笹原広志・飯田祥文・柿沼　隆・永井誠一・亀田洋志（三菱電機）
	11:50-13:00	昼休　（ 70分 ）
11月13日(火) 午後  CAS2 13:00 - 14:50
(18) CAS	13:00-13:25	Parametric ReLU関数を活性化関数として持つニューラルネットワークの多項式関数包囲を構築する方法 CAS2018-71 MSS2018-47	○岡崎秀晃・小澤和也・磯貝海斗・橘　俊宏・中野秀夫（湘南工科大）
(19) CAS	13:25-13:50	Prametric ReLU関数を活性化関数として持つニューラルネットワークによる多項式関数近似について CAS2018-72 MSS2018-48	○小澤和也・橘　俊宏・中野秀夫・岡崎秀晃（湘南工科大）
(20) CAS	13:50-14:15	ニューラルネットワークを用いたリチウムイオン蓄電池の劣化診断の一検討 CAS2018-73 MSS2018-49	○有馬理仁・林　磊・福井正博（立命館大）
(21) CAS	14:15-14:40	全点間最短経路探索問題に対するベクトル計算機での高速実装 CAS2018-74 MSS2018-50	○高島康裕（北九州市大）・荒木拓也・細見岳生・中村祐一（NEC）
	14:40-14:50	休憩　（ 10分 ）
11月13日(火) 午後  MSS3 座長: 山田 哲太郎(三菱電機) 14:50 - 16:05
(22) MSS	14:50-15:15	プロセスマイニング手法を適用した離散事象シミュレーションモデルの仕様適合性検査 CAS2018-75 MSS2018-51	○上原健嗣・平石邦彦（北陸先端大）
(23) MSS	15:15-15:40	代数仕様を用いた数理計画モデルの形式的検証について CAS2018-76 MSS2018-52	○中村正樹・榊原一紀（富山県立大）
(24) MSS	15:40-16:05	多様なデータの連携分析のための頻度論理の拡張 ～ 頻度論理に基づく，より大規模な業務プロセスの評価に向けて ～ CAS2018-77 MSS2018-53	○高木　理（群馬大）

問合先と今後の予定
IPSJ-AL	アルゴリズム研究会（IPSJ-AL）   [今後の予定はこちら]
	問合先
CAS	回路とシステム研究会（CAS）   [今後の予定はこちら]
	問合先	橘俊宏(湘南工科大学) TEL: 0466-30-0295 E-: bascsn-it
	お知らせ	◎回路とシステム研究会では、研究会の振興を目的として「回路とシステム研究会学生優秀発表賞」を制定しています。優秀な学生発表には、1月の研究会において賞状＆副賞の贈呈を行います。ふるってお申し込み下さい。受賞資格は回路とシステム研究会でご自身で発表され、かつ予稿にて第一著者の方です。詳しくは幹事までお問い合わせください。皆様のご投稿をお待ちしております。
MSS	システム数理と応用研究会（MSS）   [今後の予定はこちら]
	問合先	豊嶋 伊知郎（東芝エネルギーシステムズ） Tel: 042-333-2843 E-: iba
	お知らせ	◎MSS研究会では，研究会（MSSセッション）で発表された論文の中から毎年1件を優秀研究会論文賞として表彰しております．こちらはMSSからの申し込みであれば，特にノミネートのチェックなどは必要ありません．
		◎システム数理と応用研究会ホームページもご参照下さい． http://www.ieice.org/~mss/

Last modified: 2018-11-08 11:56:47