연구실 목록
Naoki Kobayashi 교수 연구실
Kobayashi Laboratory
도쿄대학 · 컴퓨터과학과
정보 출처2026. 7. 22. 확인
소개
도쿄대학 컴퓨터과학과 소속 Naoki Kobayashi 교수의 등록된 연구 분야는 software theory, programming languages, program verification, program transformation입니다.
연구 키워드
software theoryprogramming languagesprogram verificationprogram transformation
같은 학과의 다른 연구실
- Akiko Aizawa 교수 연구실
text media, knowledge processing
- Hayata Yamasaki 교수 연구실
quantum information, quantum computation, quantum computers
- Hitomi Yanaka 교수 연구실
machine learning, symbolic logic, computational linguistics, semantic analysis
- Imari Sato 교수 연구실
computer vision, computational photography, medical imaging
- Issei Sato 교수 연구실
machine learning, prediction uncertainty, feature representation learning, medical applications
- Ken-ichi Kawarabayashi 교수 연구실
graph algorithms, discrete mathematics, graph coloring, machine learning