|
計算モデル論入門～チューリング機械からラムダ計算へ～(Ｉｎｆｏｒｍａｔｉｏｎ Ｓｃｉｅｎｃｅ ＆ Ｅｎｇｉｎｅｅｒｉｎｇ)
井田 哲雄,
浜名 誠
著
発行年月 |
2006年08月 |
|---|
|
|
言語 |
日本語 |
|---|
媒体 |
冊子 |
|---|
|
|
ページ数／巻数 |
１２５ｐ |
|---|
大きさ |
21 |
|---|
|
ジャンル |
和書／理工学／情報学／情報理論 |
|---|
|
|
ISBN |
9784781911359 |
|---|
|
商品コード |
0106067733 |
|---|
NDC分類 |
007.1 |
|---|
|
|
|
|
|
|
商品URL
| https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0106067733 |
|---|
著者紹介
井田 哲雄（著者）：〈井田哲雄〉１９４７年横浜生まれ。筑波大学大学院システム情報工学研究科教授。
浜名 誠（著者）：〈浜名誠〉１９７１年東京生まれ。群馬大学工学部情報工学科助手。
内容
多くの人が持っているパーソナル・コンピュータのソフトウェアで行われている多種多様な計算が、どのような原理に基づいて行われているのかを解説。計算の可能性の観点から、ラムダ計算の体系を整理し、述べていく。
