| 학위 취득 | 박사(정보과학)(홋카이도 대학) |
|---|---|
| 담당 강좌 | 컴퓨터 언어학 I/II, 컴퓨터 실습 I, 정보 스포츠 토토 기초 II, 운영 체제, 졸업 연구 |
| 전문 분야 | 정보스포츠 토토(소프트웨어 스포츠 토토) |
| 연구 테마 | 우리는 소프트웨어가 기대하는 속성을 가지고 있음을 수학적이고 논리적으로 엄격하게 증명하는 "형식 검증" 기술을 보다 쉽게 사용할 수 있도록 하는 것을 목표로 하며, 이 기술의 기반이 되는 컴퓨터를 이용한 자동 정리 증명 기술을 연구하고 있습니다 최근에는 소프트웨어의 속성을 자동으로 찾아내는 '정리 및 명세 자동 발견' 분야도 연구하고 있다 |
| 키워드 | 자동 정리 증명, 형식 검증, 용어 다시 쓰기 시스템, 함수형 프로그래밍 |
| 교육 및 연구용 이니셔티브 | 저희 강의에서는 학생들이 문제 해결 방법을 암기하게 하기보다는 문제가 탄생하게 된 과정과 근본적인 아이디어를 철저하게 이해하도록 돕는 데 더 중점을 두고 있습니다 나는 연구를 통해 자동 정리 교정 분야의 기초적이고 일반적인 결과를 얻는 동시에, 그 결과가 소프트웨어 검증에 실제 적용하는데 도움이 될 수 있도록 연구 주제와 문제 설정에 대해 고민하는 것을 목표로 하고 있습니다 |
| 교육연구 소개 | 컴퓨터를 이용한 논리적 추론의 자동화(정리 자동 증명) 및 소프트웨어 검증에의 적용 |
| 취미 | 걷기, 연필 퍼즐, 어쿠스틱 기타 |
| 추천 작품 | (도서) 히로나카 헤이스케 “학문적 발견” |
예비 학생들에게 보내는 메시지
정보스포츠 토토 분야의 매력은 관심 있는 시스템을 처음부터 만들고, 운영하고, 개선하는 전 과정의 즐거움을 경험할 수 있고, 그 시스템을 스마트폰에서 실행하여 일상생활에서도 활용할 수 있다는 점입니다 대학에서는 프로그래밍 능력, 수학적, 논리적 사고력, 전문 서적을 읽는 능력 등 장기적으로 도움이 되는 필요한 기본 능력을 습득할 수 있습니다 당신의 아이디어가 실제 소프트웨어로 바뀌는 과정을 즐겨보세요