田中一之

タナカカズユキ | Tanaka Kazuyuki

所属機関・部署：
職名：教授
ホームページURL (2件)： http://db.tohoku.ac.jp/whois/detail/24b219b61190ba893feaffb166a3e9d9.html , http://db.tohoku.ac.jp/whois/e_detail/24b219b61190ba893feaffb166a3e9d9.html

研究分野 (2件)：数学基礎 , 情報学基礎論

研究キーワード (3件)：計算可能性理論 , 数理論理学 , 数学基礎論

競争的資金等の研究課題 (23件)：

全件表示

論文 (63件)：

Weiguang Peng, NingNing Peng, Kazuyuki Tanaka. The eigen-distribution for multi-branching weighted trees on independent distributions. Methodology and Computing in Applied Probability. 2021
W. Li, Y. Omata, K. Tanaka. Alternation hierarchies and fragments of modal mu-calculus. 数理解析研究所講究録. 2018. 2083. 98-110
Shohei Okisaka, Weiguang Peng, Wenjuan Li, Kazuyuki Tanaka. The eigen-distribution of weighted game trees. Combinatorial optimization and applications. Part I, Lecture Notes in Comput. Sci. 2017. 10627. 286-297
Weiguang Peng, NingNing Peng, KengMeng Ng, Kazuyuki Tanaka, Yue Yang. Optimal depth-first algorithms and equilibria of independent distributions on multi-branching trees. INFORMATION PROCESSING LETTERS. 2017. 125. 41-45
Wenjuan Li, Kazuyuki Tanaka. The determinacy strength of pushdown ω-languages. RAIRO-Theor. Inf. Appl. 2017. 51. 1. 29-50

MISC (9件)：

書籍 (20件)：

講演・口頭発表等 (29件)：

The equilibria of independent distributions on unbalanced game trees with weights
(武漢理工大学理学院講壇(ZOOM講演) 2020)
On eigen-distributions for unbalanced Boolean trees
(中国武漢理工大学理学院講壇 2019)
重み付き AND-OR 木の固有分布について
(日本応用数理学会年会;応用論理 2019)
Modal mu-calculus and its one-variable hierarchy
(日本数学会秋季総合分科会 2018)
ゲームとオートマトンと逆数学
(第19回早稲田大学数学・応用数理談話会 2018)

学位 (2件)：

委員歴 (7件)：

全件表示

所属学会 (3件)：

科学基礎論学会 , 記号論理学会 Association for Symbolic Logic , 日本数学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

田中 一之