コンピュータを使った言語処理について、文字の入出力、整列・検索・照合をはじめとした言語処理の基本と、必要な情報を効率的に確実に探すための技法を紹介。機械翻訳の現状と、言語の性質を調べる統計的手法を述べる...

20世紀後半、コンピュータや科学技術の進歩とともに、ロボット工学の分野は爆発的な発展を遂げました。ロボティクスとAI〔人工知能〕はすでに私たちの生活の一部になっています。 この本には、人間に似た姿をし...

鉱物は一定の化学組成を有する無機質結晶物質である。 鉱物の分析により、地球深部や他の惑星を構成する物質の理解、地質現象・環境問題の解明につながるほか、鉱物は工業材料、宝飾品など人間生活にも深く結び付い...

籠や畳薦、曲げ物、履物、土器…。 縄紋時代以降の人びとは生活道具をどのように作り、使用していたのか。出土遺物が形成された背景を、これまでの考古学が研究対象にしなかった全国各地に残る民俗事例を参照して追...

高水準プログラミング言語の基礎理論を型付きラムダ計算を用いて詳細に解説。これら基礎理論の学習を通じて、関数型プログラミング言語の動作やその型システムの原理、さらに、多相型、型推論、継続計算、レコード計算...

2003年、三菱航空機の元設計技師であり、戦後は三菱自動車工業の社長も務めた、曽根嘉年が他界した。遺品の中に、海軍の焼却処分命令に反し、曽根が保管し続けていた三菱の戦闘機開発や量産後の改良に関する膨大な...

コンピューターは本当に仕事をしてくれるのか？ コンピューターは人間に取って替わるのか？ コンピューターで理想的な世界は作れるのか？ 「自動運転」から「未来予測」まで、その限界と真の可能性を明らかに...

著者の名講義の粋を集めたもの。第一部で線型代数による有限群の基本事項を展開し、第二部で表現の次数、指標の整数性などを扱う。 第三部はブラウアー理論の入門となっている。章末に問題を付した好個の教科書。

函数解析は古典解析学の諸領域を母体として確立され、いまや解析学の中心的位置を占める。 微積分と線形代数を予備知識として自己完結的に懇切丁寧に解説され、広く親しまれてきた函数解析の標準的教科書。

函数解析は古典解析学の諸領域を母体として確立され、いまや解析学の中心的位置を占める。 微積分と線形代数を予備知識として自己完結的に懇切丁寧に解説され、広く親しまれてきた函数解析の標準的教科書。

13世紀を中心にヨーロッパ各地で建てられたゴシック様式の建築について、計画から完成までを具体的に示した本はかつてなかった。 美しい大聖堂のできあがるまでを丹念に描いた本書は、各国で高く評価された。

自然現象の大部分は非平衡状態であり、その記述には非平衡の統計力学が必要である。 不可逆過程の熱力学の基礎から説き起こし、拡散現象、分子運動、緩和過程の理論まで、秩序だててわかりやすく解説する入門書。

一複素変数の解析関数の理論について、初歩からわかりやすく丁寧に解説する入門書。 コーシーの定理、リーマンの写像定理など、数学的現象の感覚的イメージが明確に把握できるよう留意して記述されている。

前半ではフーリエ級数・変換、常微分方程式、超関数の初等的解説を行う。 後半ではルベーグ速度・積分およびこれらに結びついた微分と積分の関係を述べる。応用を志す初めて学ぶ読者が理解できるように配慮した。