• 한국수학사학회지
• /
• 제17권4호
• /
• pp.45-64
• /
• 2004

${\lambda}$-연산은 ‘다시쓰기 규칙’으로 정의되는 계산을 위해 함수들이 형성되고, 결합되고, 활용되는 수학적 형식 체계이다. 컴퓨터과학의 발전과 더불어 많은 프로그래밍 언어들이 ${\lambda}$-연산을 원리로 삼고 있다. 나아가서, ‘커리-하워드 대응’ 덕분에 미제 연역에 의해 수행된 증명과 컴퓨터 프로그래밍 사이에 대응 관계를 설정할 수 있게 되었다. 이 글의 목적은 교육적인 차원에서 아직은 잘 알려져 있지 않은 주제를 대중화시키는 데에 있다. 논리학과 컴퓨터 과학에서 L-연산의 영향은 차후의 연구과제로 남아 있다.

• Bulletin of the Korean Chemical Society
• /
• 제30권2호
• /
• pp.429-434
• /
• 2009

The OH($X^2{\Pi},\;{\nu}$"=0, 1) internal state distributions from the reaction of electronically ground state oxygen atoms with HSi$Cl_3$ were measured using laser-induced fluorescence. The ground-state O$(^3P_J)$ atoms with kinetic energies above the reaction barrier were produced by photolysis of N$O_2$ at 355 nm. The OH product revealed strong vibrational population inversion, P(${\nu}$"=1)/P(${\nu}$"=0) = 4.0 ${\pm}$ 0.6, and rotational distributions in both vibrational states exhibit substantial rotational excitations to the limit of total available energy. However, no preferential populations in either of the two $\Lambda$ doublet states were observed from the micropopulations, which supports a mechanism involving a direct abstraction of hydrogen by the atomic oxygen. It was also found that the collision energy between O and HSi$Cl_3$ is effectively coupled into the excitation of the internal degrees of freedom of the OH product ($$ = 0.62, and $<\;f_{rot}>$ = 0.20). The dynamics appear consistent with expectations for the kinematically constrained reaction which supports the reaction type, heavy + light-heavy $\rightarrow$ heavy-light + heavy (H + LH′ $\rightarrow$ HL + H′). The dynamics of oxygen atom collision with HSi$Cl_3$ are discussed in comparison to those with Si$H_4$.