国際会議 2018年7月8日 Martingale-Based Methods for Reachability Probabilities: Excitements and Afterthoughts in Coalgebras Coalgebra, Now @ FLoC 2018 Workshop 蓮尾 一郎 記述言語 英語 会議種別 口頭発表(招待・特別)