• 호남수학학술지
• /
• 제35권1호
• /
• pp.101-107
• /
• 2013

The Gamma function ${\Gamma}$ which was first introduced b Euler in 1730 has played a very important role in many branches of mathematics, especially, in the theory of special functions, and has been introduced in most of calculus textbooks. In this note, our major aim is to explain the convergence of the Euler's Gamma function expressed as an improper integral by using some elementary properties and a fundamental axiom holding on the set of real numbers $\mathbb{R}$, in a detailed and instructive manner. A brief history and origin of the Gamma function is also considered.

• International Journal of Advanced Culture Technology
• /
• 제6권1호
• /
• pp.1-7
• /
• 2018

The purpose of this study is to develop an art-based integration program for the Korean schools in the United States to improve students' academic performance and nurture the spirit of the young and can enable students taking art classes to better understand social and cultural phenomena influencing their lives. This study integrates with six other subjects that are language art, math, religion, social studies, and Korean history. Art classes are considered the main vehicle for integrating the entire program using a thematic approach. The methodology of this study is based on the literature research and the information of the place, the Korean School of Columbus, is that the school is one of 124 Korean Schools in the Mid-western states and is located in the northern part of Columbus, Ohio. In this study, I developed an art-based integration program to be connected well with other subjects to help students to make sense of them in the complex societies and to help them to obtain the five goals that are included: First, students will understand about a Korean history and culture through making a kite; Second, they will know that a kite can be used as ways of communication with people and God; Third, they will also know how different types of kites respond to the airflow of the wind; Fourth, they will understand an enjoyable and different way of learning about aspects of Fine art, Bible, Language art, Mathematics, Science, History, and Social studies; Lastly, they will learn how important to cooperate with each other.

• Tuberculosis and Respiratory Diseases
• /
• 제86권4호
• /
• pp.251-263
• /
• 2023

The stethoscope has long been used for the examination of patients, but the importance of auscultation has declined due to its several limitations and the development of other diagnostic tools. However, auscultation is still recognized as a primary diagnostic device because it is non-invasive and provides valuable information in real-time. To supplement the limitations of existing stethoscopes, digital stethoscopes with machine learning (ML) algorithms have been developed. Thus, now we can record and share respiratory sounds and artificial intelligence (AI)-assisted auscultation using ML algorithms distinguishes the type of sounds. Recently, the demands for remote care and non-face-to-face treatment diseases requiring isolation such as coronavirus disease 2019 (COVID-19) infection increased. To address these problems, wireless and wearable stethoscopes are being developed with the advances in battery technology and integrated sensors. This review provides the history of the stethoscope and classification of respiratory sounds, describes ML algorithms, and introduces new auscultation methods based on AI-assisted analysis and wireless or wearable stethoscopes.

• 한국초등수학교육학회지
• /
• 제15권1호
• /
• pp.77-93
• /
• 2011

지수귀문도는 지금으로부터 약 300여년 전에 최석정이 <구수략>에서 소개한 마법육각진이다. 작금에 지수귀문도에 관심이 모아지고 있고, 마법수가 76부터 110 인 경우에 지수귀문도가 존재할 수 있다는 것이 증명되기는 했지만, 그것을 만드는 일반적인 방법은 아직도 알려지지 않았다. 현재까지는 컴퓨터를 이용하여 지수귀문도를 만드는 방법이 알려져 있을 뿐이다. 본 연구에서는 마법수가 88~92, 94~98 인 경우에 한정하여, 컴퓨터의 도움을 받지 않고, 초등학교에서도 문제해결 활동의 일환으로 지수귀문도를 만들 수 있는 방안으로 교호법을 제안한다. 이를 위해 교호법이 작동되는 수학적 이론을 소개하고, 그것을 이용해서 만들 수 있는 지수귀문도를 제시한다. 본 연구에서는 교호법을 통하여 초등학생들도 자신만의 지수귀문도를 만들 수 있을 것으로 기대한다.

• 한국학교수학회논문집
• /
• 제19권1호
• /
• pp.63-82
• /
• 2016

수학에서 표기는 수학의 힘을 깨닫게 하는 주요 수단이다. 이러한 관점 하에 본 연구는 무리수 개념 학습의 어려움을 표기의 관점에서 분석하고, 표기에서 비롯된 어려움을 극복할 수 있는 방안을 모색해 보았다. 근호를 사용한 무리수 표기에는 '무리수는 소수나 분수 표현이 불가하므로 문자로 표기해야 한다는 점'과 '$\sqrt{2}$의 경우에 제곱하면 2가 되는 특징을 부각하기 위해 문자에 수를 첨가한 표기'라는 정신이 깃들어 있다. 하지만 교과서에서는 무리수 표기에 대한 발견의 기회를 제공하지 않으므로 학습자는 근호 표기에 깃든 정신을 파악하기 어렵다. 더군다나 무리수 기호 발전 과정에서 문자의 투명성이 축소되어 개념적인 측면에서의 접근이 더욱 어렵게 되었다. 이런 이유로 '이중 맥락에 따른 인식론적 장애', '수치의 투명성 우세로 비롯된 인식론적 장애'가 예상된다. 인식론적 장애를 극복하기 위해서는 '표기 개발의 기회 제공', '문자의 투명성이 기존보다 강화된 표기 사용 경험'이 전제될 필요가 있으며, 본 연구에서는 이러한 원칙에 입각한 6단계의 방안을 제안하였다.

• 한국수학사학회지
• /
• 제23권3호
• /
• pp.121-140
• /
• 2010

본 논문은 속도, 온도, 농도, 밀도, 단가, 일인당 국민소득 등의 내포량의 평균을 구할 때, 내포량마다 다른 공식을 적용하여 구해야 하는 불편함을 해소하기 위하여, 지레의 원리를 이용하여 두 내포량의 평균 공식 $M=\frac{x_1f_1+x_2f_2}{f_1+f_2}$를 유도하였고, 이 공식의 관계적 이해를 돕기 위해 지레의 원리를 이용한 조작적 학습법을 제시하였다. 비의 의미의 분수는 그 수치만으로 덧셈을 할 수가 없어 비가법적이라고 한 것을 비중을 적용하여 계산할 수 있음을 보인 것이다. 또한 두 양에서뿐만 아니라 여러 양의 덧셈도 단 한번의 공식에의 적용으로 해결할 수 있도록 확장 적용시킨 $M=\frac{x_1f_1+x_2f_2+{\cdots}+x_nf_n}{N}$ (단, $f_1+f_2+{\cdots}+f_n=N$) 은 새로운 공식이 가중평균을 구하는 공식이었다는 것을 밝혔다. 또한 통계학에서 의문거리였던 하위 제표의 방향성과 다른 모습을 보이는 상위제표의 통계자료에 대한 심프슨의 파라독스의 의문점을 가중평균의 원리를 이용하여 밝혔다.

• 한국수학사학회지
• /
• 제25권3호
• /
• pp.29-39
• /
• 2012

선형논리는 현대 증명이론의 산물로서 1987년 프랑스 Marseille대학 Jean-Yves Girard 교수가 프로그래밍 언어의 개발을 위해 직관주의 논리학 (Intuitional logic) 을 정교하게 보완하여 고안한 새로운 논리학이다. 그래서 선형논리의 연결사들은 정보배열 (Sequentiality)과 병행처리 (Parallel computation) 등 정보처리와 관련된 해석을 갖는다. 예컨대, A${\otimes}$B는 두 과정 A와 B를 차례차례 수행하는 것을 나타내고, A&B는 내적미결정과 관련되어 관찰자가 A 또는 B를 선택할 수 있으며, A${\oplus}$B는 외적인 미결정으로서, 관찰자는 A 또는 B라는 사실을 알지만 어느 것이 될지는 알지 못한다. 그리고 A${\wp}$B는 A과정과 B과정의 병행처리를 의미한다. 선형부정은 동시화(Synchronization)를 나타내어, 하나의 과정 A가 수행되기 위해서는 A와 $A^{\bot}$가 동시에 이루어져야 한다. 국내에 선형논리에 대한 연구가 활성화되지 않아서 이 글은 이에 대한 관심을 제고하기 위해 우선 선형논리의 통사론만을 취급했으며, 의미론과 증명망 등은 차후의 연구에서 다루고자 한다.

• 건축역사연구
• /
• 제15권4호
• /
• pp.23-36
• /
• 2006

Since he was a leading figure in nineteenth century architecture, Viollet-le-Duc's architectural theory is crucial to the foundation of modern architecture. He has been called a Gothic Revivalist, a Structural Rationalist and a Positivist. The first title was perhaps due to his vigorous restoration of Gothic works such as $N\hat{o}tre$ Dame, but he did not adore the Gothic style just for itself. Rather, he hoped to deduce some principles from the style. So how did he manage this? In his book "Entretiens sur l'Architecture (Lectures on Architecture), published between 1864 and 1872, he mentions using Descartes' four rules for reaching architectural certainty in contrast with the chaotic situation during that modernising period. Furthermore Viollet-le-Duc's theory can be seen as a serious attempt to translates Descartes' philosophical rules into systems of architectural speculation. Descartes' four rules of doubt are anchored in mathematical propositions, and without mathematical distinctions, none of these rules are valid. In other word, mathematics for Viollet is the yardstick of judgement between distinctness and indistinctness. Many architectural problems arise from this view. In this paper, the validities of applying Descartes' method of doubt to architectural discourse will be discussed in order to address the question:-Did Viollet-le-Duc clearly grasp Cartesian method by which memory was erased from the world?

• 대한수학교육학회지:수학교육학연구
• /
• 제21권2호
• /
• pp.121-134
• /
• 2011

소수는 자연수와의 유사성 덕분에 교수-학습시 용이함과 곤란함을 동시에 지니는 초등 수학의 지도 내용이다. 소수의 창시자로 언급되는 Stevin과 소수 개념을 소개한 그의 저서 '소수(La Disme)'는 소수의 역사에서 빼놓을 수 없는 수학자이고 수학책이다. 그러나 대부분의 수학적 개념들의 발달 과정과 마찬가지로 소수 개념에 대한 인식 및 사용은 Stevin 이전 시대에 이미 있어 왔다. 본 연구에서는 그럼에도 불구하고 Stevin이 소수의 창시자로 언급되는 이유를 '소수'가 수학사에서 지니는 의미와 관련하여 고찰하였다. 구체적으로 표기적 측면, 책의 전개 방식, 개념적 혁명, 실용적 목적 등의 측면에서 의의를 찾을 수 있었다. 그리고 책의 명성에 비해 원전의 상세한 내용은 잘 알려져 있지 않은 <소수>에 대한 상세한 검토를 통해 초등수학교육에서 소수가 지도되는 방법과 관련한 몇 가지 시사점을 논의하였다.

• Nuclear Engineering and Technology
• /
• 제49권6호
• /
• pp.1165-1171
• /
• 2017

The traditional form of parallelism in Monte Carlo particle transport simulations, wherein each individual particle history is considered a unit of work, does not lend itself well to data-level parallelism. Event-based algorithms, which were originally used for simulations on vector processors, may offer a path toward better utilizing data-level parallelism in modern computer architectures. In this study, a simple model is developed for estimating the efficiency of the event-based particle transport algorithm under two sets of assumptions. Data collected from simulations of four reactor problems using OpenMC was then used in conjunction with the models to calculate the speedup due to vectorization as a function of the size of the particle bank and the vector width. When each event type is assumed to have constant execution time, the achievable speedup is directly related to the particle bank size. We observed that the bank size generally needs to be at least 20 times greater than vector size to achieve vector efficiency greater than 90%. When the execution times for events are allowed to vary, the vector speedup is also limited by differences in the execution time for events being carried out in a single event-iteration.