[Discovery Saga Top]
[Saga Next]
[無料公開版Discovery Saga]
[Discovery Sagaプレミアムご案内]
[早稲田大学研究Discovery Saga]
[産学連携のご案内]
[Saga Concept]
[会社概要]
[お問い合わせ]
Dis
cov
er
y
Sa
ga
詳細表示
研究者リスト表示
ダウンロード（UTF-8 txt)
数理論理学Saga
数理論理学
に関するサイレントキーワード
モデル検査
が含まれる科研費採択研究1件
数理論理学
に関するサイレントキーワード
モデル検査
が含まれる科研費採択研究 1件
様相ミュー計算と確率ゲームへの逆数学的アプローチ：ハイブリッド検査法の創出と分析
【研究領域課題番号】
21H03392 (KAKENデータベースで見る）
【研究キーワード】
数理論理学
/
モデル検査
/ 様相ミュー計算 / 逆数学 / 確率ゲーム
【研究代表者】
田中 一之 東北大学 理学研究科 名誉教授
(Kakenデータベース)
【研究分担者】
宮部 賢志
明治大学
理工学部
専任准教授
(Kakenデータベース)
鹿島 亮
東京工業大学
情報理工学院
准教授
(Kakenデータベース)
木原 貴行
名古屋大学
情報学研究科
准教授
(Kakenデータベース)
【研究種目】基盤研究(B)
【研究期間】2021-04-01 - 2025-03-31
【配分額】17,290千円 (直接経費: 13,300千円、間接経費: 3,990千円)