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

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

• 대한약리학회지
• /
• 제11권1호
• /
• pp.33-38
• /
• 1975

말정혈관확장제(末精血管擴張劑)인 Ethaverine의 임상효과(임상(臨床效果)는 말초동맥질환(末梢動脈疾患)을 갖인 29명(名)의 당뇨질환자(糖尿疾患者)를 대상으로 이중맹검(二重盲檢) 비교차(非交叉) 방법(方法)에 의(依)하여 연구검토(硏究檢討)하였다. 임상적(臨床的)인 개선(改善)은 간헐성파행증(間歇性跛行症)의 발생빈도(發生頻度)를 포함하는 환노(患老)들의 병역(病歷)으로부터 평가(評價)하였다. Ethaverine을 사주(四週) 치료후(治療後)는 임상증상(臨床症狀)을 개선(改善)하는데 있어 위약(僞藥)에 비(比)하여 효과가 없었다. 어째든 간에 Ethaverine은 위약(僞藥)보다는 혈관확장제(血管擴張劑)로서 효력이 있었다. Ethaverine에 의(依)하여 유발(誘發)되는 혈관확장제(血管擴張劑)의 성질(性質)은 alcohol의 그것과 유사하였다. 말초혈관확장제(末梢血管擴張劑)를 연구(硏究)하는 새로운 임상적(臨床的) 방법(方法)을 제시(提示)하였다. 하지(下肢)의 말초혈관(末梢血管) 동맥질환(動脈疾患)의 임상증상(臨床症狀)은 촉맥강도(觸脈强度)의 감소냉감(減少冷感) 및 피부(皮膚)의 변색(變色)등을 들 수 있다. 간헐성파행증(間歇性跛行症)도 수반하는 수가 있다. 혈관조직(血管組織)에 있어서의 병변(病變)이 이같은 증상(症狀)에 선행(先行)하여 일어나며 위중(危重)한 혈관부전(血管不全)의 입증(立證)은 혈관확장제료법(血管擴張劑療法) 또는 외과적(外科的) 처치(處置)를 택하는데 있어서의 결정적(決定的)인 요인(要因)이 된다. 만성 말초동맥질환(末梢動脈疾患)이 있는 술후환자(術後患者)들도 차후혈관확장제(次後血管擴張劑)의 치료(治療)를 받아야한다. 임상보고((臨床報告)에 의(依)하면 말초혈관확장제(末梢血管擴張劑)는 폐새성(閉塞性) 혈관질환(血管疾患)에 대(對)해서 보다는 혈관경련성(血管痙攣性) 말초혈관장해(末梢血管障害)에 대해서 보다 유효하며 비교적 큰 혈관상(血管床)보다는 작은 모세혈관상(毛細血管床) 일때의 혈관(血管)이 가장 잘 감응(感應)한다고 한다. 최근(最近)에 이르러 말초혈관확장제(末梢血管擴張劑)의 임상(臨床)효과는 수많은 임상연구가(臨床硏究家)들 및 임상의(臨床醫)들의 연구대상(硏究對象)이 되고있다. 본연구(本硏究)에서 연구자(硏究者)들은 혈관경련성말초동맥질환(血管痙攣性末梢動脈疾患)을 갖인 환자(患者)들에 대(對)한 말초혈관확장제(末梢血管擴張劑)로써의 Ethaverine HCl의 임상(臨床)효과를 재평가(再評價)하였다. Ethaverine은 각종임상시험결과(各種臨床試驗結果)에 의(依)하면 항경련제(抗痙攣劑)로서는 papaverine 보다도 2배(倍) 내지 4배(倍)정도 그 약효가 강력(强力)하다고 한다.