요네다 노부오

Nobuo Yoneda
요네다 노부오
米田 信夫
태어난(1930-03-28)28 1930년 3월
일본.
죽은1996년 4월 22일 (1996-04-22) (66)
시민권일본.
교육도쿄 대학교 (DSC, 1961)
로 알려져 있다.요네다 보조정리
요네다 제품
알골
과학 경력
필드수학
컴퓨터 공학
기관도쿄 대학교
가쿠슈인 대학
도쿄 덴키 대학
논문확장 및 정확한 시퀀스 (1961)
박사학위 자문위원이야나가 쇼키치

요네다 노부오(米田田, Yoneda Nobuo, 1930년 3월 28일 ~ 1996년 4월 22일)는 일본의 수학자 겸 컴퓨터 과학자였다.[1][2]

1952년, 수학, 과학, 도쿄대학을 졸업하고, 이학 학사 학위를 취득했다.[1]같은 해 도쿄대 수학과 조교수로 임용되었다.[1]1961년 도쿄대학에서 이야나가 쇼키치의 지휘를 받아 과학박사(DSC) 학위를 취득했다.[3]1962년 가쿠슈인 대학 과학부 부교수로 임명되었고, 1966년 교수 직급으로 승진하였다.1972년 정보과학 이론재단 교수가 되었다.1990년 도쿄대학에서 은퇴한 뒤 도쿄덴키대학으로 옮겼다.

범주론에서 요네다 보조정리, 호몰로지 대수학에서 요네다 산출물이 그의 이름을 따서 명명되었다.[4]

컴퓨터 과학에서 그는 그는 프로그래밍과 인포매틱스에 개발 국제적 기준에 관여하게 된 프로그래밍 언어 ALGOL.[5]의 방언에 대한 업적으로, 국제 연맹에 정보 처리(IFIP)IFIP 워킹 그룹의 2.1에 대하여 연산 언어와 Calculi,[6]whic 위에서 일본 대표로 알려져 있다.hspecALGOL 60 및 ALGOL 68 언어의 ified, 지원 및 유지 관리.[7]

참조

  1. ^ a b c Wada, Eiiti; Yonezawa, Akinori (November 1996), "Professor Nobuo Yoneda (28 March 1930 – 22 April 1996)", Science of Computer Programming, 27 (3): 215–216, doi:10.1016/0167-6423(96)88115-9
  2. ^ Kinoshita, Yoshiki (1998), "Nobuo Yoneda", Mathematica Japonicae, 47: 155
  3. ^ "CiNii Dissertations - On ext and exact sequences". National Institute of Informatics. Retrieved 23 March 2021.
  4. ^ Mac Lane, Saunders (1998), "The Yoneda Lemma", Mathematica Japonicae, 47: 156
  5. ^ 쾨스터, 코르넬리스 H.A(25–28 1996년 6월)."그 사업 알골 68".Bjørner, 다 인스, Broy, 만프레트;Pottosin, 이고르 V(eds.)에서.시스템 정보 과학의 전망:제2인터내셔널 안드레이 Ershov 기념 회의의 저자들.강의 노트 컴퓨터 과학으로.Vol1181년.아카뎀고로도크, 노보시비르스크, 러시아.를 대신하여 서명함. 55–67. doi:10.1007/3-540-62064-8_6.특히 61p.를 참조하십시오.
  6. ^ Jeuring, Johan; Meertens, Lambert; Guttmann, Walter (17 August 2016). "Profile of IFIP Working Group 2.1". Foswiki. Retrieved 7 October 2020.
  7. ^ Swierstra, Doaitse; Gibbons, Jeremy; Meertens, Lambert (2 March 2011). "ScopeEtc: IFIP21: Foswiki". Foswiki. Retrieved 7 October 2020.

외부 링크