一般講演プログラム
| B分野 ソフトウェア | |
| 選奨セッション ソフトウェアシステム |
|
|
9月6日（水） 9:30-12:00 1b会場 （B3棟302教室）
座長 川島 英之（慶應義塾大学）
徳本 晋（富士通株式会社） |
|
| CB-001 | 脳波の周波数成分の時系列変化を用いたプログラム理解の識別 ◎松山 鼓・上野 秀剛（奈良工業高等専門学校） |
| CB-002 | 差分構文木によるプログラミング授業受講者のコーディング特徴分類 ◎青木 晃汰・上野 秀剛（奈良工業高等専門学校） |
| CB-003 | クリティカルの基準変更による動的スケジューリングアルゴリズムの性能分析 ◎佐々木 理成・兪 明連・横山 孝典（東京都市大学） |
| CB-004 | スリーブ型はんだ装置の圧力を用いた不良検出におけるアルゴリズムとカーネルの精度比較 ◎渡邊 幹・上野 秀剛（奈良工業高等専門学校） |
| ソフトウェア（テスト・解析） | |
|
9月6日（水） 13:10-15:10 2b会場 （B3棟302教室）
座長 徳本 晋（富士通株式会社） |
|
| B-001 | データフロー解析を用いた命令網羅のためのスタブ生成手法の提案 ○山本 一道・曾我 遼・鹿糠 秀行（日立製作所） |
| B-002 | ICカードによるユーザ認証システムにおける負荷テスト方式の検討 ○渡名喜 元史・八木 礼佳・山下 優人（日立製作所） |
| B-003 | 確率的プログラムシステムのバグ検出ツールの開発 ◎VO DAITRINH・于 海波（九州産業大学） |
| B-004 | 係り受け解析を活用した設計仕様書とテスト仕様書の紐づけ手法 ◎小川 貴史・島川 博光（立命館大学） |
| B-005 | 動的バースマークの自動抽出に向けて〜比較ソフトウェアの入力からの実行系列の自動抽出〜 セルメニョ アレハンドロ・○玉田 春昭（京都産業大学）・神崎 雄一郎（熊本高等専門学校） |
| ソフトウェア (形式手法) | |
|
9月7日（木） 9:30-12:00 4b会場 （B3棟302教室）
座長 田辺 良則（鶴見大学） |
|
| B-006 | 分割サブドメインに基づくマイクロサービス設計 ○鹿糠 秀行・木下 崇央・東 岳人・田中 優利・太田 聡（日立製作所） |
| B-007 | 条件分岐と同時代入間の相互依存に配慮した形式仕様細分化アルゴリズム ◎檜垣 廉・織田 健（電気通信大学） |
| B-008 | 形式的ソフトウェア合成手法における計算コストを考慮した細分化モデル可読性向上手法 ◎結城 翔・織田 健（電気通信大学） |
| B-009 | B Methodの仕様記述言語における段階的詳細化を伴う仕様の細分化手法 ◎松田 蓮・織田 健（電気通信大学） |
| B-010 | PROMELA自動コード生成を目的とした複数のUML図による分散アルゴリズムの記述方法 ◎萬田 悠・和﨑 克己（信州大学） |
| ソフトウェア（設計・品質） | |
|
9月7日（木） 15:30-17:30 5b会場 （B3棟302教室）
座長 小形 真平（信州大学） |
|
| B-011 | Webアプリケーションのための拡張画面遷移図からVDM++仕様への変換手法 ◎石上 椋一・松本 翔・長尾 康生・高木 智彦（香川大学） |
| B-012 | データ利活用の加速に向けたアーキテクチャの検討 ○礒田 有哉（日立製作所） |
| B-013 | ソフトウェア品質標準(SQuaRE)におけるusabiltyの問題と提案 ○福住 伸一（理化学研究所/東京都立大学） |
| B-014 | 関数間のデータのやり取りとバグ混入の関係性の考察 ◎高崎 椋太・猪股 俊光（岩手県立大学） |
| 高性能計算 | |
|
9月8日（金） 9:30-12:00 6b会場 （B3棟302教室）
座長 置田 真生（大阪大学 大学院情報科学研究科） |
|
| B-015 | マルチGPU上でのCUDA実装による深層畳み込み敵対的生成ネットワークの並列処理 ◎根本 祐輔・吉田 明正（明治大学） |
| B-016 | ヘテロ型マルチGPUクラスタシステムによるリアルタイム電子ホログラフィ ◎成島 佑華・三谷 永久・和田 翔夢・髙田 直樹（高知大学） |
| B-017 | マルチコア上での粒子法半陰解法におけるAoS再配置を用いた近傍粒子探索 ◎齊藤 大輔・吉田 明正（明治大学） |
| B-018 | GPUを用いた機械学習計算システムの高速化 ◎住本 貴明・増田 信之（東京理科大学） |
| B-019 | 単一GPU環境におけるNumPy互換ライブラリを用いたPythonプログラミングの比較 ◎田道 竜大・藤本 典幸（大阪公立大学） |
| B-020 | Jetson AGX Xarvierにおける拡張ベクトル化 LU 分解法の評価 ◎土屋 広記（千葉工業大学）・富永 浩文（千葉大学）・中村 あすか・前川 仁孝（千葉工業大学） |
| B-021 | 異機種間連携ライブラリの性能評価 ○荒川 隆（東京大学/CliMTech）・住元 真司（東京大学）・八代 尚（国立環境研究所）・中島 研吾（東京大学） |
| ストレージ監視システムとデータ管理基盤 | |
|
9月8日（金） 13:10-15:40 7b会場 （B3棟302教室）
座長 川島 英之（慶應義塾大学） |
|
| B-022 | SaaS型ストレージ監視システムにおける性能データへのLossy圧縮適用の検討 ◎佐藤 賢太・弘中 和衛・出口 彰（日立製作所） |
| B-023 | 大阪大学におけるONIONを中心としたデータ管理基盤整備にむけて ○田主 英之・甲斐 尚人（大阪大学）・細見 岳生（大阪大学/日本電気）・並木 悠太（日本電気）・山下 晃弘・伊達 進（大阪大学） |