お知らせ 2023年度・2024年度 学生員 会費割引キャンペーン実施中です
お知らせ 技術研究報告と和文論文誌Cの同時投稿施策(掲載料1割引き)について
お知らせ 電子情報通信学会における研究会開催について
お知らせ NEW 参加費の返金について
電子情報通信学会 研究会発表申込システム
研究会 開催プログラム
技報閲覧サービス
[ログイン]
技報アーカイブ
 トップ  戻る   / [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 


システム数理と応用研究会(MSS) [schedule] [select]
専門委員長 名嘉村 盛和 (琉球大)
副委員長 髙井 重昌 (阪大)
幹事 豊嶋 伊知郎 (東芝エネルギーシステムズ), 金澤 尚史 (阪大)
幹事補佐 金城 秀樹 (沖縄大)

ソフトウェアサイエンス研究会(SS) [schedule] [select]
専門委員長 緒方 和博 (北陸先端大)
副委員長 中田 明夫 (広島市大)
幹事 小林 隆志 (東工大), 肥後 芳樹 (阪大)
幹事補佐 島 和之 (広島市大)

日時 2018年 1月18日(木) 09:50 - 18:00
2018年 1月19日(金) 09:50 - 17:50
議題  
会場名 広島市立大学サテライトキャンパス 
住所 〒730-0051 広島市中区大手町四丁目1番1号 大手町平和ビル9階
交通案内 https://www.hiroshima-cu.ac.jp/service/category0004/
会場世話人
連絡先
広島市立大学 情報科学研究科 システム工学専攻 島 和之
著作権に
ついて
以下の論文すべての著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)

1月18日(木) 午前  SS-1
座長: 小林 隆志(東工大)
09:50 - 11:30
(1) 09:50-10:15 名前変更リファクタリングが行われた識別子間の関係性に関する実証的調査 MSS2017-47 SS2017-34 梅川尚孝林 晋平佐伯元司東工大
(2) 10:15-10:40 企業におけるソフトウェア開発に対する自動プログラム修正技術 MSS2017-49 SS2017-36 内藤圭吾谷門照斗柗本真佑肥後芳樹楠本真二阪大)・切貫弘之倉林利行丹野治門NTT
(3) 10:40-11:05 シグネチャ情報と入出力情報を用いたJavaメソッドの生成 MSS2017-48 SS2017-35 下仲健斗肥後芳樹松本淳之介内藤圭吾楠本真二阪大
(4) 11:05-11:30 ソースコードの「自然さ」を利用した自動生成ファイルの特定 MSS2017-50 SS2017-37 土居真之肥後芳樹有馬 諒下仲健斗楠本真二阪大
  11:30-12:45 昼食 ( 75分 )
1月18日(木) 午後  MSS-1
座長: 稲元勉 (愛媛大)
12:45 - 14:00
(5) 12:45-13:10 グラフの決定セットの判定法に関する検証 MSS2017-51 SS2017-38 田中香貴後藤隆文中田 充山口大)・Chiranut Sa-ngiamsakKhon Kaen Univ.)・葛 崎偉山口大
(6) 13:10-13:35 複数集団アクセスポイント選択ゲームにおける重み付きポテンシャル MSS2017-52 SS2017-39 小寺雄貴金澤尚史阪大
(7) 13:35-14:00 グラフのスタック数によるスタックキューミックスレイアウト MSS2017-53 SS2017-40 宮内美樹NTT
  14:00-14:15 休憩 ( 15分 )
1月18日(木) 午後  SS-2
座長: 緒方 和博(北陸先端大)
14:15 - 15:30
(8) 14:15-14:40 レジスタ付き文脈自由文法に関する所属問題と空問題の計算複雑さ MSS2017-54 SS2017-41 仙田涼摩関 浩之名大
(9) 14:40-15:05 継続渡しスタイルの関数型プログラミング言語のインタプリタによる並行処理の設計 MSS2017-55 SS2017-42 小島 渚島 和之広島市大
(10) 15:05-15:30 EDFスケジューリングでプロセッサ共有する実時間マルチタスク分散システムに対する拡張時間ペトリネットを用いたデッドライン割り当て最適化手法 MSS2017-56 SS2017-43 松岡伶音中田明夫広島市大
  15:30-15:45 休憩 ( 15分 )
1月18日(木) 午後  MSS-2
座長: 金澤尚史(大阪大)
15:45 - 17:25
(11) 15:45-16:10 組合せ回路用テストパターン生成への計算機代数システムの利用に関する調査 MSS2017-57 SS2017-44 稲元 勉樋上喜信愛媛大
(12) 16:10-16:35 A Proposal of Generating Paths of Program Net and Its Application to Software Testing MSS2017-58 SS2017-45 Biao WuYamaguchi Univ.)・Xiaoan BaoNa ZhangZSTU)・Mitsuru NakataQi-Wei GeYamaguchi Univ.
(13) 16:35-17:00 東洋医学に基づく五臓六腑および十二正経のペトリネットモデルの構築 MSS2017-59 SS2017-46 甘 泉高橋柚有山口大)・呉 靭山口短大)・中田 充葛 崎偉山口大
(14) 17:00-17:25 汎用性を考慮した人体経絡のペトリネットモデルの構築およびシミュレーションデータの集計 MSS2017-60 SS2017-47 グェン ティ トゥイ高橋柚有山口大)・呉 靭山口短大)・中田 充葛 崎偉山口大
  17:25-17:35 休憩 ( 10分 )
1月18日(木) 午後  MSS-3
座長: 豊嶋伊知郎(東芝エネルギーシステムズ)
17:35 - 18:00
(15) 17:35-18:00 [招待講演]プログラミング言語Rubyの開発動向紹介 ~ コードカバレッジ測定機能の改良事例と,Ruby 3に向けた開発目標と進捗 ~ MSS2017-61 SS2017-48 遠藤侑介クックパッド
  - 研究会一日目終了後に懇親会を予定しています.懇親会については別途アナウンスいたします.
1月19日(金) 午前  MSS-4
座長: 宮本俊幸(大阪大)
09:50 - 11:30
(16) 09:50-10:15 Data-Aware Service Orchestration of IoT Service with Data Workflow Net MSS2017-62 SS2017-49 Mohd Anuaruddin Bin AhmadonNaofumi YamaguchiShingo YamaguchiYamaguchi Univ.
(17) 10:15-10:40 エージェント指向ペトリネットPN2 による IoT マルウェアMirai の感染現象のモデル化とその対策の評価について MSS2017-63 SS2017-50 山口真悟・○田中寛彬山口大
(18) 10:40-11:05 プロセスマイニングを用いたサービスの設計と運用のギャップの抽出について MSS2017-64 SS2017-51 和田亮佑モハマドアヌアルディン ビンアフマドン山口大)・豊嶋伊知郎東芝エネルギーシステムズ)・山口真悟山口大
(19) 11:05-11:30 Peer-to-Peer型電力取引におけるプロシューマの効用分析 MSS2017-65 SS2017-52 今堀光恵長谷 亮篠宮紀彦創価大
  11:30-12:45 昼食 ( 75分 )
1月19日(金) 午後  SS-3
座長: 島 和之(広島市立大)
12:45 - 14:25
(20) 12:45-13:10 開発標準プロセスを用いた不完全なソフトウェア要求に対する問題検出の分類法 MSS2017-66 SS2017-53 宮村純真奈良先端大)・川口真司石濱直樹柿本和希JAXA)・飯田 元奈良先端大)・片平真史JAXA
(21) 13:10-13:35 GUI要素のネットワーク化によるテスト手法の提案 MSS2017-67 SS2017-54 清水隆範早坂幾馬・○北村秀介バレンシア ニコラスSIE
(22) 13:35-14:00 版管理システム利用時のソフトウェア開発フロー遵守状況可視化手法の検討 MSS2017-68 SS2017-55 井上拓海小島遥一郎阪工大)・藤原賢二豊田高専)・井垣 宏阪工大
(23) 14:00-14:25 テストログを用いたテストコード生成支援ツールの戻り値のあるJavaメソッドへの拡張 MSS2017-69 SS2017-56 日下涼太舩曵信生栗林 稔石原信也岡山大
  14:25-14:40 休憩 ( 15分 )
1月19日(金) 午後  MSS-5
座長: 田岡智志(広島大)
14:40 - 16:20
(24) 14:40-15:05 オブザーバを用いた非決定離散事象システムの分散型模倣制御 MSS2017-70 SS2017-57 大久保 樹高井重昌阪大
(25) 15:05-15:30 Application of M-Matrices to Stabilization of Composite Systems via Decentralized Event-Triggered Control MSS2017-71 SS2017-58 Kenichi FukudaToshimitsu UshioOsaka Univ.
(26) 15:30-15:55 リズム運動における位相リセット制御機構の数理解析 MSS2017-72 SS2017-59 中田一紀広島市大)・三浦佳二関西学院大
(27) 15:55-16:20 アミノ酸断片配列慣用句ネットワーク解析のための共通部分グラフ問題 MSS2017-73 SS2017-60 前城健太郎琉球大)・天願 健名桜大)・名嘉村盛和琉球大
  16:20-16:35 休憩 ( 15分 )
1月19日(金) 午後  SS-4
座長: 肥後 芳樹(阪大)
16:35 - 17:50
(28) 16:35-17:00 サーバ管理演習のためのユーザー行動履歴収集システムの検討 MSS2017-74 SS2017-61 西村一輝井垣 宏阪工大
(29) 17:00-17:25 Javaプログラミング学習支援システムのテストコード学習のためのコード修正問題の提案 MSS2017-75 SS2017-62 何 賽舩曵信生栗林 稔石原信也岡山大
(30) 17:25-17:50 Javaプログラミング学習支援システムJPLASへのソースコード管理システムの導入 MSS2017-76 SS2017-63 松本慎平舩曵信生栗林 稔石原信也岡山大

講演時間
一般講演発表 17 分 + 質疑応答 8 分

問合先と今後の予定
MSS システム数理と応用研究会(MSS)   [今後の予定はこちら]
問合先 豊嶋 伊知郎(東芝)
Tel: 042-333-2843
E--mail: iba 
お知らせ ◎MSS研究会では,研究会(MSSセッション)で発表された論文の中から毎年1件を優秀研究会論文賞として表彰しております.こちらはMSSからの申し込みであれば,特にノミネートのチェックなどは必要ありません.
◎システム数理と応用研究会ホームページもご参照下さい.
http://www.ieice.org/~mss/
SS ソフトウェアサイエンス研究会(SS)   [今後の予定はこちら]
問合先 肥後芳樹 (大阪大学)
TEL: 06-6879-4111
FAX: 06-6879-4114
E--mail: ist-u 
お知らせ ◎最新の情報はSIGSS研究会ホームページでご確認ください.
http://www.sa.cs.titech.ac.jp/sigss/


Last modified: 2018-01-18 13:39:07


ご注意: 迷惑メール対策のためメールアドレスの一部の文字を置換しております.ご了承ください.

[この開催に関する講演論文リストをダウンロードする] ※ こちらのページの最下にあるダウンロードボタンを押してください
 
[研究会資料インデックス(vol. no.ごとの表紙と目次)]
 

[研究会発表・参加方法,FAQ] ※ ご一読ください
 

[MSS研究会のスケジュールに戻る]   /   [SS研究会のスケジュールに戻る]   /  
 
 トップ  戻る   / [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 


[研究会発表申込システムのトップページに戻る]

[電子情報通信学会ホームページ]


IEICE / 電子情報通信学会