井上武 Inoue Takeru

研究者番号	70873678
その他のID
所属 (現在)	2025年度: 山梨大学, 大学院総合研究部, 准教授
所属 (過去の研究課題情報に基づく) *注記	2021年度 – 2024年度: 日本電信電話株式会社NTTコミュニケーション科学基礎研究所, 協創情報研究部, 特別研究員 2020年度: 日本電信電話株式会社NTTコミュニケーション科学基礎研究所, 協創情報研究部, 主任研究員
審査区分/研究分野	研究代表者以外学術変革領域研究区分(Ⅳ)
キーワード	研究代表者以外説明可能性 / 非同期ストリーム索引 / 準最適解集合 / ネットワーク信頼性 / 並列SAT / MSO / 革新的アルゴリズム基盤 / 厳密被覆 / 分子設計 / Answer Set Programming … もっと見る / 圧縮索引 / 部分グラフ数え上げ / 並列型ソルバ / アルゴリズムの社会還元 / アルゴリズム基盤隠す

社会を志向した革新的アルゴリズムの実装
- 研究代表者
  
  安田宜仁
- 研究期間 (年度)
  2020 – 2024
- 研究種目
  
  学術変革領域研究(A)
- 審査区分
  
  学術変革領域研究区分(Ⅳ)
- 研究機関
  日本電信電話株式会社NTTコミュニケーション科学基礎研究所

すべて 2024 2023 2022 2021

すべて雑誌論文学会発表産業財産権

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

1. 安田宜仁 (50396149)

共同の研究課題数: 1件

共同の研究成果数: 5件
2. 鍋島英知 (10334848)

共同の研究課題数: 1件

共同の研究成果数: 5件
3. 有村博紀 (20222763)

共同の研究課題数: 1件

共同の研究成果数: 0件
4. 美添一樹 (80449115)

共同の研究課題数: 1件

共同の研究成果数: 0件
5. 西野正彬 (90794529)

共同の研究課題数: 1件

共同の研究成果数: 5件
6. 田村直之

共同の研究課題数: 0件

共同の研究成果数: 1件
7. 番原睦則

共同の研究課題数: 0件

共同の研究成果数: 1件
8. 宋剛秀

共同の研究課題数: 0件

共同の研究成果数: 1件

井上 武 Inoue Takeru

研究課題

研究成果

共同研究者

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

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

[雑誌論文] International Competition on Graph Counting Algorithms 20232024

著者名/発表者名

雑誌名

DOI

ISSN

年月日

言語

データソース

[雑誌論文] Hamiltonian Cycle Reconfiguration with Answer Set Programming2023

著者名/発表者名

雑誌名

DOI

ISBN

データソース

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

発明者名

権利者名

産業財産権種類

産業財産権番号

出願年月日

データソース

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

著者名/発表者名

学会等名

データソース

[学会発表] Exact and Efficient Network Reliability Evaluation per Outage Scale2023

著者名/発表者名

学会等名

データソース

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

著者名/発表者名

学会等名

データソース

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

著者名/発表者名

学会等名

データソース

[学会発表] Designing Benchmarks for the International Competition on Graph Counting Algorithm2023

著者名/発表者名

学会等名

データソース

[学会発表] DPS: A Framework for Deterministic Parallel SAT Solvers2022

著者名/発表者名

学会等名

データソース

[学会発表] Exact and Scalable Network Reliability Evaluation for Probabilistic Correlated Failures.2022

著者名/発表者名

学会等名

データソース

[学会発表] Impact of Link Availability Uncertainty on Network Reliability: Analyses with Variances.2022

著者名/発表者名

学会等名

データソース

[学会発表] DPS-Kissat2022

著者名/発表者名

学会等名

データソース

[学会発表] Efficient Network Reliability Evaluation for Client-Server Model.2021

著者名/発表者名

学会等名

データソース

[学会発表] Towards CEGAR-based Parallel SAT Solving2021

著者名/発表者名

学会等名

データソース

井上武 Inoue Takeru