B分野 ソフトウェア
選奨セッション
コンピュータアーキテクチャ(C分野と共催)
9月1日(火)9:30-12:00 1b会場
CC-001アナログ電子回路を用いたイジング・アニーラの開発
○吉川 浩(北海道大学)
CC-002近似レベルを動的制御可能なアーキテクチャのためのコンパイラフレームワークの検討
◎冨田 和孝・中村 朋生・小泉 透・入江 英嗣・入江 英嗣・坂井 修一・坂井 修一(東京大学)
CC-003負荷分散を備えたFPGAによる並列ストレージシステムの実装と評価
◎梅津 直弥・山口 佳樹(筑波大学)
CB-001再結合光子の輻射輸送大規模計算に向けたFPGA実装
◎古川 和輝・山口 佳樹(筑波大学)
高性能計算とOS
9月1日(火)13:10-15:10 2b会場
B-001Raspberry pi Zeroの画像処理によるGPGPU用途としての性能評価
◎近藤 鯛貴・竹田 大将・佐藤 裕幸(岩手県立大学)
B-002完全準同型暗号の高速化に向けたハードウェア利活用に関する研究調査
◎井上 紘太朗・鈴木 拓也・山名 早人(早稲田大学)
B-003コストパフォーマンスに優れたマルチGPU環境電子ホログラフィシステムの提案
◎三谷 永久・鈴木 康平・濵田 端三・坂口 朋哉・三宮 廣海(高知大学)・中山 弘敬(国立天文台)・角江 崇・下馬場 朋禄・伊藤 智義(千葉大学)・高田 直樹(高知大学)
B-004Cognitive Robotics向き開発プラットフォームMAGIの提案
○今村 圭佑・樋口 裕次郎・柴田 大星・佐藤 玲於奈・江平 凌太・田胡 和哉(東京工科大学)
B-005外部記憶装置を有しない不揮発性メモリ搭載計算機とオペレーティングシステム
○谷口 秀夫(岡山大学)
ソフトウェア
9月2日(水)9:30-12:00 4b会場
B-006word2vecによるソースコードとドキュメント間の対応付け
◎若竹 慶則・小澤 彩果・島川 博光(立命館大学)
B-007自動コード生成を目的としたテンプレートベースによるUML上位設計の作成と整合性検査
○畑瀬 尚之・和崎 克己(信州大学)
B-008Cソースコード静的解析のための問い合わせ言語CxmlPyQueryの改良と評価
◎河合 勇太朗・福原 和哉・猪股 俊光・杉野 栄二・今井 信太郎・新井 義和・成田 匡輝(岩手県立大学)
B-009定数宣言の抽象化による値不一致な形式的部品の再利用手法
◎原野 和貴・織田 健(電気通信大学)
B-010形式仕様記述の細分化における未記述制約抽出手法の提案
◎森下 匡平・織田 健(電気通信大学)
B-011A Case Study of Formal Analysis Methods with Reasoning for Cryptographic Protocols
◎鄭 軍・後藤 祐一(埼玉大学 )
B-012開発効率向上のためのスクリプト言語mruby/cによるロボット制御
◎福田 尚毅・田中 和明(九州工業大学)