• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Nanashima Mikito  七島 幹人

ORCIDConnect your ORCID iD *help
Researcher Number 90855222
Other IDs
Affiliation (Current) 2025: 東京科学大学, 情報理工学院, 助教
Affiliation (based on the past Project Information) *help 2023 – 2024: 東京工業大学, 情報理工学院, 助教
Review Section/Research Field
Principal Investigator
1001:Information science, computer engineering, and related fields
Except Principal Investigator
Medium-sized Section 60:Information science, computer engineering, and related fields
Keywords
Principal Investigator
計算複雑さ理論 / 証明系 / 知識複雑さ / 一方向性関数 / 計算論的学習理論 / 対話証明系
Except Principal Investigator
埋め込みクリーク予想 / メタ計算量 / 平均時計算量 / 量子計算複雑さ / 計算理論 / 量子計算 / 計算資源
  • Research Projects

    (3 results)
  • Research Products

    (4 results)
  • Co-Researchers

    (6 People)
  •  メタ計算量に基づく平均時NP完全性理論の開拓

    • Principal Investigator
      平原 秀一
    • Project Period (FY)
      2024 – 2029
    • Research Category
      Grant-in-Aid for Challenging Research (Pioneering)
    • Review Section
      Medium-sized Section 60:Information science, computer engineering, and related fields
    • Research Institution
      National Institute of Informatics
  •  A Study on Breaking and Avoiding Relativization Barriers against Constructing One-Way FunctionsPrincipal Investigator

    • Principal Investigator
      七島 幹人
    • Project Period (FY)
      2023 – 2024
    • Research Category
      Grant-in-Aid for Research Activity Start-up
    • Review Section
      1001:Information science, computer engineering, and related fields
    • Research Institution
      Tokyo Institute of Technology
  •  Theoretical Foundations of Resource-Bounded Quantum Computation

    • Principal Investigator
      谷 誠一郎
    • Project Period (FY)
      2022 – 2026
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Review Section
      Medium-sized Section 60:Information science, computer engineering, and related fields
    • Research Institution
      Waseda University
      NTT Communication Science Laboratories

All 2023

All Journal Article Presentation

  • [Journal Article] A Duality between One-Way Functions and Average-Case Symmetry of Information2023

    • Author(s)
      Hirahara Shuichi、Ilango Rahul、Lu Zhenjian、Nanashima Mikito、Oliveira Igor C.
    • Journal Title

      Proceedings of the 55th Annual ACM Symposium on Theory of Computing

      Volume: 55 Pages: 1039-1050

    • DOI

      10.1145/3564246.3585138

    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-23K19957, KAKENHI-PROJECT-22H00522, KAKENHI-PROJECT-20H04139
  • [Journal Article] Learning in Pessiland via Inductive Inference2023

    • Author(s)
      Hirahara Shuichi、Nanashima Mikito
    • Journal Title

      Proceedings of the 64th IEEE Annual Symposium on Foundations of Computer Science

      Volume: 64 Pages: 447-457

    • DOI

      10.1109/focs57990.2023.00033

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23K19957, KAKENHI-PROJECT-22H00522
  • [Presentation] Learning in Pessiland via Inductive Inference2023

    • Author(s)
      Mikito Nanashima
    • Organizer
      the 64th IEEE Annual Symposium on Foundations of Computer Science
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-23K19957
  • [Presentation] A Duality between One-Way Functions and Average-Case Symmetry of Information2023

    • Author(s)
      Mikito Nanashima
    • Organizer
      the 55th Annual ACM Symposium on Theory of Computing
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-23K19957
  • 1.  谷 誠一郎 (70396183)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 2.  森前 智行 (50708302)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 3.  森 立平 (60732857)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 4.  西村 治道 (70433323)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 5.  平原 秀一 (80848440)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 6.  清水 伸高 (10910127)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results

URL: 

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi