本田 澄、情報処理学会 2016年度 研究会推薦博士論文速報（Generalized Software Reliability Model Considering Uncertainty and Dynamics: Theoretical Foundations and Empirical Applications）、2017年8月15日