「形式仕様」を解説文に含む見出し語の検索結果(1～10/103件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/05/08 06:08 UTC 版)「仕様」の記事における「形式仕様」の解説詳細は「形式仕様記述」を参照 形式仕様は、ソフト...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/11/14 16:23 UTC 版)「形式手法」の記事における「検証」の解説形式仕様記述ができると、それを証明の根拠として使...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/11/14 16:23 UTC 版)「形式手法」の記事における「水準0」の解説形式仕様記述を行い、プログラム自体を非形式主義...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/08/06 02:08 UTC 版)「テンプレートエンジン」の記事における「ソーステンプレート」の解説ソーステンプレートの記...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/04/13 19:43 UTC 版)「週刊 蒸気機関車C57を作る」の記事における「世界の蒸気機関車」の解説海外の蒸気機関車...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/06/27 16:39 UTC 版)「日本の貨物列車 (雑誌)」の記事における「今号の貨車」の解説貨車の各形式・仕様について...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/04/13 19:40 UTC 版)「週刊 蒸気機関車C62を作る」の記事における「蒸気機関車列伝」の解説蒸気機関車の各形式...
Disc Description Protocol (DDP) は、光学ディスク(CDやDVDを含む)の内容を指定するための形式である。 一般的に、DDPは複製のためにディスクプリマスターを引き渡すた...
Jump to navigationJump to searchプログラミングの統一理論 (英: Unifying Theories of Programming) は、プログラム意味論に関す...
Jump to navigationJump to searchプログラミングの統一理論 (英: Unifying Theories of Programming) は、プログラム意味論に関す...
< 前の結果 | 次の結果 >
>>
「形式仕様」の辞書の解説