"Š˜–ì ‰ëŠî,•Ÿ“c ‘å‰ä,“ì�o –õ•F","”ñŒˆ’è�« Streaming String Transducer ‚Æ Parikh ƒI�[ƒgƒ}ƒgƒ“‚ð—p‚¢‚½•¶Žš—ñ�§–ñ‚Ì�[‘«‰Â”\�«”»’è","“ú–{ƒ\ƒtƒgƒEƒFƒA‰ÈŠw‰ï‘æ38‰ñ‘å‰ï",,,,,,2021,Aug.
"•½“c˜H˜a,“ì�o–õ•F,�²“¡“N–ç","Isabelle/HOL‚É‚æ‚é�‚ŠKŠm—¦“Iƒvƒ�ƒOƒ‰ƒ€ŒŸ�Ø","“ú–{ƒ\ƒtƒgƒEƒFƒA‰ÈŠw‰ï‘æ38‰ñ‘å‰ï",,,,,,2021,Aug.
"�‚‹´˜a–ç,“ì�o–õ•F","Šg’£�³‹K•\Œ»ƒ}ƒbƒ`ƒ“ƒO‚ÌŒvŽZ—ʉð�Í",,"ƒRƒ“ƒsƒ…�[ƒ^ƒ\ƒtƒgƒEƒFƒA",,"Vol. 38","No. 2","pp. 53-70",2021,Apr.
"Takayuki Miyazaki,Yasuhiko Minamide","Context-Free Grammars with Lookahead","Language and Automata Theory and Applications(LATA)",,,,,,2021,Mar.