카린 네이비

Caryn Navy
카린 네이비
태어난 (1953-07-05) 1953년 7월 5일 (68세)
뉴욕 브루클린
국적미국인의
배우자데이비드 홀러데이
학력
교육매사추세츠 공과대학교
모교위스콘신 대학교 매디슨
논문파라 린델뢰프 공간의 비파라콤팩트성(1981)
박사학위 자문위원메리 엘렌 루딘
학술사업
규율수학
컴퓨터 공학
하위 수양이론적 위상 설정
점자 기술

캐린 린다 네이비(Caryn Linda Navy, 1953년 7월 5일 출생)는 미국의 수학자 겸 컴퓨터 과학자다.어린 시절부터 맹인이었던 그녀는 주로 세트이탈 토폴로지와 점자 기술로 알려져 있다.

초년기

해군은 1953년 뉴욕 브루클린에서 태어났다.조산아로 태어난 그녀는 미성숙의 망막병증으로 완전히 장님이라는 진단을 받았다.그녀의 가족은 곧 그녀가 실제로 한쪽 눈의 구석에서 볼 수 있다는 것을 발견했지만, 10살 때 그녀는 망막 박리 때문에 모든 시력을 잃었다.[1]

이듬해인 6학년 때, 해군은 학교에서 점자를 읽고 쓰는 법을 배우기 시작했다.그녀는 또한 자신이 가장 좋아하는 과목인 수학을 쓰기 위해 네메스 점자 시스템을 배웠다.[2]그녀는 팀 수학 대회를 즐겼고, 14살에 유클리드의 완벽한 숫자 조차도 재발견했다.[1]그녀는 또한 그녀의 배트 미츠바 서비스에 대비하여 히브리어 점자도 배웠다.[3]16살에 해군은 뉴욕시에서 Detcapone 타이피스트로 그녀의 첫 직장에 고용되었다.그녀는 뉴욕시 지하철 여행을 배우기 위해 수업을 들었다.[1]

교육

해군은 1971-1975년 메사추세츠 공과대학에 수학 전공으로 다녔다.점자로 된 유일한 교과서는 그녀의 미적분학 책이었다.그녀의 다른 모든 책들은 시각장애를 위한 레코딩에서 오디오북으로 얻었다.MIT에서, 그녀의 학부 고문 제임스 뮌크레스는 그녀를 토폴로지 주제에 대해 소개했다.1975년 수학 학사 졸업과 동시에 MIT동문회로부터 아미타 시니어 학술상을 받았다.[2][4]학부 생활 초기에, 해군은 전기 공학 학생인 데이비드 홀라데이를 만났다.그는 그들의 첫 만남이 끝난 후 그녀에게 메모를 쓸 만큼 점자를 찾아보았다.그들은 졸업 후에 결혼했다.[1]

해군은 수학을 전공하는 위스콘신 매디슨대 대학원에 컴퓨터공학 부전공으로 입학했다.그녀는 대학원 교육 동안 점자나 오디오북으로 구할 수 없는 교과서를 읽기 위해 옵트콘 장치를 사용했다.[1]그녀는 1977년에 석사학위를 받았고,[2] 1981년에 위상학자 메리 엘렌 루딘의 감독하에 박사학위를 받았다.[5]

수학

해군의 박사학위 논문 「파라 린델뢰프 공간의 비파라콤팩트성」은 메트리존성 이론의 전개에 중요했다.본 논문은 린델뢰프 공간과 파라콤팩트 공간 모두를 일반화한 파라-린델뢰프 위상학적 공간의 특성을 고찰한다.파라 린델뢰프 공간에서는 모든 개방형 커버는 국소적으로 계산할 수 있는 개방적인 정교함을 가지고 있다. 즉, 공간의 각 포인트에는 정교함의 많은 요소들과만 교차하는 이웃이 있다.해군이 건설한 공간은 모든 파라 린델뢰프 공간이 파라콤팩트라는 추측을 뒷받침할 만한 것이다.그녀의 공간 중 일부는 심지어 적절한 이론적 가정 하에 평범한 무어 공간이다.모든 측정 가능한 공간은 파라콤팩트이기 때문에, 이것들은 일반적인 무어 우주 추측에 대한 반증이다.

스티븐 왓슨은 해군의 건설에 대해 "위도를 상당히 많이 허용하는 일반적인 건설"이라며 "파라 린델뢰프를 얻는 다른 방법은 알려져 있지 않다.나는 파라 린델뢰프를 얻는 다른 방법은 불가능하다고 생각한다. 나비의 방법은 내게 꽤 표준적으로 보인다."[6]1983년 윌리엄 플라이스너는 자신의 공간 중 하나를 특정 커버 속성을 가정하여 정상적인 무어 공간으로 개조했다.플라이스너의 예들은 마침내 일반적인 무어 우주 추측을 큰 추기경 공리가 필요하다는 것을 보여줌으로써 해결했다.[6][7]

경력

해군은 대학원을 졸업한 뒤 1981년 버크넬대 수학과 객원조교수로 부임했다.[2]그들이 펜실베니아주 루이스버그에 사는 동안, 홀라데이는 컴퓨터 점자 기술에 초점을 맞춘 소프트웨어 회사인 Riseed Dot Computing을 시작했다.그는 해군이 그녀의 수학 수업을 돕기 위해 점자 번역을 필요로 하는 것에 영감을 받았다.[8]그녀는 회사의 중요한 컨설턴트로, 대학 업무에서 소프트웨어 아이디어와 제품 테스트를 도왔다.1981년 12월, Riseed Dot Computing은 애플 II의 첫 번째 주요 제품인 BRAIN-EDIT, 워드 프로세서 및 양방향 점자 번역 프로그램을 출시했다.[9]해군은 1984년 회사를 위해 대학을 떠났고,[2] 이 커플과 회사는 1984년 7월 위스콘신 주 매디슨으로 다시 이사했다.[9]

네이비는 라이즈 도트컴퓨팅의 보조 소프트웨어를 향상시키는 데 컴퓨터 기술을 적용하여 BRAIN-EDIT와 교과서 형식 점자와 기타 특수 포맷을 처리하기 위한 유틸리티 프로그램의 향상된 버전을 제작했다.1985년에 그들은 MS-DOS 소프트웨어를 추가했고, 이 회사의 가장 성공적인 제품인 메가도츠로 정점을 찍었다.1992년 8월에 출시되었지만 여전히 생산 중에 있는 메가도츠는 PC에 점자 번역과 워드 프로세싱을 제공한다.Riseed Dot Computing은 1998년 9월 위스콘신 비영리단체인 Braille Planet으로 이전되었고,[9] 그 후 Duxbury Systems에 의해 1999년 8월에 인수되었다.[10]네이비와 홀라데이는 매사추세츠 주 웨스트포드에 살고 있으며,[8] 그들은 여전히 Duxbury의 MegaDots에서 일하고 있다.[11]

해군은 북아메리카 점자청의 일원으로 2004년부터 리프레시블 점자기술위원회의[12] 의장을 맡고 있다.[2]

참조

  1. ^ a b c d e Verheyden-Hilliard, Mary Ellen (1988). Mathematician and Computer Scientist, Caryn Navy. American Women in Science. The Equity Institute. ISBN 0-932469-12-4.
  2. ^ a b c d e f "GAMA Summit Presenter Biographies". National Center for Blind Youth in Science. National Federation of the Blind. April 14, 2005. Retrieved April 6, 2013.
  3. ^ Hogan, Cara (February 20, 2009). "Learning through their fingertips: Special needs organizations provide Jewish education to blind children" (PDF). The Jewish Advocate. p. 2. Retrieved February 9, 2011.
  4. ^ "AMITA Academic Awards". Association of MIT Alumnae. MIT Alumni Association. Retrieved March 10, 2021.
  5. ^ 카린 L. 수학 계보 프로젝트 해군 선수단
  6. ^ a b Watson, Stephen (1990). "Chapter 4: Problems I wish I could Solve" (PDF). In van Mill, Jan; Reed, George M. (eds.). Open Problems in Topology. Amsterdam: North-Holland Publishing Company. pp. 52–53. ISBN 0-444-88768-7. Retrieved February 10, 2011.
  7. ^ Fleissner, William G. (1984). "Chapter 16: The Normal Moore Space Conjecture and Large Cardinals". In Kunen, Kenneth; Vaughan, Jerry E. (eds.). Handbook of Set-Theoretic Topology. Amsterdam: North-Holland Publishing Company. pp. 750–759. ISBN 0-444-86580-2.
  8. ^ a b Candela, Anthony R. (September 2006). "Legends and Pioneers of Blindness Assistive Technology, Part 2". AccessWorld. American Foundation for the Blind. 7 (5). ISSN 1559-5781. Retrieved February 17, 2011.
  9. ^ a b c "Assistive Technology Timeline". American Foundation for the Blind. Archived from the original on May 25, 2011. Retrieved February 17, 2011.
  10. ^ "Company History". Duxbury Systems. Retrieved February 17, 2011.
  11. ^ "Staff". Duxbury Systems. Retrieved February 17, 2011.
  12. ^ "BANA Directory". Braille Authority of North America. Retrieved December 26, 2010.

외부 링크