情報・システム-画像工学(開催日:2020/03/04)

タイトル/著者/発表日/資料番号
訓練済み機械学習モデル歪みの定量指標

中島 震(NII),  

[発表日]2020-03-04
[資料番号]SS2019-44
コンピテンシー能力を向上するPBLの解析

山本 雅基(名大),  沢田 篤史(南山大),  小林 隆志(東工大),  岡村 耕二(九大),  宮地 充子(阪大),  佐藤 和彦(室蘭工大),  奥野 拓(公立はこだて未来大),  粂野 文洋(日本工大),  

[発表日]2020-03-04
[資料番号]SS2019-41
ヒープメモリ確保・解放量と実時間制約を共に考慮しマルチプロセッサシステムのメモリ消費量を削減するリアルタイムスケジューリング

町頭 優輝(広島市大),  中田 明夫(広島市大),  

[発表日]2020-03-04
[資料番号]SS2019-45
排他制御を含むプログラムから論理制約付き項書換え系への変換

小嶋 美咲(名大),  西田 直樹(名大),  松原 豊(名大),  酒井 正彦(名大),  

[発表日]2020-03-04
[資料番号]SS2019-46
OSSプロジェクトにおけるREADME.mdファイルの作成の支援

清水 一輝(九大),  亀井 靖高(九大),  佐藤 亮介(九大),  鵜林 尚靖(九大),  

[発表日]2020-03-04
[資料番号]SS2019-42
マクロ森変換器がXMLスキーママッピングの実現であることの決定手続き

田端 浩明(名大),  酒井 正彦(名大),  橋本 健二(名大),  

[発表日]2020-03-04
[資料番号]SS2019-43
文法エラーに対する自動バグ修正ツールの性能評価

松尾 春紀(九大),  池田 翔(九大),  亀井 靖高(九大),  佐藤 亮介(九大),  鵜林 尚靖(九大),  

[発表日]2020-03-04
[資料番号]SS2019-47
開発者によるバグ限局を考慮した自動バグ修正への影響分析

山手 響介(九大),  首藤 巧(九大),  浅田 翔(九大),  佐藤 亮介(九大),  亀井 靖高(九大),  鵜林 尚靖(九大),  

[発表日]2020-03-04
[資料番号]SS2019-48
Firefoxにおけるマルチバイト文字に起因するバグの調査

市川 直人(阪大),  ?本 真佑(阪大),  楠本 真二(阪大),  

[発表日]2020-03-04
[資料番号]SS2019-49
STAMP/STPAとモデル検査の連携によるハザード遷移系列の導出手法

楊 ?(信州大),  岡野 浩三(信州大),  小形 真平(信州大),  岡本 圭史(仙台高専),  

[発表日]2020-03-05
[資料番号]SS2019-56
SHAP Value Coverage Testing

仲 強(日立ハイシステム21),  佐藤 直人(日立),  石川 誠(日立),  児玉 一宏(日立ハイシステム21),  

[発表日]2020-03-05
[資料番号]SS2019-57
ソースコードの類似性に基づいたテストコード自動推薦ツールSuiteRec

倉地 亮介(奈良先端大),  崔 恩瀞(京都工繊大),  飯田 元(奈良先端大),  

[発表日]2020-03-05
[資料番号]SS2019-58
形態素パターンマッチャ morfgrep とそのソフトウェア開発における応用

中西 恒夫(福岡大),  吉村 賢治(福岡大),  乙武 北斗(福岡大),  田辺 利文(福岡大),  古庄 裕貴(福岡大),  西浦 洋一(アイシン精機),  浅野 雅樹(アイシン精機),  

[発表日]2020-03-05
[資料番号]SS2019-60
構文ハイライトとフォントの違いによる開発者の脳波の比較

東 英明(阪大),  ?本 真佑(阪大),  上野 秀剛(奈良高専),  楠本 真二(阪大),  

[発表日]2020-03-05
[資料番号]SS2019-50
イベント駆動に基づくProcessingプログラムのユニットテスト手法

細部 博史(法政大),  

[発表日]2020-03-05
[資料番号]SS2019-59
機械学習による開発履歴のメタ情報を用いたマージコンフリクトの解消パターン判定モデル

白木 秀弥(阪大),  神田 哲也(阪大),  井上 克郎(阪大),  

[発表日]2020-03-05
[資料番号]SS2019-51
マイクロベンチマークサービスにおけるソフトウェアパフォーマンス改善方法の分析

才木 一也(和歌山大),  安東 亮汰(和歌山大),  伊原 彰紀(和歌山大),  

[発表日]2020-03-05
[資料番号]SS2019-52
Rustプログラムの情報流解析のための型システム

長谷川 健太(立命館大),  桑原 寛明(南山大),  國枝 義敏(立命館大),  

[発表日]2020-03-05
[資料番号]SS2019-53
継続を基本とする言語CbCでのHoareLogicによる健全性の考察

外間 政尊(琉球大),  河野 真治(琉球大),  

[発表日]2020-03-05
[資料番号]SS2019-54
継続渡しスタイルの関数型言語における非決定性プログラム

小島 渚(広島市大),  横本 勇希(広島市大),  島 和之(広島市大),  

[発表日]2020-03-05
[資料番号]SS2019-55