• Korean Journal of Logic
• /
• v.11 no.1
• /
• pp.67-89
• /
• 2008

반 멕기는 전건긍정규칙의 반례라고 하는 것을 제시하였다. 지금까지 그것이 과연 진정한 반례인지를 두고 많은 논의가 있었다. 이 논문에서 나의 목적은 조금 다르다. 나는 여기서 반 멕기의 반례가 생겨나는 구조를 밝히고자 한다. 우선 나는 내 자신이 구성한 반례를 하나 제시할 것이다. 그런 다음 반례가 생겨나는 기본 구조를 찾아내고, 이런 분석이 다른 반례에도 그대로 적용된다는 점을 보임으로써 나의 제안이 옳은 분석이라는 점을 확증하기로 한다. 이를 통해 최종적으로 우리는 반례가 만들어지는 메커니즘을 분명히 할 수 있을 것이다. 나는 석기에는 조건문에 대한 특정한 이해가 들어 있다는 점을 보일 것이다. 반례가 생겨나는 구조를 파악하고 나면 반례의 해결책을 마련하는 일은 그다지 어렵지 않다. 끝에서 나는 그런 해결책을 간단히 언급하고자 한다.

• Monthly Korean Chicken
• /
• v.20 no.10
• /
• pp.70-71
• /
• 2014

농촌진흥청 국립축산과학원에서는 지난해 양계현장에서 농가가 필요로 하는 기술 분야의 질의사항에 대한 분야별 전문가가 답변한 '축산현장 애로기술 해결을 위한 닭 기르기 100문 100답집'을 발간했다. 이 책자에는 육종 번식, 종자보존과 관리, 사양관리, 항생제 대체제 이용, 계사시설과 환경관리, 특수관리, 생산물의 품질관리, 위생과 질병, 경영관리 등 양계의 다양한 분야에 대한 전반적인 내용이 담겨져 있다. 지난해에는 육계관련 육종 번식, 사양관리에 대해 알아보았고, 올해는 항생제 대체제 이용, 계사시설과 환경관리 등에 대해 알아보고자 한다.

• Proceedings of the Korea Concrete Institute Conference
• /
• 1994.10a
• /
• pp.143-150
• /
• 1994

To improve the qualities of high strength mortar and concrete with high range water reducing admixture, silica fume and gypsum is applied. The flow loss of mortar is reduced and the compressive strength of mortar and concrete is improved by silica fume. And the silica fume is effective for decreasing the temperature of high strength concrete. In addition to, the strength of high strength concrete is more improved by the gypsum.

• Proceedings of the Korea Concrete Institute Conference
• /
• 1995.04a
• /
• pp.30-35
• /
• 1995

This paper presents fundamental experiment for the properties of high performance concrete in its fresh and hardened state made with ground granulated blast-furnace (GGBF) slag. The result is that the effect of decreasing xoncrete temperature is to the mixing ratio of GGBF slag, but it presents disadvantage in the slump loss phase. In addition to, we know that the splitting tensile strength, compressive strength and elastic modulus of concrete mixed with high fineness GGBF slag are increased at age 28days.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 1998.12a
• /
• pp.167-181
• /
• 1998

전자 상거래를 비롯한 많은 정보보호 응용분야가 공개키 암호 시스템을 기반으로 설계되고 있으며, 이러한 현상 때문에 PKI의 중요성이 날로 증가하고 있다. 또한 PKI에서 믿음의 근간이 되는 것은 루트 CA이며, 루트 CA의 안전성을 증가시키기 위한 연구가 지속되고 있다. 루트 CA의 안전성을 향상시키는 가장 좋은 접근 방법은 비밀 공유 방식을 이용하는 것이다. 본 논문에서는 기존에 발표된 RSA 키 생성 프로토콜과 서명문 생성 프로토콜을 분석하고 새로운 서명문 생성 프로토콜을 제안한다. 또한 실제 루트 CA에 이러한 결과들을 적용하는 방안을 제시한다.

• 월간낙농육우
• /
• v.26 no.8 s.292
• /
• pp.190-195
• /
• 2006

1,2차 협상을 평가하기에 앞서 지적할 것은 정부가 가공 자료를 철저히 비공개로 하고 있다는 점이다. 심지어 모든 협상이 영어로 진행되고 합의문이 영어로만 되어 있다. (한글로 된 합의문은 아예 없다) 이런 조건에서 이 글은 각종 신문 자료를 토대로 작성할 수밖에 없었다. 한미 FTA는 한국의 모든 분야, 모든 사람들에게 이전의 어떤 협상과도 비교할 수 없을 큰 영향을 미칠 것이다. 따라서 협상 내용이 국가기밀에 해당하는 중요한 것이 아닌한 최대한 공개되어야 한다. 또한 한미 FTA로 영향을 받게 될 모든 국민들은 협상 내용의 공개를 강력히 요구해야 한다. 협상 내용을 모르면 협상에 개입할 수 없고 자신을 방어할 수 없다. 본고는 그 중요성을 특별히 강조하고자 한다.

• Proceedings of the Korea Concrete Institute Conference
• /
• 1993.10a
• /
• pp.11-17
• /
• 1993

In this study, the fundamental properties of High-Strength Concrete(HSC), such as the slump loss, the temperature increment, the strength development, are considered by experiment. In reducing the temperature and the slump loss, and developing the strength of HSC, the application of silica fume as an admixtures is very effective. And when gypsum is added, the slump loss is reduced and the strength of HSC is improved remarkably, but the temperature of concrete is increased, thus a more study to reduce the temperature increment is required

• Proceedings of the Acoustical Society of Korea Conference
• /
• 1998.08a
• /
• pp.99-104
• /
• 1998

한국어의 자연스러운 음성합성을 위해 280문장에 대하여 남성화자 1명이 발성한 문음성 데이터를 음운 세그먼트, 음운 라벨링, 음운별 품사 태깅하여 음성 코퍼스를 구축하였다. 이 문 음성 코퍼스를 사용하여 음운환경, 품사 뿐만 아니라 구문 구조에 이하여 음운으 lwlthrtlrks이 어떻게 변화하는가에 대하여 xhdrPwjrdfmh 분석하였다. 음운 지속시간을 보다 정교하게 예측하기 위하여, 각 음운의 고유 지속시간의 영향이 배제된 정규화 음운지속시간을 회귀트리를 이용하여 모델화하였다. 평가결과, 기존의 회귀트리를 이용한 음운지속시간 모델에 의한 예측오차는 87%정도가 20ms 이내 이었지만, 정규화 음운 지속시간 모델에 의한 예측 오차는 89% 정도가 20ms 이내로 더욱 정교하게 예측되었다.

• Monthly Korean Chicken
• /
• v.16 no.6
• /
• pp.128-129
• /
• 2010

지난달에 개인의 종합소득세 신고가 있었을 터인데, 각각의 사업자들은 관할세무서에서 종합득세 신고와 관련한 안내문을 받았을 것이다. 신고안내문을 유심히 살펴봤다면 한쪽 부분에 '이게 뭔가?!' 하고 궁금해 했을, 알파벳으로 표시된 신고 안내 유형을 보았을 것이다. 그 중 'A'형은 특정 항목별 문제사업자 유형으로 모두 10가지 종류가 있었고, 'A-1'은 가공세금계산서 판매상 등과의 거래자를 구분하는 유형이었다. 그러나 본인의 유형이 A-1 이었다고 하여 당초의 거래에 모두 문제가 있는 것은 아니다. 실질거래였음에도 상대거래처의 과거이력 등 때문에 거래가 의심되어 그렇게 나왔을 수도 있다. 그렇다면 가공세금계산서는 무엇일까? 이번호에는 이와 관련해서 설명해보고자 한다.

• Monthly Korean Chicken
• /
• v.20 no.3
• /
• pp.130-131
• /
• 2014

농촌진흥청 국립축산과학원에서는 지난해 양계현장에서 농가가 필요로 하는 기술 분야의 질의사항에 대한 분야별 전문가가 답변한 '축산현장 애로기술 해결을 위한 닭 기르기 100문 100답집'을 발간했다. 이 책자에는 육종 번식, 종자보존과 관리, 사양관리, 항생제 대체제 이용, 계사시설과 환경관리, 특수관리, 생산물의 품질관리, 위생과 질병, 경영관리 등 양계의 다양한 분야에 대한 전반적인 내용이 담겨져 있다. 지난해에는 육계관련 육종 번식, 사양관리에 대해 알아보았고, 올해는 항생제 대체제 이용, 계사시설과 환경관리 등에 대해 알아보고자 한다.