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

Sekiyama Taro  関山 太朗

ORCIDConnect your ORCID iD *help
… Alternative Names

関山 太朗  セキヤマ タロウ

Less
Researcher Number 80828476
Other IDs
Affiliation (Current) 2023: 国立情報学研究所, アーキテクチャ科学研究系, 准教授
Affiliation (based on the past Project Information) *help 2019 – 2022: 国立情報学研究所, アーキテクチャ科学研究系, 助教
Review Section/Research Field
Principal Investigator
Basic Section 60050:Software-related
Except Principal Investigator
Medium-sized Section 60:Information science, computer engineering, and related fields / Broad Section J / Basic Section 60050:Software-related
Keywords
Principal Investigator
プログラミング言語 / 計算効果 / 型システム / 漸進的型付け / 多相性 / 継続渡し形式 / 漸進的型システム / 形式検証
Except Principal Investigator
機械学習 / プログラム検証 … More / 強化学習 / 自動証明 / 制約付きホーン節 / 定理証明 / ホーン節ソルバ / 人工知能 / 深層学習 / 高階モデル検査 / 高階不動点論理 / プログラミング言語 / 相互運用性 / ソフトウェア契約 / ソフトウエア契約 / 演繹的推論 / 定理自動証明 / システム検証 Less
  • Research Projects

    (6 results)
  • Research Products

    (4 results)
  • Co-Researchers

    (8 People)
  •  機械学習技術による高速な演繹的推論エンジンの開発

    • Principal Investigator
      塚田 武志
    • Project Period (FY)
      2022 – 2026
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Review Section
      Basic Section 60050:Software-related
    • Research Institution
      Chiba University
  •  Type systems for verification of temporal and state-dependent properties in the presence of various computational effectsPrincipal Investigator

    • Principal Investigator
      関山 太朗
    • Project Period (FY)
      2022 – 2024
    • Research Category
      Grant-in-Aid for Early-Career Scientists
    • Review Section
      Basic Section 60050:Software-related
    • Research Institution
      National Institute of Informatics
  •  Program Verification Techniques for the AI Era

    • Principal Investigator
      小林 直樹
    • Project Period (FY)
      2020 – 2024
    • Research Category
      Grant-in-Aid for Scientific Research (S)
    • Review Section
      Broad Section J
    • Research Institution
      The University of Tokyo
  •  Research on software contracts for highly interoperable software modules

    • Principal Investigator
      五十嵐 淳
    • Project Period (FY)
      2020 – 2024
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Review Section
      Medium-sized Section 60:Information science, computer engineering, and related fields
    • Research Institution
      Kyoto University
  •  Automated Theorem Proving with Machine Learning for Automating Mathematics

    • Principal Investigator
      Suenaga Kohei
    • Project Period (FY)
      2019 – 2021
    • Research Category
      Grant-in-Aid for Challenging Research (Exploratory)
    • Review Section
      Medium-sized Section 60:Information science, computer engineering, and related fields
    • Research Institution
      Kyoto University
  •  動的型付けと静的型付けを融合した漸進的型付けのメタ理論Principal Investigator

    • Principal Investigator
      関山 太朗
    • Project Period (FY)
      2019 – 2022
    • Research Category
      Grant-in-Aid for Early-Career Scientists
    • Review Section
      Basic Section 60050:Software-related
    • Research Institution
      National Institute of Informatics

All 2021 2019

All Presentation

  • [Presentation] 機械学習によるループ不変条件の発見2021

    • Author(s)
      関山 太朗
    • Organizer
      第24回情報論的学習理論ワークショップ(企画セッション1: ソフトウェア検証と機械学習)
    • Invited
    • Data Source
      KAKENHI-PROJECT-19K20247
  • [Presentation] レコードとハッシュテーブルの暗黙な相互運用を可能にする型推論とコンパイル手法2021

    • Author(s)
      梅木 孝輔, 関山 太朗, 五十嵐 淳
    • Organizer
      第23回プログラミングおよびプログラミング言語ワークショップ (PPL2021)
    • Data Source
      KAKENHI-PROJECT-19K20247
  • [Presentation] レコードとハッシュテーブルの暗黙な相互運用を可能にする型推論とコンパイル手法2021

    • Author(s)
      梅木孝輔, 関山太朗, 五十嵐淳
    • Organizer
      第23回プログラミングおよびプログラミング言語ワークショップ(PPL2021)
    • Data Source
      KAKENHI-PROJECT-20H00582
  • [Presentation] Weighted Automata Extraction from Recurrent Neural Networks via Regression2019

    • Author(s)
      関山 太朗
    • Organizer
      第22回情報論的学習理論ワークショップ
    • Invited
    • Data Source
      KAKENHI-PROJECT-19K20247
  • 1.  Suenaga Kohei (70633692)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 2.  塚田 武志 (50758951)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 3.  五十嵐 淳 (40323456)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 1 results
  • 4.  海野 広志 (80569575)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 5.  小林 直樹 (00262155)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 6.  佐藤 亮介 (10804677)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 7.  吉仲 亮 (80466424)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 8.  佐藤 一誠 (90610155)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results

URL: 

Are you sure that you want to connect your ORCID iD to this researcher?
* This action can be performed only by the researcher themselves.

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi