<?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-05-13T03:14:26Z</responseDate>
  <request metadataPrefix="jpcoar_1.0" verb="GetRecord" identifier="oai:ipsj.ixsq.nii.ac.jp:00016285">https://ipsj.ixsq.nii.ac.jp/oai</request>
  <GetRecord>
    <record>
      <header>
        <identifier>oai:ipsj.ixsq.nii.ac.jp:00016285</identifier>
        <datestamp>2025-01-22T23:56:14Z</datestamp>
        <setSpec>581:920:922</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>超大形電子計算機HITAC M - 200Hの論理シミュレーション</dc:title>
          <dc:title xml:lang="en">Logic Simulation of Very Large Computer HITAC M200H</dc:title>
          <jpcoar:creator>
            <jpcoar:creatorName>大野泰廣</jpcoar:creatorName>
            <jpcoar:creatorName>森田, 宏</jpcoar:creatorName>
            <jpcoar:creatorName>小高, 俊彦</jpcoar:creatorName>
            <jpcoar:creatorName>宮本, 俊介</jpcoar:creatorName>
            <jpcoar:creatorName>三善, 正之</jpcoar:creatorName>
            <jpcoar:creatorName>鬼塚, 宣彦</jpcoar:creatorName>
          </jpcoar:creator>
          <jpcoar:creator>
            <jpcoar:creatorName xml:lang="en">Yasuhiro, Ohno</jpcoar:creatorName>
            <jpcoar:creatorName xml:lang="en">Hiroshi, Morita</jpcoar:creatorName>
            <jpcoar:creatorName xml:lang="en">Toshihiko, Odaka</jpcoar:creatorName>
            <jpcoar:creatorName xml:lang="en">Shunsuke, Miyamoto</jpcoar:creatorName>
            <jpcoar:creatorName xml:lang="en">Masayuki, Miyoshi</jpcoar:creatorName>
            <jpcoar:creatorName xml:lang="en">Nobuhiko, Onizuka</jpcoar:creatorName>
          </jpcoar:creator>
          <jpcoar:subject subjectScheme="Other">論文</jpcoar:subject>
          <datacite:description descriptionType="Other">現時点で世界最高速の汎用処理装置HITAC M-200Hの開発は論理シミュレーションを用いて行われ 従来大形機の開発に比較して 開発期間を大幅に短縮することができた.LSIを使用する論理装置の開発には 従来ハードウェアシミュレーションが必須とされていたが 論理シミュレーション手法がそれに代って十分実用になることを示した.M-200Hの開発に使用された論理シミュレーションシステムは TSSで設計データの入力・修正 結果の確認を行うことができ レーザピームプリンタによる論理回路図作成プログラム レジスタトランスファレベル言語とゲートレベル言語で記述されたハードウェアモデルを扱うことのできる論理シミュレータを中心としており とくに使いやすさに種々の工夫がなされている.しかし 短期間に効率よく大規模な論理装置のシミュレーションを行うには テスト実施手順および運用がきわめて重要である.この観点から 本論文では M-200Hの論理シミュレーションの進め方について テスト実施手順の考え方 テスト項目の設計法 運用方法などについて論ずろ.</datacite:description>
          <datacite:date dateType="Issued">1980-09-15</datacite:date>
          <dc:language>jpn</dc:language>
          <dc:type rdf:resource="http://purl.org/coar/resource_type/c_6501">journal article</dc:type>
          <jpcoar:identifier identifierType="URI">https://ipsj.ixsq.nii.ac.jp/records/16285</jpcoar:identifier>
          <jpcoar:sourceIdentifier identifierType="ISSN">1882-7764</jpcoar:sourceIdentifier>
          <jpcoar:sourceIdentifier identifierType="NCID">AN00116647</jpcoar:sourceIdentifier>
          <jpcoar:sourceTitle>情報処理学会論文誌</jpcoar:sourceTitle>
          <jpcoar:volume>21</jpcoar:volume>
          <jpcoar:issue>5</jpcoar:issue>
          <jpcoar:pageStart>354</jpcoar:pageStart>
          <jpcoar:pageEnd>365</jpcoar:pageEnd>
          <jpcoar:file>
            <jpcoar:URI>https://ipsj.ixsq.nii.ac.jp/record/16285/files/IPSJ-JNL2105002.pdf</jpcoar:URI>
            <jpcoar:mimeType>application/pdf</jpcoar:mimeType>
            <jpcoar:extent>891.4 kB</jpcoar:extent>
            <datacite:date dateType="Available">1982-09-15</datacite:date>
          </jpcoar:file>
        </jpcoar:jpcoar>
      </metadata>
    </record>
  </GetRecord>
</OAI-PMH>
