国際会議 2015年11月17日 Formal Assurance Case in Agda (FACIA) 2nd International Workshop on Argument for Agreement and Assurance (AAA 2015), Yokohama (Japan) Shuji Kinoshita 記述言語 英語 会議種別 ポスター発表