>>438
MRJが型式証明で指摘された問題点って開示されているの？
何が悪かったのか興味あるから、まとまったのが出ているなら
見たい。