Sekiyama Taro 関山太朗

… 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

機械学習技術による高速な演繹的推論エンジンの開発
- 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

Sekiyama Taro 関山 太朗

関山 太朗 セキヤマ タロウ

Research Projects

Research Products

Co-Researchers

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

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Type systems for verification of temporal and state-dependent properties in the presence of various computational effectsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Program Verification Techniques for the AI Era

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Research on software contracts for highly interoperable software modules

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Automated Theorem Proving with Machine Learning for Automating Mathematics

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

動的型付けと静的型付けを融合した漸進的型付けのメタ理論Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

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

Author(s)

Organizer

Data Source

[Presentation] レコードとハッシュテーブルの暗黙な相互運用を可能にする型推論とコンパイル手法2021

Author(s)

Organizer

Data Source

[Presentation] レコードとハッシュテーブルの暗黙な相互運用を可能にする型推論とコンパイル手法2021

Author(s)

Organizer

Data Source

[Presentation] Weighted Automata Extraction from Recurrent Neural Networks via Regression2019

Author(s)

Organizer

Data Source

Sekiyama Taro 関山太朗

関山太朗セキヤマタロウ