1 型変換 算術関数 算術関数ライブラリのリンク 条件判断