一般セッション・学生セッション
ソフトウェア科学・工学
一般セッション［1B会場］（3月14日（木） 9:30〜11:30）
ソフトウェアの要求と品質 座長 中川 博之（阪大）
1B-01
ソフトウェア要求仕様書の品質負債分析方法の提案と適用評価
○松岡良和，青山幹雄（南山大）
○松岡良和，青山幹雄（南山大）
1B-02
製品開発において要求分析に求められる要件に関する考察と要求分析手法の調査
○野村将行（両毛システムズ），畠山未来，本城 創（マツダ），中塚亮介，中澤一瑛（ミツバ）
○野村将行（両毛システムズ），畠山未来，本城 創（マツダ），中塚亮介，中澤一瑛（ミツバ）
1B-03
RNNを用いたテキスト2値分類による用語説明文抽出方法の提案
○李 天瑶，鹿糠秀行，大島敬志，前岡 淳（日立）
○李 天瑶，鹿糠秀行，大島敬志，前岡 淳（日立）
1B-04
（講演取消）
1B-05
Self-admitted technical debtの混入・除去に関する追実験
○西川諒真，西中隆志郎，亀井靖高，佐藤亮介，鵜林尚靖（九大）
○西川諒真，西中隆志郎，亀井靖高，佐藤亮介，鵜林尚靖（九大）
1B-06
子どもを褒めて学習を支援するロボットの台数が与える影響の調査
○塩見昌裕（ATRR），田村優美子，木本充彦（同志社大），飯尾尊優（筑波大），下原勝憲（同志社大），萩田紀博（ATR）
○塩見昌裕（ATRR），田村優美子，木本充彦（同志社大），飯尾尊優（筑波大），下原勝憲（同志社大），萩田紀博（ATR）
一般セッション［2B会場］（3月14日（木） 12:30〜15:00）
ソフトウェアの検証と開発支援 座長 高井 利憲（奈良先端大）
2B-01
複数のユースケース記述に対するモデル検査を用いた要求検証プロセスの提案
○松原潤弥（デンソークリエイト），井原博之（デンソー），齋藤芳明（小松製作所）
○松原潤弥（デンソークリエイト），井原博之（デンソー），齋藤芳明（小松製作所）
2B-02
An Overview of Automatic Software Repair Techniques via Machine Learning
○董 沢銘，趙 建軍（九大），馬 雷（ハルビン工業大）
○董 沢銘，趙 建軍（九大），馬 雷（ハルビン工業大）
2B-03
（講演取消）
2B-04
テスト自動化技術を利用したマトリクスチェックリストに基づくテスト方法
○鹿糠秀行，大林浩気，内海幸也，武藤邦弘（日立）
○鹿糠秀行，大林浩気，内海幸也，武藤邦弘（日立）
2B-05
データ管理ソフトウェアを用いた照合機能の検討
○正村 駿，野口智史，竹内清史（三菱）
○正村 駿，野口智史，竹内清史（三菱）
2B-06
C言語マクロを前置型の作用素のように使うことについて
○中村博文（都城高専），渕田孝康（鹿児島大）
○中村博文（都城高専），渕田孝康（鹿児島大）
一般セッション［5B会場］（3月15日（金） 12:30〜15:00）
数理モデル化と問題解決（4） 座長 穴田 一（東京都市大）
5B-01
魚群を対象としたHerding Algorithmの誘導性能に関する一考察
○星 宏侑，飯村伊智郎（熊本県大），中山 茂（鹿児島大）
○星 宏侑，飯村伊智郎（熊本県大），中山 茂（鹿児島大）
5B-02
微生物群集のダイナミクスの数理モデリングと数値解析
○小谷野仁，山本 希（東工大），澤田和典（ぐるなび），山田拓司（東工大）
○小谷野仁，山本 希（東工大），澤田和典（ぐるなび），山田拓司（東工大）
5B-03
中毒現象の動的な確率モデル
○水野貴之，小林亮太（NII），宮田正晃（ビデオリサーチ），庄司俊章（東大）
○水野貴之，小林亮太（NII），宮田正晃（ビデオリサーチ），庄司俊章（東大）
5B-04
物流倉庫における商品配置変更による出荷ピッキング業務効率化
○友田 敦，難波博之（日立）
○友田 敦，難波博之（日立）
5B-05
二者対話中の動作を用いた沈黙推定
○善本 淳（NICT）
○善本 淳（NICT）
5B-06
人間関係に信頼と不信を採り入れたオピニオンダイナミクス理論
○石井 晃（鳥取大）
○石井 晃（鳥取大）
5B-07
演繹的道徳推論の射程
○村上祐子（立教大）
○村上祐子（立教大）
一般セッション［6B会場］（3月16日（土） 9:30〜12:00）
アルゴリズム（1） 座長 斎藤 寿樹（九工大）
6B-01
グラフ上のパケットルーティング問題のパラメータ複雑性に関する研究
○菊池正太，鈴木 顕，伊藤健洋，周 暁（東北大）
○菊池正太，鈴木 顕，伊藤健洋，周 暁（東北大）
6B-02
グラフ上の経路固定サーバ割当問題のパラメータ複雑性
○岩本裕二，水田遥河，鈴木 顕，伊藤健洋，周 暁（東北大）
○岩本裕二，水田遥河，鈴木 顕，伊藤健洋，周 暁（東北大）
6B-03
整合的なデジタル曲線族の構築法
○菊地賢也，全 眞嬉，徳山 豪（東北大）
○菊地賢也，全 眞嬉，徳山 豪（東北大）
6B-04
平面 Magic Graph の2つの双対性について
○杉山雅英（会津大）
○杉山雅英（会津大）
6B-05
ポリオミノ型多角形からの多面体の構成
○大塚 寛，藤田修平（愛媛大）
○大塚 寛，藤田修平（愛媛大）
6B-06
折り紙スピーカのための電極の連続配線可否判別
○奥谷文徳，斉藤一哉，加藤邦拓，川原圭博（東大）
○奥谷文徳，斉藤一哉，加藤邦拓，川原圭博（東大）
一般セッション［7B会場］（3月16日（土） 13:20〜15:20）
アルゴリズム（2） 座長 戸田 貴久（電通大）
7B-01
最小2部クリーク辺被覆問題が多項式時間で解ける新しいグラフクラス
○大月英明（南山大）
○大月英明（南山大）
7B-02
グラフ上の協調経路策定問題の計算複雑性
○村岡 功，大澤弘基，伊藤健洋，周 暁（東北大）
○村岡 功，大澤弘基，伊藤健洋，周 暁（東北大）
7B-03
グラフのスクールバス問題とその一般化
○清野裕崇，畑中達彦，伊藤健洋，周 暁（東北大）
○清野裕崇，畑中達彦，伊藤健洋，周 暁（東北大）
7B-04
AC0クラスで実装できる秘密分散の構成
○櫻井幸一，Sabyasachi DUTTA（九大）
○櫻井幸一，Sabyasachi DUTTA（九大）
学生セッション［5M会場］（3月15日（金） 12:30〜15:00）
プログラミング 座長 八杉 昌宏（九工大）
5M-01
ソースコード断片の転用による新規言語学習支援システム
○郷司敬介，久保田光一（中大）
○郷司敬介，久保田光一（中大）
5M-02
論理型言語PROLEG から双極議論フレームワークへの変換のCoqによる形式化と証明
○中西瑠海，森口草介，高橋和子（関西学院大）
○中西瑠海，森口草介，高橋和子（関西学院大）
5M-03
関数型プログラムの条件式に関するバグの自動修正
○松井 健，佐藤亮介，鵜林尚靖，亀井靖高（九大）
○松井 健，佐藤亮介，鵜林尚靖，亀井靖高（九大）
5M-04
Liquid: 非同期処理の暗黙的同期を行う型付きプログラミング言語
○諏訪重貴，福田浩章，篠埜 功（芝浦工大）
○諏訪重貴，福田浩章，篠埜 功（芝浦工大）
5M-05
難易度が変化する電子書籍とその開発支援環境
○張 賀，奥野祥二，内田智史（神奈川大）
○張 賀，奥野祥二，内田智史（神奈川大）
5M-06
ファイルシステムによる通信手法の簡略化
○利穂虹希，佐野雅彦（徳島大）
○利穂虹希，佐野雅彦（徳島大）
5M-07
FFIをもつSchemeインタプリタのための部分コンパイル方式コンパイラの構成法
○寺澤哉門，小宮常康（電通大）
○寺澤哉門，小宮常康（電通大）
学生セッション［1N会場］（3月14日（木） 9:30〜11:30）
ソフトウェアシステムの設計と評価 座長 大森 隆行（立命館大）
1N-01
状態遷移図に対する複雑度評価手法の改良提案
○鈴木淳志，中島 毅（芝浦工大）
○鈴木淳志，中島 毅（芝浦工大）
1N-02
GUI設計のためのモデルベースデザイン評価手法
○山田龍平，鷲崎弘宜，深澤良彰（早大），鹿糠秀行（日立）
○山田龍平，鷲崎弘宜，深澤良彰（早大），鹿糠秀行（日立）
1N-03
二重エッジアーキテクチャ設計方法の提案とMQTT-Bridgeを用いたプロトタイプによる評価
○宇野聡将，青山幹雄（南山大）
○宇野聡将，青山幹雄（南山大）
1N-04
電子連結車両を用いた端末交通システムのためのモデル検査法によるスケジューリング手法
○清水圭太，長谷部浩二（筑波大）
○清水圭太，長谷部浩二（筑波大）
1N-05
待ち行列ネットワークのシミュレータの構築
○渡辺尚希，川端 亮，伊藤 潔（上智大）
○渡辺尚希，川端 亮，伊藤 潔（上智大）
1N-06
複合現実環境を用いた交通流シミュレーション環境の概要
○永尾雅俊，安藤崇央，藤井 遼，久住憲嗣，福田 晃（九大）
○永尾雅俊，安藤崇央，藤井 遼，久住憲嗣，福田 晃（九大）
1N-07
レガシーマイグレーションにおける受け入れテストの生成支援手法の検討
○木津谷諒，山田敬三，高木正則，佐々木淳（岩手県大）
○木津谷諒，山田敬三，高木正則，佐々木淳（岩手県大）
1N-08
システム仕様書からのテストケース生成支援ツールの開発
○村上神龍（九工大）
○村上神龍（九工大）
学生セッション［2N会場］（3月14日（木） 12:30〜15:00）
形式手法と検証 座長 中島 毅（芝浦工大）
2N-01
命題論理の深層学習による自動証明
○金原雅典，佐藤亮介，鵜林尚靖，亀井靖高（九大）
○金原雅典，佐藤亮介，鵜林尚靖，亀井靖高（九大）
2N-02
関数型プログラムのための回帰推定による停止性判定ツールの試作
○村本大起，佐藤亮介，鵜林尚靖，亀井靖高（九大）
○村本大起，佐藤亮介，鵜林尚靖，亀井靖高（九大）
2N-03
記号実行支援ツールの開発
○木村信一，劉 少英（法大）
○木村信一，劉 少英（法大）
2N-04
モジュール構造を考慮した形式的細分化実装
○岡安 悠，織田 健（電通大）
○岡安 悠，織田 健（電通大）
2N-05
リファインメントを考慮した部品再利用による形式的ソフトウェア合成
○叶野英俊，織田 健（電通大）
○叶野英俊，織田 健（電通大）
2N-06
テストケース生成プロセスの自動アニメーション支援ツールの開発
○須貝健太，劉 少英（法大）
○須貝健太，劉 少英（法大）
2N-07
属性付きトークンを導入した拡張プレース/トランジションネットによるソフトウェアモデリングの提案
○黒住 遼，高木智彦（香川大）
○黒住 遼，高木智彦（香川大）
2N-08
SQLインジェクションに対する機械学習を用いた攻撃検知手法の提案
○井村悠成（早大）
○井村悠成（早大）
学生セッション［4N会場］（3月15日（金） 9:30〜11:30）
ソフトウェアの要求と知識 座長 松浦 佐江子（芝浦工大）
4N-01
モジュラーペルソナの設計方法の提案と評価
○野村 凌，青山幹雄（南山大）
○野村 凌，青山幹雄（南山大）
4N-02
ソフトウェアの特性を考慮したペルソナ作成支援
○中丸智貴，深澤良彰（早大），白銀純子（東京女子大），岩田 一（神奈川工科大）
○中丸智貴，深澤良彰（早大），白銀純子（東京女子大），岩田 一（神奈川工科大）
4N-03
ペルソナプロトタイピングをGDTA: Goal Directed Task Analysis モデリングに追加拡張することによるデザイン思考要求獲得手法の提案
○小野祐央，高橋宏季，位野木万里（工学院大）
○小野祐央，高橋宏季，位野木万里（工学院大）
4N-04
Customer Journey Mapを用いた顧客行動の可視化プロセスの導入によるユースケース駆動要求獲得手法の拡張
○峯 晴香，高橋宏季，位野木万里（工学院大）
○峯 晴香，高橋宏季，位野木万里（工学院大）
4N-05
ライトウェイトオントロジーのゴール指向設計方法の提案と農業分野における知識獲得への適用と評価
○森泉千尋，青山幹雄（南山大）
○森泉千尋，青山幹雄（南山大）
4N-06
ソフトウェアセキュリティ知識ベースを用いた要求分析及び設計における知識提示手法の提案
○山田侑樹，櫨山淳雄（東京学芸大），吉岡信和（NII）
○山田侑樹，櫨山淳雄（東京学芸大），吉岡信和（NII）
4N-07
ステークホルダグラフモデルに基づくデータ駆動要求獲得方法の提案と評価
○小林勇也，青山幹雄（南山大）
○小林勇也，青山幹雄（南山大）
4N-08
通知メッセージの重要度およびユーザの感覚に適応した音の割り当て
○阪井莉捺，深澤良彰（早大），白銀純子（東京女子大），岩田 一（神奈川工科大）
○阪井莉捺，深澤良彰（早大），白銀純子（東京女子大），岩田 一（神奈川工科大）
学生セッション［5N会場］（3月15日（金） 12:30〜15:00）
要求の評価とトレーサビリティ 座長 切貫 弘之（NTT）
5N-01
AADLモデル活用による安全分析STMAP/STPAの支援
○目黒友貴，岡本圭史（仙台高専），大友楓雅（富士アイティ），力武克彰（仙台高専）
○目黒友貴，岡本圭史（仙台高専），大友楓雅（富士アイティ），力武克彰（仙台高専）
5N-02
USDM形式要求仕様記述パターンの提案とその評価
○山本稔郎，中島 毅（芝浦工大）
○山本稔郎，中島 毅（芝浦工大）
5N-03
振る舞い用語の同義語に着目したあいまいな要求仕様の検証手法の提案
○井上 昇，高橋宏季，位野木万里（工学院大）
○井上 昇，高橋宏季，位野木万里（工学院大）
5N-04
word2vecを用いた同義語辞書自動作成手法の提案と適用評価
○伴 凌太，高橋宏季，位野木万里（工学院大）
○伴 凌太，高橋宏季，位野木万里（工学院大）
5N-05
日本語で記述された情報システムの要求仕様書中のあいまい表現が開発範囲に与える影響に関する考察
○高橋淳也，高橋宏季，位野木万里（工学院大）
○高橋淳也，高橋宏季，位野木万里（工学院大）
5N-06
要求仕様書におけるあいまい表現の指摘の自動化手法の提案-表記ゆれ用語の派生関係の一般化と特定方法のルール化-
○鈴木萌花，高橋宏季，位野木万里（工学院大）
○鈴木萌花，高橋宏季，位野木万里（工学院大）
5N-07
要求分析モデルからの状態遷移抽出による振る舞いフローの妥当性確認支援
○森田 光，松浦佐江子（芝浦工大）
○森田 光，松浦佐江子（芝浦工大）
5N-08
要求分析と基本設計間のトレーサビリティ確保のためのユースケース記述変換ツール
○吉野魁人，松浦佐江子（芝浦工大）
○吉野魁人，松浦佐江子（芝浦工大）
5N-09
トレーサビリティ確保のためのXtendを用いたUMLモデルコンパイラ
○松隈 暖，松浦佐江子（芝浦工大）
○松隈 暖，松浦佐江子（芝浦工大）
学生セッション［6N会場］（3月16日（土） 9:30〜12:00）
モデリングとオープンソースソフトウェア 座長 伊原 彰紀（和歌山大）
6N-01
ソースコードからのUMLモデル自動生成によるソフトウェア概略の理解支援
○滝本竜海，松浦佐江子（芝浦工大）
○滝本竜海，松浦佐江子（芝浦工大）
6N-02
トランザクション分析からのER図生成
○阿保 遼，川端 亮，伊藤 潔（上智大）
○阿保 遼，川端 亮，伊藤 潔（上智大）
6N-03
機械学習によるグラフモデルOSS開発コミュニティ構造の特徴量分析方法の提案と評価
○加藤聖也，青山幹雄（南山大）
○加藤聖也，青山幹雄（南山大）
6N-04
ソフトウェア開発PBLにおけるチャットと成果物の関連付けによるコミュニケーション支援環境の開発
○工藤くりこ，櫨山淳雄（東京学芸大），鷲崎弘宜（早大）
○工藤くりこ，櫨山淳雄（東京学芸大），鷲崎弘宜（早大）
6N-05
OSSプロジェクトにおける不確かさの内容分類
○村岡北斗，亀井靖高，佐藤亮介，鵜林尚靖（九大）
○村岡北斗，亀井靖高，佐藤亮介，鵜林尚靖（九大）
6N-06
GitHubにおけるセキュリティバグ報告と修正の調査
○中野大扉，亀井靖高（九大），Abram Hindle（University of Alberta），佐藤亮介，鵜林尚靖（九大）
○中野大扉，亀井靖高（九大），Abram Hindle（University of Alberta），佐藤亮介，鵜林尚靖（九大）
6N-07
OSS開発プロジェクトにおけるREADMEファイルの進化に関する理解
○佐渡島悠樹，亀井靖高，佐藤亮介，鵜林尚靖（九大）
○佐渡島悠樹，亀井靖高，佐藤亮介，鵜林尚靖（九大）
6N-08
Stack Overflow記事の充実に向けたソースコード変更履歴の利用可能性評価
○西中隆志郎，佐藤亮介，亀井靖高，鵜林尚靖（九大）
○西中隆志郎，佐藤亮介，亀井靖高，鵜林尚靖（九大）
学生セッション［7N会場］（3月16日（土） 13:20〜15:20）
レビューとプログラム解析・修正 座長 柗本 真佑（阪大）
7N-01
ユーザレビューから利用時品質問題の抽出方法の提案と評価
○和田敦皓，青山幹雄（南山大）
○和田敦皓，青山幹雄（南山大）
7N-02
コードレビューにおいて検出可能なプログラム課題の分析
○福元春輝，伊原彰紀（和歌山大）
○福元春輝，伊原彰紀（和歌山大）
7N-03
ソースコード修正履歴を用いた自動バグ修正手法の性能理解
○首藤 巧，亀井靖高，佐藤亮介，鵜林尚靖（九大）
○首藤 巧，亀井靖高，佐藤亮介，鵜林尚靖（九大）
7N-04
自動バグ修正技術の企業内ソースコードへの適用に向けて
○池田 翔，中野大扉，亀井靖高，佐藤亮介，鵜林尚靖（九大），吉武 浩，矢川博文（富士通九州ネットワークテクノロジーズ）
○池田 翔，中野大扉，亀井靖高，佐藤亮介，鵜林尚靖（九大），吉武 浩，矢川博文（富士通九州ネットワークテクノロジーズ）
7N-05
Scratchプログラムにおける類似コードの特定にむけて
○安東亮汰，伊原彰紀（和歌山大）
○安東亮汰，伊原彰紀（和歌山大）
7N-06
イベント駆動型アプリケーション開発のためのAPI使用パターンに関する対話型検索を支援するグラフベース視覚化ツールの検討
○近藤悠志，西本匡志，西山佳志，川端英之，弘中哲夫（広島市大）
○近藤悠志，西本匡志，西山佳志，川端英之，弘中哲夫（広島市大）
7N-07
プログラミング・ロジックを考慮したソースコード推薦システムの検討
○重田智希，鷹野孝典（神奈川工科大）
○重田智希，鷹野孝典（神奈川工科大）
7N-08
プログラム要素間の関係のグラフ埋め込みに基づくクラス名の調査
○栗本真太郎，早瀬康裕，米内裕史，伊藤寛祥，北川博之（筑波大）
○栗本真太郎，早瀬康裕，米内裕史，伊藤寛祥，北川博之（筑波大）
学生セッション［1P会場］（3月14日（木） 9:30〜11:30）
数理モデル化と問題解決（1） 座長 小谷野 仁（東工大）
1P-01
帰納的ゲーム理論における意思決定過程の認識論理による分析
○藤代康誠，長谷部浩二（筑波大）
○藤代康誠，長谷部浩二（筑波大）
1P-02
ハイブリッドシステムモデリング言語HydLaを用いたDAEシステムの解析
○渋井隆弘，上田和紀（早大）
○渋井隆弘，上田和紀（早大）
1P-03
コミュニティ検出とその時間発展に基づくインターネットの成長過程の検証
○濱本拓海，井上寛康（兵庫県大）
○濱本拓海，井上寛康（兵庫県大）
1P-04
（講演取消）
1P-05
畳み込みニューラルネットワークを用いた多数のパラメータによって特徴づけられる波形の抽出とパラメータ推定
○森 雅也，中平勝子（長岡技科大），田中貴浩（京大）
○森 雅也，中平勝子（長岡技科大），田中貴浩（京大）
1P-06
円板上の非圧縮流の反転の解析
○内藤綾香，加藤 舞，横山哲郎（南山大），横山知郎（京都教育大）
○内藤綾香，加藤 舞，横山哲郎（南山大），横山知郎（京都教育大）
1P-07
触覚認知における皮膚の形態計算のためのモデル化
○武者 茜，重宗宏毅，臺原 学，澤田秀之（早大）
○武者 茜，重宗宏毅，臺原 学，澤田秀之（早大）
1P-08
Bezier曲線を生成元とするVoronoi図の位相構造の決定
○辻野弘章，今井敏行（和歌山大）
○辻野弘章，今井敏行（和歌山大）
学生セッション［2P会場］（3月14日（木） 12:30〜15:00）
数理モデル化と問題解決（2） 座長 水野 貴之（NII）
2P-01
0-1整数計画法による組合せ・順序の最適化-フィギュアスケートにおけるプログラム構成のための-
○片桐一憲，奥田隆史（愛知県大）
○片桐一憲，奥田隆史（愛知県大）
2P-02
0-1整数計画法によるレジリエントなナース・スケジューリング
○吉田基輝，沖本天太，平山勝敏（神戸大）
○吉田基輝，沖本天太，平山勝敏（神戸大）
2P-03
スポーツ・スケジューリング：ミニバスケットボールにおけるリーグ戦作成問題
○西村一輝，沖本天太，平山勝敏（神戸大）
○西村一輝，沖本天太，平山勝敏（神戸大）
2P-04
学級内における人間関係の生成モデル
○吉田達矢，穴田 一（東京都市大）
○吉田達矢，穴田 一（東京都市大）
2P-05
マルチエージェント・アプローチを用いた偵察蜂の定足数反応による最適巣作り場所の決定作用に関する研究
○西山幸寛，村上和人（愛知県大）
○西山幸寛，村上和人（愛知県大）
2P-06
マルチエージェントシミュレーションを用いたモジュラー建築物のレンタル事業の解析
○舟久保龍成（東京都市大），土屋直樹，スティーヴェン クレイネス（三協フロンテア），大谷紀子（東京都市大）
○舟久保龍成（東京都市大），土屋直樹，スティーヴェン クレイネス（三協フロンテア），大谷紀子（東京都市大）
2P-07
GAに基づく小選挙区画定手法の提案
○有馬 遼，大谷紀子（東京都市大）
○有馬 遼，大谷紀子（東京都市大）
2P-08
Location Allocationによる運転代行車の初期配置問題の解決
○木村将也，竹野健夫，植竹俊文（岩手県大）
○木村将也，竹野健夫，植竹俊文（岩手県大）
2P-09
Expressway Congestion Simulation Involving Lane Changing
○KAMARULZAMAN ANIS BINTI，水野一徳，増金拓弥（拓大）
○KAMARULZAMAN ANIS BINTI，水野一徳，増金拓弥（拓大）
学生セッション［4P会場］（3月15日（金） 9:30〜11:30）
数理モデル化と問題解決（3） 座長 庄野 逸（電通大）
4P-01
「一帯一路」構想による中国化のデータ駆動型実証研究 -グローバルな株式所有関係のネットワーク分析-
○小髙充弘（NII／長崎大），水野貴之（NII）
○小髙充弘（NII／長崎大），水野貴之（NII）
4P-02
リアル空間でのビットコインの流れ：スキームイベントのケース
○全 珠美（総研大），水野貴之（NII）
○全 珠美（総研大），水野貴之（NII）
4P-03
ビットコインのマイニング競争におけるプール形成に関する考察
○丹羽 庸，萩原信吾（富山高専）
○丹羽 庸，萩原信吾（富山高専）
4P-04
NT倍率取引における深層強化学習を用いた投資戦略の構築
○常井祥太，穴田 一（東京都市大）
○常井祥太，穴田 一（東京都市大）
4P-05
テクニカル指標による金融取引の戦略木構築
○加藤旺樹，穴田 一（東京都市大）
○加藤旺樹，穴田 一（東京都市大）
4P-06
動的な変更を伴う海上物流計画に対する多重Ambient Calculusを用いたモデル検査手法
○寺尾 侑，加藤 暢（近畿大）
○寺尾 侑，加藤 暢（近畿大）
4P-07
ネットワークフローを用いた実時間避難シミュレーション
○姫野湧太，徳永潤平，榎原博之（関西大）
○姫野湧太，徳永潤平，榎原博之（関西大）
4P-08
強化学習を用いた巡回セールスマン問題の解法
○山本大輔，三木彰馬，榎原博之（関西大）
○山本大輔，三木彰馬，榎原博之（関西大）
学生セッション［5P会場］（3月15日（金） 12:30〜15:00）
アルゴリズム 座長 鈴木 顕（東北大）
5P-01
大規模点群における辺制約付き三角形分割の生成
○石川知明，山内大七洋，山中克久，平山貴司（岩手大）
○石川知明，山内大七洋，山中克久，平山貴司（岩手大）
5P-02
タンパク質相互作用ネットワークの高速な直径計算アルゴリズム
○佐藤 浩，佐野祐輔，亘理大也，尾崎 拓，山中克久，平山貴司（岩手大）
○佐藤 浩，佐野祐輔，亘理大也，尾崎 拓，山中克久，平山貴司（岩手大）
5P-03
ペントミノを用いたアンチスライドパズルの解の列挙
○楊 璽，武永康彦，稲田明透河（電通大）
○楊 璽，武永康彦，稲田明透河（電通大）
5P-04
あるクラフトゲームの計算モデルについて
○鵜野高寛，横山哲郎，全 子陽（南山大）
○鵜野高寛，横山哲郎，全 子陽（南山大）
5P-05
ネットワークパターンマイニングアルゴリズムの効率的実装
○戸崎友斗，武藤敦子，森山甲一，犬塚信博（名工大）
○戸崎友斗，武藤敦子，森山甲一，犬塚信博（名工大）
5P-06
入力表現の適応的選択を伴うグラフ畳み込みネットワーク学習
○菊地翔馬，瀧川一学（北大）
○菊地翔馬，瀧川一学（北大）
5P-07
位置推定用無線 LAN 電波強度分布近似手法の検討
○小野裕也，平川 豊，佐々木茉里（芝浦工大）
○小野裕也，平川 豊，佐々木茉里（芝浦工大）
5P-08
対話型進化計算を用いたメガネデザインシステム 〜差分進化でのスケーリングパラメータの検討〜
○岡本一輝，河本敬子（近畿大）
○岡本一輝，河本敬子（近畿大）
5P-09
粒子群最適化を用いた巡回セールスマン問題の解法
○山田悠希，穴田 一（東京都市大）
○山田悠希，穴田 一（東京都市大）
