数理システムってどういう評価なの?