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） |
: 
i
cis
-u
-u