• Management Science and Financial Engineering
• /
• v.2 no.1
• /
• pp.147-176
• /
• 1996

The main objective of this study is to uncover the differences in the programming behavior between methodology creators and methodology users. We conducted an experiment with methodology creators who have invented one of the major object-oriented methodologies and with professional programmers who have used the same methodology for their software-development projects. In order to explain the difference between the two groups, we propose a theoretical framework that views programming as search in four problem spaces: representation, rule, instance and paradigm spaces. The main problem spaces in programming are the representation and rule spaces, while the paradigm and instance spaces are the supporting spaces. The results of the experiment showed that the methodology creators mostly adopted the paradigm space as their supporting space, while the methodology users chose the instance space as their supporting space. This difference in terms of the supporting space leads to different search behaviors in the main problem spaces, which in turn resulted in different final programs and performance.

• Journal of the Korean Mathematical Society
• /
• v.35 no.1
• /
• pp.177-189
• /
• 1998

In this paper, weighted Bloch spaces $B_q (q > 0)$ are considered on the open unit ball in $C^n$. These spaces extend the notion of Bloch spaces to wider classes of holomorphic functions. It is proved that the functions in a weighted Bloch space admit certain integral representation. This representation formula is then used to determine the degree of growth of the functions in the space $B_q$. It is also proved that weighted Bloch space is a Banach space for each weight q > 0, and the little Bloch space $B_q,0$ associated with $B_q$ is a separable subspace of $B_q$ which is the closure of the polynomials for each $q \geq 1$.

• Journal of the Architectural Institute of Korea Planning & Design
• /
• v.33 no.12
• /
• pp.93-103
• /
• 2017

There has been various pedestrian-friendly planning for making walkable cities. However, the representation of urban pedestrian spaces that should be the basis of the pedestrian-friendly planning tends to be far from reality. This is due to the absence of a consensual way to represent pedestrian spaces in the city. In this context, this study aims to propose a method to properly represent pedestrian spaces. For this purpose, this study first reviews the patterns of representing pedestrian spaces appearing on city maps and examines their merits and limits. After that, the criteria of pedestrian traversability and the mapping method are proposed on a trial basis for representing pedestrian spaces. Then, applying this to the case sites, Mokdong and Euljiro, this paper demonstrates how the operation of representing pedestrian spaces works. It is expected that the results of this study would be used as the basic foundation for a more developed representation of effective pedestrian-friendly planning.

• Journal of the Korean Mathematical Society
• /
• v.43 no.5
• /
• pp.1065-1080
• /
• 2006

For 3-dimensional Bieberbach groups, we study the de-formation spaces in the group of isometries of $R^3$. First we calculate the discrete representation spaces and the automorphism groups. Then for each of these Bieberbach groups, we give complete descriptions of $Teichm\ddot{u}ller$ spaces, Chabauty spaces, and moduli spaces.

• Education of Primary School Mathematics
• /
• v.25 no.1
• /
• pp.81-100
• /
• 2022

The purpose of this study is to develop a framework for analyzing the solution spaces of open-ended task and to explore their usefulness and applicability based on the analysis of solution spaces constructed by students. Based on literature reviews and previous studies, researchers developed a framework for analyzing solution spaces (OMR-framework) organized into subspaces of outcome spaces, method spaces, representation spaces which could be used in structurally analyzing students' solutions of open-ended tasks. In our research, we developed open-ended tasks which had various outcomes and methods that could be solved by using the concepts of factors and multiples and assigned the tasks to 181 elementary school fifth and sixth graders. As a result of analyzing the student's solution spaces by applying the OMR-framework, it was possible to systematically analyze the characteristics of students' understanding of the concept of factors and multiples and their approach to reversible and constructive thinking. In addition to formal mathematical representations, various informal representations constructed by students were also analyzed. It was revealed that each space(outcome, method, and representation) had a unique set of characteristics, but were closely interconnected to each other in the process. In conclusion, it can be said that method of analyzing solution spaces of open-ended tasks of this study are useful for systemizing and analyzing the solution spaces and are applicable to the analysis of the solutions of open-ended tasks.

• Bulletin of the Korean Mathematical Society
• /
• v.43 no.2
• /
• pp.377-387
• /
• 2006

In this paper, some characterizations of representation for continuous linear functionals on $2{\kappa}$-inner product spaces in terms of best approximations and orthogonalities are given.

• Bulletin of the Korean Mathematical Society
• /
• v.56 no.1
• /
• pp.187-200
• /
• 2019

Truncated Hankel operators are compressions of classical Hankel operators to model spaces. In this paper we describe matrix representations of truncated Hankel operators on finite-dimensional model spaces. We then show that the obtained descriptions hold also for some infinite-dimensional cases.

• Korean Journal of Mathematics
• /
• v.27 no.2
• /
• pp.375-415
• /
• 2019

We study spaces of continuous-function-valued functions that have the property that composition with evaluation functionals induce $weak^*$ to norm continuous maps to ${\ell}^p$ space ($p{\in}(1,\;{\infty})$). Versions of $H{\ddot{o}}lder^{\prime}s$ inequality and Riesz representation theorem are proved to hold on these spaces. We prove a version of Dixmier's theorem for spaces of function-valued matrix operators on these spaces, and an analogue of the trace formula for operators on Hilbert spaces. When the function space is taken to be the complex field, the spaces are just the ${\ell}^p$ spaces and the well-known classical theorems follow from our results.

• East Asian mathematical journal
• /
• v.25 no.4
• /
• pp.469-479
• /
• 2009

Temperley-Lieb algebras had been generalized to web spaces for rank 2 simple Lie algebras which led us to link invariants for these Lie algebras as a generalization of Jones polynomial. Recently, Geer found a new generalization of Jones polynomial for some Lie superalgebras. In this paper, we study the quantum sl(1|1) representation theory using the web space and find a finite presentation of the representation category (for generic q) of the quantum sl(1|1).

• Kyungpook Mathematical Journal
• /
• v.26 no.1
• /
• pp.43-48
• /
• 1986