Rational sequences converging to left-c.e. reals of positive effective Hausdorff dimension

Computability Theory and Foundations of Mathematics Proceedings of the 9th International Conference on Computability Theory and Foundations of Mathematics 97-121 2022年6月  査読有り責任著者

Solovay reducibility and continuity

Journal of Logic and Analysis 12(2) 1-22 2020年12月  査読有り

Independent distributions on a multi-branching AND–OR tree of height 2

Discrete Applied Mathematics 285 274-282 2020年10月  査読有り責任著者

Communication interruption between a game tree and its leaves

Transactions on Engineering Technologies 182-193 2020年  査読有り筆頭著者最終著者責任著者

Non-depth-first search against independent distributions on an AND–OR tree

Information Processing Letters 139 13-17 2018年11月  査読有り筆頭著者最終著者責任著者

Visualization of set inclusion with gloves

Proceedings of International Workshop on Set Visualization and Reasoning (SetVR 2018) co-located with 10th International Conference on the Theory and Application of Diagrams (Diagrams 2018) Edinburgh, UK, June 18, 2018. CEUR Workshop Proceedings 2116 68-75 2018年6月  査読有り筆頭著者最終著者責任著者

An AND-OR-tree connected to leaves via communication channels

Lecture Notes in Engineering and Computer Science: Proceedings of The International MultiConference of Engineers and Computer Scientists 2018, IMECS 2018, 14-16 March, 2018, Hong Kong 185-189 2018年3月  査読有り筆頭著者最終著者責任著者

Kazuyuki Tanaka's Work on AND-OR Trees and Subsequent Developments

Annals of the Japan Association for Philosophy of Science 25 79-88 2017年  査読有り筆頭著者最終著者責任著者

ソロベイ還元と連続性

日本数学会2019年度秋季総合分科会 2019年9月19日

チュートリアル AND-OR木の探索コスト

日本応用数理学会2019年度年会 2019年9月13日