Takako Nemoto
(根元 多佳子)
Modified on: 01/22
Profile Information
- Affiliation
- Graduate School of Information Sciences Department of System Information Sciences, Tohoku University
- Degree
-
B.S. from Tohoku Univeristy(2004), M.S. from Tohoku University(2006), Ph.D. from Tohoku University(2009)
- J-GLOBAL ID
- 201901014112863598
- researchmap Member ID
- B000363255
Research Interests
3Research Areas
1Research History
6-
Apr, 2012 - Mar, 2020
-
Apr, 2010 - Mar, 2012
-
Apr, 2009 - Aug, 2009
Papers
17-
Computability, 1-8, Apr 2, 2024 Peer-reviewed
-
The Bulletin of Symbolic Logic, 29(3) 1-42, Jul 26, 2023 Peer-reviewed
-
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 381(2248), Apr 10, 2023 Peer-reviewedInvited
-
Mathematics for Computation (M4C), 143-164, Apr 2, 2023 Peer-reviewed
-
Archive for Mathematical Logic, 59(7-8) 793-815, Nov, 2020 Peer-reviewed
-
Archive for Mathematical Logic, 59(5-6) 607-657, Aug 1, 2020 Peer-reviewed
-
Annals of Pure and Applied Logic, 170(10) 1256-1272, Oct, 2019 Peer-reviewed
-
Mathesis Universalis, Computability and Proof, 101-112, 2019 Peer-reviewed
-
Archive for Mathematical Logic, 58(1-2) 1-15, May 10, 2018 Peer-reviewed
-
MATHEMATICAL LOGIC QUARTERLY, 62(1-2) 72-76, Feb, 2016 Peer-reviewed
-
CONCEPTS OF PROOF IN MATHEMATICS, PHILOSOPHY, AND COMPUTER SCIENCE, 6 163-170, 2016 Peer-reviewed
-
ARCHIVE FOR MATHEMATICAL LOGIC, 54(7-8) 861-870, Nov, 2015 Peer-reviewed
-
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 25(7) 1466-1483, Oct, 2015 Peer-reviewed
-
PROCEEDINGS OF THE 10TH ASIAN LOGIC CONFERENCE, 263-270, 2010 Peer-reviewed
-
MATHEMATICAL LOGIC QUARTERLY, 55(2) 154-176, Apr, 2009 Peer-reviewed
-
LOGIC AND THEORY OF ALGORITHMS, 5028 457-466, 2008 Peer-reviewed
-
MATHEMATICAL LOGIC QUARTERLY, 53(3) 226-236, 2007 Peer-reviewed
Presentations
20-
Logic Colloquium 2024, Special Session of Proof Theory, Jun 27, 2024 Invited
-
Continuity, Computability, Constructivity From Logic to Algorithms, Sep, 2023 Invited
-
Constructive Mathematics: Foundation and Practice, Jun, 2023
-
Type Theory, Constructive Mathematics and Geometric Logic, May, 2023 Invited
-
HaPoC Satel- lite Workshop, Computability in Europe 2021, Jul, 2021 Invited
-
Das Kontinuum – 100 years later, Sep, 2018 Invited
-
Chinese Logic annual meeting, May, 2018 Invited
-
SotFoM4: Reverse Mathematics, Oct, 2017 Invited
-
Asian Logic Conference, Jul, 2017 Invited
-
Interval Analysis and Constructive Mathematics, Nov, 2016
-
Operations, Sets, and Types, Apr, 2016 Invited
-
日本数学会秋季総合分科会, Sep 13, 2015 Invited
-
Special session of Reverse Mathematics, Computability in Europe 2015, Jun 29, 2015 Invited
-
JAIST Logic Workshop Series 2015, Constructivism and Computability, Mar 2, 2015
-
Fifth Workshop on Formal Topology: Spreads and Choice Sequences, Stockholm, Sweden, 2015
-
Proof 2013, Sep 9, 2013 Invited
-
Constructive Mathematics: Foundations and Practice, Jun 24, 2013 Invited
-
Logic Colloquium 2012, Jul 12, 2012
-
Logic Colloquium 2011, Jul, 2011
-
8th Panhellenic Logic Symposium, Jul, 2011
Teaching Experience
4Professional Memberships
3Research Projects
4-
Grants-in-Aid for Scientific Research, Fund for the Promotion of Joint International Research (Fostering Joint International Research (B)), Japan Society for the Promotion of Science, Oct, 2021 - Mar, 2026
-
Computability theory on intuitionistic logic and its application to constructive reverse mathematicsGrants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (C), Japan Society for the Promotion of Science, Apr, 2018 - Mar, 2023
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (B), Japan Society for the Promotion of Science, Apr, 2015 - Mar, 2020
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Research Activity Start-up, Japan Society for the Promotion of Science, Aug, 2012 - Mar, 2014
There are no coauthors to display.
{{coauthor.Related.name_str}}
{{coauthor.Related.last_modified}} Updated