• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Development of Next-generation Semi-Structured Data Mining Technology Towards The Real-World Knowledge Creation Infrastructure

Research Project

Project/Area Number 20H00595
Research Category

Grant-in-Aid for Scientific Research (A)

Allocation TypeSingle-year Grants
Section一般
Review Section Medium-sized Section 61:Human informatics and related fields
Research InstitutionHokkaido University

Principal Investigator

有村 博紀  北海道大学, 情報科学研究院, 教授 (20222763)

Co-Investigator(Kenkyū-buntansha) 宇野 毅明  国立情報学研究所, 情報学プリンシプル研究系, 教授 (00302977)
平田 耕一  九州工業大学, 大学院情報工学研究院, 教授 (20274558)
山本 章博  京都大学, 情報学研究科, 教授 (30230535)
ジョーダン チャールズハロルド  小樽商科大学, 商学部, 准教授 (60647577)
小林 靖明  北海道大学, 情報科学研究院, 准教授 (60735083)
喜田 拓也  北海学園大学, 工学部, 教授 (70343316)
Project Period (FY) 2020-04-01 – 2025-03-31
Project Status Granted (Fiscal Year 2024)
Budget Amount *help
¥44,200,000 (Direct Cost: ¥34,000,000、Indirect Cost: ¥10,200,000)
Fiscal Year 2024: ¥7,670,000 (Direct Cost: ¥5,900,000、Indirect Cost: ¥1,770,000)
Fiscal Year 2023: ¥7,670,000 (Direct Cost: ¥5,900,000、Indirect Cost: ¥1,770,000)
Fiscal Year 2022: ¥7,670,000 (Direct Cost: ¥5,900,000、Indirect Cost: ¥1,770,000)
Fiscal Year 2021: ¥10,790,000 (Direct Cost: ¥8,300,000、Indirect Cost: ¥2,490,000)
Fiscal Year 2020: ¥10,400,000 (Direct Cost: ¥8,000,000、Indirect Cost: ¥2,400,000)
Keywords離散構造学習 / 大規模半構造データ / 次世代機械学習技術 / データマイニング / 知識基盤形成
Outline of Research at the Start

本研究では,実世界知識基盤形成の中核技術として,実世界と情報世界の大規模半構造データに内在する知識をパターンや規則として取り出せる超高速マイニング技術を理論と実装の両面から研究開発する.とくに申請者等がこれまでに開発した高速最適化半構造データマイニングの枠組みを一般化し,最新の機械学習理論と離散最適化技術に基づいて拡張し,解釈性の高い離散的な予測モデル族に対して,分類精度に加え,公平性や安定性等の多様な機械学習問題を効率よく解くことができる超高速な離散構造学習技術を開発する.さらに,現実の多様な半構造データに適用するための周辺技術を開発し,知識基盤形成支援のアーキテクチャと実装技術を確立する.

Outline of Annual Research Achievements

本年度は、以下の研究成果を得た。
(a) 半構造データからの知識獲得に関して、小林は、グラフ上の最適化問題の解空間を扱う複数のアプローチを研究し、解空間の組合せ遷移問題(連結性)、列挙問題、解の多様性最大化問題に取り組み、国際会議MFCS、AAAI, WALCOM等で発表を行い、国際会議 WALCOM 2024 で Best Paper Award を受賞した.山本は、大規模言語モデル (LLM) を用いたプログラム自動修正の高信頼性検証においてモデル推論システムに基づく学習法、有限状態機械を用いた強化学習法、Graph NNのための反実仮想説明手法を提案した。Jordanは、論理を用いて各種の関係構造とクエリを実現可能な汎用ソフトウェアライブラリ"de"の改訂版を構築し、公開した。
(b)周辺技術に関して、有村と宇野は、最長共通部分列 の多様解問題を考察し、計算困難性と各種の厳密解法と近似解法を与えた(CPM2024に採択済)。宇野は、DAGを用いて極大共有文字列を効率的にデータベース化・検索するアルゴリズムとデータ構造を開発し、圧縮アルゴリズムの最適圧縮の計算困難性を証明し、成果を国際学会ISAAC、CPMで発表した。喜田は、整数符号化の調査・評価を行い、展開速度の観点からフィボナッチ符号の各種イライアス符号に対する優位性を示した。
(c) 知識基盤形成技術の実証に関して、全員が実装と評価に取り組んだ。とくに平田は、感染症分野におけるグラム染色画像からの菌画像検出に取り組み、1000倍視野相当の画像品質を100倍視野の白血球と扁平上皮細胞の数で判定する分類方式を画像分類と物体検出に適用し、十分な性能をもつ注釈不要の画像分類を実現し、国際会議ESKM2023のHonorable Mention Awardと第一著者の学生が国内集会の学会奨励賞を受賞した。

Current Status of Research Progress
Current Status of Research Progress

2: Research has progressed on the whole more than it was originally planned.

Reason

本年度は,各研究項目のグループごとに,担当の研究分担者によって研究打ち合わせを実施しながら,研究推進を行なった.その際に,必要に応じてグループ間の研究打ち合わせ等をオンラインまたは対面で実施した.国内・国外研究集会での成果発表については,コロナ感染対応以降広まってきた,オンライン参加と対面参加を事情に合わせて選択して実施した.全体として,離散構造を中心として,大規模版構造データからの新しい知識獲得問題に取り組み,成果を得ることができた.

Strategy for Future Research Activity

最終年度となる次年度は,知識基盤形成にむけた大規模半構造データからの効率良い知識獲得手法について,研究成果をとりまとめる.そのために,従来通り,研究打ち合わせ等をオンラインと対面の両方で実施し,国内・国外研究集会での成果発表を行いつつ,横断的な議論のための研究集会の開催等もまじえて,研究を進める.各研究項目における研究推進は,従前通り実施する.以上により,研究まとめに向けた研究推進を行う予定である.

Report

(5 results)
  • 2023 Annual Research Report
  • 2022 Annual Research Report
  • 2021 Annual Research Report
  • 2020 Comments on the Screening Results   Annual Research Report
  • Research Products

    (108 results)

All 2024 2023 2022 2021 2020 2019 Other

All Int'l Joint Research (4 results) Journal Article (56 results) (of which Int'l Joint Research: 9 results,  Peer Reviewed: 52 results,  Open Access: 13 results) Presentation (39 results) (of which Int'l Joint Research: 1 results,  Invited: 1 results) Book (7 results) Remarks (2 results)

  • [Int'l Joint Research] University of Pisa(イタリア)

    • Related Report
      2022 Annual Research Report
  • [Int'l Joint Research] National Inst of Sci., Edu. and Res.(インド)

    • Related Report
      2022 Annual Research Report
  • [Int'l Joint Research] Universite Clermont Auvergne(フランス)

    • Related Report
      2021 Annual Research Report
  • [Int'l Joint Research] University of Pisa(イタリア)

    • Related Report
      2021 Annual Research Report
  • [Journal Article] Structural Parameterizations of Vertex Integrity2024

    • Author(s)
      Tatsuya Gima, Tesshu Hanaka, Yasuaki Kobayashi, Ryota Murai, Hirotaka Ono, Yota Otachi
    • Journal Title

      Lecture Notes in Computer Science, Proc. WALCOM 2024

      Volume: 14549 Pages: 406-420

    • Related Report
      2023 Annual Research Report
    • Peer Reviewed
  • [Journal Article] On the Complexity of List H-Packing for Sparse Graph Classes2024

    • Author(s)
      Tatsuya Gima, Tesshu Hanaka, Yasuaki Kobayashi, Yota Otachi, Tomohito Shirai, Akira Suzuki, Yuma Tamura, Xiao Zhou
    • Journal Title

      Lecture Notes in Computer Science, Proc. WALCOM 2024

      Volume: 14549 Pages: 421-435

    • Related Report
      2023 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Theoretical Aspects of Generating Instances with Unique Solutions: Pre-assignment Models for Unique Vertex Cover2024

    • Author(s)
      Takashi Horiyama, Yasuaki Kobayashi, Hirotaka Ono, Kazuhisa Seto, Ryu Suzuki
    • Journal Title

      Proc. the 38th Annual AAAI Conference on Artificial Intelligence (AAAI 2024)

      Volume: 38 Pages: 20726-20734

    • Related Report
      2023 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Fast Filtering for Similarity Search Using Conjunctive Enumeration of Sketches in Order of Hamming Distance2024

    • Author(s)
      Naoya Higuchi, Yasunobu Imamura, Vladimir Mic, Takeshi Shinohara, Kouichi Hirata, Tetsuji Kuboyama
    • Journal Title

      Proc. 13th Internationa Conference on Pattern Recognition Applications and Methods (ICPRAM2024)

      Pages: 499-510

    • Related Report
      2023 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Subcaterpillar Isomorphism: Subtree Isomorphism for Rooted Labeled Caterpillars2024

    • Author(s)
      Tomoya Miyazaki, Kouichi Hirata
    • Journal Title

      Recent Advances in Computational Optimization. Selected Papers from the WCO 2022, Studies in Computational Intelligence

      Volume: 1158 Pages: 110-140

    • Related Report
      2023 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Optimally Computing Compressed Indexing Arrays Based on the Compact Directed Acyclic Word Graph2023

    • Author(s)
      Hiroki Arimura, Shunsuke Inenaga, Yasuaki Kobayashi, Yuto Nakashima, Mizuki Sue
    • Journal Title

      Lecture Notes in Computer Science, Proc. SPIRE2023,

      Volume: 14240 Pages: 28-34

    • Related Report
      2023 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Reconfiguration of Time-Respecting Arborescences2023

    • Author(s)
      Takehiro Ito, Yuni Iwamasa, Naoyuki Kamiyama, Yasuaki Kobayashi, Yusuke Kobayashi, Shun-ichi Maezawa, Akira Suzuki
    • Journal Title

      Lecture Notes in Computer Science, Proc. WADS 2023

      Volume: 14079 Pages: 521-532

    • Related Report
      2023 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Polynomial-Delay Enumeration of Large Maximal Common Independent Sets in Two Matroids2023

    • Author(s)
      Yasuaki Kobayashi, Kazuhiro Kurita, Kunihiro Wasa
    • Journal Title

      Proc. the 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023), Leibniz International Proceedings in Informatics (LIPIcs)

      Volume: 272

    • Related Report
      2023 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Sufficient Algorithm for Inclusion of Pattern Caterpillar in Text Tree2023

    • Author(s)
      Daisuke Abe, Tomoya Miyazaki, Kouichi Hirata
    • Journal Title

      Proc. 15th International Conference on E-Service and Knowledge Management (ESKM 2023)

      Pages: 128-131

    • Related Report
      2023 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Distance-Based Analysis of Positions in Amino Acid Sequences for Structural Proteins of SARS-CoV-2 Delta and Omicron Variants2023

    • Author(s)
      Ryota Nagashima, Uran Yamamoto, Kouichi Hirata
    • Journal Title

      Proc. 15th International Conference on E-Service and Knowledge Management (ESKM 2023)

      Volume: - Pages: 39-44

    • Related Report
      2023 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Detecting Infectious Disease-Causing Bacteria from Gram Stained Smears Images2023

    • Author(s)
      Ukyo Kashino, Syoma Terada, Kouichi Hirata
    • Journal Title

      Proc. 15th International Conference on E-Service and Knowledge Management (ESKM 2023)

      Volume: - Pages: 13-18

    • Related Report
      2023 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Predicting Geckler Classification from Gram Stained Smears Images for Sputum: Image Classification versus Object Detection2023

    • Author(s)
      Hitoshi Sugimoto, Ryotaro Funatsu, Kouichi Hirata
    • Journal Title

      Proc. 15th International Conference on E-Service and Knowledge Management (ESKM 2023)

      Volume: - Pages: 122-127

    • Related Report
      2023 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] A Compact DAG for Storing and Searching Maximal Common Subsequences2023

    • Author(s)
      Alessio Conte, Roberto Grossi, Giulia Punzi, Takeaki Uno
    • Journal Title

      ISAAC2023

      Pages: 1-15

    • Related Report
      2023 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Optimal LZ-End Parsing Is Hard2023

    • Author(s)
      Hideo Bannai, Mitsuru Funakoshi, Kazuhiro Kurita, Yuto Nakashima, Kazuhisa Seto, Takeaki Uno
    • Journal Title

      CPM2023

      Pages: 3-11

    • Related Report
      2023 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Enumerating Empty and Surrounding Polygons2023

    • Author(s)
      TERUI Shunta, YAMANAKA Katsuhisa, HIRAYAMA Takashi, HORIYAMA Takashi, KURITA Kazuhiro, UNO Takeaki
    • Journal Title

      IEICE Transactions on Fundamentals of Electronics

      Volume: E106.A Pages: 1082-1091

    • Related Report
      2023 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 組合せゲームにおけるアルゴリズムと計算量2023

    • Author(s)
      小林 靖明
    • Journal Title

      オペレーションズ・リサーチ

      Volume: 68巻3号 Pages: 131-137

    • Related Report
      2022 Annual Research Report
  • [Journal Article] Subcaterpillar Isomorphism between Caterpillars: Subtree Isomorphism Restricted Text and Pattern Trees To Caterpillars2023

    • Author(s)
      Tomoya Miyazaki, Kouichi Hirata
    • Journal Title

      Proc. ICPRAM 2023

      Volume: -

    • Related Report
      2022 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Correlated Mutations of Positions among Structural Proteins in Delta and Omicron Variants for SARS-CoV-2 Amino Acid Sequences2023

    • Author(s)
      Yuichi Shimaya, Kouichi Hirata
    • Journal Title

      Proc. ICPRAM2023

      Volume: -

    • Related Report
      2022 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 微生物検査領域における人工知能導入の可能性2023

    • Author(s)
      平田耕一
    • Journal Title

      検査と技術

      Volume: 51(1)

    • Related Report
      2022 Annual Research Report
  • [Journal Article] Cartesian Tree Subsequence Matching2022

    • Author(s)
      Tsubasa Oizumi, Takeshi Kai, Takuya Mieno, Shunsuke Inenaga, Hiroki Arimura
    • Journal Title

      Proc. the 33rd Annual Symposium on Combinatorial Pattern Matching (CPM 2022), Leibniz International Proceedings in Informatics (LIPIcs)

      Volume: LIPIcs223

    • Related Report
      2022 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Computing the Collection of Good Models for Rule Lists2022

    • Author(s)
      Kota Mata, Kentaro Kanamori, Hiroki Arimura
    • Journal Title

      Proc. the 18th International Conference on Machine Learning and Data Mining (MLDM 2022)

      Volume: -

    • Related Report
      2022 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Enumeration of Maximal Common Subsequences Between Two Strings2022

    • Author(s)
      Conte Alessio、Grossi Roberto、Punzi Giulia、Uno Takeaki
    • Journal Title

      Algorithmica

      Volume: 84 Issue: 3 Pages: 757-783

    • DOI

      10.1007/s00453-021-00898-5

    • Related Report
      2022 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Linear-Delay Enumeration for Minimal Steiner Problems2022

    • Author(s)
      Kobayashi Yasuaki、Kurita Kazuhiro、Wasa Kunihiro
    • Journal Title

      Proceedings of PODS 2022

      Volume: - Pages: 323-354

    • Related Report
      2022 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Reconfiguration of Regular Induced Subgraphs2022

    • Author(s)
      Hiroshi Eto, Takehiro Ito, Yasuaki Kobayashi, Yota Otachi, Kunihiro Wasa
    • Journal Title

      Proceedings of WALCOM 2022, LNCS

      Volume: vol. 13174 Pages: 35-46

    • Related Report
      2022 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Computing Diverse Shortest Paths Efficiently: A Theoretical and Experimental Study2022

    • Author(s)
      Tesshu Hanaka, Yasuaki Kobayashi, Kazuhiro Kurita, See Woo Lee, Yota Otachi
    • Journal Title

      Proceedings of AAAI 2022

      Volume: 36(4) Pages: 3758-3766

    • Related Report
      2022 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Polynomial-Delay Enumeration of Large Maximal Matchings2022

    • Author(s)
      Yasuaki Kobayashi, Kazuhiro Kurita, Kunihiro Wasa
    • Journal Title

      Proceedings of WG 2022, LNCS

      Volume: vol. 13453 Pages: 342-355

    • NAID

      130008051609

    • Related Report
      2022 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Algorithmic Meta-Theorems for Combinatorial Reconfiguration Revisited2022

    • Author(s)
      Tatsuya Gima, Takehiro Ito, Yasuaki Kobayashi, Yota Otachi
    • Journal Title

      Proceedings of ESA 2022, LIPIcs

      Volume: vol. 244, 61 Pages: 1-15

    • Related Report
      2022 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Parameterized Complexity of Non-Separating and Non-Disconnecting Paths and Sets2022

    • Author(s)
      Ankit Abhinav, Susobhan Bandopadhyay, Aritra Banik, Yasuaki Kobayashi, Shunsuke Nagano, Yota Otachi, Saket Saurabh
    • Journal Title

      Proceedings of MFCS 2022, LIPIcs

      Volume: vol. 241, 6 Pages: 1-15

    • Related Report
      2022 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [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

      In Proceedings of MFCS 2022, LIPIcs

      Volume: vol. 241, 58 Pages: 1-15

    • Related Report
      2022 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Exploring the gap between treedepth and vertex cover through vertex integrity2022

    • Author(s)
      Gima Tatsuya、Hanaka Tesshu、Kiyomi Masashi、Kobayashi Yasuaki、Otachi Yota
    • Journal Title

      Theoretical Computer Science

      Volume: 918 Pages: 60-76

    • DOI

      10.1016/j.tcs.2022.03.021

    • Related Report
      2022 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Parameterized Complexity of Graph Burning2022

    • Author(s)
      Kobayashi Yasuaki、Otachi Yota
    • Journal Title

      Algorithmica

      Volume: 84 Issue: 8 Pages: 2379-2393

    • DOI

      10.1007/s00453-022-00962-8

    • Related Report
      2022 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] An Improved Deterministic Parameterized Algorithm for Cactus Vertex Deletion2022

    • Author(s)
      Aoike Yuuki、Gima Tatsuya、Hanaka Tesshu、Kiyomi Masashi、Kobayashi Yasuaki、Kobayashi Yusuke、Kurita Kazuhiro、Otachi Yota
    • Journal Title

      Theory of Computing Systems

      Volume: 66 Issue: 2 Pages: 502-515

    • DOI

      10.1007/s00224-022-10076-x

    • Related Report
      2022 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] 多様な組合せを求めるアルゴリズム論的アプローチ2022

    • Author(s)
      小林 靖明
    • Journal Title

      システム/制御/情報

      Volume: 66巻11号

    • Related Report
      2022 Annual Research Report
  • [Journal Article] Subcaterpillar Isomorphism: Subtree Isomorphism Restricted Pattern Trees to Caterpillars2022

    • Author(s)
      Tomoya Miyazaki, Kouichi Hirata
    • Journal Title

      Proc. FedCSIS 2022

      Volume: -

    • Related Report
      2022 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Segmental Distance between Rooted Labeled Caterpillars2022

    • Author(s)
      Manami Hagihara, Tomoya Miyazaki, Kouichi Hirata
    • Journal Title

      Proc. ESKM 2022

      Volume: -

    • Related Report
      2022 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Classifying Gram Positive Cocci and Gram Negative Bacilli in Gram Stained Smear Images2022

    • Author(s)
      Ibuki Kawano, Eri Kurumida, Syoma Terada, Kouichi Hirata
    • Journal Title

      Proc. ESKM 2022

      Volume: -

    • Related Report
      2022 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Object Detection as Gram Positive Cocci in Gram Stained Smear Images2022

    • Author(s)
      Hitoshi Sugimoto, Kouichi Hirata
    • Journal Title

      Proc. ESKM 2022

      Volume: -

    • Related Report
      2022 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Event Time Extraction from Japanese News Archives2022

    • Author(s)
      Siqi Peng, Akihiro Yamamoto, Shinsuke Mori, Tatsuki Sekino:
    • Journal Title

      IEEE International Conference on Big Data

      Volume: - Pages: 2556-2564

    • Related Report
      2022 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Caterpillar Inclusion: Inclusion Problem for Rooted Labeled Caterpillars2022

    • Author(s)
      Tomoya Miyazaki, Manami Hagihara, Kouichi Hirata:
    • Journal Title

      Proc. ICPRAM 2022

      Volume: - Pages: 280-287

    • DOI

      10.5220/0010826300003122

    • Related Report
      2021 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Computing the Variations of Edit Distance for Rooted Labaled Caterpillars2022

    • Author(s)
      Hagihara Manami、Yoshino Takuya、Hirata Kouich
    • Journal Title

      Proc. ICPRAM 2022

      Volume: - Pages: 272-279

    • DOI

      10.5220/0010826100003122

    • Related Report
      2021 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Object Detection as Campylobacter Bacteria and Phagocytotic Activity of Leukocytes in Gram Stained Smears Images2022

    • Author(s)
      Yoshihara Kyohei、Hirata Kouich
    • Journal Title

      Proc. ICPRAM 2022

      Volume: - Pages: 534-541

    • DOI

      10.5220/0010813800003122

    • Related Report
      2021 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Distribution-Aware Counterfactual Explanation by Mixed-Integer Linear Optimization2021

    • Author(s)
      Kanamori Kentaro、Takagi Takuya、Kobayashi Ken、Arimura Hiroki
    • Journal Title

      Transactions of the Japanese Society for Artificial Intelligence

      Volume: 36 Issue: 6 Pages: C-L44_1-12

    • DOI

      10.1527/tjsai.36-6_C-L44

    • NAID

      130008110420

    • ISSN
      1346-0714, 1346-8030
    • Year and Date
      2021-11-01
    • Related Report
      2021 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Fairness-Aware Decision Tree Editing Based on Mixed- Integer Linear Optimization2021

    • Author(s)
      Kanamori Kentaro、Arimura Hiroki
    • Journal Title

      Transactions of the Japanese Society for Artificial Intelligence

      Volume: 36 Issue: 4 Pages: B-L13_1-10

    • DOI

      10.1527/tjsai.36-4_B-L13

    • NAID

      130008060598

    • ISSN
      1346-0714, 1346-8030
    • Year and Date
      2021-07-01
    • Related Report
      2021 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Parameterized Complexity of $$(A,\ell )$$-Path Packing2021

    • Author(s)
      Belmonte Remy、Hanaka Tesshu、Kanzaki Masaaki、Kiyomi Masashi、Kobayashi Yasuaki、Kobayashi Yusuke、Lampis Michael、Ono Hirotaka、Otachi Yota
    • Journal Title

      Algorithmica

      Volume: 84 Issue: 4 Pages: 871-895

    • DOI

      10.1007/s00453-021-00875-y

    • Related Report
      2022 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Efficient enumeration of dominating sets for sparse graphs2021

    • Author(s)
      Kurita Kazuhiro、Wasa Kunihiro、Arimura Hiroki、Uno Takeaki
    • Journal Title

      Discrete Applied Mathematics

      Volume: 303 Pages: 283-295

    • DOI

      10.1016/j.dam.2021.06.004

    • Related Report
      2021 Annual Research Report
    • Peer Reviewed
  • [Journal Article] A constant amortized time enumeration algorithm for independent sets in graphs with bounded clique number2021

    • Author(s)
      Kurita Kazuhiro、Wasa Kunihiro、Uno Takeaki、Arimura Hiroki
    • Journal Title

      Theoretical Computer Science

      Volume: - Pages: 32-41

    • DOI

      10.1016/j.tcs.2021.05.008

    • Related Report
      2021 Annual Research Report
    • Peer Reviewed
  • [Journal Article] On the dualization in distributive lattices and related problems2021

    • Author(s)
      Defrain Oscar、Nourine Lhouari、Uno Takeaki
    • Journal Title

      Discrete Applied Mathematics

      Volume: 300 Pages: 85-96

    • DOI

      10.1016/j.dam.2021.04.018

    • Related Report
      2021 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] An efficient algorithm for mining frequent items from a data stream2021

    • Author(s)
      Toriyabe, N., Kida, T.
    • Journal Title

      工学研究:北海学園大学大学院工学研究科紀要

      Volume: 第21号

    • Related Report
      2021 Annual Research Report
  • [Journal Article] Detecting Campylobacter Bacteria and Phagocytotic Activity of Leukocytes from Gram Stained Smears Images2021

    • Author(s)
      Yoshihara Kyohei、Hirata Kouichi
    • Journal Title

      Proc. ESKM 2021

      Volume: - Pages: 10-15

    • DOI

      10.1109/iiai-aai53430.2021.00002

    • Related Report
      2021 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Trim Distance between Positions in Nucleotide Sequences for Structural Proteins of SARS-CoV-22021

    • Author(s)
      Yonashiro Kan、Hirata Kouichi
    • Journal Title

      Proc. ESKM 2021

      Volume: - Pages: 01-06

    • DOI

      10.1109/iiai-aai53430.2021.00006

    • Related Report
      2021 Annual Research Report
    • Peer Reviewed
  • [Journal Article] HTML-LSTM: Information Extraction from HTML Tables in Web Pages Using Tree-Structured LSTM2021

    • Author(s)
      Kawamura Kazuki、Yamamoto Akihiro
    • Journal Title

      Discovery Science - 24th International Conference, DS 2021, Lecture Notes in Computer Science

      Volume: 12986 Pages: 29-43

    • DOI

      10.1007/978-3-030-88942-5_3

    • ISBN
      9783030889418, 9783030889425
    • Related Report
      2021 Annual Research Report
    • Peer Reviewed
  • [Journal Article] DACE: Distribution-Aware Counterfactual Explanation by Mixed-Integer Linear Optimization2021

    • Author(s)
      #Kentaro Kanamori, Takuya Takagi, Ken Kobayashi, Hiroki Arimura
    • Journal Title

      Proc. the 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI-PRICAI 2020)

      Volume: - Pages: 2855-2862

    • Related Report
      2020 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Ordered Counterfactual Explanation by Mixed-Integer Linear Optimization.2021

    • Author(s)
      Kentaro Kanamori, Takuya Takagi, Ken Kobayashi, Yuichi Ike, Kento Uemura, Hiroki Arimura
    • Journal Title

      Proceedings of the AAAI Conference on Artificial Intelligence

      Volume: 35(13) Pages: 11564-11574

    • Related Report
      2020 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Maximal strongly connected cliques in directed graphs: Algorithms and bounds2020

    • Author(s)
      Alessio Conte, Mamadou Moustapha Kante;, Takeaki Uno, Kunihiro Wasa
    • Journal Title

      Discrete Applied Mathematics

      Volume: in press Pages: 237-252

    • DOI

      10.1016/j.dam.2020.05.027

    • Related Report
      2021 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Fully-Online Suffix Tree and Directed Acyclic Word Graph Construction for Multiple Texts.2020

    • Author(s)
      Takuya Takagi, Shunsuke Inenaga, Hiroki Arimura, Dany Breslauer, Diptarama Hendrian
    • Journal Title

      Algorithmica

      Volume: 82(5) Pages: 1346-1377

    • Related Report
      2020 Annual Research Report
    • Peer Reviewed
  • [Journal Article] mts: a light framework for parallelizing tree search codes2019

    • Author(s)
      David Avis, Charles Jordan
    • Journal Title

      Optimization Methods and Software

      Volume: online Issue: 2-3 Pages: 1-22

    • DOI

      10.1080/10556788.2019.1692344

    • Related Report
      2021 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Presentation] List Variants of Packing Problems on Sparse Graphs2024

    • Author(s)
      Tatsuya Gima, Tesshu Hanaka, Yasuaki Kobayashi, Yota Otachi, Tomohito Shirai, Akira Suzuki, Yuma Tamura, Xiao Zhou
    • Organizer
      第196回アルゴリズム研究会,情報処理学会
    • Related Report
      2023 Annual Research Report
  • [Presentation] 極小シュタイナー多点対頂点カット列挙の計算困難性2024

    • Author(s)
      小林靖明,栗田和宏
    • Organizer
      2023年度冬のLAシンポジウム
    • Related Report
      2023 Annual Research Report
  • [Presentation] Computing diverse pair of solutions for SAT2024

    • Author(s)
      儀間達也,岩政勇仁,小林靖明,栗田和宏,大舘陽太,斉藤凛
    • Organizer
      2023年度冬のLAシンポジウム
    • Related Report
      2023 Annual Research Report
  • [Presentation] Hardness of Uniquifying Minimum Vertex Covers and Minimum Dominating Sets under Pre-assignments2024

    • Author(s)
      堀山貴史,小林靖明,小野廣隆,脊戸和寿,鈴木琉
    • Organizer
      電子情報通信学会総合大会 COMP-AFSA学生シンポジウム
    • Related Report
      2023 Annual Research Report
  • [Presentation] Computing diverse pair of solutions for SAT2024

    • Author(s)
      儀間達也,岩政勇仁,小林靖明,栗田和宏,大舘陽太,斉藤凛
    • Organizer
      電子情報通信学会総合大会 COMP-AFSA学生シンポジウム
    • Related Report
      2023 Annual Research Report
  • [Presentation] 感染症微生物画像のAI解析システムの開発(さまざまな感染症起炎菌の検出)-(6)2024

    • Author(s)
      平田耕一, 横山茂樹, 松岡喜美子, 舘田一博, 賀来満夫
    • Organizer
      第35回日本臨床微生物学会総会・学術大会
    • Related Report
      2023 Annual Research Report
  • [Presentation] 根付きラベル付き木の編集距離を近似する先祖パス子孫ラベルヒストグラム距離2024

    • Author(s)
      阿部大祐, 平田耕一
    • Organizer
      火の国情報シンポジウム2024
    • Related Report
      2023 Annual Research Report
  • [Presentation] グラム染色画像からの抗酸菌の検出2024

    • Author(s)
      中城龍之介, 平田耕一
    • Organizer
      火の国情報シンポジウム2024
    • Related Report
      2023 Annual Research Report
  • [Presentation] グラム染色画像からの感染症起炎菌の検出2024

    • Author(s)
      菓子野右京, 平田耕一
    • Organizer
      火の国情報シンポジウム2024
    • Related Report
      2023 Annual Research Report
  • [Presentation] 大規模言語モデルによるプログラム自動修正の摂動を用いた信頼性検証2024

    • Author(s)
      石倉 優資,山本 章博
    • Organizer
      第26回プログラミングおよびプログラミング言語ワークショップ(PPL 2024)
    • Related Report
      2023 Annual Research Report
  • [Presentation] DFA と SAT を用いた非マルコフ報酬強化学習2024

    • Author(s)
      藤永 淳太,山本 章博
    • Organizer
      人工知能学会 第128回人工知能基本問題研究会
    • Related Report
      2023 Annual Research Report
  • [Presentation] Non-subgraph Counterfactual Explanation for Node Classification Graph Neural Networks2024

    • Author(s)
      MA JIALI,山本 章博
    • Organizer
      人工知能学会 第128回人工知能基本問題研究会
    • Related Report
      2023 Annual Research Report
  • [Presentation] NP-completeness of Computing Pre-assignments to Uniquify Vertex Cover for Bipartite Graphs2023

    • Author(s)
      Ryu Suzuki, Yasuaki Kobayashi, Kazuhisa Seto, Takashi Horiyama
    • Organizer
      2023年夏のLAシンポジウム
    • Related Report
      2023 Annual Research Report
  • [Presentation] 時間制約付き有向木の遷移2023

    • Author(s)
      伊藤健洋,岩政勇仁,神山直之,小林靖明,小林佑輔,前澤俊一,鈴木顕
    • Organizer
      2023年度夏のLAシンポジウム
    • Related Report
      2023 Annual Research Report
  • [Presentation] 多様な最短経路を求める固定パラメータアルゴリズム2023

    • Author(s)
      舟山諒,小林靖明
    • Organizer
      2023年度夏のLAシンポジウム
    • Related Report
      2023 Annual Research Report
  • [Presentation] Enumerating minimal vertex covers and dominating sets with capacity and/or connectivity constraints2023

    • Author(s)
      Yasuaki Kobayashi, Kazuhiro Kurita, Yasuko Matsui, Hirotaka Ono
    • Organizer
      コンピュテーション研究会,電子情報通信学会
    • Related Report
      2023 Annual Research Report
  • [Presentation] 要素数制約付き極大マトロイド共通独立集合の多項式遅延列挙2023

    • Author(s)
      小林靖明,栗田和宏,和佐州洋
    • Organizer
      2023年秋季研究発表会&シンポジウム,日本オペレーションズ・リサーチ学会
    • Related Report
      2023 Annual Research Report
  • [Presentation] 連結制約のある頂点符号付きグラフ分割問題の緩和問題に対する高速なアルゴリズム2023

    • Author(s)
      藤原優,吉岡和希,小林靖明
    • Organizer
      第126回人工知能基本問題研究会,人工知能学会
    • Related Report
      2023 Annual Research Report
  • [Presentation] 要素数制約付き極小辺被覆の多項式遅延列挙2023

    • Author(s)
      小林靖明,栗田和宏
    • Organizer
      第126回人工知能基本問題研究会,人工知能学会
    • Related Report
      2023 Annual Research Report
  • [Presentation] 多様な最短経路を求める固定パラメータアルゴリズム2023

    • Author(s)
      舟山諒,小林靖明
    • Organizer
      コンピュテーション研究会,電子情報通信学会
    • Related Report
      2023 Annual Research Report
  • [Presentation] 弦グラフの部分クラスにおける極大誘導部分グラフ列挙への多項式遅延アルゴリズム2023

    • Author(s)
      佐藤嶺,小林靖明,栗田和宏,和佐州洋
    • Organizer
      コンピュテーション研究会,電子情報通信学会
    • Related Report
      2023 Annual Research Report
  • [Presentation] 文字列集合に対する多様な最長共通部分列の発見2023

    • Author(s)
      志田祐仁,小林靖明,有村博紀
    • Organizer
      コンピュテーション研究会,電子情報通信学会
    • Related Report
      2023 Annual Research Report
  • [Presentation] 感染症微生物画像のAI解析システムの開発(抗酸菌の分類と検出)2023

    • Author(s)
      平田耕一,横山茂樹,松岡貴美子,舘田一博,賀来満夫
    • Organizer
      第34回日本臨床微生物学会総会・学術集会
    • Related Report
      2022 Annual Research Report
  • [Presentation] 一般化階層をもつ関係データベース上の閉パターンの発見2022

    • Author(s)
      有村 博紀, 田口 尚生, 王 叶
    • Organizer
      人工知能学会 2022年度人工知能学会全国大会 (JSAI2022)
    • Related Report
      2022 Annual Research Report
  • [Presentation] 論理、QBFと計算量2022

    • Author(s)
      ジョーダン チャールズ
    • Organizer
      小樽社情研究会,小樽商科大学
    • Related Report
      2022 Annual Research Report
  • [Presentation] 類似度指標のラベル付き有向グラフへの拡張2022

    • Author(s)
      松原徳秀,山本 章博
    • Organizer
      第121回人工知能基本問題研究会,(SIG-FPAI),人工知能学会
    • Related Report
      2022 Annual Research Report
  • [Presentation] 半順序集合の弱埋め込み問題に対するパラメータ化アルゴリズム2022

    • Author(s)
      宮﨑怜子,有村博紀,小林靖明
    • Organizer
      コンピュテーション(COMP)研究会, 電子情報通信学会,愛媛大学
    • Related Report
      2022 Annual Research Report
  • [Presentation] コンパクト非巡回語グラフに基づく連長圧縮Burrows-Wheeler変換の効率良い構築2022

    • Author(s)
      須江瑞樹,小林靖明,有村博紀,中島祐人,稲永俊介
    • Organizer
      コンピュテーション(COMP)研究会, 電子情報通信学会,愛媛大学
    • Related Report
      2022 Annual Research Report
  • [Presentation] デカルト木部分列照合問題の高速なアルゴリズム2022

    • Author(s)
      大泉 翼,有村博紀
    • Organizer
      アルゴリズム(AL)研究会情報処理学会, 2022-AL-186
    • Related Report
      2021 Annual Research Report
  • [Presentation] 感染症微生物画像のAI解析システムの開発(白血球貪食の検出)2022

    • Author(s)
      平田耕一,横山茂樹,松岡貴美子,舘田一博,賀来満夫
    • Organizer
      第33回日本臨床微生物学会総会・学術集会
    • Related Report
      2021 Annual Research Report
  • [Presentation] ルールリストに対するRashomon集合の厳密計算と予測多重性解析2021

    • Author(s)
      又 康太, 金森 憲太朗, 有村 博紀
    • Organizer
      第24回情報論的学習理論ワークショップ (IBIS 2021)
    • Related Report
      2021 Annual Research Report
  • [Presentation] デカルト木照合の部分系列への拡張2021

    • Author(s)
      加井丈志,光吉健汰,古谷 勇,有村博紀
    • Organizer
      コンピュテーション(COMP)研究会, 電子情報通信学会
    • Related Report
      2021 Annual Research Report
  • [Presentation] クラスタリングアルゴリズムの水平展開2021

    • Author(s)
      宇野 毅明
    • Organizer
      第117回人工知能基本問題研究会,人工知能学会
    • Related Report
      2021 Annual Research Report
    • Invited
  • [Presentation] Max-Min dispersion on a Convex Polygon2021

    • Author(s)
      Yasuaki Kobayashi, Shin-ichi Nakano, Kei Uchizawa, Takeaki Uno, Yutaro Yamaguchi, Katsuhisa Yamanaka
    • Organizer
      Proceedings of the European Workshop on Computational Geometry (EuroCG 2021)
    • Related Report
      2021 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Variable Importance Cloudの要約方法と決定木に対する実験的評価2020

    • Author(s)
      又 康太, 金森 憲太朗, 有村 博紀
    • Organizer
      第第23回情報論的学習理論ワークショップ (IBIS 2020)
    • Related Report
      2020 Annual Research Report
  • [Presentation] 決定木アンサンブルにおける出現頻度比に基づく変数重要度2020

    • Author(s)
      又 康太, 金森 憲太朗, 有村 博紀
    • Organizer
      2020年度人工知能学会全国大会 (JSAI2020) 人工知能学会
    • Related Report
      2020 Annual Research Report
  • [Presentation] 混合整数線形計画法に基づく実現可能性を考慮した反事実的説明法2020

    • Author(s)
      金森 憲太朗, 高木 拓也, 小林 健, 有村 博紀
    • Organizer
      2020年度人工知能学会全国大会 (JSAI2020)
    • Related Report
      2020 Annual Research Report
  • [Presentation] 決定木要約の効率良い構築法 -- 説明可能な人工知能の実現に向けて --2020

    • Author(s)
      有村 博紀, 金森 憲太朗, 王 叶
    • Organizer
      2020年度人工知能学会全国大会 (JSAI2020)
    • Related Report
      2020 Annual Research Report
  • [Presentation] 一貫性に基づいた特徴選択のための高速な列挙アルゴリズム2020

    • Author(s)
      王 叶, 有村 博紀
    • Organizer
      第116回人工知能基本問題研究会(SIG-FPAI) 人工知能学会
    • Related Report
      2020 Annual Research Report
  • [Book] アルゴリズムな世界(第5回・終)データ量を減らせ : データの圧縮で活躍するアルゴリズム,Newton = ニュートン : graphic science magazine 41(14) 128-1312021

    • Author(s)
      宇野 毅明
    • Total Pages
      4
    • Publisher
      ニュートンプレス
    • Related Report
      2021 Annual Research Report
  • [Book] アルゴリズムな世界(第4回)データの特徴を探れ : 膨大なデータの分析に役立つアルゴリズム,Newton = ニュートン : graphic science magazine 41(11) 128-131(分担執筆)2021

    • Author(s)
      宇野 毅明
    • Total Pages
      4
    • Publisher
      ニュートンプレス
    • Related Report
      2021 Annual Research Report
  • [Book] アルゴリズムな世界(第3回)情報を効率よく探せ : 検索エンジンなどの技術にひそむアルゴリズム,Newton = ニュートン : graphic science magazine 41(10) 128-131(分担執筆)2021

    • Author(s)
      宇野 毅明
    • Total Pages
      4
    • Publisher
      ニュートンプレス
    • Related Report
      2021 Annual Research Report
  • [Book] アルゴリズムな世界(第2回)計算量を減らせ : アルゴリズムの真価は,計算量を劇的に減らすことにある,Newton = ニュートン : graphic science magazine 41(9) 120-123(分担執筆)2021

    • Author(s)
      宇野 毅明
    • Total Pages
      4
    • Publisher
      ニュートンプレス
    • Related Report
      2021 Annual Research Report
  • [Book] アルゴリズムな世界(第1回)最短経路を探せ : カーナビなどで利用される経路検索のアルゴリズム,Newton = ニュートン : graphic science magazine 41(7) 118-121(分担執筆)2021

    • Author(s)
      宇野 毅明
    • Total Pages
      4
    • Publisher
      ニュートンプレス
    • Related Report
      2021 Annual Research Report
  • [Book] Compression and Pattern Matching. In Sublinear Computation Paradigm2021

    • Author(s)
      Kida, T., Furuya, I.
    • Total Pages
      6
    • Publisher
      Springer, Singapore
    • Related Report
      2021 Annual Research Report
  • [Book] Special Issue of the Discovery Science, Machine Learning (共同編集)2020

    • Author(s)
      Takuya Kida, Tetsuji Kuboyama, Takeaki Uno, Akihiro Yamamoto
    • Total Pages
      134
    • Publisher
      Springer
    • Related Report
      2020 Annual Research Report
  • [Remarks] de (Descriptive Environment) home page

    • URL

      https://www.otaru-uc.ac.jp/~skip/sw/de/

    • Related Report
      2022 Annual Research Report
  • [Remarks] lrs home page: lrslib checkpred/redund (Jordan)

    • URL

      http://cgm.cs.mcgill.ca/~avis/C/lrs.html

    • Related Report
      2021 Annual Research Report

URL: 

Published: 2020-04-28   Modified: 2024-12-25  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi