取りあえず Ctrl + c してました。 どうやって終了するんだろうなーと思っていたのがわかったので書いておきます。 process.exit(); gauche だと (exit) だったり、python だと sys.exit() だったり、gs だと quit...