Takako Nemoto's Web Page
I am an assistant professor at School of Information Science, Japan Advanced Institute of Science and Technology.
In March 2009, I finished my Ph. D study under the supervision of
Prof. Kazuyuki Tanaka at
Mathematical Institute of Tohoku University.
Earthquake&Tsunami/Teaching/Publications/Preprints/Talks/Contact information
As you may know, a huge earthquake and tsumami attacked the north part
of Honshu island, the biggest island of Japan.
Both Higashimatsushima, where I was brought up, and Sendai, where I did
my undergraduate&graduate studies, belong to the region, and have
been seriously damaged.
Fortunately, all of my family members and my colleagues in Sendai
(Prof. Tanaka group) have survived almost safely.
I appreciate for all your help.
(refereed)

Infinite games in the Cantor space and subsystems of second order arithmetic,
(with M. O. Medsalem and
K. Tanaka)
Mathematical Logic Quarterly, Volume 53, Issue 3 (2007), pp. 226  236.

Complete determinacy and subsystems of second order arithmetic,
In: 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

Determinacy of Wadge classes and subsystems of second order arithmetic,
Mathematical Logic Quarterly, Volume 55, Issue 2, February 2009, pp. 154  176.
Please see also ``Corrigendum of Determinacy of Wadge
classes and subsystems of second order arithmetic,'' which can be found
below.

Infinite games from an intuitionistic point of view,
Proceedings of Student Session,
European Summer School of Logic, Language and Information 2008, pp125  134.
 Weak weak König's lemma in constructive reverse mathematics,
In: T. Arai et al. eds., Proceedings of the 10th Asian Logic Conference, World Scientific Pub. Co., Singapore, 2010, pp. 263  270.
 Generalized geometric theories and setgenerated classes (with Peter Aczel, Hajime Ishihara and Yasushi Sangu)C
Math. Structures Comput. Sci.C26, 2015, pp. 14661483.
 Some principles weaker than Markov's principle
(with Makoto Fujiwara and Hajime Ishihara),
Archive for Mathematical Logic, Volume 54, Issue 7, November 2015, pp 861870
 A note on the independence of premiss rule
(with Hajime Ishihara),
to appear in Mathematical Logic Quarterly
 Nondeterministic inductive definition and Fullness (with Hajime Ishihara),
in Dieter Probst and Peter Schuster (eds.), "Concepts of Proof in Mathematics, Philosophy, and Computer Science". Ontos Mathematical Logic. Walter de Gruyter, Berlin, pp. 163170

A marriage of Brouwer's Intuitionism and Hilbert's Finitism I: Arithmetic,
to appear in Journal of Symbolic Logic (with Kentaro Sato)
(unrefereed)
(refereed)
 Complete determinacy and subsystems of second order arithmetic,
Fourth Conference on Computability in Europe, CiE 2008, Athens, Greece, June 2008.
 Infinite games from an intuitionistic point of view,
Student Session, European Summer School of Logic, Language and Information 2008, Hamburg, Germany, August 2008.
 Weak weak König's lemma in constructive reverse mathematics,
10th Asian logic conference, Kobe, September 2008
 Determinacy of Wadge classes in the Baire space and simple
iteration of inductive definition,
Logic Colloquium 2009, Sofia, August 2009.
 CZF and the notion of set generation
(with Hajime Ishihara),
Logic Colloquium 2010, Paris, France
 Determinacy and $\Pi^1_1$ transfinite recursion along $\omega$,
8th Panhellenic Logic Symposium, Ioannina, Greece, July 2011
Ioannina, Greece, extended abstract
 A system of explicit mathematics and $\Pi_3$ reflection,
Logic Colloquium 2011, Barcelona, Spain, July 2011
(unrefereed)
 Weak weak axioms of determinacy and subsystems of second order
arithmetic,
Young logicians' gathering Japan, Tokyo, November 20, 2005
 Infinite games in the Cantor space and subsystems of second order
arithmetic,
Mathematical Society of Japan meeting, Tokyo, March 27, 2006
 A fine hierarchy of determinacy in second order arithmetic,
Proof theory in arithmetic, Kyoto, August 2006
 Infinite game from an intuitionistic point of view,
Symbolic Logic and Computer Science, Tokyo, September 18, 2007
 Infinite game from the intuitionistic point of view,
Mathematical Society of Japan meeting, Sendai, September 24, 2007
 Brouwer's fan theorem vs. weak König's lemma,
Young logicians' gathering Japan, Yaizu, October 28, 2007
 Determinacy of Wadge classes and inductions of second order
arithmetic,
Proof theory 2007, Tokyo, December 3, 2007
 Determinacy of Wadge classes and induction axioms of second order arithmetic,
Set theory meeting in Kobe, Kobe, March 21, 2008
 Weak weak König's lemma in
constructive reverse mathematics,
Workshop on Costructivism, Logic and Mathematics, Kanazawa,
May 26, 2008
 Determinacy of Wadge classes in Baire space,
Proof theoretical study of the structure of logic
and computation, Kyoto, September 10, 2008
 Game theory in economics and Blackwell determinacy from an
intuitionistic point of view,
Seminar on Lambda calculus and Logic in the end of summer,
Kusatsu, September 19, 2008
 The initial player is the winning player?various games from an
intuitionistic point of view,
Young logicians' gathering Japan, Tokyo, November 30, 2008
 Hierarchy of determinacy and ACA_{0}^{+},
Sendai Logic and Philosophy Seminar, Matsushima, February 23, 2009
 WWKL and Lebesgue measure,
Miniworkshop on Logic, Constructive
Mathematics, and Reverse Mathematics,
Munich, August 11, 2009
 CZF and the notion of set generation,
Proof theory 2009, Inawashiro, February 22, 2010
 Setgenerated class in constructive set theory,
Constructive Mathematics: Proofs and Computation, Chiemsee, Germany, June 8, 2010
Email address: nemototakako [at] gmail [dot] com
(old email address: sa4m20@math.tohoku.ac.jp)
Affiliation:
School of Information Science
Japan Advanced Institute of Science and Technology
Address:
Asahidai 11
Nomi
Ishikawa
Japan