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

• 資料種別: 雑誌
• タイトル: 電子技術総合研究所調査報告
• タイトルよみ: デンシ ギジュツ ソウゴウ ケンキュウジョ チョウサ ホウコク
• 巻次・部編番号: (230)
• 著者・編者: 電子技術総合研究所 編
• 著者標目: 工業技術院電子技術総合研究所 コウギョウ ギジュツイン デンシ ギジュツ ソウゴウ ケンキュウジョ ( 00288079 )典拠
• 出版事項: つくば : 電子技術総合研究所
• 出版年月日等: 1999-12
• 出版年（W3CDTF）: 1999-12
• 刊行巻次・年月次: 169号-
• 大きさ: 30cm
• ISSN（掲載誌）: 0366-9084
• ISSN-L（掲載誌）: 0366-9084
• 出版地（国名コード）: JP
• 本文の言語コード: jpn
• NDLC: ZN33
• 一般注記: 本タイトル等は最新号による; 出版地, 大きさの変更あり
• DOI: 10.11501/3229138; https://doi.org/10.11501/3229138
• 国立国会図書館永続的識別子: info:ndljp/pid/3229138; https://dl.ndl.go.jp/pid/3229138
• コレクション（個別）: 国立国会図書館デジタルコレクション > デジタル化資料 > 雑誌; https://dl.ndl.go.jp/collections/A00002
• 製作者: 国立国会図書館
• 製作年（W3CDTF）: 2011-03-31
• 受理日（W3CDTF）: 2012-01-27T13:53:40+09:00
• 記録形式（IMT）: image/jp2
• オンライン閲覧公開範囲: 国立国会図書館内限定公開
• デジタル化資料送信: 図書館・個人送信対象
• 遠隔複写可否（NDL）: 可
• 所蔵巻次・年月次（所蔵事項）: 169号 (昭45.12)-230号 (1999年4月)
• 請求記号: Z16-186
• 原資料（JPNO）: 00015907
• 掲載誌（国立国会図書館永続的識別子）: info:ndljp/pid/3381736; https://dl.ndl.go.jp/pid/3381736
• 改題前（国立国会図書館永続的識別子）: info:ndljp/pid/2385488; https://dl.ndl.go.jp/pid/2385488
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館デジタルコレクション; https://dl.ndl.go.jp

目次

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

第1章 はじめに

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

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

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