[remote remote-OpenXM-bin remote-ox-server remote-login-name myhostname] ox_launch_nox client Example 1: [(tau.math.kobe-u.ac.jp) (/home/taka/OpenXM/bin) (/home/taka/OpenXM/src/ox_math/ox_math) (taka) (dc4.math.kobe-u.ac.jp) ] ox_launch_nox /@@@.oxmath set [remote remote-OpenXM-bin remote-ox-server remote-login-name myhostname] ox_launch_nox client Example 1: [(tau.math.kobe-u.ac.jp) (/home/taka/OpenXM/bin) (/home/taka/OpenXM/src/ox_math/ox_math) (taka) (dc4.math.kobe-u.ac.jp) ] ox_launch_nox /@@@.oxmath set