2015-03-07 ソフトウェアUI妥当性確認の形式化に向けて slideshare popular ja today scrapcook ソフトウェアUI妥当性確認の形式化に向けて http://www.slideshare.net/ShujiKinoshita/ppl2015-uivalidationfull