[kisoron-ml] Kobe Colloquium on Logic, Statistics, and Informatics