北陸先端科学技術大学院大学 [JAIST] - 研究者総覧
現在ページ トップページ 検索結果研究者紹介>全件表示

発表論文表示
表示方法:
表示順:

 

 

根元 多佳子 (ネモト タカコ) 助教
情報科学系、知能ロボティクス領域

11件中1-11件目

  • 1. Thebinary expansion and the intermediate value theorem in constructive reversemathematics,Josef Berger, Hajime Ishihara, Takayuki Kihara and Takako Nemoto,To appear in Archive for Mathematical Logic
  • 2. A marriage of Brouwer’s intuitionism and Hilbert’s finitism I: Arithmetic,Takako Nemoto and Kentaro Sato,To appear in Journal of Symbolic Logic
  • 3. The monotone completeness theorem in con-structive reverse mathematics,Hajime Ishihara and Takako Nemoto,To appiar in: Mathesis Universalis, Computability and Proof, Synthese Library - Studies in Epistemology, Logic, Methodology, and Philosophy of Science.expected publication: 2019
  • 4. A note on the independence of premiss rule,Hajime Ishihara and Takako Nemoto,Mathematical Logic Quarterly,62,1-2,72-76,2015
  • 5. Generalized geometric theories and set-generated classes,Peter Aczel, Hajime Ishihara, Takako Nemoto and Yasushi Sangu,Math. Structures Comput. Sci.,26,pp. 1466-1483
  • 6. Non-deterministic inductive definition and Fullness,Hajime Ishihara and Takako Nemoto,Dieter Probst and Peter Schuster (eds.), "Concepts of Proof in Mathematics, Philosophy, and Computer Science". Ontos Mathematical Logic. Walter de Gruyter, Berlin,163-170,2016
  • 7. Some principles weaker than Markov's principle,Makoto Fujiwara, Hajime Ishihara and Takako Nemoto,Archive for Mathematical Logic,54,7,861-870,2015
  • 8. Weak weak König's lemma in constructive reverse mathematics,T. Nemoto,Proceeding of the 10th Asian Logic Conference,pp. 263 - 270
  • 9. Determinacy of Wadge classes and subsystems of second order arithmetic,T. Nemoto,Mathematical Logic Quarterly,Volume 55,Issue 2,pp. 154 - 176
  • 10. Complete determinacy and subsystems of second order arithmetic,T. Nemoto,,Arnold Beckmann, Costas Dimitracopoulos, and Benedikt Löwe (eds.): Logic and Theory of Algorithms, Fourth Conference on Computability in Europe, CiE 2008, Athens, Greece, June 2008, Proceedings, Lecture Notes in Computer Science 5028,pp. 457 - 466
  • 11. Infinite games in the Cantor space and subsystems of second order arithmetic,T. Nemoto, M. O. Medsalem and K. Tanaka,Mathematical Logic Quarterly,,Volume 53,3,pp. 226 - 236,2007