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

2023 Fiscal Year Annual Research Report

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

Research Project

Project/Area Number 20H00595
Research InstitutionHokkaido University

Principal Investigator

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

Co-Investigator(Kenkyū-buntansha) 宇野 毅明  国立情報学研究所, 情報学プリンシプル研究系, 教授 (00302977)
平田 耕一  九州工業大学, 大学院情報工学研究院, 教授 (20274558)
山本 章博  京都大学, 情報学研究科, 教授 (30230535)
喜田 拓也  北海学園大学, 工学部, 教授 (70343316)
ジョーダン チャールズハロルド  小樽商科大学, 商学部, 准教授 (60647577)
小林 靖明  北海道大学, 情報科学研究院, 准教授 (60735083)
Project Period (FY) 2020-04-01 – 2025-03-31
Keywords知識基盤形成 / 大規模半構造データ / 離散構造学習 / 次世代機械学習技術 / データマイニング
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

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

  • Research Products

    (37 results)

All 2024 2023

All Journal Article (15 results) (of which Int'l Joint Research: 3 results,  Peer Reviewed: 15 results,  Open Access: 8 results) Presentation (22 results)

  • [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

    • 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

    • 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

    • 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

    • 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

    • 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

    • 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

    • 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 Pages: 58:1-58:14

    • 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

    • 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

    • 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

    • 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

    • 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

    • 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

    • 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

    • Peer Reviewed
  • [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回アルゴリズム研究会,情報処理学会
  • [Presentation] 極小シュタイナー多点対頂点カット列挙の計算困難性2024

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

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

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

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

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

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

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

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

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

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

    • Author(s)
      MA JIALI,山本 章博
    • Organizer
      人工知能学会 第128回人工知能基本問題研究会
  • [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シンポジウム
  • [Presentation] 時間制約付き有向木の遷移2023

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

    • Author(s)
      舟山諒,小林靖明
    • Organizer
      2023年度夏のLAシンポジウム
  • [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
      コンピュテーション研究会,電子情報通信学会
  • [Presentation] 要素数制約付き極大マトロイド共通独立集合の多項式遅延列挙2023

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

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

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

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

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

    • Author(s)
      志田祐仁,小林靖明,有村博紀
    • Organizer
      コンピュテーション研究会,電子情報通信学会

URL: 

Published: 2024-12-25  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi