@id:5359
$name:体系自動形式写像