根元　多佳子 (ネモト　タカコ,NEMOTO Takako)

基本情報	研究分野	研究業績

報告書等
No.	報告書等名（MISCタイトル） URL, 誌名, 巻( 号), 開始ページ- 終了ページ, 出版年月（日）
1	直観主義論理上の逆数学 , 数学セミナー, , 40- 42, 2021年02月

学術論文
No.	論文タイトル（題目） URL, 誌名(出版物名), 巻( 号), 開始ページ- 終了ページ, 出版年月（日）, DOI
1	A constructive proof of the dense existence of nowhere-differentiable functions in C[0,1] , Computability, 9( 3-4), 315- 326, 2020年08月,
2	On the independence of premiss axiom and rule , Archive for Mathematical Logic, , 00- 00, 2020年02月, https://doi.org/10.1007/s00153-019-00707-5
3	Finite sets and infinite sets in weak intuitionistic arithmetic , Archive for Mathematical Logic, 59, 607- 657, 2020年01月02日, https://doi.org/10.1007/s00153-019-00704-8
4	The monotone completeness theorem in constructive , Synthese Library, 412, 101- 112, 2019年10月,
5	Equivalents of the finitary non-deterministic inductive definitions , Annals of Pure and Applied Logic, 170( 10), 1256- 1272, 2019年10月, 10.1016/j.apal.2019.05.005
6	The binary expansion and the intermediate value theorem in constructive reverse mathematics , Archive for Mathematical Logic, 58( 1-2), 203- 217, 2019年02月, 10.1007/s00153-018-0627-2
7	Non-deterministic inductive definition and Fullness , Ontos Mathematical Logic, 6, 163- 170, 2016年07月,
8	A note on independence of premiss rule , MATHEMATICAL LOGIC QUARTERLY, 62( 1-2), 72- 76, 2016年02月, 10.1002/malq.201500032
9	Some principles weaker than Markov’s principle , Archive for Mathematical Logic, 54( 7-8), 861- 870, 2015年11月, 10.1007/s00153-015-0444-9
10	Generalized geometric theories and set-generated classes , Mathematical Structures in Computer Science, 29( 5), 1466- 1483, 2014年11月, 10.1017/S0960129513000236
11	Determinacy of Wadge classes in the Baire space and simple iteration of inductive definition , 講究録, , 121- 133, 2009年03月,
12	Complete determinacy and subsystems of second order arithmetic , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 5028, 457- 466, 2008年06月, 10.1007/978-3-540-69407-6_49
13	Infinite games in the Cantor space and subsystems of second order arithmetic , MATHEMATICAL LOGIC QUARTERLY, 53( 3), 226- 236, 2007年05月, 10.1002/malq.200610041
14	On weak determinacy of infinite binary games , 講究録, ( 1469), 17- 26, 2006年02月,

口頭発表
No.	講演・口頭発表タイトル, URL, 発表機関, 発表年月日, 誌名, 巻( 号), 開始ページ- 終了ページ, 出版年月（日）
1	Some properties of function spaces in reverse mathematics, , University of Leeds, London Mathematical Society, 2018年09月13日, , , 0- 0,
2	Finite sets and infinite sets in weak intuitionistic arithmetic, , 中国数学会, 2018年05月, , , 22- 22, 2018年05月
3	Finite sets and infinite sets in constructive reverse mathematics, , Munich Center for Mathematical Philosophy, 2017年10月, , , なし- なし,
4	Recursion theory in constructive mathematics, , Association for Symbolic Logic, 2017年07月, , , なし- なし,
5	Intermediate value theorem and WKL for convex tree, , The Banff International Research Station for mathematical innovation and discovery, 2016年11月, , , なし- なし,
6	Finitistically constructive Zermelo-Fraenkel set theory, , University of Bern, 2016年04月, , , なし- なし,
7	二階算術における無限ゲームの決定性, , 日本数学会, 2015年09月13日, , , 不明- 不明,
8	Determinacy of Infinite Games and Reverse Mathematics: Complexity of Winning Strategies, , Computability in Europe, 2015年06月29日, , , 13- 13,
9	Making a detour via intuitionistic theories ―Embedding set theories into systems of explicit mathematics, , University of Nis, 2013年06月24日, , , 0- 0,
10	The proof theoretic strengths of determinacy between \Sigma^0_1 and \Delta^0_2, , Association for Symbolic Logic, 2012年07月12日, , , 393- 393,
11	A system of explicit mathematics and $\Pi_3$ reflection, , Association for Symbolic Logic, 2011年07月, , , 457- 458,
12	Determinacy and $\Pi^1_1$ transfinite recursion along $\omega$, , Panhellenic Logic Symposium, 2011年07月, , , 0- 0,