Cordaの設計思想やその実装