一般セッション・学生セッション
ソフトウェア科学・工学
一般セッション[6A会場](3月15日(木) 9:30〜12:00)
数理モデル化と問題解決(5) 座長 穴田 一(東京都市大)
円筒折を用いた単一アクチュエータで直線上の物体上を進行するロボット
○奥谷文徳,梅舘拓也,斉藤一哉,川原圭博(東大)
○奥谷文徳,梅舘拓也,斉藤一哉,川原圭博(東大)
世界メッシュ統計に基づく都市の特徴付け
○佐藤彰洋(京大)
○佐藤彰洋(京大)
変化検知によるサッカーの攻守推移モデルの改良
○大塚 寛,山中 亮(愛媛大)
○大塚 寛,山中 亮(愛媛大)
非負値行列因子分解による顧客購買パターン抽出と顧客生涯価値予測
○蓮本恭輔,後藤正幸,雲居玄道(早大)
○蓮本恭輔,後藤正幸,雲居玄道(早大)
Improved Susceptibility Propagation と Diagonal Trick Method による適応 Thouless-Anderson-Palmer 方程式の導出
○高橋茶子(東北大),安田宗樹(山形大),田中和之(東北大)
○高橋茶子(東北大),安田宗樹(山形大),田中和之(東北大)
一般化 Anti Magic Graph の性質
○杉山雅英(会津大)
○杉山雅英(会津大)
デジタル制御入出力信号の非定常検出方式の検討
○柴田昌彦,中原大貴,三井 聡(三菱)
○柴田昌彦,中原大貴,三井 聡(三菱)
一般セッション[7A会場](3月15日(木) 13:20〜15:20)
アルゴリズム 座長 中野 眞一(群馬大)
グラフ列挙における構築途中のZDD幅に基づく変数順序づけ法
○鈴木浩史,湊 真一(北大)
○鈴木浩史,湊 真一(北大)
ホールケーキ分割問題に対するカット数最小の無羨望メカニズム
○梅田博之,浅野孝夫(中大)
○梅田博之,浅野孝夫(中大)
ネットワークの中心性解析によってミーティング情報から人の影響力を推定する方法
○市川悠人,石野 明(ワークスアプリケーションズ)
○市川悠人,石野 明(ワークスアプリケーションズ)
リテラルブロック距離に基づくCDCL SATソルバのリスタート戦略の検討
○楢崎修二(長崎大)
○楢崎修二(長崎大)
順序木言語のプリミティブ形式体系に対する1つの正例と所属性質問による学習アルゴリズム
○松本哲志(東海大),内田智之(広島市大),正代隆義(九州国際大),鈴木祐介,宮原哲浩(広島市大)
○松本哲志(東海大),内田智之(広島市大),正代隆義(九州国際大),鈴木祐介,宮原哲浩(広島市大)
一般セッション[1B会場](3月13日(火) 9:30〜12:00)
ソフトウェア要求仕様と品質 座長 中島 毅(芝浦工大)
開発文書中のかっこ表現ばらつき抽出技術の評価
○杉本 駿,南田幸紀,原田山人(NTT)
○杉本 駿,南田幸紀,原田山人(NTT)
開発文書リコメンド技術に関する評価と考察
○齋藤鎮成,須永 聡,原田山人,宮尾 浩(NTT)
○齋藤鎮成,須永 聡,原田山人,宮尾 浩(NTT)
VDMの仕様記述言語を導入した状態遷移図とそのテスト基準の提案
○高木智彦,赤木章紀(香川大)
○高木智彦,赤木章紀(香川大)
IoT機器データ変換へのオントロジー適用の検討
○折本拓真,塚本良太,田村孝之(三菱)
○折本拓真,塚本良太,田村孝之(三菱)
パブリッククラウドと構成管理ツールを活用した試験効率化に関する検討
○長谷 亮,松浦陽平(三菱)
○長谷 亮,松浦陽平(三菱)
コードの発展性欠陥の自動評価:コンテキストを考慮したメトリクス閾値の機械学習
○津田直彦,鷲崎弘宜,深澤良彰(早大),保田裕一朗,杉村俊輔(小松製作所)
○津田直彦,鷲崎弘宜,深澤良彰(早大),保田裕一朗,杉村俊輔(小松製作所)
一般セッション[2B会場](3月13日(火) 13:20〜15:50)
プログラミング 座長 篠埜 功(芝浦工大)
大規模計算環境の構築における簡便性の評価
○中村勝則,小山澄怜,黒田菜穂美,小川真綾(武庫川女子大)
○中村勝則,小山澄怜,黒田菜穂美,小川真綾(武庫川女子大)
ソフトウェア開発のAIによる品質管理
○豊谷 純(日大),村田大治(テクバン)
○豊谷 純(日大),村田大治(テクバン)
グラフ書換え系から共有メモリ並列プログラムを生成する手法の検討
○冨岡太一,上田和紀(早大)
○冨岡太一,上田和紀(早大)
制約階層に基づくハイブリッドシステムモデリング言語HydLaの静的誤り検出手法
○小山峻平,上田和紀(早大)
○小山峻平,上田和紀(早大)
ハイブリッドシステム解析器HyLaGIにおける非線形常微分方程式の精度保証計算
○増田健太,松本翔太,上田和紀(早大)
○増田健太,松本翔太,上田和紀(早大)
カードゲーム「クロンダイク」の成功可能性
○新谷敏朗(福山大)
○新谷敏朗(福山大)
学生セッション[2J会場](3月13日(火) 13:20〜15:50)
ソフトウェア解析と品質 座長 岡田 譲二(NTTデータ)
ソースコード読解支援のためのファイルと関連要素の縮小表示を用いるナビゲーション機能
○後藤洋二朗,梅澤 猛,大澤範高(千葉大)
○後藤洋二朗,梅澤 猛,大澤範高(千葉大)
コールグラフに基づくメソッド名の分散表現の獲得
○米内裕史,早瀬康裕,北川博之(筑波大)
○米内裕史,早瀬康裕,北川博之(筑波大)
Cソースコード変更時の影響波及範囲の解析と可視化
○高柳寛樹,福原和哉,猪股俊光,杉野栄二,今井信太郎,新井義和,成田匡輝(岩手県大)
○高柳寛樹,福原和哉,猪股俊光,杉野栄二,今井信太郎,新井義和,成田匡輝(岩手県大)
難読化されたプログラムの自動解析への耐性に関する考察
○西 陽太,神崎雄一郎(熊本高専),門田暁人(岡山大)
○西 陽太,神崎雄一郎(熊本高専),門田暁人(岡山大)
コードメトリクスを用いたソースコード評価に基づくプログラミング学習支援システム
○伊藤瑠哉,大平茂輝,長尾 確(名大)
○伊藤瑠哉,大平茂輝,長尾 確(名大)
複数組織によるソフトウェア開発において品質を低下させるソースコードの特徴の調査
○石塚 凌,津田直彦,鷲崎弘宜,深澤良彰(早大),保田裕一朗,杉村俊輔(小松製作所)
○石塚 凌,津田直彦,鷲崎弘宜,深澤良彰(早大),保田裕一朗,杉村俊輔(小松製作所)
システム障害対処のためのweb検索支援手法の提案
○西澤 玄(慶大),名倉正剛(日大),高田眞吾(慶大)
○西澤 玄(慶大),名倉正剛(日大),高田眞吾(慶大)
バグレポートの検索性向上のための機械学習による文章単位の自動ラベリング
○野寄祐樹,鷲崎弘宜,深澤良彰(早大),鹿糠秀行,大島敬志,土屋良介(日立)
○野寄祐樹,鷲崎弘宜,深澤良彰(早大),鹿糠秀行,大島敬志,土屋良介(日立)
多目的最適化手法を用いたテストケース優先度決定手法
○SHICHONG YUAN,岸 知二(早大)
○SHICHONG YUAN,岸 知二(早大)
学生セッション[3J会場](3月14日(水) 9:30〜12:00)
ソフトウェア形式検証とテスト 座長 新原 敦介(日立)
要求分析段階におけるモデル検査技術を用いた設計制約検証の自動化
○池田彩恵,松浦佐江子(芝浦工大)
○池田彩恵,松浦佐江子(芝浦工大)
SMTソルバを用いた仕様に関する定理の証明とソフトウェア開発への応用
○小松秀生,岡本圭史(仙台高専)
○小松秀生,岡本圭史(仙台高専)
テンプレートに基づく線形時相論理式の生成手法
○駱 煒賓,鷲崎弘宜,深澤良彰(早大)
○駱 煒賓,鷲崎弘宜,深澤良彰(早大)
形式手法B Methodにおける高信頼細粒度部品の粒度の提案
○高橋宏夢,織田 健(電通大)
○高橋宏夢,織田 健(電通大)
形式的ソフトウェア部品生成のための実装抽出手法
○叶野英俊,織田 健(電通大)
○叶野英俊,織田 健(電通大)
モジュール構造を考慮した形式的細粒度部品の提案
○横山 仁,織田 健(電通大)
○横山 仁,織田 健(電通大)
IoTにおけるエッジ側アクセス規制のセキュリティ検証
○矢島大嗣,岸 知二(早大)
○矢島大嗣,岸 知二(早大)
IoTシステムのゲートウェイにおける実行履歴を利用した運用プロファイル生成手法
○中村将仁,岸 知二(早大)
○中村将仁,岸 知二(早大)
Travis Torrentを分析することで得られた「継続的インテグレー ション(CI)ツール」の利用状況
○南雲宙真,本田 澄,鷲崎弘宜,深澤良彰(早大)
○南雲宙真,本田 澄,鷲崎弘宜,深澤良彰(早大)
学生セッション[5J会場](3月14日(水) 15:30〜18:00)
ソフトウェア要求仕様と開発支援 座長 西薗 和希(野村総研)
リスクワードに着目した要求仕様書の高品質化に関する一考察
○中村優作,高橋宏季,位野木万里(工学院大)
○中村優作,高橋宏季,位野木万里(工学院大)
シナリオに出現する振る舞い用語の出現パターンを用いた要求仕様書の検証手法の提案
○木村圭佑,高橋宏季,位野木万里(工学院大)
○木村圭佑,高橋宏季,位野木万里(工学院大)
貢献度を用いた共通ゴール判別手法の提案
○木村健太,岸 知二(早大)
○木村健太,岸 知二(早大)
属性付きゴール指向要求分析法における属性値情報の視覚化による要求定義の支援
○今田侑那,奥野 拓(はこだて未来大)
○今田侑那,奥野 拓(はこだて未来大)
人と高度自動化システムの協調モデルに基づく安全性要求分析方法の提案と先進運転支援システム(ADAS)への適用評価
○松原百映,青山幹雄(南山大)
○松原百映,青山幹雄(南山大)
要求分析と設計間のトレーサビリティ確保のためのUML変換ツール
○吉野魁人,松浦佐江子(芝浦工大)
○吉野魁人,松浦佐江子(芝浦工大)
MDAアプローチを適用したスマートフォン・アプリケーション・プロトタイプ自動生成手法
○張 唅宇,岸 知二(早大)
○張 唅宇,岸 知二(早大)
深層学習を用いたWeb API仕様書のモデル化方法の提案と評価
○永井利幸,加納辰真,青山幹雄(南山大)
○永井利幸,加納辰真,青山幹雄(南山大)
ソフトウェア開発PBLにおけるコミュニケーション支援に関する Systematic Literature Review
○宮下弓槻(東京学芸大),田中昂文(農工大),櫨山淳雄(東京学芸大)
○宮下弓槻(東京学芸大),田中昂文(農工大),櫨山淳雄(東京学芸大)
学生セッション[6J会場](3月15日(木) 9:30〜12:00)
計算モデルとプログラミング 座長 日高 宗一郎(法大)
高水準言語を用いた量子回路生成手法の提案
○小松拓夢(金沢大)
○小松拓夢(金沢大)
区間演算ライブラリMPFIを用いた実数計算ライブラリIFN-Hの記憶領域管理をHaskellのみで記述した設計と実装
○余頃花純,川端英之,弘中哲夫(広島市大)
○余頃花純,川端英之,弘中哲夫(広島市大)
定理証明支援系Coqと連携した証明木表示機能の設計と実装
○木村麻衣(広島市大),田中雄太(関電システムソリューションズ),川端英之,弘中哲夫(広島市大)
○木村麻衣(広島市大),田中雄太(関電システムソリューションズ),川端英之,弘中哲夫(広島市大)
効率的なコンピュータグラフィック開発のための論理型プログラミング言語tsubakiの開発と実装
○中村 航(北九州高専)
○中村 航(北九州高専)
Liquid - 非同期一階関数による並行計算体系
○諏訪重貴,福田浩章,篠埜 功(芝浦工大)
○諏訪重貴,福田浩章,篠埜 功(芝浦工大)
グラフ書換え系モデル検査における差分適用グラフ同型性判定手法の導入
○坂爪裕也,上田和紀(早大)
○坂爪裕也,上田和紀(早大)
階層グラフ書換え言語LMNtalの表現力向上に向けたパターンマッチングモデルとその実現
○齋藤諒人,上田和紀(早大)
○齋藤諒人,上田和紀(早大)
グラフ書換え系言語LMNtalにおけるパターンマッチングの実行時最適化
○柳川峻広,上田和紀(早大)
○柳川峻広,上田和紀(早大)
Incremental Pattern Matchingによる階層グラフ書換え言語LMNtalの高速化
○松澤 望,上田和紀(早大)
○松澤 望,上田和紀(早大)
学生セッション[7J会場](3月15日(木) 13:20〜15:20)
プログラミング 座長 寺内 多智弘(早大)
タブレットDBとハッシュチェインを用いたイメージデータ収集システム
○童 磊,小林 洋(東海大)
○童 磊,小林 洋(東海大)
スケーラブルなエッジ指向IoTアーキテクチャの提案と評価
○濱野真伍,青山ミキオ(南山大)
○濱野真伍,青山ミキオ(南山大)
作業手順伝達文書の記述能力とプログラミング修得過程との関係調査に関する研究
○鵜飼 凌,太田 剛(静岡大)
○鵜飼 凌,太田 剛(静岡大)
Scala向けの差分解析アルゴリズム
○文 海辰,趙 建軍(九大)
○文 海辰,趙 建軍(九大)
SNSベースの遊休資産貸借管理システムに関する提案
○佐藤碧生,成田匡輝,杉野栄二,今井信太郎,新井義和,猪股俊光(岩手県大)
○佐藤碧生,成田匡輝,杉野栄二,今井信太郎,新井義和,猪股俊光(岩手県大)
抽象構文木の双方向変換によるコードクローン管理に向けて
○相原崇弘,日高宗一郎(法大)
○相原崇弘,日高宗一郎(法大)
C++における型制約用メタ関数の簡略化
○滝 直也,森山甲一,武藤敦子,犬塚信博(名工大)
○滝 直也,森山甲一,武藤敦子,犬塚信博(名工大)
Python 標準ライブラリ関数の Ruby への自動変換
○多田悠太朗,松原俊一,Martin Duerst(青学大)
○多田悠太朗,松原俊一,Martin Duerst(青学大)
学生セッション[1K会場](3月13日(火) 9:30〜12:00)
数理モデル化と問題解決(1) 座長 庄野 逸(電通大)
最大次数が未知の多項式回帰におけるスパース推定
○井上一磨,須子統太(早大)
○井上一磨,須子統太(早大)
誤ラベルを含むデータ集合を用いた統計的機械学習
○鈴木美香,安田宗樹(山形大)
○鈴木美香,安田宗樹(山形大)
スパース化された隠れ変数を持つ制限ボルツマンマシン
○横山悠貴,安田宗樹(山形大)
○横山悠貴,安田宗樹(山形大)
航空会社の価格戦略の分析
○飯田智基,佐藤彰洋(京大)
○飯田智基,佐藤彰洋(京大)
深層強化学習を用いた投資戦略の構築
○常井祥太,穴田 一(東京都市大)
○常井祥太,穴田 一(東京都市大)
サケのふ化放流データの学習に関する検討
○小林賢哉,佐藤寛己,塩谷浩之(室蘭工大),春日井潔(北海道立総合研究機構)
○小林賢哉,佐藤寛己,塩谷浩之(室蘭工大),春日井潔(北海道立総合研究機構)
河川水中大腸菌数予測のための符号制約回帰分析
○黒岩祐有美,下山愛祐美(群馬大),佐野大輔(東北大),加藤 毅(群馬大)
○黒岩祐有美,下山愛祐美(群馬大),佐野大輔(東北大),加藤 毅(群馬大)
宿泊施設のビュッフェを対象とした重回帰分析による料理別消費量の予測
○横山 新,奥野 拓(はこだて未来大)
○横山 新,奥野 拓(はこだて未来大)
学生セッション[2K会場](3月13日(火) 13:20〜15:50)
数理モデル化と問題解決(2) 座長 庄野 逸(電通大)
他個体を参照した進化的計算による巡回セールスマン問題の解法
○佐藤豊浩,穴田 一(東京都市大)
○佐藤豊浩,穴田 一(東京都市大)
モジュラー建築ユニットの返却時期を予測する決定木のGAによる精度向上
○舟久保龍成(東京都市大),土屋直樹(三協フロンテア),スティーヴェン クレイネス,大谷紀子(東京都市大)
○舟久保龍成(東京都市大),土屋直樹(三協フロンテア),スティーヴェン クレイネス,大谷紀子(東京都市大)
セルラー無線通信の固定チャネル割り当てのための突然変異としてローカルサーチを取り入れた遺伝的アルゴリズムの提案
○高橋咲智,北道淳司(会津大)
○高橋咲智,北道淳司(会津大)
棄権の選択肢を持ったプレイヤにおける少数派ゲーム
○水上健人,大島佐知子,菱山玲子(早大)
○水上健人,大島佐知子,菱山玲子(早大)
囚人のジレンマゲームのシミュレーション解析-協力戦略の可能性-
○原田凌太,中桐斉之(兵庫県大)
○原田凌太,中桐斉之(兵庫県大)
自律ロボットの実時間強化学習
○太田悠介,ピトヨ ハルトノ(中京大)
○太田悠介,ピトヨ ハルトノ(中京大)
利便性を考慮した力学系に基づく複数経路探索
○櫻場悠之,須貝康雄(千葉大)
○櫻場悠之,須貝康雄(千葉大)
Analyzing the Navigation Behavior and Generating the Operational Profile-based Test Technique in the VR Tourism Systems using Formal Verification and Modeling Tools
○Amit Batajoo(Shinshu University),Yojiro Harie,Katsumi Wasaki(Shishu University)
○Amit Batajoo(Shinshu University),Yojiro Harie,Katsumi Wasaki(Shishu University)
学生セッション[3K会場](3月14日(水) 9:30〜12:00)
数理モデル化と問題解決(3) 座長 松田 健(長崎県立大)
OI包摂に基づくネットワークパターンマイニングアルゴリズムの効率的実装
○森 遼太,武藤敦子,森山甲一,犬塚信博(名工大)
○森 遼太,武藤敦子,森山甲一,犬塚信博(名工大)
個人の嗜好と情報カテゴリを考慮した情報発信モデルによるウェブリンク構造生成
○熊澤健人,中平勝子,北島宗雄(長岡技科大)
○熊澤健人,中平勝子,北島宗雄(長岡技科大)
異種ネットワークの結合とノード視点に基づくコミュニティ抽出
○片岡拓弥,須貝康雄(千葉大)
○片岡拓弥,須貝康雄(千葉大)
SNSのコミュニケーションを考慮した学級集団ネットワーク形成モデル
○内藤昂佑,加藤昇平(名工大)
○内藤昂佑,加藤昇平(名工大)
会話相手の話題に関する好みを考慮した学級モデル
○吉田達矢,穴田 一(東京都市大)
○吉田達矢,穴田 一(東京都市大)
普通列車を対象にした制約付き最長距離経路探索の考案
○谷口雄大,猪俣俊光,杉野栄二,成田匡輝,今井信太朗,新井義和(岩手県大)
○谷口雄大,猪俣俊光,杉野栄二,成田匡輝,今井信太朗,新井義和(岩手県大)
ハンドボール競技におけるセットオフェンス内でのプレーパターンの抽出と分類に関する研究
○樋田明史,相場 亮(芝浦工大)
○樋田明史,相場 亮(芝浦工大)
学生セッション[5K会場](3月14日(水) 15:30〜18:00)
数理モデル化と問題解決(4) 座長 安田 宗樹(山形大)
列車運行ダイヤを考慮した鉄道乗りつぶしのための旅行プランの生成
○亀田遼希,大谷紀子(東京都市大)
○亀田遼希,大谷紀子(東京都市大)
語句の関係性に着目したSNS投稿の真偽分類の検討
○牛込龍太郎(中大/NICT),松田 健(長崎県立大),園田道夫,趙 晋輝(中大)
○牛込龍太郎(中大/NICT),松田 健(長崎県立大),園田道夫,趙 晋輝(中大)
攻撃データ以外の特徴によるOSコマンドインジェクション攻撃の可視化
○姜 雨(中大),松田 健(長崎県立大),牛込龍太郎,園田道夫,趙 晋輝(中大)
○姜 雨(中大),松田 健(長崎県立大),牛込龍太郎,園田道夫,趙 晋輝(中大)
ラウンドアバウトにおける歩行者用信号機による交通流への影響
○黒岩妃呂,藤岡 薫(福岡女子大)
○黒岩妃呂,藤岡 薫(福岡女子大)
公平性を考慮した麻酔科医スケジューリング問題に関する一検討
○山中悠介,沖本天太,平山勝敏(神戸大)
○山中悠介,沖本天太,平山勝敏(神戸大)
体内水分量を考慮に入れた無拘束膀胱内蓄尿量予測のためのモデル提案
○渋江直樹,栗原陽介,鏑木崇史(青学大)
○渋江直樹,栗原陽介,鏑木崇史(青学大)
猿の受信信号のラベリングとその確率分布の比較の有意性の検証
○安田善紀(静岡大)
○安田善紀(静岡大)
学生セッション[6K会場](3月15日(木) 9:30〜12:00)
アルゴリズム 座長 荒木 徹也(首都大)
k-anonymity with h-outlier
○DULAMDARI BATBAYAR,中野眞一,宮田洋行(群馬大)
○DULAMDARI BATBAYAR,中野眞一,宮田洋行(群馬大)
k-外平面的グラフのangular resolution
○小島大輝,中野眞一,宮田洋行(群馬大)
○小島大輝,中野眞一,宮田洋行(群馬大)
ZDDを用いた集合分割の族の表現法
○高橋翔哉,湊 真一(北大)
○高橋翔哉,湊 真一(北大)
グラフに含まれる大きな内周を持つ部分グラフの効率良い列挙
○栗田和宏(北大),Alessio Conte(Università di Pisa),和佐州洋,宇野毅明(NII),有村博紀(北大)
○栗田和宏(北大),Alessio Conte(Università di Pisa),和佐州洋,宇野毅明(NII),有村博紀(北大)
歩行者のいる通路におけるロボットの経路計画
○中島巧乃(中大),森口昌樹(明大),今井桂子(中大)
○中島巧乃(中大),森口昌樹(明大),今井桂子(中大)
折り畳んだ後の領域を考慮した三次元物体の折り畳み手法
○島津貴行(中大),森口昌樹(明大),今井桂子(中大)
○島津貴行(中大),森口昌樹(明大),今井桂子(中大)
レベル差を持つLinear Quadtreeを用いた隣接領域コードの計算に関する研究
○吉田尚人(島根大)
○吉田尚人(島根大)
高速に類似文字列ペアを発見するビット並列フィルター
○山田太樹,清水佳奈(早大)
○山田太樹,清水佳奈(早大)