HATANO RYO
Junior Associate Professor
Tokyo University of Science, Faculty of Science and Technology, Department of Industrial and Systems Engineering
| Address |
2641 Yamazaki, Noda-shi, Chiba-ken 278-8510, Japan
TEL : +81-4-7124-1501 |
| E-mail Address |
|
| Homepage |
|
| Information about TUS |
https://www.tus.ac.jp/academics/teacher/lightbox/6f54.html
|
Pure
(Researcher Profiling Tool) |
https://tus.elsevierpure.com/ja/persons/ryo-hatano |
| Under-Graduate School |
-
2010, Tokyo University of Science Faculty of Science and Engineering Industrial Administration
|
| Graduate School |
-
2017, Japan Advanced Institute of Science and Technology Information Science Information Science Doctoral Degree
|
| Postgraduate Qualification |
-
Japan Advanced Institute of Science and Technology Ph.D (Information Science)
-
Japan Advanced Institute of Science and Technology Master (Information Science)
|
| Research History |
- 2017-2025 Engaged in research on the generalization for dynamic epistemic logic
|
| Employment History |
|
| Research Keyword |
Mathematical logic (Modal logic)
|
| Research Area |
- Theory of informatics (Mathematical Logic (Modal Logic))
|
| Research Theme |
- In this study, we recapture dynamic epistemic logic, which captures changes in an agent's epistemic state from the perspective of ``epistemic logic = logic that deals with the content of information'', as an extension of epistemic logic that deals with information flow. This provides a foundation for understanding not only changes in agents' epistemic state, but also notions that have developed separately in various research fields, such as the behavior of computer programs and image transformation based on mathematical morphology, within a consistent logical framework.
|
| Academic Awards Received |
-
2018.3.21
Best Paper Award
|
| Academic Society Affiliations |
-
2025.4 - 2027.4
IEEE Student Activities Committee, Tokyo Section, Japan Council
Vice Chair
-
2024.6 - 2025.9
International Conference on Entertainment Computing (ICEC 2025)
-
2024.5.30 - 2025.9
IEEE Region 10 Humanitarian Technology Conference 2025
Secretary (Student Activities Committee, Tokyo Section, Japan Council)
-
2023.4.15 - 2024.3.31
The 6th Asian Workshop on Philosophical Logic
co-Chair
-
2023.4 - 2025.3
IEEE Student Activities Committee, Tokyo Section, Japan Council
Secretary
-
2023.1.1 - 2025.12.31
IEEE
Secretary (Student Activities Committee, Tokyo Section, Japan Council)
-
2022.6 - 2024.1
The 16th International Symposium on Computer Music Multidisciplinary Research
-
2019.6 - 2022.1
The 15th International Symposium on Computer Music Multidisciplinary Research
-
2019.1.14 - 2019.2.1
10th International Multi-Conference on Complexity, Informatics and Cybernetics (IMCIC 2019)
-
2018.1.18 - 2018.1.20
23rd International Symposium on Artificial Life and Robotics (AROB2018)
|
| Guest Professor |
|
