情報処理学会 第85回全国大会 会期:2023年3月2日~4日 情報処理学会 第85回全国大会 会期:2023年3月2日~4日

一般セッション・学生セッション

ソフトウェア科学・工学

一般セッション[2A会場](3月2日(木) 12:40〜15:10)
実践的ソフトウェア工学 座長 名倉 正剛(南山大)
2A-01
遺伝的アルゴリズムを用いた因果分析の解釈性の向上
○浅沼爽汰,山本純一,菅原収吾,渡部佳織(NECソリューションイノベータ)

2A-02
航空宇宙機向けSoftware Definedアーキテクチャの検討
○青栁理紗子,福島信純,西川和宏,小川大佑,鶴崎健介(三菱)


2A-04
ローコード開発におけるデータ項目設計に関する考察
○市原和幸,藤原一樹,北嶋 淳,落合昌樹,宮本由美(日立)

2A-05
人工衛星開発プロセスにおけるMBD(Model-Based Development)適用のためのモデル環境構築
○志村奈緒人,八木史也,利光直樹(三菱),阿部成由(三菱電機ソフトウエア),平山芳和,荻野慎平(三菱)


2A-07
Internet of Documents
○木下修司(産業技術大)

一般セッション[5A会場](3月3日(金) 12:40〜15:10)
数理モデル化と問題解決(1) 座長 庄野 逸(電通大)
5A-01
深層学習を用いた検出器間相関による信号検出法の改良と重力波データへの適用
○南雲彩花(BSNアイネット),中平勝子(長岡技科大),田中貴浩(京大)



5A-04
日本プロ野球における混合分布モデルを用いた野手の分類
○織田大志(富士ソフト),廣津信義(順天堂大)

5A-05
隠れ株主の数理モデル化と様々な経済安全保障問題の見える化
○水野貴之(NII),土井翔平(北大),栗崎周平(早大)

一般セッション[6A会場](3月4日(土) 9:30〜12:00)
数理モデル化と問題解決(2) 座長 安尾 信明(東工大)
6A-01
Warm Starting CMA-ESを用いた大規模群集シミュレーションのパラメータ調整
○重中秀介,鷹見竣希(筑波大),大西正輝(産総研)


6A-03
2種類の陽性に対するグループテスト
○松島裕康,田島友祐(滋賀大),盧 暁南(岐阜大),神保雅一(統数研)

6A-04
GPT-2を用いた人々の一日の移動軌跡の生成
○藤本祥二,石川 温(金沢学院大),水野貴之(NII)

6A-05
Javaで実装した空間応用一般均衡分析モデルでのOpenMPとCUDAの利用
○久保裕也(千葉商科大),熊谷 聡(日本貿易振興機構アジア経済研究所)

一般セッション[1B会場](3月2日(木) 9:30〜11:30)
精度改善と検証 座長 川端 英之(広島市大)

1B-02
NISQ計算の分割統治による検証
○竹内勇貴(NTT),高橋康博(群馬大),森前智行(京大),谷誠一郎(NTT)

1B-03
等式の両辺の単位が等しいかチェックするプログラムの実装
○岩見宗弘(島根大),奥原智史(島根情報処理センター)

学生セッション[2K会場](3月2日(木) 12:40〜15:10)
実社会における数理モデルと問題解決 座長 関嶋 政和(東工大)

2K-02
二台の四脚ロボット連携による段差上り行動の実装と評価
○湯川 響,服部聖彦,松岡丈平(東京工科大)


2K-04
(講演取消)


2K-06
ドメインシフトを用いた生理指標の個人差評価手法の検討
○國丸裕太(芝浦工大),田谷昭仁(東大),菅谷みどり,鈴木 圭(芝浦工大)


2K-08
自己情報量に基づくレビュー点数の客観的な変換
○照屋良直,吉永悠人,山岸祐己(静岡理工科大),和泉 舞,高林貴仁(良品計画)

学生セッション[5K会場](3月3日(金) 12:40〜15:10)
ソフトウェア検証 座長 平澤 卓也(横河電機)
5K-01
発生頻度の少ないコーディング規約違反データ統合による検出精度向上への試み
○亀岡 令,伊原彰紀,南 雄太,大森楓己(和歌山大)

5K-02
後方互換性の損失に伴うテストコード変更内容の分類
○前川大樹,伊原彰紀,大森楓己,才木一也(和歌山大)

5K-03

5K-04

5K-05
確率的プログラムにおけるバグ検出
○チン ヴォダイ,于 海波(九産大)

5K-06
確率的プログラムにおけるバグ分析
○西村優里,于 海波(九産大)



学生セッション[6K会場](3月4日(土) 9:30〜12:00)
プログラム解析 座長 藤原 賢二(東京都市大)

6K-02
プログラミング演習における行き詰まり状況の分類手法の提案
○平野 翼(南山大),井垣 宏(阪工大),名倉正剛(南山大)

6K-03
プログラミング時の認知負荷計測のための鼻部皮膚温分析
○郡山太陽,日高祥矢,中才恵太朗(鹿児島高専),鹿嶋雅之(鹿児島大),角田雅照(近畿大),門田暁人(岡山大),中川尊雄(富士通)

6K-04

6K-05
シンボリック実行を利用した動的ソフトウェアバースマークの抽出システムの検討
○松田隼汰,神崎雄一郎,光本智洋(熊本高専),玉田春昭(京産大)


6K-07
利便性向上のためのメタプログラミング環境の検討
○吉川慎太郎,和泉 諭(仙台高専)

6K-08
循環的複雑度を用いたAlphaCodeのソースコード評価
○寒川楽人,増田 聡(東京都市大)

6K-09

学生セッション[1L会場](3月2日(木) 9:30〜11:30)
アルゴリズム (1) 座長 戸田 貴久(電通大)

1L-02
部分順列グラフの集合を表現するZDDの構築
○高嶋勇哉,川原 純,湊 真一(京大)



1L-05


学生セッション[2L会場](3月2日(木) 12:40〜15:10)
アルゴリズム (2) 座長 三重野 琢也(電通大)

2L-02
(講演取消)

2L-03
A*アルゴリズムと遺伝的アルゴリズムを用いたEC倉庫における巡回経路導出法
○杉原海斗,伊藤悠大,景山陽一,横山洋之(秋田大),橋本修司,佐藤紀章(ロジザード)


2L-05
三次元2値画像におけるラベル付け処理の高速アルゴリズム
○中山尚規,何 立風(愛知県大),巣 宇燕(名産大)

2L-06
効率的なオーダーバッチングを実現するクラスタリング付き最適化手法
○鈴木崇弘,渡邉南美,佐久間拓人,加藤昇平(名工大)


学生セッション[4L会場](3月3日(金) 9:30〜11:30)
アプリケーション開発と形式手法 座長 竹内 広宜(武蔵大)

4L-02



4L-05
直観的なScratch作品検索のためのユーザ入力タイミング特定の試み
○岡本圭悟,伊原彰紀,三倉舞子,橋谷直樹(和歌山大)



4L-08

学生セッション[5L会場](3月3日(金) 12:40〜15:10)
ソフトウェア要求・設計 座長 竹之内 啓太(NTTデータ)
5L-01

5L-02
デザイン思考に基づく複数の要求獲得ワークショップのファシリテーション方法に関する一考察
○飯田駿吾(工学院大),長岡武志,北川貴之(東芝デジタルソリューションズ),位野木万里(工学院大)

5L-03
要求仕様書の定量的自動要約技術 -BERTのテキスト分類による要求分析手法の提案-
○糸川和輝(工学院大),長岡武志,北川貴之(東芝デジタルソリューションズ),位野木万里(工学院大)

5L-04
要求獲得におけるステークホルダモデルの自動生成手法の提案
○北澤玲央(工学院大),長岡武志,北川貴之(東芝デジタルソリューションズ),位野木万里(工学院大)

5L-05
要求仕様書における話題の記述状況の可視化 -BERTを用いたPage Trend算出手法の提案-
○中村雄太郎(工学院大),長岡武志,北川貴之(東芝デジタルソリューションズ),位野木万里(工学院大)


5L-07

5L-08
フォグ環境における過剰な割当てを抑制したリソース割当て手法
○湯浅主基(早大),高橋竜一(茨城大),深澤良彰(早大)

5L-09
README修正内容に関連するソースコード変更コミット追跡への試み
○白﨑優奈,伊原彰紀,石岡直樹(和歌山大)

学生セッション[6L会場](3月4日(土) 9:30〜12:00)
プログラミング環境 座長 平石 拓(京都橘大)


6L-03

6L-04


6L-06
UniProp - Unicode プロパティの管理と分析のためのライブラリ
○酒井田快可,Matrin J. Duerst(青学大)


6L-08
Rust言語による量子回路シミュレータの実行性能評価
○長岡悠太,大迫勇太郎,藤橋卓也,渡辺 尚,猿渡俊介,桝本尚之(阪大)

6L-09
(講演取消)

学生セッション[7L会場](3月4日(土) 13:20〜15:20)
プログラミングと量子最適化 座長 田中 宗(慶大)

7L-02
量子回路シミュレータの性能分析と考察
○青木望美(お茶の水女子大),山崎雅文,平井 聡,山岡茉莉,福本尚人(富士通),小口正人(お茶の水女子大)


7L-04
D-Waveの量子アニーリングマシン上における最大クリーク探索の実験的評価
○白石千尋(電通大),大久保誠也(静岡県大),若月光夫,西野哲朗(電通大)

7L-05
四角に切れの量子アニーリングを用いた解法について
○福永智渉,大久保誠也(静岡県大)




学生セッション[1M会場](3月2日(木) 9:30〜11:30)
シミュレーションと問題解決 座長 安尾 信明(東工大)
1M-01
デリバリー配達員の割り当て問題
○西永智貴,真鍋義文(工学院大)

1M-02
野球の勝率を上げる手法
○森本翔真,中桐斉之(兵庫県大)

1M-03
感染症 ABMS による感染発生初期における接触確認アプリケーションの効果検証
○松井陽太郎,嶋 直紀,田邉 渉,亀井雄貴,市川 学(芝浦工大),奥村貴史(北見工大)


1M-05
サッカーのPK戦における勝率を上げる方法
○石川賢太郎,中桐斉之(兵庫県大)


1M-07


学生セッション[2M会場](3月2日(木) 12:40〜15:10)
数理・統計と問題解決 座長 安尾 信明(東工大)
2M-01
条件付き確率密度推定を用いた非線形因果探索
○髙橋大輔(滋賀大),佐々木博昭(はこだて未来大)

2M-02
Multiple Timescales RNNを用いた敵対的模倣学習による時系列の複雑化と構造化
○佐々木太樹,野口 渉,飯塚博幸,山本雅人(北大)






2M-08

学生セッション[4M会場](3月3日(金) 9:30〜11:30)
機械学習・統計手法を用いた問題解決 座長 大上 雅史(東工大)




4M-05
学習済超高精度GCNをオラクルとする順序項木パターンの質問学習モデルの解析と実データでの評価
○東山的生(広島市大),野口大悟(福岡工大),内田智之(広島市大),正代隆義(福岡工大),松本哲志(東海大)

4M-06
超高精度グラフ畳み込みネットワークをオラクルとする無順序木パターンの質問学習モデル
○石灘洸樹,正代隆義(福岡工大),内田智之(広島市大),松本哲志(東海大)

4M-07
(講演取消)

4M-08
(講演取消)

学生セッション[5M会場](3月3日(金) 12:40〜15:10)
数理最適化の理論と応用 座長 土屋 達弘(大阪大)
5M-01
大規模イベントにおける分散退場オペレーション多目的最適化
○丹羽 了,鷹見峻希,重中秀介(筑波大),大西正輝(産総研)

5M-02
最適化問題における統計的揺らぎの分析
○石岡龍佑,安田宗樹(山形大)


5M-04

5M-05
データコラボレーション解析における統合表現の最適化と加重法
○川上雄大,高野祐一,今倉 暁(筑波大)

5M-06
医療機器の配置台数最適化手法の提案と実装
○伊藤暢浩,角谷和飛(名工大),大山慎太郎(名大),大塚孝信(名工大)

5M-07
自動車車体塗装のための複数ロボットアームの経路設計に関する基礎検討
○永井裕也,梶浦梨央(鹿児島大),中村博光,東園雄太(トヨタ車体研究所),小野智司(鹿児島大)

5M-08

学生セッション[6M会場](3月4日(土) 9:30〜12:00)
アルゴリズムと問題解決 座長 有田 隆也(名大)
6M-01
採用一次選考のアルゴリズム
○宮澤 樹,真鍋義文(工学院大)

6M-02

6M-03
荷重積分法を用いた交通流計測の検討
○今村一貴,金道敏樹(金沢工大)

6M-04
逆問題解析によるボトムアップ型エネルギー需要推計モデルの較正
○西澤一輝,岸本一将,内田英明,下田吉之,山口容平(阪大),十川和也(関西電力)



6M-07

6M-08
2機械ジョブショップスケジューリング問題における尺取法による計算高速化手法
○沼口寛樹(東理大),呉  偉(静岡大),胡 艶楠(東理大)


学生セッション[7M会場](3月4日(土) 13:20〜15:20)
進化計算 座長 大西 正輝(産総研)
7M-01




7M-05
アントコロニー最適化を適用した下げ膳ロボットのテーブル巡回経路探索
○内田充彦,佐藤妃織,高柳斗羽,佐藤未来子(東海大)

7M-06
蟻コロニー最適化による鉄道代替バスの経路探索法
○長岡 慧,山本佳世子(電通大)