• Journal for History of Mathematics
• /
• v.30 no.6
• /
• pp.341-351
• /
• 2017

In the 21st century, the era of artificial intelligence, it is demanded to make a change of the paradigm of education by the recent impact of the 4th industrial revolution. The education up to now has emphasized knowledge, meanwhile the human resources for the future are required to be armed with four C's: critical thinking, creativity, communication and collaboration capability, rather than being equipped with just knowledge. That is because the future society demands such abilities, especially the creativity of each individual. At this point, we are asked to consider the aim of education and teaching methods. In school education, students are to be respected and considered able to develop their potentials by themselves. They shouldn't be estimated by tests in the process of learning as they are now. We reconsider the aim of education here by taking a look at Whitehead's opinions and the present educational situations.

• Communications of Mathematical Education
• /
• v.38 no.2
• /
• pp.263-286
• /
• 2024

With the introduction of AI digital textbooks, interest in the use of technology tools in mathematics education is increasing. Technology tools have the advantage of visualizing mathematical concepts and discovering mathematical principles through experimentation and inquiry. The 2015 revised mathematics curriculum in Korea already mentions the use of technology tools, and accordingly, various teaching and learning activities using technology tools are presented in mathematics textbooks. However, there is still a lack of systematic analysis on the types and utilization methods of technology tools presented in textbooks. Therefore, this study analyzed the current status of the use of technology tools presented in high school mathematics textbooks based on the 2015 revised curriculum. To this end, the types of technology tools presented in mathematics textbooks were categorized, and the utilization ratio of each category was investigated. In addition, the utilization patterns of technology tools were analyzed by subject and content area, and the utilization ratio of technology tools according to the type of teaching and learning activities was examined. The results showed that technology tools were used in various types and ratios according to the subject and content area. In particular, technology tools in the symbol-manipulation graphing software category accounted for 58% of the total usage cases, showing the highest proportion. By subject, the use of symbol-manipulation graphing software was prominent in subjects dealing with the analysis area, while the use of dynamic geometry software was relatively high in the geometry area. In terms of teaching and learning activity types, the utilization ratio of auxiliary tool type (49%) and intended inquiry induction type (37%) was high. The results of this study show that technology tools play various roles in mathematics textbooks and provide useful implications for improving mathematics teaching and learning methods using technology tools in the future. Furthermore, it can contribute to the establishment of educational policies related to AI digital textbooks and the development of teacher training programs.

• Communications of the Korean Mathematical Society
• /
• v.32 no.4
• /
• pp.933-957
• /
• 2017

In this paper, we prove some existence results of solutions for a new class of generalized bi-quasi-variational-like inequalities (GBQVLI) for (${\eta}-h$)-quasi-pseudo-monotone type I and strongly (${\eta}-h$)-quasi-pseudo-monotone type I operators defined on non-compact sets in locally convex Hausdorff topological vector spaces. To obtain our results on GBQVLI for (${\eta}-h$)-quasi-pseudo-monotone type I and strongly (${\eta}-h$)-quasi-pseudo-monotone type I operators, we use Chowdhury and Tan's generalized version of Ky Fan's minimax inequality as the main tool.

• The Pure and Applied Mathematics
• /
• v.15 no.4
• /
• pp.387-392
• /
• 2008

In this note, an alternative proof and extensions are provided for the following conclusions in [6, Theorem 1 and Theorem 3]: The functions $\frac1{x^2}-\frac{e^{-x}}{(1-e^{-x})^2}\;and\;\frac1{t}-\frac1{e^t-1}$ are decreasing in (0, ${\infty}$) and the function $\frac{t}{e^{at}-e^{(a-1)t}}$ for a $a{\in}\mathbb{R}\;and\;t\;{\in}\;(0,\;{\infty})$ is logarithmically concave.

• Communications of Mathematical Education
• /
• v.37 no.1
• /
• pp.21-45
• /
• 2023

This study presents a machine learning program designed to identify impactful papers in the field of mathematics education. To achieve this objective, we examined the impact of papers from a scientific econometrics perspective, developed a mathematics education research network, and defined the impact of mathematics education research using PageRank, a network centrality index. We developed a machine learning model to determine the impact of mathematics education research and identified the journals with the highest percentage of impactful articles to be the Journal for Research in Mathematics Education (25.66%), Educational Studies in Mathematics (22.12%), Zentralblatt für Didaktik der Mathematik (8.46%), Journal of Mathematics Teacher Education (5.8%), and Journal of Mathematical Behaviour (5.51%). The results of the machine learning program were similar to the findings of previous studies that were read and evaluated qualitatively by experts in mathematics education. Significantly, the AI-assisted impact evaluation of mathematics education research, which typically requires significant human resources and time, was carried out efficiently in this study.

• The Korean Journal of Applied Statistics
• /
• v.33 no.6
• /
• pp.753-762
• /
• 2020

With an increasing interest in integrating artificial intelligence (AI) into interview processes, the Republic of Korea (ROK) army is trying to lead and analyze AI-powered interview platform. This study is to analyze the AI interview data using a unified non-crossing multiple quantile tree (UNQRT) model. Compared to the UNQRT, the existing models, such as quantile regression and quantile regression tree model (QRT), are inadequate for the analysis of AI interview data. Specially, the linearity assumption of the quantile regression is overly strong for the aforementioned application. While the QRT model seems to be applicable by relaxing the linearity assumption, it suffers from crossing problems among estimated quantile functions and leads to an uninterpretable model. The UNQRT circumvents the crossing problem of quantile functions by simultaneously estimating multiple quantile functions with a non-crossing constraint and is robust from extreme quantiles. Furthermore, the single tree construction from the UNQRT leads to an interpretable model compared to the QRT model. In this study, by using the UNQRT, we explored the relationship between the results of the Army AI interview system and the existing personnel data to derive meaningful results.

• Journal of the Chungcheong Mathematical Society
• /
• v.10 no.1
• /
• pp.43-56
• /
• 1997

In this paper, we introduce a new class of ${\delta}$-frames and study its properties. To do so, we introduce ${\delta}$-filters, almost Lindel$\ddot{o}$f frames and Lindel$\ddot{o}$f frames. First, we show that a complete chain or a complete Boolean algebra is a ${\delta}$-frame. Next, we show that a ${\delta}$-frame L is almost Lindel$\ddot{o}$f iff for any ${\delta}$-filter F in L, ${\vee}\{x^*\;:\;x{\in}F\}{\neq}e$. Last, we show that every regular Lindelof ${\delta}$-frame is normal and a Lindel$\ddot{o}$f ${\delta}$-frame is preserved under a ${\delta}$-isomorphism which is dense and codense.

• The Pure and Applied Mathematics
• /
• v.17 no.1
• /
• pp.39-49
• /
• 2010

This paper deals with the second-order differential equation (p(t)x'(t))' + g(t)f(t, x(t), x'(t)) = 0, a.e. in (0, $\infty$) with the boundary conditions $$x(0)={\int}^{\infty}_0g(s)x(s)ds,\;{lim}\limits_{t{\rightarrow}{\infty}}p(t)x'(t)=0,$$ where $g\;{\in}\;L^1[0,{\infty})$ with g(t) > 0 on [0, $\infty$) and ${\int}^{\infty}_0g(s)ds\;=\;1$, f is a g-Carath$\acute{e}$odory function. By applying the coincidence degree theory, the existence of at least one solution is obtained.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• v.23 no.4
• /
• pp.301-327
• /
• 2019

The proper orthogonal decomposition (POD) method for time-dependent problems significantly reduces the computational time as it reduces the original problem to the lower dimensional space. Even a higher degree of reduction can be reached if the solution is smooth in space and time. However, if the solution is discontinuous and the discontinuity is parameterized e.g. with time, the POD approximations are not accurate in the reduced space due to the lack of ability to represent the discontinuous solution as a finite linear combination of smooth bases. In this paper, we propose to post-process the sample solutions and re-initialize the POD approximations to deal with discontinuous solutions and provide accurate approximations while the computational time is reduced. For the post-processing, we use the Gegenbauer reconstruction method. Then we regularize the Gegenbauer reconstruction for the construction of POD bases. With the constructed POD bases, we solve the given PDE in the reduced space. For the POD approximation, we re-initialize the POD solution so that the post-processed sample solution is used as the initial condition at each sampling time. As a proof-of-concept, we solve both one-dimensional linear and nonlinear hyperbolic problems. The numerical results show that the proposed method is efficient and accurate.

• Kyungpook Mathematical Journal
• /
• v.27 no.1
• /
• pp.35-41
• /
• 1987

Consider the system (i) x'=Ax. Let ${\Phi}$ be its fundamental matrix solution. If there is w>0 such that A(t+w)-A(t) commutes with ${\Phi}$ for all t, then we call this system a "generalized" Floquet system or a "G. F. system". We show that $A(t+w)-A(t)=B_1$=constant if and only if $A(t)=C+B_1t/w+Q(t)$, Q is periodic of period w>0. For this A(t) We prove that if all eigenvalues of $B_1$ have negative real parts, then the origin is asumptotically stable. We find a growth condition for a continuous D(t) which guarantees that all solutions of z'=[A(t)+D(t)]z are bounded if all solutions of the G. F. system (i) are bounded. Combining the foregoing results yield a class of perturbed G. F. operators all of whose solutions are bounded.