Du warst fast da. Ich habe eine Aufnahme vom Player gemacht und sah, dass der Objektname im Stream nicht einfach "120315_Tokeida.m4v" ist, sondern "mp4: 120315_Tokeida.m4v".
Die URL lautet dann:
rtmp://sv-stream.stanford.edu/math/mp4:120315_Tokeida.m4v
mpv kann es anzeigen,
edit: meine vlc-version funktioniert nicht richtig, manchmal hängt sie manchmal
Dieser Befehl funktioniert:
rtmpdump -r "rtmp://sv-stream.stanford.edu/math" -y "mp4:120315_Tokeida.m4v" -o ~/Desktop/tokeida.m4v