電子情報通信学会技術研究報告

Online edition: ISSN 2432-6380

Volume 119, Number 247

ディペンダブルコンピューティング

開催日 2019-10-24 - 2019-10-25 / 発行日 2019-10-17

[PREV] [NEXT]

[TOP] | [2016] | [2017] | [2018] | [2019] | [2020] | [2021] | [2022] | [Japanese] / [English]

[PROGRAM] [BULK PDF DOWNLOAD]


目次

DC2019-41
Bug Localizationに対して不吉な臭いを使用する有用性の解明
○高橋 碧・セーリム ナッタウット・林 晋平・佐伯元司(東工大)
pp. 1 - 6

DC2019-42
CUIツールの開発支援サービスとしての再構築手順の提案
○宮崎 光・玉田春昭(京都産大)
pp. 7 - 12

DC2019-43
Change Untangling結果の対話的最適化支援環境の試作
○山下 慧・林 晋平・佐伯元司(東工大)
pp. 13 - 18

DC2019-44
Computing Optimal Weight in Weighted Register Automata and Related Decision Problems
○Reo Yoshimura(Nagoya Univ.)・Yoshiaki Takata(Kochi-tech.)・Hiroyuki Seki(Nagoya Univ.)
pp. 19 - 24

DC2019-45
存在限量子付き等式を証明するための書換え帰納法の拡張
○西江一志・西田直樹・酒井正彦(名大)
pp. 25 - 30

DC2019-46
四天王問題の一般化と継続渡しスタイルの関数型言語における非決定性計算による解法プログラム
○横本勇希・小島 渚・島 和之(広島市大)
pp. 31 - 36

DC2019-47
n回状態遷移被覆に基づく非スキャンオンラインテスト法
○池ヶ谷祐輝・石山悠太・細川利典(日大)・吉村正義(京都産大)
pp. 37 - 42

DC2019-48
PPM圧縮における畳み込み符号を用いた誤り訂正手法
○阿部 巧・北神正人(千葉大)
pp. 43 - 46

DC2019-49
ソースコードメトリクスを用いたプログラミングコンテストの類似解答群の検出
○原口公輔・神田哲也・井上克郎(阪大)
pp. 47 - 52

DC2019-50
変数に着目した変更メトリクスの有効性について ~ フォールト混入予測精度の比較実験 ~
○川上卓也・阿萬裕久・川原 稔(愛媛大)
pp. 53 - 58

DC2019-51
複数プロジェクトから高速にコードクローンを検出するキュレーションの提案
○土居真之・肥後芳樹・楠本真二(阪大)
pp. 59 - 64

DC2019-52
単語類似度を用いたUMLクラス図理解性メトリクスの改良
○井原輝人・内田眞司(奈良高専)
pp. 65 - 70

注: 本技術報告は査読を経ていない技術報告であり,推敲を加えられていずれかの場に発表されることがあります.


IEICE / 電子情報通信学会