@article{CTT100848891, author = {高橋和也 and 南出靖彦}, title = {拡張正規表現マッチングの計算量解析}, journal = {コンピュータソフトウェア}, year = 2021, } @inproceedings{CTT100875475, author = {平田路和 and 南出靖彦 and 佐藤哲也}, title = {Isabelle/HOLによる高階確率的プログラム検証}, booktitle = {}, year = 2021, } @inproceedings{CTT100875628, author = {釜野 雅基 and 福田 大我 and 南出 靖彦}, title = {非決定性 Streaming String Transducer と Parikh オートマトンを用いた文字列制約の充足可能性判定}, booktitle = {}, year = 2021, } @inproceedings{CTT100848890, author = {Takayuki Miyazaki and Yasuhiko Minamide}, title = {Context-Free Grammars with Lookahead}, booktitle = {}, year = 2021, }