"釜野雅基,福田大我,南出靖彦","非決定性 Streaming String Transducer と Parikh オートマトンを用いた文字列制約の充足可能性判定",,"コンピュータソフトウェア",,"  40","  1",,2023,Feb.
"釜野 雅基,福田 大我,南出 靖彦","非決定性 Streaming String Transducer と Parikh オートマトンを用いた文字列制約の充足可能性判定","日本ソフトウェア科学会第38回大会",,,,,,2021,Aug.