• Communications of the Korean Mathematical Society
• /
• v.19 no.1
• /
• pp.29-34
• /
• 2004

There are various forms of the axiom of choice and also various weak forms of the axiom of choice in a topos. This paper give equivalent forms of the axiom of choice in a well-pointed topos.

• The Pure and Applied Mathematics
• /
• v.17 no.4
• /
• pp.341-346
• /
• 2010

Category $E({\Omega},A)$ forms a topos. We study on some properties of the topos $E({\Omega},A)$. In particular, we show that $E({\Omega},A)$ is well-pointed.

• The Pure and Applied Mathematics
• /
• v.3 no.2
• /
• pp.131-139
• /
• 1996

Topos is a set-like category. For an axiom of choice in a topos, F. W. Lawvere and A. M. Penk introduced another versions of the axiom of choice. Also it is showed that general axiom of choice and Penk's axiom of choice are weaker than Lawvere's axiom of choice. In this paper we study that weak form of axiom of choice, axiom of choice, Penk's axiom of choice and Lawvere's axiom of choice are all equivalent in a well pointed topos.

• East Asian mathematical journal
• /
• v.10 no.1
• /
• pp.59-65
• /
• 1994

• The Korean Journal of Pesticide Science
• /
• v.6 no.1
• /
• pp.1-8
• /
• 2002

Recent progress of several kinds of compounds which have been synthesized or isolated from natural fungi for screening or conducting test as agricultural fungicides as well as some formulations for wood stain and decay control have been reviewed in this paper in China. Comments were pointed for Chinas further research and development of fungicides as well as pesticides.

• The Journal of the Korea Contents Association
• /
• v.6 no.6
• /
• pp.109-116
• /
• 2006

This research was performed with the purpose to examine the Marquardt's learning organization theory and analyzed empirically the survey on 841 police officers in Korea. Altogether 841 questionnaires were collected from 23 police stations and one training institution. The sample group were composed of ranks and file sworn officers selected among the total police stations in Korea proper. The size of police stations, and its location has been taken into consideration in sampling procedure. We fan find out from this research that technology application, as subsystems of learning organization, directly related to learning dynamics significant effects on police learning organization. For building the learning organization in Korean Police, police manager should improve on the pointed technology application. Police officers could be given more scope for their problem-solving talents. Such developments would fit in well with the best policing model.

• Communications of the Korean Mathematical Society
• /
• v.19 no.1
• /
• pp.75-92
• /
• 2004

A generalised integration by parts formula for sequences of absolutely continuous functions that satisfy the ${\omega}-Appell$ condition and different estimates for the remainder are provided. Applications for particular instances of such sequences are pointed out as well.

• Fashion & Textile Research Journal
• /
• v.6 no.6
• /
• pp.707-714
• /
• 2004

This study was carried out to research the actual condition of narrator models' wearing uniform, targeting on the narrator models who are being currently active and are from 19-year-old to 30-year-old. A poll was performed through visiting internet circles and spots, and the characteristic of objects, the form of uniform, attitude on uniform, dissatisfaction index on wearing uniform and preference index on wearing uniform were researched. It was carried out from August 18, 2003 to August 31, 2003. In order to perform this study, 161 questionnaires were used in all, and frequency analysis was implemented using SPSS 10.0. The objects of study were composed of female. Those who are from 21-year-old to 25-year-old accounted for 74.5%, and those who have career from 2 years to 3 years accounted for 75.5%. In respect to attitude on wearing uniform, affirmative answers, affirmative answers, such as a sense of belonging, a pride in activity and increase of efficiency, accounted for 68.8%. On the other hand, in respect to a harmonization between uniform and work, just the 39.8-percent showed affirmative reaction. Concerning the functionality of uniform, such as retaining warmth and ventilating, dissatisfaction index showed very high value; it is judged that it should be improved henceforth. Working postures were researched, following the order of standing posture and arm-using posture. In inconvenient actions, bending down and moving arms were orderly pointed out. With regard to the dissatisfaction of size, busts, the length of skirt and waist girth were orderly pointed out. Likewise, considering the parts of which room is required, bust, hip girth and waist girth were orderly pointed out. As to the points that should be bettered, design and functionality were orderly pointed out. In respect to materials of uniform, sweat-absorption material, light material and well-ventilated material were orderly suggested.

• Publications of The Korean Astronomical Society
• /
• v.32 no.1
• /
• pp.5-9
• /
• 2017

This paper provides an overview of the AKARI mission, which was the first Japanese satellite dedicated to infrared astronomy. The AKARI satellite was launched in 2006, and performed both an all-sky survey and pointed observations during its 550 days in the He-cooled mission phases (Phases 1 and 2). After the He ran out, we continued near-infrared observations with mechanical cryocoolers (Phase 3). Due to a failure of its power supply, AKARI was turned off in 2011. The AKARI data are unique in terms of the observed wavelengths as well as the sky coverage, and provide a unique legacy resource for many astronomical studies. Since April 2013, a dedicated new team has been working to refine the AKARI data processing. The goal of this activity is to provide processed datasets for most of the AKARI observations in a Science Ready form, so that more users can utilize the AKARI data in their astronomical research. The data to be released will include revised All-Sky Point Source Catalogues, All-Sky Image Maps, as well as high-sensitivity images and spectra obtained by pointed observations. We expect that the data will be made public by in the Spring of 2016.

• Korean Journal of Fisheries and Aquatic Sciences
• /
• v.9 no.1
• /
• pp.25-34
• /
• 1976

The purpose of the present study on the radula of Korean marine gastropods is to determine the systematic position of the species by the radula features. The radula features of 9 Families based on the observation of specimens consisting of 31 species are described briefly as follows. 1. Naticidae; Radula formula 2-1-C-1-2. Rachidian is 3-cusped. All cusps are strong and pointed. The lateral tooth is massive and strong with a huge triangula cusp. Two marginal teethare slender, long and strong. 2. Cymatidae; Radula formula 2-1-c-1-2. Fachidian, 1-cusped. Cusp is strong and acute. The basal margin is toothed with a number of small denticles. The lateral tooth is beak-like and strong with groove inside. The marginal teeth are slender and pointed. 3. Tonnidae; Radula Formula 2-1-C-1-2. Rachidian, 3 cusped. Central cusp is huge, strong and abruptly pointed. Lateral cusp is blunt and relatively small. The lateral tooth and maginal teeth are identical to that of the preceding one. 4. Muricidae; Radula formula 1-C-1. Rachidian has 3 to 5 cusps. Central cusp, long, thick, strong and pointed. Lateral cusps are rather shorter than central, thick, strong and well cut with several minute denticles along outer margin. The lateral tooth is falciform. 5. Pyrenidae; Radula formula 1-c-1 Rachidian lacks of cusp. The base is thin, narrow, small and rectangular. Lateral tooth has 2 cusps with a crescent shaped base. 6. Buccinidae; Radula formula 1-C-1. Rachidian has 3 to 7 cusps. The base is massive and broadened laterally. The lateral tooth is large-and has 2 to 4 cusps. The central cusp is the shortest, and become longer towards the each side. 7. Busyconidae ; Radula formula 1-C-1. Rachidian, 3-cusped with a massive base. All cusps are pointed and strong. Centeral cusp is rather shorter than lateral one. Lateral tooth, 2-cusped. Inner cusp short about one half the length of outer one. 8. Fasciolariidae; Radula formula 1-C-1. Rachidian, 3 to 4-cusped. Very small in size. Lateral tooth broadened laterally with about 10 thin, long, sharp cusps. 9. Volutidae ; Only the rachidian exists. Rachidian, 3-cusped. All cusps are strong and sharply pointed. Central cusp is narrower than lateral ones. Anterior basal margin is concave.