東京大学教養学部統計学教室

人文・社会科学の統計学 (基礎統計学)

NHK放送技術研究所

マルチメディア時代のディジタル放送技術事典

小野 寛晰

情報科学における論理 (情報数学セミナー)

Saunders MacLane

Ieke Moerdijk

An introduction to the theory of toposes which begins with illustrative examples and goes on to explain the underlying ideas of topology and sheaf theory as well as the general theory of elementary toposes and geometric morphisms and their relation to logic.

内容詳細

Sheaves arose in geometry as coefficients for cohomology and as descriptions of the functions appropriate to various kinds of manifolds. Sheaves also appear in logic as carriers for models of set theory. This text presents topos theory as it has developed from the study of sheaves. Beginning with several examples, it explains the underlying ideas of topology and sheaf theory as well as the general theory of elementary toposes and geometric morphisms and their relation to logic.

Sheaves in Geometry and Logic: A First Introduction to Topos Theory (Universitext)

蒲地 輝尚

はじめて読む486―32ビットコンピュータをやさしく語る

鈴木 治

次世代OSアーキテクチャ―QNXオペレーティング・システムの世界 「マイクロカーネルOS」と「ネットワーク分散処理」

G.パスカル ザカリー

G.Pascal Zachary

山岡 洋一

闘うプログラマー 上巻

Charles A. Mendenhall

Back by popular demand! Out of print for nearly ten years, this revised and updated edition returns with even more information. Filled with a data bank of 4- and 5-view drawings covering over 245 of the most famous aircraft in the history of air racing from 1909 through the 90s. Complete technical specs, performance figures, paint schemes and more.

The Air Racer

萩原 将文

ニューロ・ファジィ・遺伝的アルゴリズム (エレクトロニクス実践シリーズ)

大山 正

色彩の研究は、ニュートンの実験に始まり今日の色表示体系に至る流れと、ゲーテの観察に始まる、色の主観的な体験の現象学の流れとがあり、そこに両者に欠けた色覚の生理学の流れが加わっている。さらに色には、感情や文化と結びつく複雑な側面もある。この広範囲におよぶ色彩のさまざまな問題を、主要な人物の貢献を紹介しつつ解説する。色彩への実用的知識が要求される現在、その課題にも応えてくれる格好な入門書となっている。

内容（「BOOK」データベースより）

色彩心理学入門―ニュートンとゲーテの流れを追って (中公新書)

スティーブ マコネル

Steve McConnell

石川 勝

コードコンプリート―完全なプログラミングを目指して (Microsoft PRESS)

小川 洋子

妊娠カレンダー (文春文庫)

ボーリス バイザー

Boris Beizer

小野間 彰

山浦 恒央

ソフトウェアテスト技法

野矢 茂樹

論理学

中嶋 孝行

大野 敏則

CAD CG技術者のためのNURBS早わかり―Non‐Uniform Rational B‐Spline

ジョン・R レビン

ドウー ブラウン

トニー メイソン

John R Levine

Doug Brown

Tony Mason

村上 列

字句解析ルーチンと呼ばれるlex、そして、構文解析ルーチンと呼ばれるyacc。makeとならび、プログラミングには必須のツールの利用法を初歩から解説します。AT&T版だけでなく、バークレー版、GNU bison、Flex、MS-DOS版などについても触れています。

内容紹介

本書は、O’Reilly&Associates社の「NUTSHELL HANDBOOK」シリーズの一冊「lex&yacc」(1992年10月刊)を翻訳したものである。lexとyaccは、sedなどと同様にUNIXの標準ツールであり、特にプログラマにとっては強力なツールである。本書はこのlexとyaccについて記したものである。

lexとyaccは、sedなどと同様にUNIXの標準ツールであり、特にプログラマにとっては強力なツール。このlexとyaccについて記した1冊。

内容（「MARC」データベースより）

lex&yaccプログラミング (NUTSHELL HANDBOOKS)

ドナルド・E. クヌース

Donald E. Knuth

有沢 誠

文芸的プログラミング (ASCII SOFTWARE SCIENCE Programming Paradigm)

佐藤 坦

はじめての確率論 測度から確率へ

ウェルナー マルクス

Werner Marx

上妻 精

米田 美智子

地上に尺度はあるか―非形而上学的倫理の根本諸規定 (ポイエーシス叢書)

年代：1994の検索結果

人文・社会科学の統計学 (基礎統計学)

マルチメディア時代のディジタル放送技術事典

情報科学における論理 (情報数学セミナー)

Sheaves in Geometry and Logic: A First Introduction to Topos Theory (Universitext)

はじめて読む486―32ビットコンピュータをやさしく語る

次世代OSアーキテクチャ―QNXオペレーティング・システムの世界「マイクロカーネルOS」と「ネットワーク分散処理」

闘うプログラマー上巻

The Air Racer

ニューロ・ファジィ・遺伝的アルゴリズム (エレクトロニクス実践シリーズ)

色彩心理学入門―ニュートンとゲーテの流れを追って (中公新書)

コードコンプリート―完全なプログラミングを目指して (Microsoft PRESS)

妊娠カレンダー (文春文庫)

ソフトウェアテスト技法

論理学

CAD CG技術者のためのNURBS早わかり―Non‐Uniform Rational B‐Spline

lex&yaccプログラミング (NUTSHELL HANDBOOKS)

文芸的プログラミング (ASCII SOFTWARE SCIENCE Programming Paradigm)

はじめての確率論測度から確率へ

地上に尺度はあるか―非形而上学的倫理の根本諸規定 (ポイエーシス叢書)

年代：1994の検索結果

人文・社会科学の統計学 (基礎統計学)

マルチメディア時代のディジタル放送技術事典

情報科学における論理 (情報数学セミナー)

Sheaves in Geometry and Logic: A First Introduction to Topos Theory (Universitext)

はじめて読む486―32ビットコンピュータをやさしく語る

次世代OSアーキテクチャ―QNXオペレーティング・システムの世界 「マイクロカーネルOS」と「ネットワーク分散処理」

闘うプログラマー 上巻

The Air Racer

ニューロ・ファジィ・遺伝的アルゴリズム (エレクトロニクス実践シリーズ)

色彩心理学入門―ニュートンとゲーテの流れを追って (中公新書)

コードコンプリート―完全なプログラミングを目指して (Microsoft PRESS)

妊娠カレンダー (文春文庫)

ソフトウェアテスト技法

論理学

CAD CG技術者のためのNURBS早わかり―Non‐Uniform Rational B‐Spline

lex&yaccプログラミング (NUTSHELL HANDBOOKS)

文芸的プログラミング (ASCII SOFTWARE SCIENCE Programming Paradigm)

はじめての確率論 測度から確率へ

地上に尺度はあるか―非形而上学的倫理の根本諸規定 (ポイエーシス叢書)

次世代OSアーキテクチャ―QNXオペレーティング・システムの世界「マイクロカーネルOS」と「ネットワーク分散処理」

闘うプログラマー上巻

はじめての確率論測度から確率へ