http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
申弘撤,琴敎銀 中央大學校 基礎科學硏究所 1996 基礎科學硏究所 論文集 Vol.10 No.-
最近 解決하여야 할 問題狀況이 多樣性과 複雜性의 構造下에 急進的으로 變化함과 더부러 進展하고 있다. 이에 對處하는 學問으로 眞僞 中心의 古典論理와 證明構成 中心의 直觀主義論理는 問題解決의 再檢討와 補强으로 Girard를 主軸으로 線形論理를 開發하여 活潑히 硏究가 盛行하고 있다. 이 線形論理는 λ解析에도 計算處理의 面貌를 變換시켜 發展시키고 있으며, 갖가지 카테고리 모델을 提供하여 주고 있다. 本 論文에서는 反復的인 計算處理의 內的過程을 잘 表現하여 주는 Walter의 準函數(pseuodofunction)로써 線形論理에 새롭게 出現한 論理的 演算 ?? 에 對하여 알맞은 準函數를 構成하여 보고, 이로 하여금 새로운 論理演算의 意味를 吟味하고자 한다.
D∞ 상에서 sheaf들의 구조화 및 그들의 성질에 관한 연구
신홍철(Hong Chul Shin),금교은(Kyo Eun Keum) 한국정보과학회 1988 한국정보과학회 학술발표논문집 Vol.15 No.2
본 논문은 토포스의 가장 근원적인 뼈대를 이루는 쉬프를 일차적으로 스코트의 모델 D∞ 상에서 구조화하였고, 이어서 스택과 섹숀들의 구조를 제시하였으며, 둘째로 D∞ 상에서의토포스가 갖는 서브오브잭트 클래시파이어 (the sheaf of germs)와 좀더 일반성을 띠는 쉬프 (the sheaf of sections)와의 동형관계의 존재성을 보였다. 이런 구조화 작업은 자연언어의 고계화에 있어서 그 해석을 용이하게 해주며, 좀더 현실적인 응용을 가능케 해준다. 또한 의미면에 있어서도 훨씬 자연언어에 가까운 해석을 할 수 있다.
신홍철(Shin Hong-Choll),금교은(Keum Kyo-Eun) 한국정보과학회 1997 한국정보과학회 학술발표논문집 Vol.24 No.1A
최근 해결하여야 할 문제상황이 다양성과 복잡성의 구조하에 급진적으로 변화함과 더부러 진전하고 있다. 이에 대처하는 학문으로 진위중심의 고전논리와 증명구성 중심의 직관주의론리는 문제해결의 재검토와 보강으로 Girard를 주축으로 선형논리를 개발하여 활발히 연구가 성행하고 있다. 이 선형논리는 λ해석에도 계산처리의 면모를 변화시켜 발전시키고 있으며, 갖가지 카테고리 모델을 제공하여 주고 있다. 본 논문에서는 반복적인 계산처리의 내적과정을 잘 표현하여 주는Walter의 준함수(pseuodofunction)로써 선형논리에 새롭게 출현한 논리적 연산(*,&,*)에 대하여 알맞는 준함수를 구성하여 보고, 이로 하여금 새로운 논리연산의 의미를 음미하고자 한다.
신홍철(Shin Hong-Choll),금교은(Kum Kyo-Eun) 한국정보과학회 1997 한국정보과학회 학술발표논문집 Vol.24 No.2Ⅳ
본 논문은 λμ-해석을, 회로를 이용한 카테고리적 언어로 재구성하여 λμ^*-해석이라 부르고 있다. 이때의 회로는 함수적인 흐름의 내적상태를 수반하여, 이것은 회로 카테고리에 의하여 논리식을 계산하는 데 매우 핵심적인 역할을 한다. 우리는 λμ*-해석을 실용적인 면으로서의 형할당 시스템으로 간주하고 있다. 최근의 논리식 계산은 항을 축약하는 데 매우 고도의 데이터 구조와 알고리즘을 요구하고 있다. 이에 형할당 λμ*-해석에 대한 카테고리는 매우 유용하며 이는 변수를 지닌 언어를 변수없는 언어로 컴파일하는 또 하나의 방법이다. 또한 본 논문은 λμ*-해석으로 !-분배카테고리의 Γ(ILL*)를 모델링하였는데, 이 모델은 카테고리적 모델일 뿐 아니라 회로 카테고리 Circ(ILL*)로써 표현 가능하다.