選奨セッション
数理モデル化と問題解決 (1) |
| 9月2日（水）9:30-12:00 1a会場 |
| CA-001 | Transformer型NN構築への機械学習手法の適用
ーScaled Dot-Product Attention 機構ー
○山名 正哲（理化学研究所） |
| CA-002 | 予測誤差の分散抑制に基づくRobust Regularization（RR）の提案
◎穴井 克和（武蔵野大学） |
| CA-003 | モード級数を利用した周波数特性
○大内 和幸（波動デバイス研究所） |
| CA-004 | 機械学習による症例難易度補正とBayesian状態空間モデルを用いた大腸内視鏡治療術者の習熟度評価
◎山下 啓和（昭和医科大学横浜市北部病院/佐幸医薬工業） |
| CA-005 | 少数カテゴリ時系列データにおけるPELT法の適用と候補点制限による高速化
◎武石 悠希（静岡理工科大学）・髙井 健人（株式会社ジーニー）・周 律旋・小林 舞・君島 真沙実（株式会社良品計画）・山岸 祐己（静岡理工科大学/株式会社良品計画/浜松医科大学）・谷口 ジョイ（静岡理工科大学/国立国語研究所）・高林 貴仁（株式会社良品計画） |
| CA-006 | 符号付き自己情報量に基づくレビュー嗜好のジャンル類似性分析と時系列表現の比較検討
◎杉村 瑞己（静岡理工科大学）・山崎 綾一郎（遠州鉄道）・山岸 祐己（静岡理工科大学/浜松医科大学/良品計画）・周 律旋・小林 舞・君島 真沙実・高林 貴仁（良品計画）・谷口 ジョイ（静岡理工科大学/国立国語研究所） |
選奨セッション
数理モデル化と問題解決 (2) |
| 9月2日（水）9:30-12:00 1b会場 |
| CA-007 | 権威勾配を考慮したクルー割当問題
◎峰行 晃太朗・西谷 郁羽・沖本 天太・酒井 裕規（神戸大学）・水谷 淳（明治大学） |
| CA-008 | 希望違反に基づく個人総負担の公平性を考慮したクルー割当問題
◎西谷 郁羽・峰行 晃太朗・沖本 天太・酒井 裕規（神戸大学）・水谷 淳（明治大学） |
| CA-009 | 待機場を活用したコンテナリハンドリング問題
北浦 宏樹（大阪大学）・○沖本 天太（神戸大学） |
| CA-010 | 冷凍物流倉庫におけるオーダーピッキング方式選択要因の分析と商品配置への応用
◎穗谷野 史一・石垣 綾（東京理科大学） |
| CA-011 | 農産物市場における価格更新ルールが市場安定性と取引効率に与える影響のエージェントベース分析
◎佐藤 輝幸・池田 孝利（大和大学） |
| CA-012 | 解空間の非凸度を考慮した探索を行うIMODE
◎西尾 樹人・穴田 一（東京都市大学） |
| グラフ・符号・組合せ構造 |
| 9月2日（水）13:10-15:10 2a会場 |
| A-001 | 5連結p-k重ドーナツグラフの5分割アルゴリズム
神部 タカユキ・○三浦 一之（福島大学） |
| A-002 | 2要素バンドリング集合をもつ新しいグラフの発見
◎相場 柊人・山田 敏規（埼玉大学） |
| A-003 | A Polynomial-Time Algorithm for Ordered Triplets Consistency
◎Wang Shuo・Jesper Jansson・Shin-ichi Minato（Kyoto University） |
| A-004 | 数独符号語の消失パターンの特徴
◎田米 遼伍（静岡理工科大学）・酒井 佳彦（日本情報産業）・古橋 壮太・足立 智子（静岡理工科大学） |
| A-005 | 直交配列作成における行列の性質を用いたアルゴリズムの改良
◎古橋 壮太・足立 智子（静岡理工科大学） |
| A-006 | メルセンヌ素数とピタゴラス数との関係について
○林 大雅（長構造研究会）・林 佐千男（所属なし）・田中 敏幸（慶応義塾大学） |
| 数理モデル化と問題解決 (3) |
| 9月2日（水）13:10-15:10 2b会場 |
| A-007 | 感染症と関連投稿行動の双方の感染モデルによる感染者数予測
◎田邉 光弘・田島 敬史（京都大学） |
| A-008 | 松山市における救急需要予測と機動救急隊の適正配置
○大塚 寛（愛媛大学） |
| A-009 | 包摂性指標を用いた混合ガウスモデルによる個人の類型化
◎高柳 摩季・小野 敬済・中川 聡・二瓶 美里（東京大学） |
| A-010 | 有界制約付き最適化アルゴリズムの深層展開によるネットワークトモグラフィ
◎岡﨑 慶志郎・最所 圭三・喜田 弘司・藤本 憲市・兒島 雄志（香川大学） |
| A-011 | TOPIXの上位銘柄の金融ネットワーク
◎安藤 聖・足立 智子・鈴木 悠斗（静岡理工科大学） |
| A-012 | 需要の不確実性と参照価格効果を考慮した多期間価格最適化
◎猪熊 柾人・池田 春之介・高野 祐一（筑波大学） |
| 分散・最適化・データ構造 |
| 9月2日（水）15:30-17:30 3a会場 |
| A-013 | 一様k分割問題を解く高速な個体群プロトコル
◎山口 紗音（奈良工業高等専門学校）・金谷 温貴・井上 美智子（奈良先端科学技術大学院大学） |
| A-014 | 外部ソートに基づく重複排除を用いた二分決定グラフ構築の実装と評価
◎山下 敦史・川原 純・湊 真一（京都大学） |
| A-015 | 前提知識付きPPMにおける共有辞書読み込み時間の削減
◎安井 秀太・喜田 拓也（北海学園大学） |
| A-016 | 確率制約付き最適化問題に対するペナルティ交互⽅向法
◎白鳥 春菜・池田 春之介・高野 祐一（筑波大学） |
| A-017 | ゲノム動態シミュレーション手法への勾配正規化と適応的慣性係数を用いたMomentum GDの導入による収束安定化と高速化
○田中 潤一・中川 正基（福岡工業大学） |
| 数理モデル化と問題解決 (4) |
| 9月3日（木）9:30-12:00 4a会場 |
| A-018 | ひびきのAI社会実装研究会における地域AI社会実装エコシステムの形成
○我妻 広明（九州工業大学） |
| A-019 | 建物毎の要救助者期待値と生存率時間減衰を考慮した震災時捜索経路最適化モデルに関する基礎研究
○赤松 章・漁 夏輝・菅井 径世（名古屋産業大学）・森 保宏（名古屋大学） |
| A-020 | 組織の圏による定式化とデータモデル圏による表現
○中村 正治（所属なし） |
| A-021 | 製造業の分析作業向け対話的スケジューリング手法の提案:計画立案における暗黙知抽出と形式知化
◎磯田 祐世・清水 ゆかり・野間 夏美・浅田 勝義（UACJ） |
| A-022 | 適応的近傍探索を組み込んだアリコロニー最適化による電気自動車を導入した車両配送計画
◎長田 宙大・水野 一徳・浪間 楓（拓殖大学） |
| A-023 | 時間割編成へのアニーリング技術の応用
◎浅野 太心・大西 紘平（近畿大学） |
| 数理モデル化と問題解決 (5) |
| 9月3日（木）15:30-17:30 5a会場 |
| A-024 | 説明能力ベクトルは自己説明型モデルの良い初期値 〜複数の画像分類タスクによる検証〜
◎黒堂 裕也・吉川 友也（千葉工業大学） |
| A-025 | グラフニューラルネットワークによる新規映像作品の需要予測
◎片寄 拓紀（oneroots） |
| A-026 | LLM生成の仮想微分教師データを用いた消毒副生成物濃度予測
◎矢作 怜也・関根 海翔・小尾 岳人（群馬大学）・佐野 大輔（東北大学）・加藤 毅（群馬大学） |
| A-027 | 非標準撮影条件に対するノッチ幅指数自動計測手法の頑健性の探索的評価
田 菁菁・◎齋藤 彩斗（群馬大学）・入内島 崇紀（日本大学）・加藤 毅（群馬大学） |
| A-028 | 決定論性を仮定したクロスリカレンスプロットの最適距離尺度
○城 真範・平山 淳一郎（国立研究開発法人産業技術総合研究所） |
| 数理モデル化と問題解決 (6) |
| 9月4日（金）9:30-12:00 6a会場 |
| A-029 | 3次元拡散型分子通信チャネルにおける有限時間情報量評価と観測窓設計
◎山﨑 理桜・池田 孝利（大和大学） |
| A-030 | 特許検索インデックスの自動整備手法の検討
◎青木 健登・末永 高志・笠原 基幹（NTTデータグループ）・吉野 彦太郎・加川 賛多（NTTデータ）・高橋 克・加藤 範久（特許庁） |
| A-031 | Raft分散合意アルゴリズムのLNT仕様記述言語によるクラッシュ故障のモデルと検証
◎小堤 秋也・和﨑 克己（信州大学） |
| A-032 | 弾塑性解析のためのサロゲートモデルの構築と評価
◎野崎 大夢・杉本 剛・朝風 拓己（旭川工業高等専門学校） |
| A-033 | 非集中型ADMMによるマルチマイクログリッドの収束加速化
◎水川 祥・坂野 遼平（一橋大学） |
| 符号・計算モデル・形式仕様 |
| 9月4日（金）13:10-15:40 7a会場 |
| A-034 | 1状態の決定性プッシュダウンオートマトンが受理するある代数的コードについて
○國持 良行（静岡理工科大学） |
| A-035 | 高符号化率畳み込み符号器の適応的進化探索
◎黄 炎・守屋 宣（近畿大学） |
| A-036 | BiST-Mamba: 双方向時空間状態空間モデルによる回転表面符号の効率的復号法
○中野 晴翔・向井 秀夫（明治大学） |
| A-037 | 重み付き変数によるピュアP2P型分散チェックポイントアルゴリズムにおける自発的な取得法
◎谷本 豊・守屋 宣（近畿大学） |
| A-038 | コーディングエージェントによる形式仕様からの証明付きJSON-YAML変換器の生成
○西村 俊二（大分工業高等専門学校） |
