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

2018 Fiscal Year Annual Research Report

Research and Development of Experiment Candidate Recommendation System with Reasoning and Learning

Research Project

Project/Area Number 16K00304
Research InstitutionKyushu University

Principal Investigator

越村 三幸  九州大学, システム情報科学研究院, 助教 (30274492)

Co-Investigator(Kenkyū-buntansha) 力 規晃  徳山工業高等専門学校, 情報電子工学科, 助教 (50290804)
藤田 博  九州大学, システム情報科学研究院, 准教授 (70284552)
Project Period (FY) 2016-04-01 – 2019-03-31
Keywords深層学習 / 顕微鏡画像の分類 / SAT符号化 / 最適化問題
Outline of Annual Research Achievements

本年度は、(A) 機械学習技術を用いた顕微鏡画像解析、(B) SATを用いた最適化問題の解法、に関して取り組み、7件の学術発表(内3件は、学術誌)を行った.
(A) については、100人の尿の顕微鏡写真から14033枚の有形成分(細胞)の画像を切り抜き、深層学習を用い分類を行った.最も重要度の高い2種類の細胞AとBを識別するのを目標に、A、B、それ以外、の3分類問題として課題に取り組んだ.ネットワークは、CNN(Convolution Neural Network)あるLeNetを参考に、全層畳み込みネットワークをベースにしたものを用い、正答率97.26%のモデルを得た.さらにハイパーパレメータ探索を行い、正答率を98.30%のモデルを得ることができた.
(B) については、(B-1) 分割決定木で記述された提携構造形成(CSG)問題をSATを用いて解く手法と分枝限定法を用いる手法の比較、(B-2) MC-netsで記述されたCSG問題をSATで解く際の推移律の符号化の制約数を減らす手法の提案と評価、(B-3) 擬似ブール制約の新しいSAT符号化の提案と評価、を行った.
(B-1) については、負の効用がある問題ではSAT手法が格段に効率的であること、(B-2) については、従来手法に比べ1桁程度の性能向上、(B-3) については、多くのベンチマークでの効果、を定量的に確かめた.
定期的な研究活動については、力研究分担者と2ヶ月に一回程度、九州大学あるいは出張先で、成果発表・情報交換を行った.

  • Research Products

    (7 results)

All 2019 2018

All Journal Article (3 results) (of which Int'l Joint Research: 1 results,  Peer Reviewed: 3 results) Presentation (4 results)

  • [Journal Article] Improved WPM encoding for coalition structure generation under MC-nets2019

    • Author(s)
      Xiaojuan Liao, Miyuki Koshimura, Kazuki Nomoto, Suguru Ueda, Yuko Sakurai, Makoto Yokoo
    • Journal Title

      Constraints

      Volume: 24 Pages: 25-55

    • DOI

      https://doi.org/10.1007/s10601-018-9295-4

    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] N-level Modulo-Based CNF encodings of Pseudo-Boolean constraints for MaxSAT2019

    • Author(s)
      Aolong Zha, Miyuki Koshimura, Hiroshi Fujita
    • Journal Title

      Constraints

      Volume: 24 Pages: 133-161

    • DOI

      https://doi.org/10.1007/s10601-018-9299-0

    • Peer Reviewed
  • [Journal Article] 分割決定木を用いた分割関数ゲームの提携構造形成アルゴリズム2019

    • Author(s)
      査 澳龍、 越村 三幸、櫻井 祐子、横尾 真
    • Journal Title

      電子情報通信学会論文誌 D

      Volume: J102-D Pages: 313-323

    • DOI

      10.14923/transinfj.2018JDP7037

    • Peer Reviewed
  • [Presentation] Coalition Structure Generation for Partition Function Games Utilizing a Concise Graphical Representation2019

    • Author(s)
      Miyuki Koshimura, Aolong Zha, Kazuki Nomoto, Suguru Ueda, Yuko Sakurai, Makoto Yokoo
    • Organizer
      The 4th Kakenhi Kiban-A&B/NII Collaborate Research Meeting
  • [Presentation] Improved WPM Encoding for Coalition Structure Generation under MC-nets,2019

    • Author(s)
      Xiaojuan Liao, Miyuki Koshimura, Kazuki Nomoto, Suguru Ueda, Yuko Sakurai, Makoto Yokoo
    • Organizer
      The 4th Kakenhi Kiban-A&B/NII Collaborate Research Meeting
  • [Presentation] SATソルバーを用いたMCS列挙の実装とその評価2019

    • Author(s)
      越村 三幸,佐藤 健
    • Organizer
      人工知能学会 第109回人工知能基本問題研究会
  • [Presentation] CNNを用いた尿中有形成分の分類の初期検討2018

    • Author(s)
      淺倉 健太,越村 三幸,藤田 博
    • Organizer
      電子情報通信学会 医用画像研究会

URL: 

Published: 2019-12-27  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi