연구실 목록
Shin-ya Nishizaki 교수 연구 프로필
도쿄과학대학 · 컴퓨터과학과
공개 교수 정보에 기반한 연구 프로필입니다. 독립 연구실 운영 및 학생 모집 여부는 아직 확인되지 않았습니다.
정보 출처2026. 7. 22. 확인
소개
도쿄과학대학 컴퓨터과학과 소속 Shin-ya Nishizaki 교수의 등록된 연구 분야는 Programming Language Theory, Software Verification입니다.
연구 키워드
Programming Language TheorySoftware Verification
같은 학과의 다른 연구실
- Asako Kanezaki 교수 연구실
Computer Vision, Robotics, 3D Recognition
- Atsushi Fujii 교수 연구실
Natural Language Processing, Information Retrieval, Web Mining
- Haruhiko Kaneko 교수 연구실
Error Control Codes, Data Compression
- Hideki Koike 교수 연구실
Human-Computer Interaction, Computer Vision, Computer Graphics
- Isao Ono 교수 연구실
Evolutionary Computation, Optimization, Artificial Intelligence
- Jun Miyazaki 교수 연구실
Information Retrieval, Recommendation Systems