開発者: CR logics