ETAPS 2014 Best Paper Award
(EATCS Best Paper Award) (Naoki Kobayashi, Kazuhiro Inaba and Takeshi Tsukada,
"Unsafe Order-2 Tree Languages are Context-Sensitive", FoSSaCS 2014)
2011年度情報処理学会 論文賞(Ryosuke Sato, Kohei Suenaga, and Naoki Kobayashi, "Ordered Types for
Stream Processing of Tree-Structured Data", Journal of Information Porcessing)