メニュー
Search
Search Research Projects
Search Researchers
How to Use
Japanese
English
Back to previous page
Sekiyama Taro
関山 太朗
Connect 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)
Project Start Year (Newest)
Project Start Year (Oldest)
機械学習技術による高速な演繹的推論エンジンの開発
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 effects
Principal 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 Regression
2019
Author(s)
関山 太朗
Organizer
第22回情報論的学習理論ワークショップ
Invited
Data Source
KAKENHI-PROJECT-19K20247
# of Projects (Dsc)
# of Projects (Asc)
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
×
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の連携を行いますか?
※ この処理は、研究者本人だけが実行できます。
×
×