一般セッション・学生セッション
ソフトウェア科学・工学
一般セッション［1B会場］（3月5日（木） 9:30〜12:00）
ソフトウェアシステム開発運用の予測と検証 座長 岡田 譲二（NTTデータ）
1B-01
メモリの影響とCPU処理性能を考慮したリソースサイジングに関する検討
○若井祐樹，松浦陽平（三菱）
○若井祐樹，松浦陽平（三菱）
1B-02
セキュリティ対策後に元の機能が維持されることを保証するためのコード等価性検査技術
○王 古玥，磯田 誠，小野良司（三菱）
○王 古玥，磯田 誠，小野良司（三菱）
1B-03
並列プログラムの同期処理検証におけるテストケース生成アルゴリズムの提案と実装
○林 亮輔，芹沢 一（日立オートモティブシステムズ）
○林 亮輔，芹沢 一（日立オートモティブシステムズ）
1B-04
機械学習ソフトウェア時代のバージョン管理システムの提案
○千々和大輝，馬越健治，井上知洋（NTT）
○千々和大輝，馬越健治，井上知洋（NTT）
1B-05
製造装置消耗品の突発受注予測手法に関する検討
○小山 光（日立）
○小山 光（日立）
一般セッション［2B会場］（3月5日（木） 13:10〜15:10）
ビジネスとソフトウェアのマネジメント 座長 伏田 享平（NTTデータ）
2B-01
開発マネジメントモデル「アジャイルの木」による顧客価値創出の試算法
○吉田知加（文教大）
○吉田知加（文教大）
2B-02
グローバルな株式ネットワークにおける中国による間接的な企業支配の可視化
○土井翔平，水野貴之（NII），栗崎周平（早大）
○土井翔平，水野貴之（NII），栗崎周平（早大）
2B-03
日本のスマートフォンアプリケーションにおけるユーザーレビューの苦情内容の分析
○横森励士，安部寛生，波多野雅信，小林祐汰，平井賢人，稲垣絢也（南山大）
○横森励士，安部寛生，波多野雅信，小林祐汰，平井賢人，稲垣絢也（南山大）
2B-04
（講演取消）
2B-05
繰り返し実施を要する試験における省力化に関する提案
○小宮 崇，楓 仁志（三菱）
○小宮 崇，楓 仁志（三菱）
一般セッション［4B会場］（3月6日（金） 9:30〜11:30）
アルゴリズム 座長 宮崎 修一（京大）
4B-01
超立方体における Face Magic Graph の構成
○杉山雅英（会津大）
○杉山雅英（会津大）
4B-02
ポリオミノ型多角形からの多面体の構成 - 折り線の決定 -
○大塚 寛（愛媛大）
○大塚 寛（愛媛大）
4B-03
「父→母→子」モデルを用いた親等数計算手法の検討
○杉山正治，平塚 聡，生田敦司，横澤大典，柴田みゆき（大谷大），松浦 亨（北大病院）
○杉山正治，平塚 聡，生田敦司，横澤大典，柴田みゆき（大谷大），松浦 亨（北大病院）
4B-04
骨の生体計算モデル構築のためのイメージセグメンテーション手法の開発
○小野景子，川北陽唯人，田原大輔（龍谷大）
○小野景子，川北陽唯人，田原大輔（龍谷大）
4B-05
情報伝達長を考慮した連結ピン組織構造の2階層間関係追加
○澤田 清（流通科学大）
○澤田 清（流通科学大）
4B-06
Structured Grammatical Evolutionにおける共進化による局所探索
○田村謙次（中央学院大）
○田村謙次（中央学院大）
一般セッション［5B会場］（3月6日（金） 12:40〜15:10）
数理モデルと問題解決 座長 渡邉 真也（室蘭工大）
5B-01
5B-02
施設トマト栽培における多面的収量予測手法の検討
○上村真史，渡邉真也（室蘭工大），堀江達郎（エア・ウォーター），小林洋介，佐藤和彦，岸上順一（室蘭工大）
○上村真史，渡邉真也（室蘭工大），堀江達郎（エア・ウォーター），小林洋介，佐藤和彦，岸上順一（室蘭工大）
5B-03
POSデータにおける売上と商品数のベキ的相関の観測
○藤本祥二，石川 温（金沢学院大），水野貴之（NII）
○藤本祥二，石川 温（金沢学院大），水野貴之（NII）
5B-04
位置情報付SNSデータを用いた情報発信拠点の分析
○藤本祥二，石川 温（金沢学院大），水野貴之（NII）
○藤本祥二，石川 温（金沢学院大），水野貴之（NII）
5B-05
（講演取消）
5B-06
二者対話中の頭部動作を用いた沈黙推定
○善本 淳（NICT）
○善本 淳（NICT）
5B-07
複素空間での直交計画の最適性に関する一考察
○浮田善文（横浜商科大），松嶋敏泰（早大）
○浮田善文（横浜商科大），松嶋敏泰（早大）
学生セッション［4K会場］（3月6日（金） 9:30〜11:30）
プログラミング 座長 松崎 公紀（高知工科大）
4K-01
定理証明支援系Coqと連携した証明木図示ツールにおける大域的および局所的な情報把握支援機能の改善
○古谷夢都，川端英之，弘中哲夫（広島市大）
○古谷夢都，川端英之，弘中哲夫（広島市大）
4K-02
On-the-fly DFAに対するコード生成手法
○中谷彦太，岡村真吾（奈良高専）
○中谷彦太，岡村真吾（奈良高専）
4K-03
Javaプログラム中の数式表現の揺らぎを抽出するシステムの試作
○秀山祐司，樋口昌宏，中田達也（近畿大）
○秀山祐司，樋口昌宏，中田達也（近畿大）
4K-04
Z3を用いた時間割および履修制限の妥当性検査支援の提案
○佐々木遼加，五百蔵重典（神奈川工科大）
○佐々木遼加，五百蔵重典（神奈川工科大）
4K-05
アニーリングマシン向けプログラミング言語
○小津泰生（名大）
○小津泰生（名大）
4K-06
DEVSモデルとプロセス指向モデルの混合シミュレーション手法
○櫻井拓也，井上 潮（電機大）
○櫻井拓也，井上 潮（電機大）
学生セッション［5K会場］（3月6日（金） 12:40〜15:10）
ソフトウェアの要求獲得と分析 座長 野田 夏子（芝浦工大）
5K-01
機械学習を用いた発話分析によるプロジェクトマネジメントのQCD合意形成支援方法の提案と評価
○佐藤千咲輝，中村琢人，青山幹雄（南山大）
○佐藤千咲輝，中村琢人，青山幹雄（南山大）
5K-02
IoTソリューションのためのデザイン思考要求獲得-Customer Journey Mapとobnizによるプロトタイピングの適用-
○齊藤梓乃，米谷貫太郎，後藤江里奈，位野木万里（工学院大）
○齊藤梓乃，米谷貫太郎，後藤江里奈，位野木万里（工学院大）
5K-03
質的データ分析アプローチに基づく方向づけコードを用いたデザイン思考要求獲得プロセスの提案
○後藤江里奈，米谷貫太郎，齊藤梓乃，位野木万里（工学院大）
○後藤江里奈，米谷貫太郎，齊藤梓乃，位野木万里（工学院大）
5K-04
デザイン思考による要求獲得手法-ユーザの共感を得るInsightを獲得するためのCustomer Journey Map作成ワークショップの進め方
○米谷貫太郎，後藤江里奈，齊藤梓乃，位野木万里（工学院大）
○米谷貫太郎，後藤江里奈，齊藤梓乃，位野木万里（工学院大）
5K-05
ユーザレビューデータのマイニングによるモバイルアプリケーション推薦方法の提案と評価
○ダンス満マックスセシヌ，金子隼介，青山幹雄（南山大）
○ダンス満マックスセシヌ，金子隼介，青山幹雄（南山大）
5K-06
自動コード生成を目的としたテンプレートベースのUML上位設計に対する整合性検査
○畑瀬尚之，和﨑克己（信州大）
○畑瀬尚之，和﨑克己（信州大）
5K-07
ソースコードの字句を利用したコメントの分類
○池上綾乃，馬場睦也，刘 钊宇，波多野賢治（同志社大）
○池上綾乃，馬場睦也，刘 钊宇，波多野賢治（同志社大）
5K-08
GitHubのデータを利用したコードレビュー時間の推定
○大山義人，大場みち子（はこだて未来大）
○大山義人，大場みち子（はこだて未来大）
5K-09
製品使用ログからの可変性マイニングによる運用プロファイル生成手法の提案
○佐藤孝一，岸 知二（早大）
○佐藤孝一，岸 知二（早大）
学生セッション［6K会場］（3月7日（土） 9:30〜12:00）
ソフトウェアの仕様と解析 座長 渥美 紀寿（京大）
6K-01
大規模情報システムの要求仕様書の自動要約手法の提案-背景や目的部分に対するマルコフ連鎖を用いた抽出型要約の適用-
○石井達樹，阿部養太，大工原正哲，中島千壽，位野木万里（工学院大）
○石井達樹，阿部養太，大工原正哲，中島千壽，位野木万里（工学院大）
6K-02
大規模情報システムの要求仕様書における自動要約技術の適用-自動要約結果と先入観との差異を活用した理解支援-
○阿部養太，石井達樹，大工原正哲，中島千壽，位野木万里（工学院大）
○阿部養太，石井達樹，大工原正哲，中島千壽，位野木万里（工学院大）
6K-03
非機能要求グレードに基づく非機能要求用語の出現傾向モデルを用いた要求仕様書の自動要約手法の提案
○大工原正哲，阿部養太，石井達樹，中島千壽，位野木万里（工学院大）
○大工原正哲，阿部養太，石井達樹，中島千壽，位野木万里（工学院大）
6K-04
要求文書における性能要求文の品質向上を目的とした記述パターンの提案と評価
○小泉圭吾（芝浦工大），南 伸二，宮田朋人（SOLIZE Engineering），中島 毅（芝浦工大）
○小泉圭吾（芝浦工大），南 伸二，宮田朋人（SOLIZE Engineering），中島 毅（芝浦工大）
6K-05
要求分析モデルからの状態遷移抽出による振る舞いフローの妥当性確認支援
○森田 光，松浦佐江子（芝浦工大）
○森田 光，松浦佐江子（芝浦工大）
6K-06
コーディング規約違反メトリクスに基づくソフトウェア不具合予測手法の予測性能向上
○山本 真（慶大），名倉正剛（南山大），高田眞吾（慶大）
○山本 真（慶大），名倉正剛（南山大），高田眞吾（慶大）
6K-07
機械学習を用いたコールグラフモデル分析方法の提案と評価
○可知敬朗，牧野槙一郎，青山幹雄（南山大）
○可知敬朗，牧野槙一郎，青山幹雄（南山大）
6K-08
深層表現学習を用いたWeb API エコシステム分析方法の提案と評価
○加納辰真，青山幹雄（南山大）
○加納辰真，青山幹雄（南山大）
6K-09
開発文書間におけるトレーサビリティ抽出方法の提案と評価
○浜田尭雅，中島 毅（芝浦工大），徳本修一，髙橋加寿子（三菱）
○浜田尭雅，中島 毅（芝浦工大），徳本修一，髙橋加寿子（三菱）
学生セッション［7K会場］（3月7日（土） 13:10〜15:10）
ソフトウェアの検証と保守 座長 切貫 弘之（NTT）
7K-01
要求仕様のあいまいさを解消するためのプロセスフレームワークの提案
○中島千壽，高橋宏季，位野木万里（工学院大）
○中島千壽，高橋宏季，位野木万里（工学院大）
7K-02
要求仕様書における設計要素の表記ゆれと同義語利用に着目したあいまい表現の記述パターンの分析と自動指摘手法の提案
○高橋宏季，中島千壽，近藤公久，位野木万里（工学院大）
○高橋宏季，中島千壽，近藤公久，位野木万里（工学院大）
7K-03
深層学習を用いたWeb APIの仕様文書の生成方法の提案と評価
○永井利幸，青山幹雄（南山大）
○永井利幸，青山幹雄（南山大）
7K-04
宣言定数の抽象化による形式的部品の再利用性向上
○原野和貴，織田 健（電通大）
○原野和貴，織田 健（電通大）
7K-05
SMTソルバを用いた演算表現の難読化方法の検討
○熊井優樹，神崎雄一郎（熊本高専）
○熊井優樹，神崎雄一郎（熊本高専）
7K-06
難読化変形の機械学習による判別の困難さに関する実験的評価
○北岡哲哉，神崎雄一郎（熊本高専），森川みどり（ワイズ・リーディング），門田暁人（岡山大）
○北岡哲哉，神崎雄一郎（熊本高専），森川みどり（ワイズ・リーディング），門田暁人（岡山大）
7K-07
SMTソルバを用いたSimulinkモデルのテストケース生成
○八田竜起（福井大），石井大輔（北陸先端大）
○八田竜起（福井大），石井大輔（北陸先端大）
7K-08
フォルトローカライゼーションの精度向上に関する研究
○謝 佳智（慶大），名倉正剛（南山大），高田眞吾（慶大）
○謝 佳智（慶大），名倉正剛（南山大），高田眞吾（慶大）
学生セッション［6L会場］（3月7日（土） 9:30〜12:00）
アルゴリズム（1） 座長 垣村 尚徳（慶大）
6L-01
旅行旅程作成アルゴリズム
○大谷淳稀，真鍋義文（工学院大）
○大谷淳稀，真鍋義文（工学院大）
6L-02
荷物潰れがない、積載量の最大化アルゴリズム
○小山栞太，真鍋義文（工学院大）
○小山栞太，真鍋義文（工学院大）
6L-03
絵画調画像を生成するための遺伝アルゴリズム
○阿部 史，高松瑞代（中大）
○阿部 史，高松瑞代（中大）
6L-04
倉庫内ピッキング作業の効率化を目的とした伝票割当における最適化アルゴリズムの検討
○触沢 亘，景山陽一（秋田大），遠藤八郎，佐藤紀章（ロジザード），髙橋 毅（秋田大）
○触沢 亘，景山陽一（秋田大），遠藤八郎，佐藤紀章（ロジザード），髙橋 毅（秋田大）
6L-05
最遠の粒子を参照する粒子群最適化を用いた巡回セールスマン問題の解法
○山田悠希，穴田 一（東京都市大）
○山田悠希，穴田 一（東京都市大）
6L-06
複数の群れを使ったACOによる集合多重被覆問題の解法
○一柳 遥，荒木 徹（群馬大）
○一柳 遥，荒木 徹（群馬大）
6L-07
アントコロニーアルゴリズムを用いた災害用アプリの開発
○永沼郁華，松澤智史（東理大）
○永沼郁華，松澤智史（東理大）
学生セッション［7L会場］（3月7日（土） 13:10〜15:10）
アルゴリズム（2） 座長 波多野 大督（理研）
7L-01
直線上の2サーバーオンラインマッチング問題に対する貪欲アルゴリズムの競合比解析
○佐竹 誠，宮崎修一（京大）
○佐竹 誠，宮崎修一（京大）
7L-02
2次割当問題に対する Solution-based tabu search
○齋藤雅文，森 博志，外山 史（宇都宮大）
○齋藤雅文，森 博志，外山 史（宇都宮大）
7L-03
渦電流を用いた巡回セールスマン問題におけるGreedy法の改良
○原匠一郎，渡邊裕司，清水昭信（名古屋市大）
○原匠一郎，渡邊裕司，清水昭信（名古屋市大）
7L-04
クラスタリング手法を用いた巡回セールスマン問題の近似解法
○内田純平，穴田 一（東京都市大）
○内田純平，穴田 一（東京都市大）
7L-05
層化抽出法を用いた1対全ノードに対するs-t信頼性推定の高速化
○柳澤隼也，塩川浩昭（筑波大）
○柳澤隼也，塩川浩昭（筑波大）
7L-06
人の滞在履歴データを用いた避難計画モデルの検討
○岡田啓希，石榑隼人，武藤敦子，森山甲一（名工大），松井藤五郎（中部大），犬塚信博（名工大）
○岡田啓希，石榑隼人，武藤敦子，森山甲一（名工大），松井藤五郎（中部大），犬塚信博（名工大）
7L-07
通勤電車の混雑緩和のための経路選択方法
○浦郷遼太郎，真鍋義文（工学院大）
○浦郷遼太郎，真鍋義文（工学院大）
7L-08
文字列探索アルゴリズムを応用したダブル配列構築の高速化
○仲村勇馬，山本幹雄（筑波大）
○仲村勇馬，山本幹雄（筑波大）
学生セッション［1M会場］（3月5日（木） 9:30〜12:00）
数理モデル（1） 座長 柳澤 渓甫（東大）
1M-01
Differentiable Programmingを用いた強化学習の最適化
○黄 伊莎，トリスタン ハスクウェト，高島遼一，滝口哲也，有木康雄（神戸大）
○黄 伊莎，トリスタン ハスクウェト，高島遼一，滝口哲也，有木康雄（神戸大）
1M-02
ニューラルネットワークのパラメータ削減と判断根拠の明示化に関する検討
○竹花治紀，尾崎敦夫（阪工大）
○竹花治紀，尾崎敦夫（阪工大）
1M-03
スパース中間層を持つ制限ボルツマンマシン分類器
○勝亦利宗，安田宗樹（山形大）
○勝亦利宗，安田宗樹（山形大）
1M-04
経験ベイズ法を用いた連続値ボルツマンマシンのハイパーパラメータ推定
○加藤航太，安田宗樹（山形大）
○加藤航太，安田宗樹（山形大）
1M-05
データの複雑性を考慮した不均衡データに対するリサンプリング手法
○笹田大翔，馬場睦也，木村優介，波多野賢治（同志社大）
○笹田大翔，馬場睦也，木村優介，波多野賢治（同志社大）
1M-06
区間制約ソルバにおけるパラメータ化制約の導入
○野村亮太（福井大），石井大輔（北陸先端大）
○野村亮太（福井大），石井大輔（北陸先端大）
1M-07
分居モデルの3次元拡張の実装
○西尾明訓（同志社大）
○西尾明訓（同志社大）
学生セッション［2M会場］（3月5日（木） 13:10〜15:10）
数理モデル（2） 座長 石畠 正和（NTT）
2M-01
ニューラルネットワーク上の入出力逆問題と相互情報量の解析
○千田 翼（山形大）
○千田 翼（山形大）
2M-02
確率的極端学習機械による制限ボルツマンマシン分類器の多層化
○菅野友理，安田宗樹（山形大）
○菅野友理，安田宗樹（山形大）
2M-03
ニューラルネットの隠れ層に対する独立成分分析を用いた等価構造抽出
○山岸健太，高橋達二，佐藤聖也（電機大）
○山岸健太，高橋達二，佐藤聖也（電機大）
2M-04
ペトリネット構造解析の効率化を目的としたヒューリスティック探査手法の実装
○南 史弥，張江洋次朗，和﨑克己（信州大）
○南 史弥，張江洋次朗，和﨑克己（信州大）
2M-05
サブクラス定義に反する閉路検知を利用したペトリネットの詳細解析
○渡貫正也，張江洋次朗，和﨑克己（信州大）
○渡貫正也，張江洋次朗，和﨑克己（信州大）
2M-06
ダブルイリミネーショントーナメントにおける戦略について
○中村颯篤，真鍋義文（工学院大）
○中村颯篤，真鍋義文（工学院大）
2M-07
局所的な最適解を回避する位置推定用無線LAN電波強度分布近似手法の検討
○小野裕也，平川 豊，佐々木茉里（芝浦工大）
○小野裕也，平川 豊，佐々木茉里（芝浦工大）
学生セッション［4M会場］（3月6日（金） 9:30〜11:30）
数理モデル（3） 座長 水野 貴之（NII）
4M-01
統合研究管理基盤システムにおけるサービス最適化モデルの検証
○黒瀬 廉，升井洋志（北見工大）
○黒瀬 廉，升井洋志（北見工大）
4M-02
RoboCupサッカー2Dシミュレーションにおける遺伝的アルゴリズムを使用したフォーメーション強化
○晒 健瑠，河本敬子（近畿大）
○晒 健瑠，河本敬子（近畿大）
4M-03
インク開発支援のための主成分分析と遺伝的プログラミングによる数理モデルの導出
○及部礼成，安藤大地（首都大），恩田陽人，林真一郎（東洋インキSCホールディングス），向井智彦（首都大）
○及部礼成，安藤大地（首都大），恩田陽人，林真一郎（東洋インキSCホールディングス），向井智彦（首都大）
4M-04
アンサンブルとアテンションによる遺伝的プログラミングの線形性の向上
○加藤慎二，長尾智晴（横浜国大）
○加藤慎二，長尾智晴（横浜国大）
4M-05
大規模最適化問題における変数間依存性を考慮した協調共進化計算
○吉川太智，中田雅也（横浜国大）
○吉川太智，中田雅也（横浜国大）
4M-06
遺伝的プログラミングを用いたテクニカル指標による金融取引の戦略木構築
○加藤旺樹，穴田 一（東京都市大）
○加藤旺樹，穴田 一（東京都市大）
学生セッション［5M会場］（3月6日（金） 12:40〜15:10）
数理モデル応用（1） 座長 吉本 潤一郎（奈良先端大）
5M-01
確率効用モデルを利用したマッチングシミュレーションによる東京都の避難施設の最適配置
○樋口稚菜，下川哲矢（東理大）
○樋口稚菜，下川哲矢（東理大）
5M-02
SNSを考慮した学級シミュレーションにおけるいじめ分析
○内藤昂佑，加藤昇平（名工大）
○内藤昂佑，加藤昇平（名工大）
5M-03
コミュニティーを導入したソシオン理論に基づくクラス内のいじめのモデル化
○勝島修平，穴田 一（東京都市大）
○勝島修平，穴田 一（東京都市大）
5M-04
飲食業界における労働市場 -エージェントベースモデルによる分析-
○徐 晃生，菅 愛子，高橋大志（慶大）
○徐 晃生，菅 愛子，高橋大志（慶大）
5M-05
（講演取消）
5M-06
（講演取消）
5M-07
ボラティリティー変化における転換点予測のためのモデル
○中村 功（放送大）
○中村 功（放送大）
学生セッション［6M会場］（3月7日（土） 9:30〜12:00）
数理モデル応用（2） 座長 大久保 好章（北大）
6M-01
（講演取消）
6M-02
時空間連続性を用いたリアルタイムな動画像のノイズ除去
○石曽根毅（明大），中村和幸（明大 / JST さきがけ）
○石曽根毅（明大），中村和幸（明大 / JST さきがけ）
6M-03
果樹の生育把握に向けた三次元点群からの樹幹構造に基づく個体分割方法
○仙田 薫，繁田 亮，郭 威，川原圭博（東大）
○仙田 薫，繁田 亮，郭 威，川原圭博（東大）
6M-04
皮膚の輝度変化を用いたカメラ映像による心拍数推定
○坂巻 燎，藤田 悟（法大）
○坂巻 燎，藤田 悟（法大）
6M-05
部分予測の拡張に基づくトマト農園全体の収量予測手法の検討
○田畑良樹，渡邉真也（室蘭工大），堀江達郎（エア・ウォーター），小林洋介，佐藤和彦，岸上順一（室蘭工大）
○田畑良樹，渡邉真也（室蘭工大），堀江達郎（エア・ウォーター），小林洋介，佐藤和彦，岸上順一（室蘭工大）
6M-06
レンタル用ユニットハウスの返却時期予測における共同共進化を用いたデータ前処理手法
○舟久保龍成（東京都市大），スティーヴェン クレイネス（三協フロンテア），大谷紀子（東京都市大）
○舟久保龍成（東京都市大），スティーヴェン クレイネス（三協フロンテア），大谷紀子（東京都市大）
6M-07
テーマパークの優先権パスのデジタル化によるプレイヤー行動の検証
○石毛優紀，真鍋義文（工学院大）
○石毛優紀，真鍋義文（工学院大）
