@inproceedings{weko_232282_1, author = "河野,真治", title = "Agda による Automaton の記述", booktitle = "第65回プログラミング・シンポジウム予稿集", year = "2024", volume = "2024", number = "", pages = "41--49", month = "jan" }