Deduktiva 開発者