3月3日(水) 午前 セッション1
座長: 岡野 浩三（信州大学）
10:00 - 11:40 |
| (1) |
10:00-10:25 |
重み付き多重文脈自由文法とその性質について |
○井上裕介・関 浩之（名大） |
| (2) |
10:25-10:50 |
レジスタオートマトンに変換可能な凍結演算子付き線形時相論理の部分クラス |
○大西 晃・仙田涼摩（名大）・高田喜朗（高知工科大）・関 浩之（名大） |
| (3) |
10:50-11:15 |
排他制御を含むプログラムから論理制約付き項書換え系への変換
○小嶋美咲・西田直樹・松原 豊・酒井正彦（名大）
https://www.ieice.org/ken/paper/20200304A1wB/ （2020年3月研究会） |
| (4) |
11:15-11:40 |
Rustプログラムの情報流解析のための型システム
長谷川健太（立命館大）・○桑原寛明（南山大）・國枝義敏（立命館大）
https://www.ieice.org/ken/paper/20200305J1Xp/ （2020年3月研究会） |
3月3日(水) 午後 セッション2
座長: 小形 真平（信州大学）
13:00 - 14:40 |
| (5) |
13:00-13:25 |
プログラム依存グラフに基づくSystematic Edit Patternを利用した自動プログラム修正 |
○野田訓広・横山晴樹・菊池慎司（富士通研） |
| (6) |
13:25-13:50 |
変更コード片の動的切替による自動プログラム修正のビルド時間削減の試み |
○古藤寛大・肥後芳樹・柗本真佑・楠本真二（阪大） |
| (7) |
13:50-14:15 |
自動生成されたテストケースが自動バグ修正の結果に与える影響の分析 |
○松田雄河・山手響介・亀井靖高・鵜林尚靖（九大） |
| (8) |
14:15-14:40 |
多目的遺伝的アルゴリズムを用いた自動プログラム生成手法の提案 ～ プログラミングコンテストを題材として ～ |
○渡辺大登・柗本真佑・肥後芳樹・楠本真二（阪大）・倉林利行・吉村 優・切貫弘之・但馬将貴・丹野治門（NTT） |
3月3日(水) 午後 セッション3
座長: 小林 隆志（東京工業大学）
15:00 - 16:40 |
| (9) |
15:00-15:25 |
修正履歴を用いた機械翻訳技術による自動バグ修正の性能評価 |
○秋山楽登・中村 司・亀井靖高・鵜林尚靖（九大） |
| (10) |
15:25-15:50 |
最大安全半径の監視によるコンセプトドリフト検知可能性の評価 |
○佐藤直人・來間啓伸・小川秀人（日立） |
| (11) |
15:50-16:15 |
訓練済み機械学習モデル歪みの定量指標
○中島 震（NII）
https://www.ieice.org/ken/paper/20200304K1v6/ （2020年3月研究会） |
| (12) |
16:15-16:40 |
プログラミング教育支援に向けた深層学習を用いた類似問題検索 |
○山本大貴・松尾春紀・沖野健太郎・亀井靖高・鵜林尚靖（九大） |
3月4日(木) 午前 セッション4
座長: 鵜林 尚靖（九州大学）
10:00 - 11:15 |
| (13) |
10:00-10:25 |
構文種別に着目したDockerfileのコードクローン検出手法 |
○鶴 智秋・中川 将・柗本真佑・肥後芳樹・楠本真二（阪大） |
| (14) |
10:25-10:50 |
複数観点を考慮したクローンリファクタリング支援 |
○大谷悠太郎・林 晋平（東工大） |
| (15) |
10:50-11:15 |
不適切なゴール詳細化検出のためのゴール記述類似度算出法の比較 |
○飯島 慧・林 晋平・佐伯元司（東工大） |
3月4日(木) 午後 セッション5
座長: 野田 訓広（富士通研究所）
13:00 - 14:40 |
| (16) |
13:00-13:25 |
逐次プログラムのテストによる分散フォールトトレラントアルゴリズムのバグ検出 |
○土屋達弘（阪大） |
| (17) |
13:25-13:50 |
Software Analysis WorkbenchとSymbolicPathFindreを使用した網羅的な反例とパス制約の生成 |
○辛島 凜・小形真平・岡野浩三（信州大） |
| (18) |
13:50-14:15 |
動的テストスメル検出のためのGradleプラグインの試作 |
○谷口真幸・柗本真佑・楠本真二（阪大） |
| (19) |
14:15-14:40 |
Jupyter Notebookのための実行ログを用いた再現性支援ツールの提案 |
○松原直利・松井 健・鵜林尚靖・亀井靖高（九大） |
3月4日(木) 午後 セッション6
座長: 柗本 真佑（大阪大学）
15:00 - 16:15 |
| (20) |
15:00-15:25 |
変更履歴とゴール間依存関係を用いたゴールへの不適切な変更操作の回避支援 |
○山崎友路・林 晋平・佐伯元司（東工大） |
| (21) |
15:25-15:50 |
共変更分析に基づく変更支援のための不完全な変更の収集と評価 |
○石田義八・小林隆志（東工大） |
| (22) |
15:50-16:15 |
Untangling Composite Changes Using Tree-based Convolution Neural Network |
○Cong Li・Takashi Kobayashi（Tokyo Tech） |
: 
c
