山上「形式言語とオートマトン」福井大学