形式語の研究
815
ヒノ