As mentioned elsewhere (here), the RS232 pinout for the NEC PC-8001 is noted here:
https://github.com/0cjs/sedoc/blob/master/8bit/nec/8001.md#serial--rs-232
The header for this RS-232 is actually internal to the system, and my understanding is a PC-8062 cable was used to tether the pins outside...