日本語
Researcher Database
Apply
Students
Alumni
Visit
Campus
Contact
Giving
Store
日本語
About
President's Message
Philosophy and History
Keio University's Initiatives
Alumni Network
Global Engagement
Keio University’s Initiatives
Keio by the Numbers
Disclosure of Information
Structure and Organization
Campuses
Museums
Communication Tools
Keio BOARD
Admissions
Undergraduate Admissions
Graduate Admissions
Admissions for International Students
Academic Fees
Scholarships
Student Dormitories
Academics
Undergraduate Faculties
Faculty of Letters
Faculty of Economics
Faculty of Law
Faculty of Business and Commerce
School of Medicine
Faculty of Science and Technology
Faculty of Policy Management
Faculty of Environment and Information Studies
Faculty of Nursing and Medical Care
Faculty of Pharmacy
Distance Learning Courses
Japanese Language Program
Graduate Schools
Graduate School of Letters
Graduate School of Economics
Graduate School of Law
Graduate School of Human Relations
Graduate School of Business and Commerce
Graduate School of Medicine
Graduate School of Science and Technology
Graduate School of Media and Governance
Graduate School of Health Management
Graduate School of Pharmaceutical Sciences
Graduate School of Business Administration
Graduate School of System Design and Management
Graduate School of Media Design (KMD)
Keio University Law School
Education
Academic Fields
Libraries & Information Technology Services
Research
J-PEAKS
Explore Research
News and Events
Research Promotion and Support (for Researchers)
Startup Support (for Entrepreneurs)
About Intellectual Property
Inquiries about Industry-Academia-Government Collaboration and Intellectual Assets
Make a Donation
Keio FUTURE
Student Life
Annual Schedule
School Festival
Athletic Association & Club Activities
Careers & Future Paths
Student Achievements
Keio LIFE
Affiliated
Yochisha Elementary School
Keio Yokohama Elementary School
Keio Futsubu School
Chutobu Junior High School
Keio Shonan Fujisawa Junior and Senior High School
Keio Senior High School
Keio Shiki Senior High School
Keio Girls Senior High School
Keio Academy of New York (High School)
Researcher Database
Koara papers
Tanaka, Hiromi
1-3 items (total 3)
部分構造論理の非初等的計算量
Author
：
Tanaka, Hiromi
Publication Title
：
(Publication Date）2025）
Related Link
部分構造論理の非初等的計算量
Author
：
Tanaka, Hiromi
Publication Title
：
(Publication Date）2025）
Related Link
Nonelementary computational complexity of substructural logic (本文)
Author
：
Tanaka, Hiromi
Publication Title
：
(Publication Date）2025）
Related Link
Tanaka, HiromiTanaka, Hiromi