研究会開催プログラム

お知らせ 2023年度・2024年度学生員会費割引キャンペーン実施中です
お知らせ技術研究報告と和文論文誌Ｃの同時投稿施策(掲載料1割引き)について
お知らせ参加費の返金について

電子情報通信学会研究会発表申込システム
研究会開催プログラム

技報閲覧サービス
[ログイン]
技報アーカイブ

トップ

戻る

前のSS研究会 /

[HTML] / [HTML(simple)] / [TEXT]

[Japanese] / [English]

ソフトウェアサイエンス研究会（SS）

[schedule] [select]

専門委員長		肥後芳樹 (阪大)
副委員長		高田喜朗 (高知工科大)
幹事		小形真平 (信州大)，柗本真佑 (阪大)
幹事補佐		橋本健二 (香川大)

システム数理と応用研究会（MSS）

[schedule] [select]

専門委員長		山口真悟 (山口大)
副委員長		宮本俊幸 (阪工大)
幹事		林直樹 (阪大)，劉健全 (NEC)
幹事補佐		白井匡人 (島根大)

日時	2025年 1月12日(日)　10:00 - 17:25 2025年 1月13日(月)　10:00 - 15:35
議題	システム数理と応用，ソフトウェアサイエンスおよび一般
会場名	鹿児島大学郡元キャンパス
参加費について	この開催は「技報完全電子化」研究会です．参加費（MSS研究会, SS研究会）についてはこちらをご覧ください．

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への自動変換方法	○井上歓聖・二ノ宮健来・小形真平・岡野浩三（信州大）
	11:40-12:50	休憩　（ 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ロードマップの中間報告	○豊嶋伊知郎（東芝エネルギーシステムズ）・足立亮介（山口大）・金澤尚史（摂南大）・小林孝一（北大）・中村正樹（富山県立大）・林　直樹（阪大）
	14:30-14:45	休憩　（ 15分）
1月12日(日) 午後 SS2 14:45 - 16:25
(9)	14:45-15:10	OSSプロジェクトのメタデータを用いたソフトウェア選択支援ツールの試作	○小林亮太・松下　誠・肥後芳樹（阪大）
(10)	15:10-15:35	転移学習を用いたデコンパイラ歪み修正手法の汎用性の再評価～複数のプログラミング言語を題材として～	○田中叶也・柗本真佑・楠本真二（阪大）
(11)	15:35-16:00	自動生成ツールによって生成されたテストの信頼性評価	○清水ささら・肥後芳樹（阪大）
(12)	16:00-16:25	結合テストを用いたテストの半自動生成手法の提案～自然で網羅率の高い単体テストの生成を目的として～	○小田拓輝・楠本真二・柗本真佑（阪大）
	16:25-16:40	休憩　（ 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	機械学習を用いた日本民謡の地域性の検証	○井岡龍紀・田村　裕（中大）
	11:40-12:50	休憩　（ 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	ソースコードの1行3トークン変換によるSZZアルゴリズムの精度評価と分析	○近藤偉成・肥後芳樹（阪大）
	14:30-14:45	休憩　（ 15分）
1月13日(月) 午後 MSS3 14:45 - 15:35
(22)	14:45-15:10	粒子群最適化を用いたマルチオブジェクトトラッキングにおける不規則な挙動の検出	○髙野　諒・松本卓也・榊原一紀・中村正樹（富山県立大）
(23)	15:10-15:35	E-Quality：複数型タイムリリース暗号を用いたブロックチェーン上の抽選システムと証券業への応用	○高橋和音（野村ホールディングス/BOOSTRY）

講演時間
一般講演	発表 20 分＋質疑応答 5 分

問合先と今後の予定
SS	ソフトウェアサイエンス研究会（SS） [今後の予定はこちら]
	問合先	まつ本真佑（大阪大学） E-: nist-u
	お知らせ	◎最新の情報はSS研究会ホームページでご確認ください． https://www.ieice.org/iss/ss/
MSS	システム数理と応用研究会（MSS） [今後の予定はこちら]
	問合先	白井匡人(島根大学) E-: icis-u
	お知らせ	◎MSS研究会では，研究会（MSSセッション）で発表された論文の中から毎年1件を優秀研究会論文賞として表彰しております．こちらはMSSからの申し込みであれば，特にノミネートのチェックなどは必要ありません．
		◎システム数理と応用研究会ホームページもご参照下さい． http://www.ieice.org/~mss/