• 대한수학회논문집
• /
• 제19권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.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제17권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.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제3권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
• /
• 제10권1호
• /
• pp.59-65
• /
• 1994

• 농약과학회지
• /
• 제6권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.

• 한국콘텐츠학회논문지
• /
• 제6권6호
• /
• pp.109-116
• /
• 2006

이 연구는 한국의 경찰관 841명에게 설문조사를 실시하여 말콰드의 학습조직이론을 실증적으로 검증하였다. 23개의 경찰서와 경찰종합학교에서 설문을 수집하였고, 경찰서의 규모와 지역, 계급과 경과를 고려하여 표본을 선정하였다. 이 연구를 통해서 학습조직의 하위체계인 첨단기술의 활용이 학습조직이 실현되는 학습의 역동성에 직접적인 영향을 미친다고 검증되었다. 경찰 학습조직을 구축하기 위해서 경찰관리자가 첨단기술의 활용능력을 향상시켜 경찰조직을 학습조직으로 만들어야 한다. 학습조직이 되면 경찰관들은 문제해결을 위해 보다 넓은 분야에서 능력을 향상시킬 수 있고, 그런 발전이 있어야 경찰활동을 잘 수행할 수 있다.

• 대한수학회논문집
• /
• 제19권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.

• 한국의류산업학회지
• /
• 제6권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.

• 천문학논총
• /
• 제32권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.

• 한국수산과학회지
• /
• 제9권1호
• /
• pp.25-34
• /
• 1976

권패류 치설의 형태는 권패류 분류에 있어서 중요한 분류 형질의 하나이다. 본 연구는 수집된 9과에 속하는 31종의 해산 권패류들의 치설 형태를 조사하여 종간(種間), 과간(科間)의 형태적 차이를 비교 도시 하였다.