본문 바로가기

리디 접속이 원활하지 않습니다.
강제 새로 고침(Ctrl + F5)이나 브라우저 캐시 삭제를 진행해주세요.
계속해서 문제가 발생한다면 리디 접속 테스트를 통해 원인을 파악하고 대응 방법을 안내드리겠습니다.
테스트 페이지로 이동하기

구루마 히로노부 來間 啓伸

    구루마 히로노부 프로필

2023.06.15. 업데이트 작가 프로필 수정 요청

특임교수를 지냈다. 전문 분야는 소프트웨어 공학과 정형 기법이다. 저서로는 《Bメソッドによる形式仕?記述(B 메서드에 의한 정형 기법)》(2007), 《Event-B Refinement》(이상 近代科?社, 2015) 등이 있다. 취미는 추리소설 읽기와 산속 온천 탐방이며, 최근에는 플라이 낚시를 익히고 있다.

본문 끝 최상단으로 돌아가기

모바일 버전