[kisoron-ml] Sendai Logic School 2014 at Tokyo Tech