| 학위 | 닥터 (정보 과학) (Hokkaido University) |
|---|---|
| 책임자 | 컴퓨터 언어학 I 및 II, 컴퓨터 실무 I, 정보 엔지니어링 기본 II, 운영 체제, 졸업 연구 |
| Specialty | 정보 엔지니어링 (소프트웨어 엔지니어링) |
| 연구 테마 | 우리는 기본 컴퓨터 기반 자동 이론 증명 기술을 연구하고 있으며, 소프트웨어는 예상 속성을 가지고 있음을 엄격하게 입증하는 "공식 검증"기술을보다 쉽게 사용할 수 있도록 노력하고 있습니다. 최근에, 나는 또한 소프트웨어 자체의 속성을 자동으로 찾는 "이론 및 사양의 자동 발견"분야에서 작업하고 있습니다. |
| 키워드 | 자동 정리 증명, 공식 검증, 용어 재 작성 시스템, 기능 프로그래밍 |
| 교육 및 연구에 노력 | 강의는 사람들이 문제를 해결하는 방법을 배우게하는 데 중점을두고 있습니다. 연구에서 자동 정리 증명 분야에서 기본 및 일반 결과를 얻는 동안 연구 주제와 문제 설정을 고려하여 현실적인 소프트웨어 검증에 대한 응용 프로그램에 유용 할 수 있습니다. |
| 교육 연구 소개 | 컴퓨터를 사용한 논리적 추론의 자동화 (자동 정리 증명) 및 소프트웨어 검증에 대한 적용 |
| 취미 | 걷기, 연필 퍼즐, 어쿠스틱 기타 |
| 추천 작업 | (책) Hironaka Hirasuke, "학업 발견" |
후보자에게 메시지
정보 엔지니어링 분야에서 흥미로운 점은 처음부터 관심있는 시스템을 작성, 실행 및 개선하는 전체 프로세스의 재미를 경험할 수 있다는 것입니다. University에서는이 기술에 필요한 프로그래밍 기술, 수학적 및 논리적 사고 기술 및 전문 서적을 읽는 능력과 같이 장기적으로 유용한 기본 기술을 습득 할 수 있습니다. 당신의 아이디어를 실제 소프트웨어로 실현하는 과정을 즐기십시오.