http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
- 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
- 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
RISS 인기검색어
- 검색키워드
- 저자 : 금교은(Kyo Eun Keum) (검색결과 3 건)
- 무료
- 기관 내 무료
- 유료
-
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)로써 선형논리에 새롭게 출현한 논리적 연산(*,&,*)에 대하여 알맞는 준함수를 구성하여 보고, 이로 하여금 새로운 논리연산의 의미를 음미하고자 한다.
-
申弘撤,琴敎銀 中央大學校 基礎科學硏究所 1996 基礎科學硏究所 論文集 Vol.10 No.-
最近 解決하여야 할 問題狀況이 多樣性과 複雜性의 構造下에 急進的으로 變化함과 더부러 進展하고 있다. 이에 對處하는 學問으로 眞僞 中心의 古典論理와 證明構成 中心의 直觀主義論理는 問題解決의 再檢討와 補强으로 Girard를 主軸으로 線形論理를 開發하여 活潑히 硏究가 盛行하고 있다. 이 線形論理는 λ解析에도 計算處理의 面貌를 變換시켜 發展시키고 있으며, 갖가지 카테고리 모델을 提供하여 주고 있다. 本 論文에서는 反復的인 計算處理의 內的過程을 잘 表現하여 주는 Walter의 準函數(pseuodofunction)로써 線形論理에 새롭게 出現한 論理的 演算 ?? 에 對하여 알맞은 準函數를 構成하여 보고, 이로 하여금 새로운 論理演算의 意味를 吟味하고자 한다.
연관 검색어 추천
이 검색어로 많이 본 자료
활용도 높은 자료
