| 電子情報通信学会 研究会発表申込システム 研究会 開催プログラム |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップ | 戻る | / | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
|
★システム数理と応用研究会（MSS） 専門委員長 山口 真悟 (山口大) 副委員長 宮本 俊幸 (阪工大) 幹事 林 直樹 (阪大)， 劉 健全 (NEC) 幹事補佐 白井 匡人 (島根大) ★ソフトウェアサイエンス研究会（SS） 専門委員長 肥後 芳樹 (阪大) 副委員長 高田 喜朗 (高知工科大) 幹事 小形 真平 (信州大)， 柗本 真佑 (阪大) 幹事補佐 橋本 健二 (香川大) 日時 2025年 1月12日(日) 10：00～17：25 2025年 1月13日(月) 10：00～15：35 会場 鹿児島大学 郡元キャンパス 機械工学１号棟2階１１号教室 議題 システム数理と応用，ソフトウェアサイエンスおよび一般 1月12日(日) 午前 SS1 （10：00～11：40） 座長: 高田 喜朗（高知工科大学） (1) 10:00 - 10:25 二次ディオファントス方程式の求解アルゴリズムにつて 中村悠人・○小川瑞史（北陸先端大） (2) 10:25 - 10:50 グラフデータベースを用いたセキュリティプロトコル向け形式検証の提案 ○毛利寿志・米持一樹・三澤 学（三菱電機） (3) 10:50 - 11:15 多プレイヤーゲームにおける制約付きセキュア均衡の存在性 ○水野紘希・中西凜道・関 浩之（名大） (4) 11:15 - 11:40 LLMを用いたPlantUML記述からNuSMVへの自動変換方法 ○井上歓聖・二ノ宮健来・小形真平・岡野浩三（信州大） −−− 休憩 （ 70分 ） −−− 1月12日(日) 午後 MSS1 （12：50～14：30） 座長: 林 直樹（大阪大学） (5) 12:50 - 13:15 移動スーパーマーケットとドローンの連携による食料品配送方式の提案 ○椎名建介・田村 裕（中大） (6) 13:15 - 13:40 2段階確率計画法のシナリオ・サンプリングに基づく近似解法 ～ トラブルによる不確実性を伴う金属リサイクルプロセスを対象として ～ ○榊原一紀・清水拓朗・高野 諒・松本卓也・中村正樹（富山県立大） (7) 13:40 - 14:05 線形スイッチドシステムに対する自己駆動サンプリングを用いた事象駆動スイッチング ○中山翔太・小林孝一・山下 裕（北大） (8) 14:05 - 14:30 MSSロードマップ2025の中間報告 ○豊嶋伊知郎（東芝エネルギーシステムズ）・足立亮介（山口大）・金澤尚史（摂南大）・小林孝一（北大）・中村正樹（富山県立大）・林 直樹（阪大） −−− 休憩 （ 15分 ） −−− 1月12日(日) 午後 SS2 （14：45～16：25） 座長: 伊藤 宗平（長崎大学） (9) 14:45 - 15:10 OSSプロジェクトのメタデータを用いたソフトウェア選択支援ツールの試作 ○小林亮太・松下 誠・肥後芳樹（阪大） (10) 15:10 - 15:35 転移学習を用いたデコンパイラ歪み修正手法の汎用性の再評価 ～ 複数のプログラミング言語を題材として ～ ○田中叶也・柗本真佑・楠本真二（阪大） (11) 15:35 - 16:00 網羅率とSBFL適合性を用いた手動テストと自動生成テストの比較調査 ○清水ささら・肥後芳樹（阪大） (12) 16:00 - 16:25 結合テストを用いたテストの半自動生成手法の提案 ～ 自然で網羅率の高い単体テストの生成を目的として ～ ○小田拓輝・柗本真佑・楠本真二（阪大） −−− 休憩 （ 15分 ） −−− 1月12日(日) 午後 MSS招待講演 （16：40～17：25） 座長: 中村 正樹（富山県立大学） (13) 16:40 - 17:25 ［招待講演］IoT/AI時代にシステム制御に何ができるか考えてみる ○足立亮介（山口大） 1月13日(月) 午前 MSS2 （10：00～11：40） 座長: 白井 匡人（島根大学） (14) 10:00 - 10:25 混合整数計画モデルを応用した避難所への救援物資配分・輸送の最適化 ○松本卓也・榊原一紀・髙野 諒・中村正樹（富山県立大） (15) 10:25 - 10:50 次世代移動通信システムにおける基地局の最適な配置方法について ○片山 壮・田村 裕（中大） (16) 10:50 - 11:15 STRIMの判別問題への適用とNN法との比較検討 ○Ji KAIXUAN・畠山智志・佐伯徹郎（山口大）・加藤裕一（島根大） (17) 11:15 - 11:40 機械学習を用いた日本民謡の地域性の検証 ○井岡龍紀・田村 裕（中大） −−− 休憩 （ 70分 ） −−− 1月13日(月) 午後 SS3 （12：50～14：30） 座長: 橋本 健二（香川大学） (18) 12:50 - 13:15 OverlayGit: OverlayFSを用いた高速なGitファイルシステムの試作 ○三原公平・柗本真佑・楠本真二（阪大） (19) 13:15 - 13:40 多様なプログラミング言語に対するリファクタリングコミットの識別 ○大瀬良龍誠・林 晋平（Science Tokyo） (20) 13:40 - 14:05 Dockerイメージの品質改善を目的としたDockerfile最適化支援ツールの試作 ○森内涼太・柗本真佑・楠本真二（阪大） (21) 14:05 - 14:30 SZZ手法によるバグ混入コミット推定精度向上のためのコンテキストを考慮した開発履歴の提案 ○近藤偉成（阪大）・近藤将成・亀井靖高（九大）・肥後芳樹（阪大） −−− 休憩 （ 15分 ） −−− 1月13日(月) 午後 MSS3 （14：45～15：35） 座長: 宮本 俊幸（大阪工業大学） (22) 14:45 - 15:10 粒子群最適化を用いたマルチオブジェクトトラッキングにおける不規則な挙動の検出 ○髙野 諒・松本卓也・榊原一紀・中村正樹（富山県立大） (23) 15:10 - 15:35 E-Quality：複数型タイムリリース暗号を用いたブロックチェーン上の抽選システムと証券業への応用 ○高橋和音（野村ホールディングス/BOOSTRY） 一般講演：発表 20 分 ＋ 質疑応答 5 分 ☆MSS研究会今後の予定 [ ]内発表申込締切日 3月13日(木)～14日(金) 宮古島市中央公民館 [1月14日(火)] テーマ：MSS，NLP，一般，およびWIP（MSSのみ） 【問合先】 白井 匡人(島根大学) E-mail:   i cis   -u ◎MSS研究会では，研究会（MSSセッション）で発表された論文の中から毎年1件を優秀研究会論文賞として表彰しております．こちらはMSSからの申し込みであれば，特にノミネートのチェックなどは必要ありません． ◎システム数理と応用研究会ホームページもご参照下さい． http://www.ieice.org/~mss/ ☆SS研究会今後の予定 [ ]内発表申込締切日 3月10日(月)～12日(水) アマホームPLAZA（鹿児島県奄美市） [1月10日(金)] テーマ：ソフトウェアサイエンスおよび一般 【問合先】 まつ本 真佑（大阪大学） E-mail: n  ist -u◎最新の情報はSS研究会ホームページでご確認ください． https://www.ieice.org/iss/ss/ Last modified: 2025-01-08 21:53:30 |
ご注意： 迷惑メール対策のためメールアドレスの一部の文字を置換しております．ご了承ください．
[この開催に関する講演論文リストをダウンロードする] ※ こちらのページの最下にあるダウンロードボタンを押してください
[研究会資料インデックス(vol. no.ごとの表紙と目次)]
[研究会発表・参加方法，FAQ] ※ ご一読ください
[MSS研究会のスケジュールに戻る] / [SS研究会のスケジュールに戻る] /
| トップ | 戻る | / | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
[研究会発表申込システムのトップページに戻る]