量子プログラムのためのモデル検査手法 システム情報科学府 情報理工学専攻 モデル検査は、古典的計算における形式的検証の重要な手法として発展してきましたが、量子コンピューティングの進展に伴い、従来技術では重ね合わせやもつれなどの量子特有の現象に対応することが困難になっています。 本研究では、量子プログラムに特化したモデリング言語を設計し、確率的かつ非決定的な量子計算の特性に対応可能なスケーラブルなモデル検査技術の開発を目指します。また、量子論理や量子オートマトンの概念を活 [...]
A Study on One-switch Utility Functions: Applications with Multiattribute Functional Equations 経済学府 経済工学専攻 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 [...]
Test, verify and repair deep learning-based applications システム情報科学府 情報理工学専攻 研究内容は、以下の3つの研究項目に分けられる。 [テスト】DRLモデルの異常な挙動をステートフルかつ定量的に解析して見つけ出す。 [検証】DRLモデルがどの程度、要求・仕様を満たしているかを定量的に確認する手順を提案する。 [修復】テストと定量化された検証に基づき、DRLモデルの性能を向上させるための普遍的なフレームワークを構築する。
所得格差と所得税の再分配効果 経済学府 経済工学専攻 この研究の学術的および社会的背景は、特に東アジアに焦点を当てた世界的に見られる所得格差の拡大に関するものである。過去10年間で最富裕層と最貧困層の間の所得格差は縮小したが、東アジアにおける所得格差は依然としてOECD諸国よりも高いままである。COVID-19パンデミックはこれらの格差を悪化させ、その根本的な要因を理解し、効果的な政策対策を開発することが重要である。 研究の目的は、中国、日本、韓国に [...]
不正行為を抑制する環境とは -認知モデルの構築やメカニズムの解明- 人間環境学府 行動システム専攻 心理学の各分野では，多発する不正行為とその有害性を鑑み，解決に向けた研究が行われている。しかし，単一の変数のみを扱う研究が多く，複数の変数の影響を扱った研究例はほぼ無い。実生活で不正が起こる状況を考慮すれば，いくつかの変数から成る複合的な影響への検討は必要不可欠だ。そこで本研究では，実験と計算を通して，複数の物理的環境要因および要因間の相互作用が不正行為に与える影響をモデル化し，不正行為に関わる環 [...]
中国少数民族地区における観光業での貧困扶助研究 貴州黔東南ミャオ族トン族自治州をケーススタディとして 地球社会統合科学府 地球社会統合科学専攻 少数⺠族地区は貧困地域で貧困が最も顕著な地区である。中国を例として、貴州省などの⺠族地区で 「⺠族村」を基本単位とする⺠族観光業での貧困扶助ロードを模索し、地域性に特化した貧困扶助成果を 得ることができた。しかし、⼀⽅的に政策設定のターゲットを貧困層ばかりに置いてきたため、政府に頼 り、⼀時的な貧困問題を改善はするものの、根本的貧困問題の解決には⾄らないなどの弊害も徐々に出て きた。更に観光業での [...]
自律移動型サービスロボットの実装とナビゲーションに関する研究 システム情報科学府 情報知能工学専攻 自律移動型サービスロボットは社会問題の解決策として期待されており，実現には基盤となる実装とロボットを目的の位置に移動させるナビゲーションが重要である．本研究では，自己位置推定と通信環境に焦点を当て，準天頂衛星システムと第5世代移動通信システムを利用したシステムを開発する．また，歩行者が行き交うような動的環境において，ロボットの行動による歩行者の行動の変化を学習しロボットの最適な行動を生成する手法を [...]
EUにおける金融市場統合・通貨統合の深化に向けた制度改革と課題 経済学府 経済システム専攻 本研究は、EUの市場統合・通貨統合の過渡期に進められる、資本市場同盟（CMU）やリテール決済市場統合、新型コロナ危機対応策といったEUの制度改革に着目する。一連の制度改革は市場統合および経済通貨統合（EMU）の深化をどのようにして果たすのか、そして、どのようにしてEUの実体経済に影響をもたらすのか検討することで、一連の制度改革の市場統合・EMUでの位置付けを明らかにし、金融・通貨統合の論理の体系化 [...]
