[remote remote-OpenXM-bin remote-ox-server remote-login-name myhostname] ox_launch client or [(localhost) ox-server-name] ox_launch 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 /@@@.oxmath set [remote remote-OpenXM-bin remote-ox-server remote-login-name myhostname] ox_launch client or [(localhost) ox-server-name] ox_launch 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 /@@@.oxmath set