• Management Science and Financial Engineering
• /
• 제2권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.

• 대한수학회지
• /
• 제35권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$.

• 대한건축학회논문집:계획계
• /
• 제33권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.

• 대한수학회지
• /
• 제43권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.

• 한국수학교육학회지시리즈C:초등수학교육
• /
• 제25권1호
• /
• pp.81-100
• /
• 2022

본 연구의 목적은 개방형 과제의 해법 공간을 분석하는 틀을 개발하고 그 유용성과 적용 가능성을 학생들의 해법 공간 분석 사례를 바탕으로 탐색하는 것이다. 문헌검토와 선행연구를 바탕으로, 학생들의 개방형 과제의 해법을 구조적으로 분석하는 틀로 결과 공간(Outcome spaces), 방법 공간(Method spaces), 표현 공간(Representation spaces)의 하위 공간으로 조직화한 해법 공간 분석 틀(OMR-framework)을 개발하였다. 약수와 배수 주제의 개방형 과제 유형 중 역 과제와 구성활동적 과제를 개발하고 초등학교 5~6학년 학생 181명에게 과제를 해결하게 하였다. 해법 공간 분석 틀(OMR-framework)을 적용하여 학생들의 해법 공간을 분석한 결과, 해법 공간과 방법 공간에서 역과제와 구성활동적 과제에 대한 학생의 약수와 배수 개념 이해의 특성과 문제해결에서 사용되는 가역적인 사고 및 조작과 구성의 사고 방법을 알 수 있었다. 그리고, 학생의 표현 공간에서 형식적인 수학적 표현 외에 학생들이 구성한 비형식적인 다양한 표현 방식을 분석할 수 있었다. 학생들이 해결한 것을 결과, 방법, 표현의 관점에서 해결의 특징을 분석할 수 있을 뿐 아니라 해법 공간을 이루는 결과 공간, 방법 공간, 표현 공간 사이의 연결성도 탐색할 수 있었다.

• 대한수학회보
• /
• 제43권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.

• 대한수학회보
• /
• 제56권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
• /
• 제27권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
• /
• 제25권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
• /
• 제26권1호
• /
• pp.43-48
• /
• 1986