「AIBOでOCamlを動かせないか（＝OCamlでAIBOを動かせないか）」という話で、AIBOのCPUは"ARM MIPS R?000"みたく聞いたのですが、そういうCPUがあるんでしょうか？ ARMとMIPSは別のCPUだと思ってた…。ちょっと検索しても仕様は「64ビットRISCプロセッサ」と…