広島工業大学

研究者情報データベース

日本語 English

TOP
所属別検索
キーワード検索
研究分野別検索
条件指定検索

広島工業大学
ホームページ

根元 多佳子 (ネモト タカコ,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
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 
5
The monotone completeness theorem in constructive , Synthese Library, 412,  101- 112, 2019年10月,  
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,