ASYMPTOTIC STABILITY OF SOME SEQUENCES RELATED TO INTEGRAL CLOSURE

TOROGHY, H. ANS 호남수학회 2002 한국수학학술지 Vol.24 No.1

In this paper we will show that if E is an injective module over a commutative ring A, then the sequence of sets Ass_A(A/(J^n)^*(E)), n∈N, is increasing and ultimately constant. Also we will obtain some results concerning the integral closure of ideals related to some modules.

Are vaginal swabs comparable to cervical smears for human papillomavirus DNA testing?

Liselotte Coorevits,Ans Traen,Luc Bingé,Jo Van Dorpe,Marleen Praet,Jerina Boelens,Elizaveta Padalko 대한부인종양학회 2018 Journal of Gynecologic Oncology Vol.29 No.1

Objective: Human papillomavirus (HPV) testing is widely incorporated into cervical cancer screening strategies. Current screening requires pelvic examination for cervical sampling, which may compromise participation. The acceptance could be raised by introducing testing on vaginal swabs. We explored the interchangeability of vaginal swabs and cervical smears for HPV testing, by means of a prospective study conducted in female sex workers (FSWs). Besides, we report on the occurrence of 32 different HPV genotypes in FSW with low-grade squamous intraepithelial lesion (LSIL) or high-grade squamous intraepithelial lesion (HSIL). Methods: Paired physician-collected vaginal swabs and cervical smears from 303 FSW were tested for HPV using the Abbott RealTime High-Risk HPV assay. Cervical cytology was examined on cervical smears. In case of HSIL/LSIL cytological classification (n=52), both samples were genotyped using INNO-LiPa HPV Genotyping Extra II. Results: The overall prevalence of high-risk (HR)-HPV was 51%. In FSW with HSIL/LSIL cervical cytology, the sensitivity and specificity of vaginal samples for the detection of HR-HPV was 100% and 70% and for probable HR-HPV 100% and 91%. The mean number of genotypes identified in vaginal samples (mean=3.5; 95% confidence interval [CI]=2.8–4.2) was significantly higher than in cervical smear samples (mean=2.6; 95% CI=2.1–3.0) (p=0.001). The most frequently encountered HR-HPV genotypes were HPV16, 31, 51, and 52. Conclusion: As our study shows that vaginal swabs are equivalent to cervical smears for the detection of (probable) HR-HPV, vaginal swabs can be used for HPV testing in cervical cancer screening strategies. Given the acceptance of vaginal sampling, this finding offers an opportunity to boost screening coverage.

Toward High-performance Quinoxaline Based Unfused Non-fullerene Acceptors for Organic Solar Cells

Amna Ayub,Muhammad Ans,Sehrish Gul,Ahmed M. Shawky,Khurshid Ayub,Javed Iqbal,Muhammad Ali Hashmi,Ahmed Lakhani 대한금속·재료학회 2023 ELECTRONIC MATERIALS LETTERS Vol.19 No.1

Unfused non-fullerene acceptors with the advantages of simple synthesis, high yields, and low cost have received a lot ofinterest in recent years. Herein, we designed fi ve structures (UF-M1–UF-M5) with unfused non-fullerene acceptors coupledto electron-defi cient quinoxaline (Qx) as the core unit via electron-donating cyclo-penta-dithiophene (CPDT) as the conjugatedbackbone by modifi cation in UF-Qx-2Cl taken as reference. Among all, mPW1PW91 method predicted λ max closestto the λ max of UF-Qx-2Cl, so we implemented the mPW1PW91 method with a 6-31G(d,p) basis set for the optimization ofdesigned geometries and their molecular electrostatic mapping (MEP). Further parameters like FMOs (frontier molecularorbitals), TDM (transition density matrix analysis), DOS (density of state analysis), electron–hole mobility rate (reorganizationenergies), dipole moment, and chemical quantum descriptive parameters were evaluated for organic photovoltaics. Among all, UF-M4 predicted better absorption in the gaseous and solvent phase (λ max = 726 nm and 789 nm respectively),lower bandgap (E g = 2.03 eV), higher dipole moment (1.99 and 5.33 debye in gaseous and solvent phase respectively), betterquantum chemical descriptive parameters, and higher electron mobility rate (λ e = 0.00766 eV). The results reveal that theacceptor molecule UF-M4 that has been created performs better in studies and better opportunities for organic-photovoltaics. To summarize, the unfused non-fullerene-based acceptor modifi cation technique has shown eff ective in paving the way forthe development of promising photovoltaic materials. All currently projected acceptor contributors (UF-M1–UF-M5) shouldbe targeted to produce future competent organic photovoltaics.

Evaluation of Tensile Properties of Glass/Sisal and Glass/Jute Fibers Reinforced Hybrid Composites at Different Stacking Sequences

Muhammad Yasir Khalid,Ans Al Rashid,Zulkarnain Abbas,Naveed Akram,Zia Ullah Arif,Fausto Pedro Garcia Marquez 한국고분자학회 2021 폴리머 Vol.45 No.3

The improvement in mechanical properties of biodegradable and sustainable materials like natural fibers turns out to be exceptionally appealing from the financial and biological perspectives. This is achieved by hybridization technique in which different fiber orientations can be adjusted in various arrangements providing variety in its properties. In this study, the authors used different natural fibers in hybridization with glass fibers. The tensile strength of varying glass/sisal and glass/jute contents within the composites were compared. Besides, the effect of hybridization was analyzed. Results revealed that all hybrid composites show low tensile strength as compared to the non-hybrid composites. However, in hybrid composites, the laminate containing a single layer of sisal fiber has shown almost the same tensile strength as non-hybrid composites. Based on results, it is suggested that flax is an appropriate natural fiber to replace E-glass for applications requiring similar strength.

SWCNTs AS ELECTRON WITHDRAWERS IN NANOCRYSTALLINE ANATASE PHOTOCATALYSTS

IGNACIO TACCHINI,EVA TERRADO,ALEJANDRO ANS Ó N-CASAOS,M. TERESA MARTÍNEZ 성균관대학교(자연과학캠퍼스) 성균나노과학기술원 2012 NANO Vol.7 No.3

Single-walled carbon nanotube (SWCNT)/anatase TiO2 composite materials were prepared by successive sol?gel and hydrothermal processes. The composites contained thin SWCNT bundles embedded in aggregates of ?12 nm anatase crystallites. A series of SWCNT/TiO2 photocatalysts was prepared with various SWCNT contents; a SWCNT content of ?8 wt.% was found to be optimal for methylene blue (MB) degradation under combined UV/visible radiation. The optimized SWCNT/TiO2 composite demonstrated substantially higher photocatalytic activity than pure nanocrystalline anatase (5.2 times) and Degussa P-25 TiO2 powder (2.7 times). The MB degradation and mineralization processes were separately evaluated and complete decomposition of MB was shown to take place. The presence of SWCNTs caused an increase in the visible light absorbance of TiO2; however, SWCNT/TiO2 composites did not show any photocatalytic activity when the UV part of the UV/visible light source was ¯ltered. Therefore SWCNTs worked as acceptors for the TiO2 photoexcited electrons, but did not act as sensitizers for TiO2.

Investigation of Tensile and Flexural Behavior of Green Composites along with their Impact Response at Different Energies

Muhammad Yasir Khalid,Zia Ullah Arif,Ans Al Rashid 한국정밀공학회 2022 International Journal of Precision Engineering and Vol.9 No.5

Green composites can reduce the use of synthetic fibers in many applications. The motivation behind the fabrication of green composites is their excellent biodegradability and recyclability. However, fundamental issues related to green composites are their inferior mechanical properties and the reinforcement’s hydrophilic nature. This paper presents the hand layup technique to produce green composites containing different ratios of synthetic fiber (E-glass) and natural fiber (Jute). The mechanical properties were characterized as per ASTM standards. The impact strength was also investigated for different impact energies. In addition to this, the numerical simulations using ABAQUS were performed. The experimental results for tensile and flexural results were compared and validated with finite element analysis (FEA) results. An error of nearly 4% was observed between the numerical and experimental results. The microscopic analysis of fractured tensile specimens indicated that more pull out of jute fabric in high jute weight percentage composites was the leading cause of its lower tensile strength.

Prevalence of Clostridium difficile Isolated from Beef and Chicken Meat Products in Turkey

Şeyma Şeniz Ersöz;Serap Coşansu 한국축산식품학회 2018 한국축산식품학회지 Vol.38 No.4

The concern about the possibility of food can be a vehicle for the transmission of Clostridium difficile to humans has been raised recently due to the similarities among the strains isolated from patients, foods and food animals. In this study, therefore, the prevalence of C. difficile was investigated in beef and chicken meat products collected from 57 different butcher shops, markets and fast food restaurants in Sakarya province of Turkey. Two out of 101 samples (1.98%) was positive for C. difficile indicating a very low prevalence. The pathogen was isolated from an uncooked meatball sample and a cooked meat döner sample, whereas not detected in chicken meat samples. The meatball isolate was resistant to vancomycin and tetracycline, while the cooked meat döner isolate was resistant to vancomycin and metronidazole. Both isolates were sensitive to moxifloxacin and clindamycin. Toxins A and B were not detected. This study reveals the presence of C. difficile in further processed beef products in Turkey.

Comparative analysis of metazoan chromatin organization

Ho, Joshua W. K.,Jung, Youngsook L.,Liu, Tao,Alver, Burak H.,Lee, Soohyun,Ikegami, Kohta,Sohn, Kyung-Ah,Minoda, Aki,Tolstorukov, Michael Y.,Appert, Alex,Parker, Stephen C. J.,Gu, Tingting,Kundaje, Ans Nature Publishing Group, a division of Macmillan P 2014 Nature Vol.512 No.7515

Genome function is dynamically regulated in part by chromatin, which consists of the histones, non-histone proteins and RNA molecules that package DNA. Studies in Caenorhabditis elegans and Drosophila melanogaster have contributed substantially to our understanding of molecular mechanisms of genome function in humans, and have revealed conservation of chromatin components and mechanisms. Nevertheless, the three organisms have markedly different genome sizes, chromosome architecture and gene organization. On human and fly chromosomes, for example, pericentric heterochromatin flanks single centromeres, whereas worm chromosomes have dispersed heterochromatin-like regions enriched in the distal chromosomal ‘arms’, and centromeres distributed along their lengths. To systematically investigate chromatin organization and associated gene regulation across species, we generated and analysed a large collection of genome-wide chromatin data sets from cell lines and developmental stages in worm, fly and human. Here we present over 800 new data sets from our ENCODE and modENCODE consortia, bringing the total to over 1,400. Comparison of combinatorial patterns of histone modifications, nuclear lamina-associated domains, organization of large-scale topological domains, chromatin environment at promoters and enhancers, nucleosome positioning, and DNA replication patterns reveals many conserved features of chromatin organization among the three organisms. We also find notable differences in the composition and locations of repressive chromatin. These data sets and analyses provide a rich resource for comparative and species-specific investigations of chromatin composition, organization and function.

비용매 유도 상분리법에 의한 P(AN-co -MA) 비대칭 막의 제조와 특성 평가

유안나 ( An Na Yoo ),염경호 ( Kyung Ho Youm ) 충북대학교 산업과학기술연구소 2015 산업과학기술연구 논문집 Vol.29 No.1

The poly(acrylonitrile-co-methyl acrylate)[P(AN-co-MA)] asymmetric membranes were prepared by non-solvent induced phase separation (NIPS) method, and its membrane filtration performances were studied. The membrane casting solution having the different copolymer concentrations was prepared by directly dissolving P(AN-co-MA) copolymer in DMSO solvent and then appling NIPS method to form the P(AN-co-MA) asymmetric phase inversion membranes. The surface and cross-section SEM images and membrane filtration performances of the P(AN-co-MA) asymmetric membrane were discussed according to the copolymer concentration in casting solution. The P(AN-co-MA) copolymer is appropriate as a membrane making material because FT-IR result shows that P(AN-co-MA) copolymer has the typical component peaks of PAN backbone and hydrophilic carboxyl group. The SEM images of the prepared P(AN-co-MA) membranes show the typical asymmetric membrane structures i.e. porous surface structure and finger-like cross-section structure. The dead-end filtration experiments using pure water and bovine serum albumin (BSA) solution show that a more dense membrane is prepared according as increase of copolymer concentration in casting solution because of the slowed exchange rate between solvent (DMSO) and non-solvent (water) in phase inversion. The prepared P(AN-co-MA) asymmetric membranes are suitable as the ultrafiltration separation membranes.

法律學上 裁判의 論理에 있어서의 言語分析方法

姜顔熙 東亞大學校 1968 東亞論叢 Vol.5 No.-

1. Preface The term "judgment" refers to the legal judgment of cases. It is inseparably related with language, in the processes of finding facts, of selecting applicable laws, and further of applying laws concerned. The data in the course of finding facts are offered by verbal expressions and keep on existing in the form of language. Thus, the law and the language are inseparably correlated. The language essentially functions not only in the field of law but in all the social fields. By means of language, man maintains his life in community and enriches his ideas. In the field of modern culture, especially, of science, philosophy, logic and psychology, they pay a considerable attention to the study of language, and, by means of analytical method, they solve and find a clue to solve the knotty problems. Such an analytical method, introduced in the realm of law, has considerably contributed to the clarification of legal conception and to the development of legal thinking. Taking into account such a close relationship between law and language, this article aims at reviewing analytical method of language in the field of judicial judgment. It would greatly be helpful in making clear the logical character of the judgment which is the practical side of laws. But the study on the logical structure of trial is not yet explored except res adjudicata. In short, the study of logical structure of the trial still remains in a state unexplored matter and the purpose of this article is to introduce the importance of that question. II. The Method of Linguistic Analysis 1. Language and Law Human being thinks through language and result of thinking (idea) is expressed by means of language. Human being, in a sense, may be called a complex substance of ideas formed with language. The unescapable ingredient of our experience and cognition, is the symbolization by language. Law is so closely related with language that it might be called'a certain form of language. 2. Language Language is a symbol. Supposing that A indicates B, it could be said that A is interpreted as Bor that A is B. Even though A is not able to describe all the sides of the sides of the B, if there is a systematic relation between A and B, it should be said A is the symbol of B. But human being often forgets the function of the symbol in life. And by misusing language sometimes our social activity lacks logical precision. Such a confusion, as occurred by the ambiguous use of the language, is also found in the realm of law. The linguistic meaning of the text of law shows the general usage of the sentence and is used to explain the normative meaning of law. The meaning of langusge sliows the general usage of the language. Thus, language is a specific sort of the symbols and has relative phases as below: (a) Relation between symbols and human being who uses symbols (it is called pragmatics). (b) Relation between symbols and things which the symbols indicate, or phenomena (it is called semantics). (c) Relation between symbols (it is called syntactics). In the modern symbol logic used in the linguistic analysis, words are chosen from the language used in our daily life. and are symbolzed. The above said relative sides of the symbols of language are roughly classified by the interpretation and application of law as below: (a) Semantics is equivalent to the interpretation of law. (b) Pragmatics, to the application of law. (c) Syntactics, to the formal side of the Logic functioning in interpretation and application of Law. 3. Analysis of Language The method of philosophical analysis, which is used in the analysis of language, was introduced,, for the exact exercise of legal thought and practice of law. The fundamental attitudes of analytical method of language as philosophical method are: (a) To use the artificial language (for instance, symboi) as a supplementary means. (b) To make clear the method to use the natural language so as to use it correctly. (c) To use both methods of (a) and (b). In the symbol logic used in the linguistic analysis, the propositions are symbolized to the letters, X, Y, Z, and the following symbols are used to show the words which function to combine words: (1)X.........................................(Not X) (2)X.Y..................(X and Y) (It is called conjunction) (3)X v Y..................(X or Y)(It is called disjunction) (4)X⊃Y........................(If X, then Y) (It is called implication) (5)X≡Y...............(X equivalent to Y) In the case that X is true and only Y is false, the above (4) shows the proposition to be false. In the case that both X and Y are true, or both false, the above (4) shows the proposition to be true. The following proposition is to be chosen as an axiom: (a) X v X⊃X (b) X⊃X v Y (c) X v Y⊃Y v X (d) (X⊃Y)⊃{(ZvX)⊃(Z v Y)} To the above axiom the following rules are added to introduce other proposition. (a) Rule of subrogation. (b) Rule of inference. A and (A⊃B) are true, therefore B is true. In order to divide the proposition into subject and predicative and to show the mutual relation between them, the following axioms are added: (a) (X) Fx⊃fy (b) fy⊃(∃X) Fx Here is an example to symbolize law by using the above symbol logic: Article of the Civil Code provides that person acquires his capacity to enjoy civil rights. The aforesaid article may be symbolized as (X) (Fx⊃Rx). It is equivalent to (Rx) (Fx. Rx) (F, indicates person and R, Capacity of Right.) Such relation may be shown by the following diagram: As the diagram shows. Article 1 of Civil Code only denies that person "Fx" belongs to the oblique lined part "Fx. Rx" and indicates that nothing is provided on other part. So Article 1 of the Civil Cods allows analogical application but its counterinterpretation is not possible by the logical necessity. So if Article 1 of the Civil Code is interpreted as it recognizes the capacity of enjoyment of rights only to the person, it should be symbolized as below: (x) (Fx≡Rx) The symbol logic is a formal logic, and at the same time, a logic of tautology, and the function as the means of linguistic analysis is limited to such a formability and tautology. Article 1 of the Civil Code is not set by the linguistic logic itself whether the article is to symbolize (x) (Fx⊃Rx) or (x) (Fx≡Rx). In human activities, language is used for such a variety of purposes as to express human idea, to convey his intention, to express his feeling, to give order to others, etc. There is the part impossible to formalize since there are rational and unrational elements in the use of language at the same time. Furthermore, many of the problem are not explained by the method of logical analysis of language, but, at least the confusion and the inexact thought which was brought by the wrong use of language may be avoided by the method of linguistic analysis. III. Logic of Judgment The judgment is the legal decision, and the contents of the judgment must be approved by the verifications of the deductive inference of the syllogism which is contributed by law as a major premise and the facts recognized as a minor premise. But such a decision is nothing more than an intention to solve disputes fairly and is consisted of the subjective determination of judges. So the judgment is the intellectual decision and also is the will of state to solve the disputes. There are two contradictory opinions on the function of inference of syllogism in (he judgment: The one maintains that the inference of the syllogism functions in the process of the judgment and the other holds that it is used as the persuasive means reasoning the results of judgment (the content of the judgment) already established. The former is the viewpoint of the conceptional jurisprudence and the latter, that of the free jurisprudence. To make clear the logical character of the judgment, it is a key problem to find out the character of the inference form of the syllogism. 1. Movability and Instability of the Judgment As the judgment is legal decision and comes into being by the determination of the iudge who intentionally practise legal justice, it should be gone with the discretional judgment by the judges in the interpretation of laws, in the recognition of facts, and in the application of law. The more the content of the law is abstract and the bigger the discretional power of the judgment in the recognition of the facts is, the more dangerous to lose the immovability and the stability is the judgment. Such movability and instability of the judgment are resulted from the logical structure of judgment. As the right to suit was given to the specific individual case in the Roman Law System, it is out of the problem to mention about movability and instability of the judgment. It is also beyond the problem of the movability and instability of the judgment in the Anglo-American Law under the system of unwritten law and the Stare Decisis, as the judgment of the case that there was a precedent, is restricted by the contents of the preceding case and the law applicable to the later case is found automatically from the former case so far as the facts of both cases are same, But, even under the Stare Decisis, the tendency can not be disregarded that solves the case which has the same fact of the preceding case as different case by emphasizing other different side of the fact when the judge wants the different result. Under the Continetal Law System, laws and facts are perfectly divided, There is enough room for leading to the movability and instability of the judgment depending on judge's discretion in the process of finding applicable law and facts. The movability and the instability of .Judgment are an inevitable phenomenon of judgments, but they exclude the possibility of anticipation in the judgment and have possiblity of jeopardizing legal safety. 2. Theory of Law Declaration and Law Creation of the Judgment Judgment goes through the essential moment of tlie unification of intellectual side and intentional side, and it shows both the characters of law declaration and law creation. (a) According to the theory of law declaration, the judgment is to find out the applicable law attached to a certain case referring to precedents and is to declare the law concerned. Judge, as the depositories of law knows the law of lands which is to be applied to the cases and is not allowed to paformse the judgment without legal ground at any case. Law is the perfect one which can cover all the cases concerned and sliould be applied to any case. And it is therefore, impossible to imagine a case that can not be judged by existing laws. If there were a law created by a judge, it would not be a law in real sense and, would accordingly, be a unconstitutional stepover of the scope of his authority and is a disregarded act as well from the viow point of the division of powers. In short, supposing that a law were to be created by a judgment, it would rather be said that law does not exist before trial and the judgment could not be called "a judgment under laws." (b) To the above theory, the theory of law creation holds that laws are actually created by judgments. The most of the ancient laws of Anglo-Saxon have been created and developed by courts and are effective up to present. No one can deny the fact that laws are created by judges. Supposing laws were immovable and unchangeable from the ancient ages; then, Common Law would be of powerless in solving today's problems. Supposing that laws were of perfect, one would inevitably come to the peculiar conclusion that the laws pertainine to the aviation had existed even before airplanes were invented. As the judgment is legal decisions according to existing laws, it must be deduced and derived from th: existing law. Law is embodied and developed through the judgment of concrete cases. The self-development must be creative itself. The whole meaning of the law may change its substantial contents by the trial of a concrete case. Such being the case, trial is the creative action of judges. Geldart recognizes the possiblity of growth of law, and he successfully harmonized the two conflicting views-the theory of law creation and the theory of law declaration. According to him, a judge always tries cases under the formula of applying already existing principles. Even when a judge actually creates a law, he must do it by the deductive or analogical formula of the existing principles. Certainly, it might be said the law is endlessly growing and the growth is an action of development limited by the past and limiting the future. The judgment may therefore be the step to the growth of laws being regulated by the existing laws and producing new laws, at the same time. Thus, law is growing and trial is a step forward to the growth of laws. In such a sense, the trial is a process to find a law and, at the same time, it is a process of creating a new law. 3. The Logic of the Judgment The points of Issue: As is described above, judgment is the intellectual decision of a judge and, at the same time, comes into being by the determination of selecting value with the help of whole personality of the judge. The judgment comes into existence with the combination of intellectual action and the activity of intention. It is the present situation that the form of inference of syllogism, based on the principle of identity, is losing its value as the logical form of judgment. It is an inevitable result of the reflection toward the past attitude of concpetional jurisprudence which tends to ascertain judgment from the intellectual ride only. But since the judgment comes in to being with the both sides of intelligence and intention of judges as referred to in the above, it is impossible to decide the logical character, by disregarding the intantional side. In order to find out the logical character of judgment, it is necessary to understand: what the logic of intelligence and of intention are and what those relation are: what the combination of them is: how the real character of principle of identity is to be ascertained; what the character of the inferercc form of the syllogism, based on the principle of identity, is; 4. Logic Generally speaking, logic means the internal orderliness in our activities and its consistency. The internal order in our activities and its consistency should be expressed in the form of the principle of identity such as "p is p." The form of the principle of identity shown by the formula "p is p", shows the self consistency and the self-development of conciousncss of "p" The feature of the principle of identity is the continuity in the discontinuity. It may be said that the feature of the principle of idetity, "p is p" shows the attitude of self limiting of "p" which is being existed in the continuity in the discontinuity. That makes clear the fundamental principle of logic of intelligence and of intention, and may be a key point to understand the character of the logic. The inference form of the syllogism is those of the self-development of "p" according to the principle of identity, ("p" is predicated in the general proposition as major premise.) 5. Logic of the Interpretation of Law As everything is meditated, expressed, and comes into being through language the understanding of the law is inseparably linked with linguistic expression. By the ability to understand language and the knowledge of the law, we can affirm the legal language and find out the general meaning of letters, words and sentences composed of it, and seize the relative sides of sense of the legal languages The process of interpreting, understanding, and catching the possible implication included in the letters, words, and sentences composing the legal language, is called the grammatical interpretation. The interpretation of law is based on the factual sense caught by the grammatical interpretation. But for the interpretation of law a workprocess is necessary to make a logical circulation connecting the factual sense with the legal field according to the basic principle of the full systematical constructure of legal order. The logical sense is the sense caught in accordance with the above work process. The logical sense is obtained without being influenced by the specific concrete application. It functions directly to the factual sense but, at the same time, it functions directly to the sense of the law. The high dimensional interpretation is based on the said logical sense and is the work to make a possible normative imagination expected. The interpretation of law begins with the method of grammatical interpretation and ends with the high dimensional interpretation. High dimensional interpretation finds its base on the logical sense and is ruled by the concrete object of application and is the work process of setting the standard of application. Thus, the interpretation of law is consisted of continuation of steps of the grammatical, logical and high dimensional interpretation and forms a compound strcuture, therefore, the sense of the law is acquired in the interrelation between the fact and the ideal. The logical character required at the interpretation of law is, in the grammatical interpretaion, the consistency with the regulatory relations between the language and the meaning, in high dimensional interpretation, the logic of intention, the will to get a fair result, operates. 6. Logic of Recognition of the Fact Trial is a legal decision and comes into being as the result of application of law to the settled-fact. So, it is necessary to settle a fact before judgment is passed, as the premise of trial. The recognition of the fact as the premise of the judgment is obtained through evidential materials which exists in the form of language, The recognition of fact is always intervened by the element of the legal idea. It is the activity of concluding the factual sense on which the concrete sense of the law would construct. It has the character of real-Ideal. In general, the recognition of fact is to recognize a fact as it is. But, what does it mean to recognize the fact as it is? It is doubtful if we recognize all the full sides of facts taken in front of us. Above all, it is little possible to recognize the fact that happened once in the past. as it was We merely recognize it with sense through the existing materials (evidential materials)on certain satandpoint as directed by the above materials. In the interpretation of law. a logical interpretation is the process in the correlation between the sense of the law and the factual sense, while the recognition of fact is the process in the correlation between the abstract sense obtained by the interpretation of law and the fact settled by the recognition The fact recognized schematically functions maintaining correlation between the sense of law and concrete phenomenon as well as the logical sense cought by logical interpretation is schematically functions maintaining correlation between the fact and the law. Both are the same in functioning schematically but the logical sense is the general and abstracted sense, whereas the recognized fact is of individual and concrete sense. Originally, the rationality of law is the rationality to be substantiated by the individual and factual unrationality. The individual and factual unrationality is the unrationality to be rationalized, by law The true feature of the recognition of fact is the action directly to experience the concrete correlation between the rationality of law and the unrationality of fact, and is not the simple action which recognizes the fact, as it is. (a) Rule of Experience The recognition of the fact should be supported by the rule of both logic and experience (Article 261 of the Code of Civil Procedure Law). The recognition of fact should be found on the basis of evidential materials; the contents thereof should be admitted and convinced by the rule of experience, and should be logicaly corresponded to the materials basing on it. (b) Probability Even though the recognition of fact is in line with a strict rule of experience, it is confined within the limit of our inference. So, there is a problem of certainty-that is, the possibility of accuracy in recognizing fact. we only act with the certainty to some extent throughthe direct and indirect experiences. The recognition of fact in the litigation should be the judgment supported by the highest probability and requires the certainty that no one can reasonably odubt. It is necessary that the judge should recognize the fact with hisbt es possible effort that can be expected from ordinary judges. We can have the certainty by experiences. The entity of the certainty required by the recognition of fact in the litigation is the inference supported by the conviction obtained by the direct or indirect experiences. Our conviction is molded into a form. when the negative function in our mind dies away. The probability required in the litigation is the belief formed: when the recognition of fact is proved by as many evidential materials as expected to obtain; whenit is determined by the rule of experience and also by the logic; when the idea of law and regulation are conformed to the one which was indicated by evidential materials; judge forms conviction in the recognition of fact. Such conviction may, therefore, not permit further question even by the reasonable doubt. (c) Logical appearance which functions in the Recognition of Fact The logical appearance which functions in the recognition of fact, as is in the interpretation of law, is the combined logic of the intelligence and intention. That the recognition of fact should be conformed to the evidential materials The evidential materials indicate the recognized fact which is based on it. So, required is the regulatory relations of linkage among the evidential materials and the fact recognized. IV. Application of Law The application of law is the constructive function of the concret law based on the recognized fact which was grasped by the sense of law. It is the work process to individualize definitely the sense of law. It is through the media of the recognition of fact. The sense of law and the specific fact are jointed concretely with the recognition of fact. The sense of law becomes to be definite and the specific fact comes to be abstracted to the sense of the law. Thus, the abstracted sense of law concretely expresses itself to be specific through the media of the recognition of fact. The application of law is the process to construct the specifically individual law with the form of inference of the syllogism induced from the sense of law as the major premise and the fact recognized as the minor premise. The sense of the law of the major premise is limited to the specific factual sense by the recognition of fact and is concluded to the concrete sense by the judgment. The possible normative imagination in the sense of law is individualized into the concrete actual normative imagination by means of judgment. In the application of law, it is understood that the logical format functioned there is the form of inference of the syllogism based on the principle of identity. V. Conclusion Judgment is a result of self-development of law in the concrete and individual fact. The form of logic which functions in the process of judgment is the form of principle of identity which is the fundamental principle of all logic, formal or informal and the base of syllogism. The logic functioning in judgment is coincidental to the idea and purpose which are aimed by law to be realized, and is adjusted with the existing legal system. It is true that judgment is generally formed with judge's individual estimate about values, but the result of it should be justified by legal idea systematized in the existing legal system. It is reasonable that realists are recently trying to build some objective standards for judgment to avoid the intervnetion of arbitrariness and prejudice of judges in judgment. The judgment should be the concrete and embodied form of the self-development of law. The intervention of judge's individual belief and estimate about values should be what is justified and systematized by the existing legal idea, purpose and system.