<?xml version='1.0' encoding='UTF-8'?>
<OAI-PMH xmlns="http://www.openarchives.org/OAI/2.0/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/ http://www.openarchives.org/OAI/2.0/OAI-PMH.xsd">
  <responseDate>2026-03-07T19:04:04Z</responseDate>
  <request metadataPrefix="jpcoar_1.0" verb="GetRecord" identifier="oai:ipsj.ixsq.nii.ac.jp:00235999">https://ipsj.ixsq.nii.ac.jp/oai</request>
  <GetRecord>
    <record>
      <header>
        <identifier>oai:ipsj.ixsq.nii.ac.jp:00235999</identifier>
        <datestamp>2025-01-19T09:26:06Z</datestamp>
        <setSpec>6504:11678:11689</setSpec>
      </header>
      <metadata>
        <jpcoar:jpcoar xmlns:datacite="https://schema.datacite.org/meta/kernel-4/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:dcndl="http://ndl.go.jp/dcndl/terms/" xmlns:dcterms="http://purl.org/dc/terms/" xmlns:jpcoar="https://github.com/JPCOAR/schema/blob/master/1.0/" xmlns:oaire="http://namespace.openaire.eu/schema/oaire/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rioxxterms="http://www.rioxx.net/schema/v2.0/rioxxterms/" xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns="https://github.com/JPCOAR/schema/blob/master/1.0/" xsi:schemaLocation="https://github.com/JPCOAR/schema/blob/master/1.0/jpcoar_scm.xsd">
          <dc:title>ZDDを用いたマインスイーパーの解法</dc:title>
          <jpcoar:creator>
            <jpcoar:creatorName>前多, 健一</jpcoar:creatorName>
          </jpcoar:creator>
          <jpcoar:subject subjectScheme="Other">人工知能と認知科学</jpcoar:subject>
          <datacite:description descriptionType="Other">Minesweeper is one of the most popular games with incomplete information. To solve Minesweeper, the player must choose a move by inferring bomb locations based on the information disclosed as the game progresses, and sometimes by calculating probabilities. In this paper, we propose a method to solve Minesweeper by enumerating bomb locations using ZDD. This method includes several ideas to reduce computation time, some of which are effective to used to solve other problems with ZDD. Finally, we show the results of computer experiments on the win rate and solution time of the method.</datacite:description>
          <dc:publisher xml:lang="ja">情報処理学会</dc:publisher>
          <datacite:date dateType="Issued">2024-03-01</datacite:date>
          <dc:language>jpn</dc:language>
          <dc:type rdf:resource="http://purl.org/coar/resource_type/c_5794">conference paper</dc:type>
          <jpcoar:identifier identifierType="URI">https://ipsj.ixsq.nii.ac.jp/records/235999</jpcoar:identifier>
          <jpcoar:sourceIdentifier identifierType="NCID">AN00349328</jpcoar:sourceIdentifier>
          <jpcoar:sourceTitle>第86回全国大会講演論文集</jpcoar:sourceTitle>
          <jpcoar:volume>2024</jpcoar:volume>
          <jpcoar:issue>1</jpcoar:issue>
          <jpcoar:pageStart>311</jpcoar:pageStart>
          <jpcoar:pageEnd>312</jpcoar:pageEnd>
          <jpcoar:file>
            <jpcoar:URI label="IPSJ-Z86-5Q-05.pdf">https://ipsj.ixsq.nii.ac.jp/record/235999/files/IPSJ-Z86-5Q-05.pdf</jpcoar:URI>
            <jpcoar:mimeType>application/pdf</jpcoar:mimeType>
            <jpcoar:extent>295.4 kB</jpcoar:extent>
            <datacite:date dateType="Available">2024-07-03</datacite:date>
          </jpcoar:file>
        </jpcoar:jpcoar>
      </metadata>
    </record>
  </GetRecord>
</OAI-PMH>
