うろ覚えだけど、アールフォルスの本もR^2に演算入れて複素数を定義してたような気がする