四元数とPauli行列の互換性に助けられたので、1ヶ月半停止している1日1枚感謝の点群分類を再開できそうな予感がする。