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

問合先と今後の予定
SS	ソフトウェアサイエンス研究会（SS）   [今後の予定はこちら]
	問合先	小林隆志 (東京工業大学) TEL: 03-5734-3471 FAX: 03-5743-3471 E-: tba
	お知らせ	◎最新の情報はSIGSS研究会ホームページでご確認ください． http://www.sa.cs.titech.ac.jp/sigss/
MSS	システム数理と応用研究会（MSS）   [今後の予定はこちら]
	問合先	中田 充（山口大学） Tel: 083-933-5402 E-: mgu-u
	お知らせ	◎MSS研究会では，研究会（MSSセッション）で発表された論文の中から毎年1件を優秀研究会論文賞として表彰しております．こちらはMSSからの申し込みであれば，特にノミネートのチェックなどは必要ありません．
		◎システム数理と応用研究会ホームページもご参照下さい． http://www.ieice.org/~mss/

Last modified: 2016-01-14 20:42:29