DECENT WORK AND ECONOMIC GROWTH

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世代移動通信システムを利用したシステムを開発する．また，歩行者が行き交うような動的環境において，ロボットの行動による歩行者の行動の変化を学習しロボットの最適な行動を生成する手法を [...]

本研究は、EUの市場統合・通貨統合の過渡期に進められる、資本市場同盟（CMU）やリテール決済市場統合、新型コロナ危機対応策といったEUの制度改革に着目する。一連の制度改革は市場統合および経済通貨統合（EMU）の深化をどのようにして果たすのか、そして、どのようにしてEUの実体経済に影響をもたらすのか検討することで、一連の制度改革の市場統合・EMUでの位置付けを明らかにし、金融・通貨統合の論理の体系化 [...]

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

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

EUにおける金融市場統合・通貨統合の深化に向けた制度改革と課題

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