電子技術総合研究所調査報告(230)

• Material Type: 雑誌
• Title: 電子技術総合研究所調査報告
• Title Transcription: デンシ ギジュツ ソウゴウ ケンキュウジョ チョウサ ホウコク
• Volume: (230)
• Author/Editor: 電子技術総合研究所 編
• Author Heading: 工業技術院電子技術総合研究所 コウギョウ ギジュツイン デンシ ギジュツ ソウゴウ ケンキュウジョ ( 00288079 )Authorities
• Publication, Distribution, etc.: つくば : 電子技術総合研究所
• Publication Date: 1999-12
• Publication Date (W3CDTF): 1999-12
• Year and volume of publication: 169号-
• Size: 30cm
• ISSN (Periodical Title): 0366-9084
• ISSN-L (Periodical Title): 0366-9084
• Place of Publication (Country Code): JP
• Text Language Code: jpn
• NDLC: ZN33
• Note (General): 本タイトル等は最新号による; 出版地, 大きさの変更あり
• DOI: 10.11501/3229138; https://doi.org/10.11501/3229138
• Persistent ID (NDL): info:ndljp/pid/3229138; https://dl.ndl.go.jp/pid/3229138
• Collection (particular): 国立国会図書館デジタルコレクション > デジタル化資料 > 雑誌; https://dl.ndl.go.jp/collections/A00002
• Producer: 国立国会図書館
• Production year (W3CDTF): 2011-03-31
• Date Accepted (W3CDTF): 2012-01-27T13:53:40+09:00
• Format (IMT): image/jp2
• Access Restrictions: 国立国会図書館内限定公開
• Service for the Digitized Contents Transmission Service: 図書館・個人送信対象
• Availability of remote photoduplication service: 可
• Year and volume of holding: 169号 (昭45.12)-230号 (1999年4月)
• Call No.: Z16-186
• Original Material (JPNO): 00015907
• Periodical Title (Persistent ID (NDL)): info:ndljp/pid/3381736; https://dl.ndl.go.jp/pid/3381736
• Replaces (Persistent ID (NDL)): info:ndljp/pid/2385488; https://dl.ndl.go.jp/pid/2385488
• Data Provider (Database): 国立国会図書館 : 国立国会図書館デジタルコレクション; https://dl.ndl.go.jp

• DOI: 10.11501/3229138; https://doi.org/10.11501/3229138
• Persistent ID (NDL): info:ndljp/pid/3229138; https://dl.ndl.go.jp/pid/3229138
• Collection: 障害者向け資料
• Collection (Materials For Handicapped People:1): テキストデータ
• Collection (Materials For Handicapped People:2): プレーンテキスト
• Collection (particular): 国立国会図書館デジタルコレクション > デジタル化資料 > 雑誌; https://dl.ndl.go.jp/collections/A00002
• Producer: 国立国会図書館
• Production year (W3CDTF): 2011-03-31
• Date Accepted (W3CDTF): 2012-01-27T13:53:40+09:00
• Format (IMT): image/jp2
• Access Restrictions: 国立国会図書館内限定公開
• Service for the Digitized Contents Transmission Service: 図書館・個人送信対象
• Availability of remote photoduplication service: 可
• Year and volume of holding: 169号 (昭45.12)-230号 (1999年4月)
• Call No.: Z16-186
• Original Material (JPNO): 00015907
• Periodical Title (Persistent ID (NDL)): info:ndljp/pid/3381736; https://dl.ndl.go.jp/pid/3381736
• Replaces (Persistent ID (NDL)): info:ndljp/pid/2385488; https://dl.ndl.go.jp/pid/2385488
• Data Provider (Database): 国立国会図書館 : 国立国会図書館デジタルコレクション; https://dl.ndl.go.jp

Table of Contents

作譜科学の現状と将来--心配のないソフトウェア開発に向けて

第1章 はじめに

第2章 算譜意味論--意図する仕様を定式化する

第3章 算譜検証論--仕様どおり動くことを確かめる

第4章 計算機言語論--処理の対象を記述する