Nakahata Yu 中畑裕

Researcher Number	50942067
Other IDs
Affiliation (Current)	2025: 奈良先端科学技術大学院大学, 先端科学技術研究科, 助教
Affiliation (based on the past Project Information) *help	2022 – 2024: 奈良先端科学技術大学院大学, 先端科学技術研究科, 助教
Review Section/Research Field	Principal Investigator Basic Section 60010:Theory of informatics-related Except Principal Investigator Transformative Research Areas, Section (IV) / Basic Section 60010:Theory of informatics-related / Basic Section 60060:Information network-related / Medium-sized Section 60:Information science, computer engineering, and related fields
Keywords	Principal Investigator ZDD / 決定グラフ / 組合せ最適化 / 列挙 / 多様性最大化 Except Principal Investigator ブロック・チェーン / SATソルバー / 配電切替 / 配電網の開閉器切替 / 二分決定グラフ … More / グラフアルゴリズム / 配電制御 / ゼロサプレス型二分決定グラフ / モデル検査 / SAT / ソルバー / 組合せ遷移 / 計算モデル / 離散構造 / サンプリングアルゴリズム / 数え上げアルゴリズム / 列挙アルゴリズム / 耐結託性 / 投票型インセンティブ・メカニズム / 合意形成メカニズム / 次世代分散型インターネット / 低遅延P2Pネットワーキング / 高速ブロック同期 / 低遅延P2Pネットワーク / IoTアクセス制御 / セキュリティ / インセンティブ・メカニズム / DSSトリレンマ Less

Consensus Mechanism with Resistance to Collusion for the Next-Generation Decentralized Internet
- Principal Investigator
  
  笠原正治
- Project Period (FY)
  2024 – 2026
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60060:Information network-related
- Research Institution
  Nara Institute of Science and Technology
圧縮索引構造を用いた汎用的かつ実用的な多様な解の発見アルゴリズムPrincipal Investigator
- Principal Investigator
  
  中畑裕
- Project Period (FY)
  2022 – 2025
- Research Category
  
  Grant-in-Aid for Early-Career Scientists
- Review Section
  
  Basic Section 60010:Theory of informatics-related
- Research Institution
  Nara Institute of Science and Technology
列挙や数え上げなどを統一的に扱うための基盤技術
- Principal Investigator
  
  堀山貴史
- Project Period (FY)
  2022 – 2025
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60010:Theory of informatics-related
- Research Institution
  Hokkaido University
Engineering Approach for Expanding Combinatorial Reconfiguration: Toward a General-Purpose Solver Using Power Distribution Systems as a Steppingstone
- Principal Investigator
  
  KAWAHARA Jun
- Project Period (FY)
  2020 – 2022
- Research Category
  
  Grant-in-Aid for Transformative Research Areas (B)
- Review Section
  
  Transformative Research Areas, Section (IV)
- Research Institution
  Kyoto University
Informatics Study on Ultra-Scalable Blockchain Technology
- Principal Investigator
  
  Kasahara Shoji
- Project Period (FY)
  2019 – 2022
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Review Section
  
  Medium-sized Section 60:Information science, computer engineering, and related fields
- Research Institution
  Nara Institute of Science and Technology

All 2023 2022

All Journal Article Presentation

[Journal Article] Reconfiguring (non-spanning) arborescences2023
- Author(s)
  Takehiro Ito, Yuni Iwamasa, Yasuaki Kobayashi, Yu Nakahata, Yota Otachi, Kunihiro Wasa
- Journal Title
  
  Theoretical Computer Science
  
  Volume: 943 Pages: 131-141
- DOI
  10.1016/j.tcs.2022.12.007
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-19K11814, KAKENHI-PROJECT-21K11752, KAKENHI-PROJECT-22K17851, KAKENHI-PROJECT-20K23323, KAKENHI-PROJECT-20K19742, KAKENHI-PLANNED-20H05793, KAKENHI-PLANNED-20H05794, KAKENHI-PLANNED-20H05795, KAKENHI-PROJECT-18H04091, KAKENHI-PROJECT-22H00513
[Journal Article] ZDD-based algorithmic framework for solving shortest reconfiguration problems2023
- Author(s)
  Takehiro Ito, Jun Kawahara, Yu Nakahata, Takehide Soh, Akira Suzuki, Junichi Teruyama and Takahisa Toda
- Journal Title
  
  Proceedings of the 20th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2023), Lecture Notes in Computer Science (LNCS)
  
  Volume: 13884 Pages: 1-17
- DOI
  10.1007/978-3-031-33271-5_12
- ISBN
  9783031332708, 9783031332715
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-20K11666, KAKENHI-PROJECT-19K11814, KAKENHI-PROJECT-22K11910, KAKENHI-PROJECT-22K11973, KAKENHI-PROJECT-23K11047, KAKENHI-PROJECT-18K18003, KAKENHI-PLANNED-20H05793, KAKENHI-PLANNED-20H05794
[Journal Article] Independent set reconfiguration on directed graphs2022
- Author(s)
  Takehiro Ito, Yuni Iwamasa, Yasuaki Kobayashi, Yu Nakahata, Yota Otachi, Masahiro Takahashi, Kunihiro Wasa
- Journal Title
  
  Proc. of 47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022), Leibniz International Proceedings in Informatics
  
  Volume: 241
- Peer Reviewed
- Data Source
  KAKENHI-PLANNED-20H05794
[Journal Article] ZDD-based algorithmic framework for solving shortest reconfiguration problems2022
- Author(s)
  Takehiro Ito, Jun Kawahara, Yu Nakahata, Takehide Soh, Akira Suzuki, Junichi Teruyama, Takahisa Toda
- Journal Title
  
  arXiv
  
  Volume: 2207.13959
- Open Access
- Data Source
  KAKENHI-PLANNED-20H05794
[Presentation] ZDD-based algorithmic framework for solving shortest reconfiguration problems2023
- Author(s)
  Takehiro Ito, Jun Kawahara, Yu Nakahata, Takehide Soh, Akira Suzuki, Junichi Teruyama, Takahisa Toda
- Organizer
  20th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2023)
- Int'l Joint Research
- Data Source
  KAKENHI-PLANNED-20H05794
[Presentation] 時間変化するネットワークに対する二分決定グラフを用いた信頼性評価法2022
- Author(s)
  有薗舜, 中畑裕, 笠原正治
- Organizer
  2022年度OR学会関西支部若手研究発表会
- Data Source
  KAKENHI-PROJECT-19H01103
[Presentation] ZDDを用いた組合せ遷移ソルバー2022
- Author(s)
  伊藤健洋, 川原純, 中畑裕, 宋剛秀, 鈴木顕, 照山順一, 戸田貴久
- Organizer
  日本オペレーションズ・リサーチ学会 2022年秋季研究発表会
- Data Source
  KAKENHI-PLANNED-20H05794
[Presentation] 時間変化するネットワークに対する二分決定グラフを用いた信頼性評価法2022
- Author(s)
  有薗舜, 中畑裕, 笠原正治
- Organizer
  2022年度日本オペレーションズ・リサーチ学会関西支部若手研究発表会
- Data Source
  KAKENHI-PLANNED-20H05794
[Presentation] A ZDD-based solver for combinatorial reconfiguration problems2022
- Author(s)
  Takehiro Ito, Jun Kawahara, Yu Nakahata, Takehide Soh, Akira Suzuki, Junichi Teruyama, Takahisa Toda
- Organizer
  4th Combinatorial Reconfiguration Workshop
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PLANNED-20H05794

1. Kasahara Shoji (20263139)

# of Collaborated Projects: 2 results

# of Collaborated Products: 1 results
2. KAWAHARA Jun (20572473)

# of Collaborated Projects: 2 results

# of Collaborated Products: 4 results
3. 原崇徳 (70907881)

# of Collaborated Projects: 2 results

# of Collaborated Products: 1 results
4. 笹部昌弘 (10379109)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
5. 張元玉 (90804013)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
6. 堀山貴史 (60314530)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. 伝住周平 (90755729)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
8. 和佐州洋 (00781337)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. 栗田和宏 (40885266)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
10. 脊戸和寿 (20584056)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
11. 飯岡大輔 (30377808)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
12. 戸田貴久 (50451159)

# of Collaborated Projects: 1 results

# of Collaborated Products: 4 results
13. 宋剛秀 (00625121)

# of Collaborated Projects: 1 results

# of Collaborated Products: 4 results
14. 鈴木顕 (10723562)

# of Collaborated Projects: 1 results

# of Collaborated Products: 5 results
15. 照山順一 (40709862)

# of Collaborated Projects: 1 results

# of Collaborated Products: 4 results
16. 伊藤健洋

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results

Nakahata Yu 中畑 裕

Research Projects

Research Products

Co-Researchers

Consensus Mechanism with Resistance to Collusion for the Next-Generation Decentralized Internet

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

圧縮索引構造を用いた汎用的かつ実用的な多様な解の発見アルゴリズムPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

列挙や数え上げなどを統一的に扱うための基盤技術

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Engineering Approach for Expanding Combinatorial Reconfiguration: Toward a General-Purpose Solver Using Power Distribution Systems as a Steppingstone

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Informatics Study on Ultra-Scalable Blockchain Technology

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

[Journal Article] Reconfiguring (non-spanning) arborescences2023

Author(s)

Journal Title

DOI

Data Source

[Journal Article] ZDD-based algorithmic framework for solving shortest reconfiguration problems2023

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] Independent set reconfiguration on directed graphs2022

Author(s)

Journal Title

Data Source

[Journal Article] ZDD-based algorithmic framework for solving shortest reconfiguration problems2022

Author(s)

Journal Title

Data Source

[Presentation] ZDD-based algorithmic framework for solving shortest reconfiguration problems2023

Author(s)

Organizer

Data Source

[Presentation] 時間変化するネットワークに対する二分決定グラフを用いた信頼性評価法2022

Author(s)

Organizer

Data Source

[Presentation] ZDDを用いた組合せ遷移ソルバー2022

Author(s)

Organizer

Data Source

[Presentation] 時間変化するネットワークに対する二分決定グラフを用いた信頼性評価法2022

Author(s)

Organizer

Data Source

[Presentation] A ZDD-based solver for combinatorial reconfiguration problems2022

Author(s)

Organizer

Data Source

Nakahata Yu 中畑裕