情報・システム-ソフトウェアサイエンス(開催日:2019/10/24)

タイトル/著者/発表日/資料番号
Computing Optimal Weight in Weighted Register Automata and Related Decision Problems

吉村 玲勇(名大),  高田 喜朗(高知工科大),  関 浩之(名大),  

[発表日]2019-10-24
[資料番号]SS2019-16,DC2019-44
n回状態遷移被覆に基づく非スキャンオンラインテスト法

池ヶ谷 祐輝(日大),  石山 悠太(日大),  細川 利典(日大),  吉村 正義(京都産大),  

[発表日]2019-10-24
[資料番号]SS2019-19,DC2019-47
PPM圧縮における畳み込み符号を用いた誤り訂正手法

阿部 巧(千葉大),  北神 正人(千葉大),  

[発表日]2019-10-24
[資料番号]SS2019-20,DC2019-48
存在限量子付き等式を証明するための書換え帰納法の拡張

西江 一志(名大),  西田 直樹(名大),  酒井 正彦(名大),  

[発表日]2019-10-24
[資料番号]SS2019-17,DC2019-45
Bug Localizationに対して不吉な臭いを使用する有用性の解明

高橋 碧(東工大),  セーリム ナッタウット(東工大),  林 晋平(東工大),  佐伯 元司(東工大),  

[発表日]2019-10-24
[資料番号]SS2019-13,DC2019-41
CUIツールの開発支援サービスとしての再構築手順の提案

宮崎 光(京都産大),  玉田 春昭(京都産大),  

[発表日]2019-10-24
[資料番号]SS2019-14,DC2019-42
Change Untangling結果の対話的最適化支援環境の試作

山下 慧(東工大),  林 晋平(東工大),  佐伯 元司(東工大),  

[発表日]2019-10-24
[資料番号]SS2019-15,DC2019-43
四天王問題の一般化と継続渡しスタイルの関数型言語における非決定性計算による解法プログラム

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

[発表日]2019-10-24
[資料番号]SS2019-18,DC2019-46
ソースコート?メトリクスを用いたプログラミングコンテストの類似解答群の検出

原口 公輔(阪大),  神田 哲也(阪大),  井上 克郎(阪大),  

[発表日]2019-10-25
[資料番号]SS2019-21,DC2019-49
変数に着目した変更メトリクスの有効性について

川上 卓也(愛媛大),  阿萬 裕久(愛媛大),  川原 稔(愛媛大),  

[発表日]2019-10-25
[資料番号]SS2019-22,DC2019-50
複数プロジェクトから高速にコードクローンを検出するキュレーションの提案

土居 真之(阪大),  肥後 芳樹(阪大),  楠本 真二(阪大),  

[発表日]2019-10-25
[資料番号]SS2019-23,DC2019-51
単語類似度を用いたUMLクラス図理解性メトリクスの改良

井原 輝人(奈良高専),  内田 眞司(奈良高専),  

[発表日]2019-10-25
[資料番号]SS2019-24,DC2019-52