generated at
2/11/2025, 5:50:01 PM
ストリームエディタ
stream editor
sed
ストリーム
+
エディタ
https://ja.wikipedia.org/wiki/ストリームエディタ