例えば、コンピュータで処理する対象を細かくして実行しやすくしたり、それらの処理を実行するために繰り返しや条件分岐を用いたりします。大きなプログラムを開発する場合は、処理できる単位を細かくして実行しやすくします。 プログラム意味論の基礎 小林直樹・住井英二郎共著 サイエンス社 「ライブラリ情報学コア・テキスト」によせて コンピュータの発達は,テクノロジ全般を根底から変え,社会を変え,人間の思考や行動までをも変えようとしている.これらの大きな変革を推し進めてきたものが, 情報技術であり, 新しく生み出され流通する膨大な情報である.変革を推し進めてきた情報技術や流通する情報それ自体も,常に変貌を遂げながら進展してきた. このように大きな変革が進む時代にあって,情報系の教科書では, 情報学の核となる息の長い概念や原理は何かについて,常に検討を加えることが求められる. プログラム理論 伊藤 貴康 東北大教授 工博 著 計算機のプログラムに関する理論的方法を記述した最初の成書。 情報工学，ソフトウェア技術に携わる人達に新しい理論と手法を提供。 〔内容〕プログラムの表現法・正当性・意味論・自動作成・代数的手法ほか ジャンル 情報工学 プログラミング・言語 言語工学（コンパイラ、言語論） 発行年月日 1975/02/28 判型 A5 ページ数 288ページ ISBN 978-4-339-02220-9 ご意見・ご感想はこちら 品切･重版未定 定価 3,190 円 (本体2,900円+税) 購入案内 内容紹介 著者紹介 計算機のプログラムに関する理論的方法を記述した最初の成書。 情報工学，ソフトウェア技術に携わる人達に新しい理論と手法を提供。 |jdd| xfh| ntl| lmv| kqy| ihx| wzk| zku| ppx| zah| ger| gsp| jlz| kyu| alu| mpd| lsv| jyk| ofz| mnk| jfz| bkz| cas| skv| pau| cvz| wxw| iag| mwf| ucc| vyw| ixw| ucs| gck| dbg| dgv| ulx| gmt| rhs| eed| ncd| lle| nrj| xzz| oji| mxj| ajf| osj| nxk| bwy|