一般セッション・学生セッション
ソフトウェア科学・工学
一般セッション［2A会場］（3月3日（木） 12:40〜15:10）
数理モデル化と問題解決（1） 座長 庄野 逸（電通大）
2A-01
反証的CTLモデル検査の拡張とその応用
○神戸勢大，石野寛人，楊 奕偉，ニークアン クー，上出哲広（帝京大）
○神戸勢大，石野寛人，楊 奕偉，ニークアン クー，上出哲広（帝京大）
2A-02
重力波望遠鏡に現れる突発性雑音の教師なし分類
○坂井佑輔（東京都市大），伊藤洋介（阪市大），苔山圭以子（カーディフ大），中平勝子（長岡技科大），押野翔一（東大），鹿野 豊（群馬大），高橋弘毅（東京都市大），内山 隆（東大），鷲見貴生（国立天文台），山本尚弘，横澤孝章（東大）
○坂井佑輔（東京都市大），伊藤洋介（阪市大），苔山圭以子（カーディフ大），中平勝子（長岡技科大），押野翔一（東大），鹿野 豊（群馬大），高橋弘毅（東京都市大），内山 隆（東大），鷲見貴生（国立天文台），山本尚弘，横澤孝章（東大）
2A-03
MEMDを用いたフォトニック結晶内の電磁波周波数解析
○重田大祐，董 然，生野壮一郎（東京工科大）
○重田大祐，董 然，生野壮一郎（東京工科大）
2A-04
サッカーのフォーメーション評価のための選手のネットワークの構築
○大塚 寛，山中 亮（愛媛大）
○大塚 寛，山中 亮（愛媛大）
2A-05
深層生成モデルによる時系列モデルの同定
○石曽根毅（明大），樋口知之（中大），中村和幸（明大）
○石曽根毅（明大），樋口知之（中大），中村和幸（明大）
2A-06
異常な状態遷移の生成によりSTAMP/STPAに基づくハザード要因を抽出するアルゴリズムの検討
○笹 晋也，太田原千秋（日立）
○笹 晋也，太田原千秋（日立）
2A-07
大富豪に千日手局面は存在しない
○大渡勝己（無所属），木谷裕紀（九大）
○大渡勝己（無所属），木谷裕紀（九大）
一般セッション［4A会場］（3月4日（金） 9:30〜11:30）
数理モデル化と問題解決（2） 座長 中村 和幸（明大）
4A-01
強化学習を用いた畳み込みニューラルネットワークによる巡回セールスマン問題の解法
○三木彰馬，榎原博之（関西大）
○三木彰馬，榎原博之（関西大）
4A-02
ニューラルネットワークを用いたリーマン計量に対する変分問題の数値解法
○佐藤 哲（パーソルキャリア）
○佐藤 哲（パーソルキャリア）
4A-03
構成的符号化を用いたECOCの一構成法（続）
○平澤茂一，雲居玄道（早大），八木秀樹（電通大），小林 学，後藤正幸（早大），稲積宏誠（青学大）
○平澤茂一，雲居玄道（早大），八木秀樹（電通大），小林 学，後藤正幸（早大），稲積宏誠（青学大）
4A-04
確率的離散一次法による一般化線形モデルの特徴選択
○工藤晃太，高野祐一（筑波大）
○工藤晃太，高野祐一（筑波大）
4A-05
深層学習を用いた未知の重力波信号候補検出手法の構築
○南雲彩花（BSNアイネット），中平勝子（長岡技科大），田中貴浩（京大）
○南雲彩花（BSNアイネット），中平勝子（長岡技科大），田中貴浩（京大）
4A-06
視野が重ならない複数カメラに対するレーザ光線とその反射光によるキャリブレーション法
○西村隆之（ファンクション工房）
○西村隆之（ファンクション工房）
一般セッション［7A会場］（3月5日（土） 13:20〜15:20）
アルゴリズム (一般) 座長 定兼 邦彦（東大）
7A-01
行列の作用素の代数系と Magic Matrix 構成への応用
○杉山雅英（無所属），西舘陽平，浅井信吉（会津大）
○杉山雅英（無所属），西舘陽平，浅井信吉（会津大）
7A-02
mMTCにおけるグラントフリー非直交多元接続方式のための自己組織的電力制御アルゴリズムの性能評価
○平井健士，小田 怜，若宮直紀（阪大）
○平井健士，小田 怜，若宮直紀（阪大）
一般セッション［1B会場］（3月3日（木） 9:30〜11:30）
ソフトウェア開発・運用 座長 善明 晃由（サイバーエージェント）
1B-01
システムモデルを用いた対話型上流設計によるサービス開発 - モデルで納品・モデルで開発・モデルで検証 -
○三浦政司（JAXA），吉澤良典，弓山 彬，南部陽介，山舖智也（レヴィ）
○三浦政司（JAXA），吉澤良典，弓山 彬，南部陽介，山舖智也（レヴィ）
1B-02
文書の類似性を利用した影響分析ツールの評価
○川岸諒子，徳本修一，高橋加寿子，塚本良太（三菱）
○川岸諒子，徳本修一，高橋加寿子，塚本良太（三菱）
1B-03
設計書レビュー支援のためのチェック項目該当記載箇所の特定方法
○大林浩気，前岡 淳，河合克己，緒方孝一郎，鈴木一平，三島典子，手塚聡子，嶋村伸子（日立）
○大林浩気，前岡 淳，河合克己，緒方孝一郎，鈴木一平，三島典子，手塚聡子，嶋村伸子（日立）
1B-04
リモートワークにおけるチケット駆動開発に関する考察
○武藤将弘，落合昌樹，市原和幸，南部広樹，福士 陽（日立）
○武藤将弘，落合昌樹，市原和幸，南部広樹，福士 陽（日立）
1B-05
手続き型IaCを利用したフィーチャベースクラウドプロビジョニング
○味藤未冴来，大原貴都，清水 遼，鹿糠秀行，富坂 稔（日立）
○味藤未冴来，大原貴都，清水 遼，鹿糠秀行，富坂 稔（日立）
1B-06
（講演取消）
一般セッション［5B会場］（3月4日（金） 12:40〜15:10）
社会の実問題に対する数理モデル化と問題解決（3） 座長 高岡 旭（室蘭工大）
5B-01
（講演取消）
5B-02
Map-elitesにおける被覆率を指標とした局所的探索手法
○田村謙次（中央学院大）
○田村謙次（中央学院大）
5B-03
株所有ネットワークを通じた投資運用会社による企業コントロール
○水野貴之（NII），土井翔平（北大），栗崎周平（早大）
○水野貴之（NII），土井翔平（北大），栗崎周平（早大）
5B-04
直交計画を用いた実験における複素空間での計算の高速化に関する一考察
○浮田善文（横浜商科大），齋藤友彦（湘南工科大），松嶋敏泰（早大）
○浮田善文（横浜商科大），齋藤友彦（湘南工科大），松嶋敏泰（早大）
5B-05
大学キャンパスでの電力需要予測とその応用
○河野敏鑑，野澤崚司，石井健太郎，安藤 映，沼 晃介，飯田周作，植竹朋文，江原 淳（専修大）
○河野敏鑑，野澤崚司，石井健太郎，安藤 映，沼 晃介，飯田周作，植竹朋文，江原 淳（専修大）
5B-06
完全K分木型連結ピン組織構造の最上位メンバーと同一階層Kメンバーの関係追加
○澤田 清（流通科学大）
○澤田 清（流通科学大）
5B-07
アルコールパッチテストのための皮膚色測定システムの構築
○金澤知典（愛媛県立医療技術大），富所雄一（愛媛県立中央病院），山田啓之（愛媛大），脇坂浩之（愛媛県立医療技術大）
○金澤知典（愛媛県立医療技術大），富所雄一（愛媛県立中央病院），山田啓之（愛媛大），脇坂浩之（愛媛県立医療技術大）
学生セッション［5E会場］（3月4日（金） 12:40〜15:10）
量子ソフトウェア 座長 スッパキットパイサーン ウォラポン（東大）
5E-01
交通流モデルのための一方向多粒子量子ウォークの検討
○沙々木祐斉，小島諒介，辻本 諭（京大）
○沙々木祐斉，小島諒介，辻本 諭（京大）
5E-02
量子コンピューティングによる記事の組み合わせ最適化
○木内美波，工藤和恵（お茶の水女子大），中島寛人，澤 紀彦（日本経済新聞社）
○木内美波，工藤和恵（お茶の水女子大），中島寛人，澤 紀彦（日本経済新聞社）
5E-03
量子アニーリングによる構文解析手法
○小見山朋子（山梨大）
○小見山朋子（山梨大）
学生セッション［2K会場］（3月3日（木） 12:40〜15:10）
プログラミング (2) 座長 千代 英一郎（成蹊大）
2K-01
MoodleとJupyterHubを用いたプログラミング環境の構築
○池田裕希，長尾和彦，田房友典（弓削商船高専）
○池田裕希，長尾和彦，田房友典（弓削商船高専）
2K-02
HUMANOTE試用報告-多くのプログラミング初心者に使ってもらうために
○山﨑剛弘（東京通信大）
○山﨑剛弘（東京通信大）
2K-03
プログラミング言語RUSTにおけるセキュアコーディングーメモリ安全性とスレッドセーフの確認ー
○土屋幸三（東京通信大）
○土屋幸三（東京通信大）
2K-04
Rumpfi：Rustで区間演算ライブラリMPFIを手軽に扱うためのインターフェース
○馬場秀人，川端秀之，弘中哲夫（広島市大）
○馬場秀人，川端秀之，弘中哲夫（広島市大）
2K-05
ループ境界を越えた動的スケジューリングによる区間演算プログラムの高速化
○秦 将裕，川端英之，弘中哲夫（広島市大）
○秦 将裕，川端英之，弘中哲夫（広島市大）
2K-06
住宅におけるLCCo2算定及び消費エネルギーの連成プログラムの開発
○船橋生澄，隈 裕子（湘南工科大）
○船橋生澄，隈 裕子（湘南工科大）
2K-07
命令セットが8命令からなる小規模CPUを対象としたC言語風コンパイラ実装
○大本裕真，川端英之，弘中哲夫（広島市大）
○大本裕真，川端英之，弘中哲夫（広島市大）
2K-08
小型デバイス向けのデータフロー型プログラミング環境の構築
○村上旭人，田中和明（九工大）
○村上旭人，田中和明（九工大）
学生セッション［5K会場］（3月4日（金） 12:40〜15:10）
アルゴリズム (1) 座長 関 新之助（電通大）
5K-01
柔軟な倉庫レイアウトを考慮した物流における巡回経路導出法の検討
○杉原海斗，伊藤悠大，景山陽一，横山洋之（秋田大），橋本修司，佐藤紀章（ロジザード）
○杉原海斗，伊藤悠大，景山陽一，横山洋之（秋田大），橋本修司，佐藤紀章（ロジザード）
5K-02
k+1点上のk-ページ移動問題に対する漸近的に最適なオンラインアルゴリズム
○二瓶勢真，松林 昭（金沢大）
○二瓶勢真，松林 昭（金沢大）
5K-03
5K-04
ZDD の反復的トップダウン構築による選挙区割問題に対する厳密解列挙高速化
○山崎宏紀，川原 純，湊 真一（京大）
○山崎宏紀，川原 純，湊 真一（京大）
5K-05
DAGに対する幅とアルゴリズムに関する一考察
○森 順平，川原 純，湊 真一（京大），笠原正治（奈良先端大）
○森 順平，川原 純，湊 真一（京大），笠原正治（奈良先端大）
5K-06
多対二の研究室配属問題
○高根澤武蔵，真鍋義文（工学院大）
○高根澤武蔵，真鍋義文（工学院大）
5K-07
機械の取替時間を考慮する機械スケジューリング問題に対する動的計画法
○沼口寛樹（東理大），呉 偉（静岡大），胡 艶楠（東理大）
○沼口寛樹（東理大），呉 偉（静岡大），胡 艶楠（東理大）
5K-08
モバイルロボット群のランダムウォークに基づく分散配置アルゴリズムのシミュレーション評価
○尾崎大誠，首藤裕一（法大）
○尾崎大誠，首藤裕一（法大）
5K-09
災害時の避難者配給物資受け取り問題
○日高悠河，真鍋義文（工学院大）
○日高悠河，真鍋義文（工学院大）
学生セッション［6K会場］（3月5日（土） 9:30〜12:00）
組合せ最適化と計算量 座長 内澤 啓（山形大）
6K-01
最大差セットカバー問題に対する解法
○藤原直紀，徳山 豪（関西学院大）
○藤原直紀，徳山 豪（関西学院大）
6K-02
Kirby is PSPACE-complete
○太田涼平，伊藤大修，山中克久，平山貴司（岩手大）
○太田涼平，伊藤大修，山中克久，平山貴司（岩手大）
6K-03
Braessパラドックスが起こり得ない有向グラフの多項式時間判定アルゴリズム
○斎藤優至，松林 昭（金沢大）
○斎藤優至，松林 昭（金沢大）
6K-04
ビザンチンエージェントが混在するモバイルエージェント群による乱択集合アルゴリズム
○小杉泰雅，首藤裕一（法大）
○小杉泰雅，首藤裕一（法大）
6K-05
Dieudonneらの集合アルゴリズムの時間計算量の改善
○鈴木雄大，首藤裕一（法大）
○鈴木雄大，首藤裕一（法大）
6K-06
無限正方格子上でのライト付き移動ロボットの集合
○高山龍弥，首藤裕一（法大）
○高山龍弥，首藤裕一（法大）
学生セッション［7K会場］（3月5日（土） 13:20〜15:20）
アルゴリズム (2) 座長 古賀 久志（電通大）
7K-01
Ergodic PRNG - エルゴード性を用いた周期なし擬似乱数生成器 -
○池田樹生，檀 裕也（松山大）
○池田樹生，檀 裕也（松山大）
7K-02
FPGAを利用したグラフ幅優先探索の高速化
○溝谷祐大，天笠俊之（筑波大）
○溝谷祐大，天笠俊之（筑波大）
7K-03
データ重複による最近傍探索問題の精度低下の検証
○金海智大，松井勇佑（東大）
○金海智大，松井勇佑（東大）
7K-04
DBpediaの社会的なつながりを活用した音楽アーティストの推薦
○布川 奏（青学大）
○布川 奏（青学大）
7K-05
カッコウ探索アルゴリズムを応用したユーザの嗜好に合致した抽象画のリコメンデーション方式
○植田麻実，中西崇文，岡田龍太郎，峰松彩子（武蔵野大）
○植田麻実，中西崇文，岡田龍太郎，峰松彩子（武蔵野大）
7K-06
（講演取消）
学生セッション［1L会場］（3月3日（木） 9:30〜11:30）
プログラミング (1) 座長 江本 健斗（九工大）
1L-01
前処理による静的解析ツールsolhintの解析性能向上
○橋本 樹，小宮常康（電気通信大）
○橋本 樹，小宮常康（電気通信大）
1L-02
値への追跡子付与による動的プログラム解析手法
○西谷幸太郎，小宮常康（電通大）
○西谷幸太郎，小宮常康（電通大）
1L-03
チャネリング制約を用いた alldifferent 制約の SAT 符号化
○小菅脩司（名大），宋 剛秀，田村直之（神戸大），番原睦則（名大）
○小菅脩司（名大），宋 剛秀，田村直之（神戸大），番原睦則（名大）
1L-04
解集合プログラミングを用いた優先度付き巨大近傍探索の実装と評価
○桑原和也（名大），宋 剛秀，田村直之（神戸大），番原睦則（名大）
○桑原和也（名大），宋 剛秀，田村直之（神戸大），番原睦則（名大）
1L-05
プログラム逆化のための文脈自由表現の等価関係に基づく項書換え系決定化手法の実装
○熊谷妃美香，西田直樹（名大）
○熊谷妃美香，西田直樹（名大）
1L-06
双方向変換網における操作変換を用いた競合解決手法
○仲野祐希，日高宗一郎（法大）
○仲野祐希，日高宗一郎（法大）
1L-07
ダイクストラの方法に基づく簡単な整数演算プログラムの半自動生成ツールの実装について
○三原眞子，川端英之，弘中哲夫（広島市大）
○三原眞子，川端英之，弘中哲夫（広島市大）
1L-08
定理証明支援系Coqと連携した証明木図示ツールのVisual Sudio Codeプラグインとしての実装
○深澤貴仁，川端英之，弘中哲夫（広島市大）
○深澤貴仁，川端英之，弘中哲夫（広島市大）
学生セッション［2L会場］（3月3日（木） 12:40〜15:10）
ソフトウェア工学(1) 座長 伊原 彰紀（和歌山大）
2L-01
睡眠の質向上を促す生活習慣改善支援システムの提案
○伊東 秀，佐藤和彦，高原まどか，須藤秀紹（室蘭工大）
○伊東 秀，佐藤和彦，高原まどか，須藤秀紹（室蘭工大）
2L-02
ユーザの感情に応じたインタラクティブインタフェースの提案
○楊 基楽，佐藤和彦（室蘭工大）
○楊 基楽，佐藤和彦（室蘭工大）
2L-03
IoTシステムにおけるセンサエラー時戦略を考慮した時間制約の評価手法
○武田雅大（早大），高橋竜一（茨城大），深澤良彰（早大）
○武田雅大（早大），高橋竜一（茨城大），深澤良彰（早大）
2L-04
対比原則に基づいた視認性の高いWebページ作成支援手法
○赤星 律，深澤良彰（早大）
○赤星 律，深澤良彰（早大）
2L-05
持ち服コーディネイト支援システムの提案と評価
○月村槙二（芝浦工大）
○月村槙二（芝浦工大）
2L-06
ゲレンデにおける危険防止対策システムの提案と評価
○新井皇貴，中島 毅（芝浦工大）
○新井皇貴，中島 毅（芝浦工大）
2L-07
ユーザビリティパターンに対するコンテンツ管理システムの適応性調査
○小山友助，小形真平，岡野浩三（信州大）
○小山友助，小形真平，岡野浩三（信州大）
2L-08
操作ログと視線情報に基づくユーザの操作ミスの調査
○杉山翔哉，小形真平，岡野浩三（信州大）
○杉山翔哉，小形真平，岡野浩三（信州大）
学生セッション［4L会場］（3月4日（金） 9:30〜11:30）
ソフトウェア工学(2) 座長 早川 祐志（NEC）
4L-01
モジュール構造と段階的詳細化を考慮した形式的ソフトウェア合成手法
○松田 蓮，織田 健（電通大）
○松田 蓮，織田 健（電通大）
4L-02
文字列一致による等価性判定のための形式仕様の正規化
○檜垣 廉，織田 健（電通大）
○檜垣 廉，織田 健（電通大）
4L-03
抽象データ型を考慮した不足部品の自動生成手法
○大久保稜，織田 健（電通大）
○大久保稜，織田 健（電通大）
4L-04
UML状態遷移図とコードのリアルタイム双方向変換ツールの開発
○萩原 俊，佐々木晃（法大）
○萩原 俊，佐々木晃（法大）
4L-05
可変性を持つシステムの確率を考慮した統計的モデル検査手法
○内藤裕暉（早大）
○内藤裕暉（早大）
4L-06
モデル検査ツールSPINによる並行プログラムのデバッグを支援する状態遷移追跡支援ツールの設計と実装
○山川眞延，川端英之，弘中哲夫（広島市大）
○山川眞延，川端英之，弘中哲夫（広島市大）
4L-07
命令列の自動生成機構を用いたLLVM IRコードの難読化の試み
○光本智洋，神崎雄一郎（熊本高専）
○光本智洋，神崎雄一郎（熊本高専）
学生セッション［5L会場］（3月4日（金） 12:40〜15:10）
数理モデル化とアルゴリズム（1） 座長 小谷野 仁（農業・食品産業技術総合研究機構）
5L-01
回折イメージングにおける球殻構造の次元削減
○劉 源輝，高岡 旭，塩谷浩之（室蘭工大）
○劉 源輝，高岡 旭，塩谷浩之（室蘭工大）
5L-02
切除平面法によるCox比例ハザードモデルの特徴選択
○最首大輝，高野祐一，工藤晃太（筑波大）
○最首大輝，高野祐一，工藤晃太（筑波大）
5L-03
確率密度比推定を用いたロバストなグラフ埋め込み
○薩田凱斗，佐々木博昭（はこだて未来大）
○薩田凱斗，佐々木博昭（はこだて未来大）
5L-04
反射音到来時間を用いた等価音源法による室内インパルス応答の空間補間
○松橋 遼，鈴木薫佳，津國和泉，池田雄介（電機大）
○松橋 遼，鈴木薫佳，津國和泉，池田雄介（電機大）
5L-05
複雑ネットワークにおけるノードに内在する関係発生能力のモデル化と観測
○矢野千紘，武藤敦子，森山甲一（名工大），松井藤五郎（中部大），犬塚信博（名工大）
○矢野千紘，武藤敦子，森山甲一（名工大），松井藤五郎（中部大），犬塚信博（名工大）
5L-06
（講演取消）
5L-07
（講演取消）
学生セッション［6L会場］（3月5日（土） 9:30〜12:00）
ソフトウェア工学(3) 座長 平澤 卓也（横河電機）
6L-01
非言語要求に着目したデザイン思考要求獲得手法の提案 -カスタマージャーニーマップと表情認識技術の活用-
○田口紘夢，中島千壽（工学院大），北川貴之（東芝デジタルソリューションズ），位野木万里（工学院大）
○田口紘夢，中島千壽（工学院大），北川貴之（東芝デジタルソリューションズ），位野木万里（工学院大）
6L-02
デザイン思考に基づく要求獲得 -メタバースにおける顧客価値創出ワークショップの分析と要求獲得手法への提案-
○小野尚輝，中島千壽（工学院大），北川貴之（東芝デジタルソリューションズ），位野木万里（工学院大）
○小野尚輝，中島千壽（工学院大），北川貴之（東芝デジタルソリューションズ），位野木万里（工学院大）
6L-03
ソフトウェアリリースに向けて優先的に検証する変更提案の分析
○上中瑞稀，伊原彰紀，牧之瀬丈裕，南 雄太（和歌山大）
○上中瑞稀，伊原彰紀，牧之瀬丈裕，南 雄太（和歌山大）
6L-04
ソフトウェア開発者の人材評価における行動特性の影響について
○高木一真，楠本真二（阪大）
○高木一真，楠本真二（阪大）
6L-05
属性付きゴール指向要求分析法における属性値の視覚化によるコンフリクト解決の支援
○神崎匠吾，奥野 拓（はこだて未来大）
○神崎匠吾，奥野 拓（はこだて未来大）
6L-06
プロジェクト固有の特徴に基づくコーディング規約違反の修正判定基準の分析
○南 雄太，伊原彰紀，福元春輝（和歌山大）
○南 雄太，伊原彰紀，福元春輝（和歌山大）
6L-07
組込みシステムに関連する README ファイルの必要情報の調査と不足情報警告ツールの開発
○鳥木瑛司，山本椋太，阿部 司（苫小牧高専）
○鳥木瑛司，山本椋太，阿部 司（苫小牧高専）
学生セッション［7L会場］（3月5日（土） 13:20〜15:20）
ソフトウェア工学(4) 座長 眞鍋 雄貴（福知山公立大）
7L-01
Convolutional Neural Networkとドメインオントロジーを用いた定量的視点による非機能要求の要約手法の提案
○齋川祐太（工学院大），長岡武志，北川貴之（東芝デジタルソリューションズ），位野木万里（工学院大）
○齋川祐太（工学院大），長岡武志，北川貴之（東芝デジタルソリューションズ），位野木万里（工学院大）
7L-02
共起関係を用いて変更要求からプログラムへの影響分析を行う手法の提案と評価
○川畑徹平，中島 毅（芝浦工大）
○川畑徹平，中島 毅（芝浦工大）
7L-03
LDAによるトピック抽出に着目した非機能要求の要約手法の提案
○多田一仁（工学院大），長岡武志，北川貴之（東芝デジタルソリューションズ），位野木万里（工学院大）
○多田一仁（工学院大），長岡武志，北川貴之（東芝デジタルソリューションズ），位野木万里（工学院大）
7L-04
商用ツールを活用した要求仕様書中の図表の自動要約手法の提案
○永野貴大（工学院大），長岡武志，北川貴之（東芝デジタルソリューションズ），位野木万里（工学院大）
○永野貴大（工学院大），長岡武志，北川貴之（東芝デジタルソリューションズ），位野木万里（工学院大）
7L-05
障害内容に応じたソースコード修正方法の分析
○大森楓己，伊原彰紀，松田和輝，才木一也（和歌山大）
○大森楓己，伊原彰紀，松田和輝，才木一也（和歌山大）
7L-06
機能導入判定に向けたGitHubにおける要求依頼文章の分析
○久保優斗，伊原彰紀，石岡直樹，松田和輝，才木一也（和歌山大）
○久保優斗，伊原彰紀，石岡直樹，松田和輝，才木一也（和歌山大）
7L-07
チャットボットを利用したJavaプログラムのデバッグ支援手法
○村田 匠，仲山冬野，橋浦弘明（日本工大）
○村田 匠，仲山冬野，橋浦弘明（日本工大）
学生セッション［1M会場］（3月3日（木） 9:30〜11:30）
バイオ、医療、農業と数理モデル化 座長 一ノ瀬 元喜（静岡大）
1M-01
畳み込みオートエンコーダを用いたタンパク質立体構造からの進化的保存部分の同定
○大塚竜星，林田守広（松江高専）
○大塚竜星，林田守広（松江高専）
1M-02
整数線形計画法による文字列の集合上の確率分布における中央文字列探索の高速化
○槇原このか，林田守広（松江高専），小谷野仁（農業・食品産業技術総合研究機構）
○槇原このか，林田守広（松江高専），小谷野仁（農業・食品産業技術総合研究機構）
1M-03
1M-04
転移学習型NMFに基づく少数サンプルによる宮古島産マンゴーの官能評価に関する研究
○内田真帆，山下 遥（上智大）
○内田真帆，山下 遥（上智大）
1M-05
マンゴーの官能実験における実験回数を削減するための方法に関する研究
○梅澤和希，山下 遥（上智大）
○梅澤和希，山下 遥（上智大）
1M-06
農業分野の回帰問題における少数部分ラベルの予測精度向上―リサンプリングを用いた画像データによる深層学習
○富田隼輔（明大），中畝 誠，山田 融，塚沢和憲（埼玉県農業技術研究センター），中村和幸（明大）
○富田隼輔（明大），中畝 誠，山田 融，塚沢和憲（埼玉県農業技術研究センター），中村和幸（明大）
1M-07
マルチエージェントシミュレーションを用いたSNSによる感染症流行への影響の分析
○関根圭祐，長谷部浩二（筑波大）
○関根圭祐，長谷部浩二（筑波大）
1M-08
擬態している生物の識別に対する深層学習の有効性の検証
○木原一成，坂 知樹，鎌田 洋（金沢工大）
○木原一成，坂 知樹，鎌田 洋（金沢工大）
学生セッション［2M会場］（3月3日（木） 12:40〜15:10）
社会の実問題に対する数理モデル化と問題解決（1） 座長 高橋 大志（慶大）
2M-01
相乗りを考慮したMin-Max型タクシー配車問題
○黒住涼帆，江守 礼，榎原博之（関西大）
○黒住涼帆，江守 礼，榎原博之（関西大）
2M-02
仮想通貨送金のモデル化と責任ある市場の創出
○全 珠美（総研大），水野貴之（NII），Claudio Tessone（University of Zurich）
○全 珠美（総研大），水野貴之（NII），Claudio Tessone（University of Zurich）
2M-03
ピッチャーの配球を考慮した部分再帰型ニューラルネットワークに基づくプロ野球打者の初球戦略の最適化モデルの提案
○谷畑 耀，山下 遥（上智大）
○谷畑 耀，山下 遥（上智大）
2M-04
進化計算手法による解釈可能な外国為替証拠金取引戦略の構築
○内田純平，穴田 一（東京都市大）
○内田純平，穴田 一（東京都市大）
2M-05
坂道の勾配による負荷を取り入れた粘菌アルゴリズムによる最適経路探索
○片岡隼杜，高木清二（はこだて未来大）
○片岡隼杜，高木清二（はこだて未来大）
2M-06
ヘアサロンにおける来店間隔と店販商品購買の同時分析
○片桐優帆（中大），大竹恒平（東海大），生田目崇（中大）
○片桐優帆（中大），大竹恒平（東海大），生田目崇（中大）
2M-07
覚醒低下検出モデルにおけるVariational Autoencoderの潜在空間の次元数最適化
○松井恵莉香，高野聖人，南雲健人，大岩孝輔，野澤昭雄（青学大）
○松井恵莉香，高野聖人，南雲健人，大岩孝輔，野澤昭雄（青学大）
2M-08
商品の入れ替えコストを考慮した配置変更によるオーダーピッキングの効率化
○渡邉南美，伊原滉也，佐久間拓人，加藤昇平（名工大）
○渡邉南美，伊原滉也，佐久間拓人，加藤昇平（名工大）
2M-09
要人発言を対象とした為替相場に連動するトピックの抽出方式
○安原広将，中西崇文，岡田龍太郎，峰松彩子（武蔵野大）
○安原広将，中西崇文，岡田龍太郎，峰松彩子（武蔵野大）
学生セッション［4M会場］（3月4日（金） 9:30〜11:30）
社会の実問題に対する数理モデル化と問題解決（2） 座長 山本 修身（名城大）
4M-01
遺伝的アルゴリズムを利用した個別指導塾の勤務表作成システム
○鈴木陽介，水野一徳，戸谷太亮（拓大）
○鈴木陽介，水野一徳，戸谷太亮（拓大）
4M-02
特許間の技術的距離とM&A後におけるイノベーションに関する分析
○玉川 希，高橋大志（慶大）
○玉川 希，高橋大志（慶大）
4M-03
ユーザの価値観の多様性を考慮した潜在ロイヤルユーザに対するマーケティング施策に関する研究
○加藤那菜，山下 遥（上智大）
○加藤那菜，山下 遥（上智大）
4M-04
文章極性を考慮したニューステキスト分析による経済動向予測
○川﨑拓海，穴田 一（東京都市大）
○川﨑拓海，穴田 一（東京都市大）
4M-05
下水処理データの関係式発見に関する研究
○笠川舞夢，佐藤利哉，高岡 旭，塩谷浩之（室蘭工大）
○笠川舞夢，佐藤利哉，高岡 旭，塩谷浩之（室蘭工大）
4M-06
畳み込みニューラルネットワークを用いた空港上空の雲高判定
○西 和希，秋岡明香（明大）
○西 和希，秋岡明香（明大）
4M-07
動物園の来場者予測におけるSNSデータの貢献
○鈴木耀司，櫻井義尚（明大）
○鈴木耀司，櫻井義尚（明大）
4M-08
深層強化学習による機会損失を考慮した投資戦略の構築
○井上修一，穴田 一（東京都市大）
○井上修一，穴田 一（東京都市大）
学生セッション［5M会場］（3月4日（金） 12:40〜15:10）
社会の実問題に対する数理モデル化と問題解決（3） 座長 秋岡 明香（明大）
5M-01
顔面可視画像に基づく高血圧検出のための深層学習パラメータの最適化
○椎名大智，南雲健人，大岩孝輔，野澤昭雄（青学大）
○椎名大智，南雲健人，大岩孝輔，野澤昭雄（青学大）
5M-02
（講演取消）
5M-03
媒介中心性を用いた道路ネットワークの堅牢性評価
○高橋良武，一ノ瀬元喜（静岡大）
○高橋良武，一ノ瀬元喜（静岡大）
5M-04
人流センサデータを用いた混雑予測モデルの構築と松江駅の特徴検出
○古俣勇樹，中村和幸（明大）
○古俣勇樹，中村和幸（明大）
5M-05
レヴィ飛行回遊行動モデルと多項ロジットモデルによる観光行動シミュレーションの比較とその考察
○長谷川凌真，渡邉貴之（静岡県大）
○長谷川凌真，渡邉貴之（静岡県大）
5M-06
連続出力値に基づく隠れマルコフモデル推定
○新浪有茄，三浦孝夫（法大）
○新浪有茄，三浦孝夫（法大）
5M-07
ネットワーク指標に基づく店舗間の競合構造分析
○鈴木勇登，伏見卓恭（東京工科大）
○鈴木勇登，伏見卓恭（東京工科大）
5M-08
（講演取消）
5M-09
混合整数二次制約問題に基づく間取りの階層的生成法の基礎的検討
○杉浦順香，伊原滉也，佐久間拓人，加藤昇平（名工大）
○杉浦順香，伊原滉也，佐久間拓人，加藤昇平（名工大）
学生セッション［6M会場］（3月5日（土） 9:30〜12:00）
数理モデル化と機械学習 座長 山下 遥（上智大）
6M-01
階層型ガウシアンマルコフ確率場を用いた画像ノイズ除去
○門馬維紀，安田宗樹（山形大）
○門馬維紀，安田宗樹（山形大）
6M-02
損失関数を基礎とした事前分布をもつベイジアンニューラルネットワーク
○葛原優樹，浦田光佑，安田宗樹（山形大）
○葛原優樹，浦田光佑，安田宗樹（山形大）
6M-03
ペトリネット構造解析によるホーム状態存在性の判定
○三浦朋己，和﨑克己（信州大）
○三浦朋己，和﨑克己（信州大）
6M-04
一般ペトリネットの構造的性質を用いた強L3/L2活性構造の検知
○芳澤祐大，和﨑克己（信州大）
○芳澤祐大，和﨑克己（信州大）
6M-05
機械学習を用いた直列型待ち行列システムの性能評価
○工藤友泰（愛知県大），二井 克（ヒミカ），奥田隆史（愛知県大）
○工藤友泰（愛知県大），二井 克（ヒミカ），奥田隆史（愛知県大）
6M-06
アリコロニー最適化によるベイジアンネットワークの構造最適化
○鈴木真也，水野一徳，戸谷太亮（拓大）
○鈴木真也，水野一徳，戸谷太亮（拓大）
6M-07
撮影環境に左右されないランドマーク画像の識別
○庄司將孝，秋岡明香（明大）
○庄司將孝，秋岡明香（明大）
6M-08
ユーザの多様性を考慮したクラスタワイズ型機械学習モデルの提案とその解釈方法に関する研究
○三橋可奈，山下 遥（上智大），清水良太郎（ZOZO NEXT）
○三橋可奈，山下 遥（上智大），清水良太郎（ZOZO NEXT）
学生セッション［7M会場］（3月5日（土） 13:20〜15:20）
数理モデル化とアルゴリズム（2） 座長 林田 守広（松江高専）
7M-01
順序カテゴリカルデータにおける出現頻度の異常検出
○佐野歓基，佐藤道大，池田朋樹，山岸祐己（静岡理工科大），斉藤和巳（神奈川大）
○佐野歓基，佐藤道大，池田朋樹，山岸祐己（静岡理工科大），斉藤和巳（神奈川大）
7M-02
Cost Sensitive 学習に対する重み付きバッチ正規化と重み付き入力正規化
○楊 顕恩，安田宗樹（山形大）
○楊 顕恩，安田宗樹（山形大）
7M-03
巡回トーナメント問題に対する3種類の近傍解生成法の性能比較
○市川槙人，藤田実沙（中京大）
○市川槙人，藤田実沙（中京大）
7M-04
一般化最小二乗法による合成空間モンテカルロ積分法
○関本快士，安田宗樹（山形大）
○関本快士，安田宗樹（山形大）
7M-05
巡回セールスマン問題に対する「共通部品」の利用が解探索性能に与える影響の調査
○板倉弘樹，藤田実沙（中京大）
○板倉弘樹，藤田実沙（中京大）
7M-06
不良回答検出のためのアンケート設計方法について
○伊藤健太郎，須子統太，小林 学（早大）
○伊藤健太郎，須子統太，小林 学（早大）
