• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

井上 武  Inoue Takeru

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

    (1件)
  • 研究成果

    (14件)
  • 共同研究者

    (8人)
  •  社会を志向した革新的アルゴリズムの実装

    • 研究代表者
      安田 宜仁
    • 研究期間 (年度)
      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件

URL: 

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi