Inoue Takeru 井上武

Researcher Number	70873678
Other IDs
Affiliation (Current)	2025: 山梨大学, 大学院総合研究部, 准教授
Affiliation (based on the past Project Information) *help	2021 – 2024: 日本電信電話株式会社NTTコミュニケーション科学基礎研究所, 協創情報研究部, 特別研究員 2020: 日本電信電話株式会社NTTコミュニケーション科学基礎研究所, 協創情報研究部, 主任研究員
Review Section/Research Field	Except Principal Investigator Transformative Research Areas, Section (IV)
Keywords	Except Principal Investigator 説明可能性 / 非同期ストリーム索引 / 準最適解集合 / ネットワーク信頼性 / 並列SAT / MSO / 革新的アルゴリズム基盤 / 厳密被覆 / 分子設計 / Answer Set Programming … More / 圧縮索引 / 部分グラフ数え上げ / 並列型ソルバ / アルゴリズムの社会還元 / アルゴリズム基盤 Less

社会を志向した革新的アルゴリズムの実装
- Principal Investigator
  
  安田宜仁
- Project Period (FY)
  2020 – 2024
- Research Category
  
  Grant-in-Aid for Transformative Research Areas (A)
- Review Section
  
  Transformative Research Areas, Section (IV)
- Research Institution
  NTT Communication Science Laboratories

All 2024 2023 2022 2021

All Journal Article Presentation Patent

[Journal Article] International Competition on Graph Counting Algorithms 20232024
- Author(s)
  INOUE Takeru、YASUDA Norihito、NABESHIMA Hidetomo、NISHINO Masaaki、DENZUMI Shuhei、MINATO Shin-ichi
- Journal Title
  
  IEICE Trans. Fundamentals
  
  Volume: E107.A Issue: 9 Pages: 1441-1451
- DOI
  10.1587/transfun.2023DMP0006
- ISSN
  0916-8508, 1745-1337
- Year and Date
  2024-09-01
- Language
  English
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-23K11214, KAKENHI-PLANNED-20H05963
[Journal Article] Hamiltonian Cycle Reconfiguration with Answer Set Programming2023
- Author(s)
  Hirate Takahiro、Banbara Mutsunori、Inoue Katsumi、Lu Xiao-Nan、Nabeshima Hidetomo、Schaub Torsten、Soh Takehide、Tamura Naoyuki
- Journal Title
  
  Proceedings of the 18th European Conference on Logics in Artificial Intelligence (JELIA 2023)
  
  Volume: LNAI 14281 Pages: 262-277
- DOI
  10.1007/978-3-031-43619-2_19
- ISBN
  9783031436185, 9783031436192
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K11973, KAKENHI-PROJECT-23K11047, KAKENHI-PROJECT-23K11214, KAKENHI-PROJECT-21K11828, KAKENHI-PLANNED-20H05794, KAKENHI-PLANNED-20H05963
[Patent] 相関故障のあるネットワークの信頼性評価法2022
- Inventor(s)
  中村健吾、井上武、西野正彬、安田宜仁、坂上晋作
- Industrial Property Rights Holder
  日本電信電話、東京大学
- Industrial Property Rights Type
  特許
- Industrial Property Number
  2022-112754
- Filing Date
  2022
- Data Source
  KAKENHI-PLANNED-20H05963
[Presentation] heulingo: 組合せ最適化のための解集合プログラミングに基づく優先度付き巨大近傍探索の実装2024
- Author(s)
  杉森唯瑠未, 宋剛秀, 田村直之, 井上克巳, 鍋島英知, 番原睦則
- Organizer
  第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024)
- Data Source
  KAKENHI-PLANNED-20H05963
[Presentation] Exact and Efficient Network Reliability Evaluation per Outage Scale2023
- Author(s)
  Kengo Nakamura, Takeru Inoue, Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato
- Organizer
  IEEE International Conference on Communication, (ICC 2023)
- Int'l Joint Research
- Data Source
  KAKENHI-PLANNED-20H05963
[Presentation] 解集合プログラミングを用いたハミルトン閉路遷移問題の解法2023
- Author(s)
  平手貴大,番原睦則,井上克巳,盧暁南,鍋島英知,宋剛秀,田村直之
- Organizer
  第25回プログラミングおよびプログラミング言語ワークショップ (PPL 2023)
- Data Source
  KAKENHI-PLANNED-20H05963
[Presentation] A Fast and Exact Evaluation Algorithm for the Expected Number of Connected Nodes: an Enhanced Network Reliability Measure2023
- Author(s)
  Kengo Nakamura, Takeru Inoue, Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato
- Organizer
  IEEE International Conference on Computer Communications (INFOCOM 2023)
- Int'l Joint Research
- Data Source
  KAKENHI-PLANNED-20H05963
[Presentation] Designing Benchmarks for the International Competition on Graph Counting Algorithm2023
- Author(s)
  Takeru Inoue
- Organizer
  第22回情報科学技術フォーラム（FIT2023）
- Data Source
  KAKENHI-PLANNED-20H05963
[Presentation] DPS: A Framework for Deterministic Parallel SAT Solvers2022
- Author(s)
  Hidetomo Nabeshima,Tsubasa Fukiage,Yuto Obitsu,Xiao-Nan Lu,Katsumi Inoue
- Organizer
  13th Pragmatics of SAT international workshop
- Int'l Joint Research
- Data Source
  KAKENHI-PLANNED-20H05963
[Presentation] Exact and Scalable Network Reliability Evaluation for Probabilistic Correlated Failures.2022
- Author(s)
  Ryoma Onaka,Kengo Nakamura 0001,Takeru Inoue,Masaaki Nishino,Norihito Yasuda,Shinsaku Sakaue
- Organizer
  2022 IEEE Global Communications Conference (GLOBECOM)
- Int'l Joint Research
- Data Source
  KAKENHI-PLANNED-20H05963
[Presentation] Impact of Link Availability Uncertainty on Network Reliability: Analyses with Variances.2022
- Author(s)
  Kengo Nakamura,Takeru Inoue,Masaaki Nishino,Norihito Yasuda
- Organizer
  IEEE International Conference on Communications (ICC2022)
- Int'l Joint Research
- Data Source
  KAKENHI-PLANNED-20H05963
[Presentation] DPS-Kissat2022
- Author(s)
  Hidetomo Nabeshima, Tsubasa Fukiage, Yuto Obitsu, Xiao-Nan Lu and Katsumi Inoue
- Organizer
  SAT Competition 2022
- Int'l Joint Research
- Data Source
  KAKENHI-PLANNED-20H05963
[Presentation] Efficient Network Reliability Evaluation for Client-Server Model.2021
- Author(s)
  Kengo Nakamura,Takeru Inoue,Masaaki Nishino,Norihito Yasuda
- Organizer
  2021 IEEE Global Communications Conference (GLOBECOM)
- Int'l Joint Research
- Data Source
  KAKENHI-PLANNED-20H05963
[Presentation] Towards CEGAR-based Parallel SAT Solving2021
- Author(s)
  Takehide Soh,Hidetomo Nabeshima,Mutsunori Banbara,Naoyuki Tamura,Katsumi Inoue
- Organizer
  12th Pragmatics of SAT international workshop
- Int'l Joint Research
- Data Source
  KAKENHI-PLANNED-20H05963

1. 安田宜仁 (50396149)

# of Collaborated Projects: 1 results

# of Collaborated Products: 5 results
2. 鍋島英知 (10334848)

# of Collaborated Projects: 1 results

# of Collaborated Products: 5 results
3. 有村博紀 (20222763)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
4. 美添一樹 (80449115)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
5. 西野正彬 (90794529)

# of Collaborated Projects: 1 results

# of Collaborated Products: 5 results
6. 田村直之

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results
7. 番原睦則

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results
8. 宋剛秀

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results

Inoue Takeru 井上 武

Research Projects

Research Products

Co-Researchers

社会を志向した革新的アルゴリズムの実装

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

[Journal Article] International Competition on Graph Counting Algorithms 20232024

Author(s)

Journal Title

DOI

ISSN

Year and Date

Language

Data Source

[Journal Article] Hamiltonian Cycle Reconfiguration with Answer Set Programming2023

Author(s)

Journal Title

DOI

ISBN

Data Source

[Patent] 相関故障のあるネットワークの信頼性評価法2022

Inventor(s)

Industrial Property Rights Holder

Industrial Property Rights Type

Industrial Property Number

Filing Date

Data Source

[Presentation] heulingo: 組合せ最適化のための解集合プログラミングに基づく優先度付き巨大近傍探索の実装2024

Author(s)

Organizer

Data Source

[Presentation] Exact and Efficient Network Reliability Evaluation per Outage Scale2023

Author(s)

Organizer

Data Source

[Presentation] 解集合プログラミングを用いたハミルトン閉路遷移問題の解法2023

Author(s)

Organizer

Data Source

[Presentation] A Fast and Exact Evaluation Algorithm for the Expected Number of Connected Nodes: an Enhanced Network Reliability Measure2023

Author(s)

Organizer

Data Source

[Presentation] Designing Benchmarks for the International Competition on Graph Counting Algorithm2023

Author(s)

Organizer

Data Source

[Presentation] DPS: A Framework for Deterministic Parallel SAT Solvers2022

Author(s)

Organizer

Data Source

[Presentation] Exact and Scalable Network Reliability Evaluation for Probabilistic Correlated Failures.2022

Author(s)

Organizer

Data Source

[Presentation] Impact of Link Availability Uncertainty on Network Reliability: Analyses with Variances.2022

Author(s)

Organizer

Data Source

[Presentation] DPS-Kissat2022

Author(s)

Organizer

Data Source

[Presentation] Efficient Network Reliability Evaluation for Client-Server Model.2021

Author(s)

Organizer

Data Source

[Presentation] Towards CEGAR-based Parallel SAT Solving2021

Author(s)

Organizer

Data Source

Inoue Takeru 井上武