国立情報学研究所オープンハウス2018『研究100連発』「スマートなシステム、スマートなディペンダビリティ保証－次世代システムを頼れるものへ」石川 冬樹
http://www.nicovideo.jp/watch/so34764887
