>>755084
今はタイトル7つなのよ！ACL2を含めると8つだが。そのうち国内三大タイトルは3つです。全てタイトルと思ってくださいね