cinnamonbearさんのページ 復刊リクエスト投票 算法表現論 【著者】木村泉,米澤明憲 現在主流のオブジェクト指向に至る、プログラミングにおける様々なアイデアを、本書のような形で基礎からきちんと解説してある本は洋書でもあまり見当たりません。本書の内容は現在でも十分に通用するものであり,この分野を学ぶ人にとって貴重であると考えます。(2004/11/25) 数理情報学入門:スコット・プログラム理論 【著者】中島玲二 この分野の和書は残念ながら絶滅の危機に瀕しています。もちろんこの分野を専門とする人は洋書を読めば良いのでしょうが、少し高度なことを勉強したい大学学部生のためにも、和書の存在は貴重です。この本は一般的なプログラミング言語のための表示的意味の構成法に加え、2種類の意味領域(D∞とPω)の構成方法について詳しく解説してある貴重なものです。復刊を強く希望します。(2004/11/25) 公理的集合論 【著者】田中尚夫 残念ながら集合論については、他分野に比べると和書はそれほど多く出版されていません。特に強制法について解説されている和書は、本書以外にほとんどないといってよいため、復刊を希望します。(2004/11/25) Play Puzzle パズルの百科 全3巻 【著者】高木茂男 こんなおもしろい本が絶版とは…(2002/12/26)
復刊リクエスト投票
算法表現論
【著者】木村泉,米澤明憲
アイデアを、本書のような形で基礎からきちんと解説してある本は洋
書でもあまり見当たりません。本書の内容は現在でも十分に通用する
ものであり,この分野を学ぶ人にとって貴重であると考えます。(2004/11/25)
数理情報学入門:スコット・プログラム理論
【著者】中島玲二
んこの分野を専門とする人は洋書を読めば良いのでしょうが、少
し高度なことを勉強したい大学学部生のためにも、和書の存在は
貴重です。この本は一般的なプログラミング言語のための表示的
意味の構成法に加え、2種類の意味領域(D∞とPω)の構成方法
について詳しく解説してある貴重なものです。復刊を強く希望し
ます。(2004/11/25)
公理的集合論
【著者】田中尚夫
出版されていません。特に強制法について解説されている和書は、本
書以外にほとんどないといってよいため、復刊を希望します。(2004/11/25)
Play Puzzle パズルの百科 全3巻
【著者】高木茂男