On the first homology groups of strong types in rosy theories and some arithmetic properties on nonstandard rationals : 장미이론에서의 1차 호모로지 군에 관한 연구 및 비표준 유리수 체 모델의 산술적 성질에 대한 연구