DECENT WORK AND ECONOMIC GROWTH

This study takes a historic district in China as the research object, and through field research, collation, and analysis of documents and drawings, as well as the use of geographic information techno [...]

Model checking is a key technique for formal verification in classical computing, ensuring system properties such as correctness and safety. However, as quantum computing advances, traditional methods [...]

My research is based on the previous research paper written by Abbas and Chudziak (2013) who applied one-switch multiattribute utility functions with annuity payments but there is one more question th [...]

The research content can be divided to three research items: [Testing] Locate the abnormal behaviors for DRL models via stateful and quantified analysis. [Verification] Propose a quantified procedure [...]

The academic and social background of my research focuses on the increasing income inequality observed globally, with a specific emphasis on East Asia. Despite the reduction in the income gap between [...]

The widespread prevalence of fraud has led to numerous studies on its causes and prevention. However, the mechanism of fraud has not been fully understood. In addition, while the research on a single [...]

Research on poverty Alleviation through Tourism in Ethnic Villages of China：Based on the cases analysis of Miao and Dong ethnic villages in Qiandongnan district of Guizhou province

Department of Integrated Sciences for Global Society, Graduate School of Integrated Sciences for Global Society

Ethnic areas are the hardest-hit areas of poverty in China and therefore have always been the key areas for poverty alleviation. In recent decades, some ethnic areas have developed tourism industry to [...]

自律移動型サービスロボットは社会問題の解決策として期待されており，実現には基盤となる実装とロボットを目的の位置に移動させるナビゲーションが重要である．本研究では，自己位置推定と通信環境に焦点を当て，準天頂衛星システムと第5世代移動通信システムを利用したシステムを開発する．また，歩行者が行き交うような動的環境において，ロボットの行動による歩行者の行動の変化を学習しロボットの最適な行動を生成する手法を [...]

Research related to conservation and reconstruction of historic districts base on sustainable development

Model Checking Methods for Quantum Programs

A Study on One-switch Utility Functions: Applications with Multiattribute Functional Equations

Test, verify and repair deep learning-based applications

Income Inequality and Tax Policy Remedies

Environmental factors and fraud: Development of the cognitive model and the elucidation of the mechanism.

Research on poverty Alleviation through Tourism in Ethnic Villages of China：Based on the cases analysis of Miao and Dong ethnic villages in Qiandongnan district of Guizhou province

自律移動型サービスロボットの実装とナビゲーションに関する研究

“Future-Creation (MIRAI)” Course Kyushu University SPRING program