10演算・型