• Journal of Sasang Constitutional Medicine
• /
• v.19 no.3
• /
• pp.10-19
• /
• 2007

1. Objectives The purpose of this study was to search the descriptions of feces in the text of Lee, Je-Ma for the physiological feces and pathological feces in constitutional medicine. 2. Methods We searched the descriptions of feces mentioned in the text of $\ulcorner$Dongyisusebowonsasangchobongwon$\lrcorner$, $\ulcorner$Dongyisusebowongabobon$\lrcorner$, and $\ulcorner$Dongyisusebowonsinchukbon$\lrcorner$ and classified the feces into physiological feces and pathological feces by the solidity, color, impurities of feces, and the frequency of defecation. 3. Results For Soyangin and Taeyangin, there are formal descriptions of feces related to the constipation in Dongyisusebowon sasang chobongwon, but for Soeumin and Taeumin, there is not formal description of feces related to the constipation in $\ulcorner$Dongyisusebowonsasangchobongwon$\lrcorner$ and for all 4 Type Constitution, there are various formal descriptions of feces related to the diarrhea in $\ulcorner$Dongyisusebowonsasangchobongwon$\lrcorner$. For all 4 Type Constitution, there are various formal descriptions of feces related to the constipation in $\ulcorner$Dongyisusebowongabobon$\lrcorner$, except Taeumin. and for all 4 Type Constitution, yhere are various formal descriptions of feces related to the diarrhea in $\ulcorner$Dongyisusebowongabobon$\lrcorner$. For Soeumin, especially there are the formal descriptions of color and impurities of feces. For all 4 Type Constitution, there are various formal descriptions of feces related to the constipation and the diarrhea in $\ulcorner$Dongyisusebowonsinchukbon$\lrcorner$. For Soeumin, especially there are formal descriptions of color and impurities of feces. 4. Conclusions The diarrhea in Soeumin is serious illness rather than the constipation, and the constipation in Soyangin is serious illness rather than diarrhea. Especially In Yin Exhausted Syndrome in Soyangin, the diarrhea is the important standard of diagnosis in Soyangin's constitutional symptom. The description of feces in Taeumin is not systematic, compared with Soeumin's and Soyangin's. The description of feces in Taeyangin is not yet scientifically established compared with Soeumin's, Soyangin's, Taeumin's.

• Bulletin of the Korean Chemical Society
• /
• v.32 no.spc8
• /
• pp.3141-3144
• /
• 2011

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.10 no.3
• /
• pp.247-252
• /
• 2010

In this paper, we investigate the relations among formal concepts, attribute oriented concept and object oriented concepts on a complete residuated lattice.

• Proceedings of the Korea Society of Design Studies Conference
• /
• 2001.10a
• /
• pp.49.2-49
• /
• 2001

• Bulletin of the Korean Chemical Society
• /
• v.32 no.1
• /
• pp.315-318
• /
• 2011

• Journal of the Chungcheong Mathematical Society
• /
• v.16 no.2
• /
• pp.79-88
• /
• 2003

In this paper, we study properties of a free normalizing extension ring of a FI-extending ring. We develop properties of formal triangular matrix rings and FI-extending rings. Several results on the quasi-extending modules are obtained.

• Bulletin of the Korean Chemical Society
• /
• v.9 no.3
• /
• pp.135-136
• /
• 1988

Cleavage of exo-7-substituted-6,8-dioxabicyclo[3.2.1]octanes with acetyl iodide in the predominance of the trans alkene product. This bicyclic ketal fragmentation methodology is utilized to a formal synthesis of sirenin.

• East Asian mathematical journal
• /
• v.37 no.5
• /
• pp.585-590
• /
• 2021

This paper consider the Jacobian variety of a hyperelliptic curve over a finite field with the formal structure of the mixed type. We present the Newton polygon of the characteristic polynomial of the Frobenius endomorphism of the Jacobian variety. It gives an useful tool for finding the local decomposition of the Jacobian variety into isotypic components.

• East Asian mathematical journal
• /
• v.38 no.5
• /
• pp.611-616
• /
• 2022

This paper considers the Jacobian variety of a hyperelliptic curve over a finite field with mixed symmetric formal type. We present the Newton polygon of the characteristic polynomial of the Frobenius endomorphism of the Jacobian variety. It gives a useful tool for finding the local decomposition of the Jacobian variety into isotypic components.

• School Mathematics
• /
• v.14 no.4
• /
• pp.469-493
• /
• 2012

The purpose of this study is find the relation between students' concept and types of proof construction. For this, four undergraduate students majored in mathematics education were evaluated to examine how they understand mathematical concepts and apply their concepts to their proving. Investigating students' proof with their concepts would be important to find implications for how students have to understand formal concepts to success in proving. The participants' proof productions were classified into syntactic proof productions and semantic proof productions. By comparing syntactic provers and semantic provers, we could reveal that the approaches to find idea for proof were different for two groups. The syntactic provers utilized procedural knowledges which had been accumulated from their proving experiences. On the other hand, the semantic provers made use of their concept images to understand why the given statements were true and to get a key idea for proof during this process. The distinctions of approaches to proving between two groups were related to students' concepts. Both two types of provers had accurate formal concepts. But the syntactic provers also knew how they applied formal concepts in proving. On the other hand, the semantic provers had concept images which contained the details and meaning of formal concept well. So they were able to use their concept images to get an idea of proving and to express their idea in formal mathematical language. This study leads us to two suggestions for helping students prove. First, undergraduate students should develop their concept images which contain meanings and details of formal concepts in order to produce a meaningful proof. Second, formal concepts with procedural knowledge could be essential to develop informal reasoning into mathematical proof.