共立出版のすべての商品

第1章プログラミング言語のモデル； 第2章型付きラムダ計算； 第3章型付きラムダ計算の拡張； 第4章型推論システム； 第5章多相型言語のモデル； 第6章レコード計算系の理論

物理は自然科学の中で最も基礎的な学問分野の1つである。力学をはじめ，熱・統計力学，電磁気学，固体物理学やプラズマ物理学，量子力学，相対性理論，宇宙論などの多岐にわたる分野でもある。近年は，生物物理，医学物理などの幅広い領域への展開がなされてきている。 筆者は，現在いくつかの大学で基礎物理学，力学，電磁気学，エネルギー学などの講義を担当してきており，筆者のこれまでの講義をベースにして書き下ろしたのが本書である。理工系の力学や物理学の教科書として，また，生物系や医療系の基礎物理学の教科書として利用可能である。 前半に力学(剛体，流体を含めて)を，後半に様々なエネルギー編として，熱，波，電気，原子を，最後に生命と宇宙の特別編を記載している。高校での物理内容が「物理基礎」と「物理」とに最近変更になったことも考慮して，半年の理工系の基礎物理学(力学)の講義用と，半年の生物・医療系の基礎物理学の講義用とを一体化した教科書である。 各章ごとに5節にまとめてキーワード，本文，例題，演習問題を記した。これまでの講義では，関連しそうな映画の予告編ビデオを通じて物理の課題に興味を持ってもらうようにしていたが，この「映画の中の物理」のコラムも含めた。また，講義では意外と正解率の低かった「物理クイズ」も掲載し，さらに「科学史コラム」も各章の終わりに記載して物理に興味を持ってもらえるように配慮した。

大学レベルの高等教育機関で標準的情報リテラシ教育に求められる内容に適したテキスト。第4版は，CMCに関する章を全面改訂。

第1章Mathematica入門(よく使う関数；方程式ほか)； 第2章テンソルとは(指標と総和規約；座標変換(直交座標)ほか)； 第3章場の方程式(応力；ひずみほか)； 第4章無限材料中の介在物(楕円球介在物のEshelbyの解；多相の同心状介在物がある場合の応力場ほか)； 第5章有限な媒質内の介在物(境界値問題の一般解法；定常状態の熱伝導方程式ほか)

第1章イントロダクション； 第2章データとプロット； 第3章空間データの操作； 第4章Rを用いたプログラミング； 第5章GISとしてRを利用する； 第6章Rによるポイントパターン解析； 第7章Rによる地理空間属性分析； 第8章局所的な空間分析； 第9章Rとインターネット上のデータ； 第10章エピローグ

確率プログラミングのライブラリPyMC3を使ったベイズ統計モデリングの基本をシンプルなデータを使って実践的に解説。次のことが学べます。「ベイズ統計モデリングの概念を理解する」「PyMC3を使って統計モデルを構築する」「モデルの健全性をチェックし、必要に応じてモデルを修正する」「モデルに階層構造を組み入れて、階層モデルを活用する」「回帰分析を使って、目的としている連続的な結果変数を予測する」 第1章確率的に考える―ベイジアン推論入門； 第2章確率プログラミング―PyMC3入門； 第3章複数パラメータの取り扱いと階層モデル； 第4章線形回帰モデルによるデータの理解と予測； 第5章ロジスティック回帰による結果変数の分類； 第6章モデル比較； 第7章混合モデル； 第8章ガウス過程

プログラミングの初歩から始めて，実践的なプログラムを書くのに必要となる内容までを含んだJavaプログラミングの教科書。前半では，インターネットのサポートページに公開したタートルグラフィックスのライブラリを利用しながら，オブジェクト指向を中心とするJava言語の概念を丁寧に説明。続いてJavaSE8で加えられたラムダ式に代表される関数型プログラミング，コレクションや並列処理についても詳説。また，後半では，JavaFXによるグラフィカルユーザインターフェース，アニメーション，そして、ネットワークなど，実用的なプログラムに必要になるライブラリの使い方を解説。豊富な練習問題があり，例題や練習問題のプログラムはサポートページからダウンロードして動かすことができ，自習書としても最適である。プログラムはコマンドライン(ターミナル)での実行とEclipseの両方に対応。JavaSE8に準拠している。

簡潔データ構造とは，データをエントロピーの限界まで圧縮して保存しつつ，検索等の処理を行う際にはあたかも非圧縮のデータに対してアクセスしているように扱えるデータ構造である。データを圧縮することにより，これまでのデータ構造よりも多くのデータを扱えるようになる。扱うデータによっては1/100まで圧縮できる。2000年以降，多くの理論的・実用的データ構造が提案されており，ゲノム情報処理等では実際に使われている。本書は，基本的な簡潔データ構造(ビットベクトル，文字列，木構造等)の理論を説明する。初期の簡潔データ構造は非常に難解なものが多く，実装しても性能の出ないことが容易に想像できたが，後に提案されたものは理論的性能を保ったまま簡単化されており，容易に実装可能であり実際の性能も良い。本書ではそのようなデータ構造を中心に説明しているため，簡潔データ構造を実問題に適用する際の助けになると思われる。

第1章R作図の紹介； 第2章traditional作図を素朴に使ってみる； 第3章traditional作図のカスタマイズ； 第4章Trellis作図：latticeパッケージ； 第5章grid作図モデル； 第6章grid作図オブジェクトのモデル； 第7章新しい作図関数と作図オブジェクトの開発；

1量子プログラミングの概要と準備(はじめに；予備知識)； 2古典的制御をもつ量子プログラム(量子プログラムの構文と意味論；量子プログラムの論理；量子プログラムの解析)； 3量子的制御をもつ量子プログラム(量子的場合分け文；量子的再帰)； 4今後の展望

「ビッグデータ」，「データサイエンティスト」，「AI」といった言葉がよく聞かれ，日々蓄積されるさまざまなデータの利活用が推進されている昨今，「機械学習」は，これらの言葉と切っても切れない存在となっている。本書は，さまざまなデータから未来を予測する”回帰問題”や”分類問題”に焦点を当て，多くのPythonのコードとともに，機械学習の効率的なアルゴリズムを取り上げていく。アルゴリズムがどのように振る舞うかをプログラムから理解し，結果を適切に解釈できるよう，動作を理解するためのコードと，実践で利用する最適化されたコードの2種類を用意し，また無償で入手可能なデータセットに対してアルゴリズムを適用し，その実行結果から解釈の仕方に至るまでを丁寧に解説している。実際に手を動かしながら読み進めていくことで，データ解析に必要な考え方を一通り身につけることができる，データ解析の入門書として格好の1冊となろう。[原著名：MachineLearninginPython：EssentialTechniquesforPredictiveAnalysis]

本書では，確率的グラフィカルモデルの統計的機械学習理論について，画像処理とパターン認識に応用例を絞りつつ概説することから始める。特にパターン認識では，クラス分類問題という視点において，多値ロジスティック回帰モデルと制約ボルツマンマシンという2つの確率的グラフィカルモデルを通し，深層学習の基礎となる数理を紹介する。その上で，グラフ構造の疎(Sparse)性という深層学習とは真逆の性質を元に急速に展開しつつあるスパースモデリングという新しい研究領域の最近の理論的基盤の深化の様子を，連続最適化問題という視点から解説する。

Rパッケージの開発者として名高いKunRenが，R初心者およびRについてある程度は扱えるものの知識がアップデートされていない中級者へ向けて書いた入門書。モダンなアプローチでRの内容が平易に解説されている。前半はRの言語解説(オブジェクトやデータの扱い方等)についてページが割かれ，金融分野でRを扱ってきた著者の経験をふまえ，一部では難解ともいわれるRの言語仕様がわかりやすく書かれている。読者は文章に引き込まれながら読んでいくうちに自然とRに関する深い知識を身に付けることができるだろう。後半はRについての発展的な内容となっており，最近のdplyrやrlist，data．tableといったモダンなデータハンドリングパッケージ，他書では扱っていないメタプログラミング，RによりWebスクレイピングをいかにプログラミングしていくかなど，十分に読み応えのあるものとなっている。

GoogleのAlphaGoによるプロ棋士打破は，人工知能がヒトを超えた学習を行った歴史的出来事として認識された。強化学習はここで重要な役割を果たしてているだけでなく，自動運転やロボット制御などの重要な分野への応用も知られ，いま世間の強い関心を集めている。その一方，日本語で強化学習を体系的に学べる教科書は多くはなく，代表的な教科書であるSuttonandBarto(1998)とその訳書も出版から20年が経とうとしている。本書はトップ会議のチュートリアルで利用されたり，2010年の出版以降わずか数年で500弱の引用がされたりという事実からも窺えるように，入門書として広く読まれている良書である。本書の内容は動的計画法などの基本的かつ重要なアルゴリズムに始まり，比較的新しい手法も体系的に網羅しつつもコンパクトに自己完結している。原著の出版から7年あまり経つが，近年の発展は本書で掲載されたアルゴリズム・アイデアをその基礎においている。特に本書では，深層学習を利用した深層強化学習を含む最近の発展に，本書で紹介されたアルゴリズムがどのように使われているかを解説した訳者補遺を追加することで，本書と最先端の研究との橋渡しをしている。

一番普及している3次元CAD「SolidWorks」の入門書。初心者を対象に、第一歩のコマンド解説、基本操作からモデリングの進め方、モデルの作成まで、全て2色の図解で丁寧に解説する。

本書は，量子物理学の本質的なアイデアを，主要な量子実験に基づいて解説したものである。登場する実験の大半は，光と物質の相互作用を研究する量子光学の分野のものである。 長年にわたっておこなわれた興味をそそる数々の実験と，そこから明らかにされたミクロなスケールの量子的世界の諸性質に興味をもち，学びたいと思う人々にとって，本書は最適である。 原子スケールのようにミクロなスケールで起こる現象に対して，自然が私たちに強いる考え方は，マクロなスケールの日常世界で起こる物理現象に対する私たちの考え方と大きく異なる。このような2つの考え方の間にある鋭い不連続性や境界を実証するために，本書では選りすぐりの実験を解説している。 本書の目的は，量子的世界の物理学をある”期待”をもって探索することである。 その期待とは，量子的世界が読者の知的チャレンジ心を刺激すると同時に，読者を楽しませてくれる，奇妙で反直観的な現象に満ちあふれているという期待である。

情報通信理論の中で最も注目され、実現が期待される量子暗号と量子テレポーテーション理論の数学的基礎を解説。ホットな話題の裏にある数理的な扱いを、基礎からきちんと学びたいと考える学生や研究者に向けた書。

流体現象と基礎方程式，粘性流体の層流と乱流，境界層解析の基礎など，流体力学の基礎事項を解説．併せて各種流体機械の原理，特性をまとめた。

主に機械系を対象に、多岐にわたる流体現象の物理的性質を理解し、流れに関わる工学の設計に応用される力学の原理・原則を、多くの例題を通して、計測法及び最近の展開まで含めて平易に解説。基礎・応用演習も掲載。

発電設備や上下水道システムなど社会のインフラを支える基盤技術であるとともに，ロケットやジェットエンジンのような最先端工学の研究対象でもある流体機械について，初学者がその基礎から応用までを広く学ぶために適した教科書・参考書。

理工系大学のための電磁気学の教科書・参考書。初めて学ぶ人が多いことを考慮して、図を多く配置し、出来る限りわかりやすく解説。例題を解きながら理解を深められるよう記述した。

本書の目的は，はじめてコンピュータを学ぼうとする人たちに向けて，学生であっても社会人になっても必須であるパソコンやネットワークの基礎知識，情報の検索や利用のあり方，情報発信の心得と情報セキュリティについて解説するとともに，パソコンの基本的な扱い方やソフトウェアの利用法をできる限り広範囲にかつ平易に解説することにある。本書は理工系学部・学科の初年度の大学生を対象とする情報処理の入門的授業の教科書として使用することを前提に記述されているが，独学で利用する場合であっても，インターネットの情報検索で用語を調べるなどすれば，十分読みこなせるであろうと期待している。 本書は第1章”コンピュータ入門”の中で，パーソナルコンピュータ，ソフトウェア，ネットワーク，情報の表現について解説する。第2章でWindows とウェブブラウザの操作方法，第3章ではインターネット情報の検索と利用について解説する。後続の章では演習項目として，電子メール，ワードプロセッサ，表計算，プレゼンテーション，ウェブページの制作，文書処理システムLATEX を取り上げている。これらは今日の理工系学生ならばマスターしておきたいコンピュータリテラシーといえよう。 本書はWindows 10のパソコンを用いて演習内容を実際に読者が体験して学習することを想定している。その具体的なコンピュータ利用の過程で多くの生きた知識を獲得するとともに，情報処理の重要性と可能性を体験することになる。その経験はコンピュータを自分の専門分野の中で活用するときにも必ず役立つことになるものと期待している。

無人航空機の研究開発は，ドローンの登場によって加速している。ドローンは，空撮，農業，物流，インフラ点検，情報通信など様々な分野での活躍が期待されている。本書は，ドローンを安全に活用するために必要な法規や気象に関する知識，運用するための安全対策等，さらに，ドローンの仕組みやメンテナンス方法について解説する。身近なところでドローンなど無人航空機が活躍する時代が迫っている。

電子回路、電子デバイスの基本事項を学んだ後、電子回路での信号の増幅、波形の整流などの機能を実現するための基本的回路を学ぶ。電気回路の初歩的な知識だけで、全てが理解できる入門書。

透過電子顕微鏡の正しい使用法の習得には、幾何光学や波動光学の知識が欠かせない。本書は電子顕微鏡における結像の原理を幾何光学から出発し、回折学と電子顕微鏡の背後にある物理的基礎をコンパクトにまとめる。

本書では，「複雑系フォトニクス」という学際分野の基礎とその応用について概説する。複雑系フォトニクスとは，複雑系とフォトニクスの研究分野が融合した学問分野である。複雑系とは，カオスや非線形ダイナミクスに関する研究分野であり，一方でフォトニクスとは，レーザや光学に関する研究分野である。各々の研究分野で独自に発展してきた基礎知識を本書では融合し，複雑系フォトニクス分野として新たに構築することを試みている。 本書では，半世紀に渡る複雑系フォトニクスに関する数多くの基礎知識や研究活動について概説する。はじめにカオスおよびレーザに関する基礎知識について述べ，様々なレーザにおけるカオスの発生方法について紹介する。また，複雑なカオス信号が同一の振る舞いを示すというカオス同期の基礎についても述べる。次に複雑系フォトニクスの工学応用の例として，レーザカオス同期を用いた光秘密通信とその実装方式について詳細に述べる。さらにレーザカオスを用いた高速物理乱数生成について紹介する。加えて，情報セキュリティにおける安全な秘密鍵配送や，リザーバコンピューティング，およびリモートセンシングへの工学応用についても取り扱う。最後に実験や数値計算，および理論解析の非線形解析手法について具体的に紹介し，戻り光を有する半導体レーザを例として詳細に解説する。

電磁気学の法則に現れる巨視的な量は巨視的な現象のみを通して矛盾なく定義できることを、微視的な描像をも参考にしながら解明。電磁気学の本質を、物理的な厳密さを損なわず、初歩から丁寧に解説した入門書。

電磁気学を学ぶ際の基礎となるベクトル解析を平易かつ詳細に記述し，従来軽く扱われていた磁気学を重視。例題や演習問題の内容を現代化した。

アナログ電子回路の基礎に重点をおいた教科書。基礎事項から各種増幅回路、発展回路、変復調回路、それらの集大成であるラジオ、トランジスタの仕組みまで、豊富な図と演習問題を用いてわかりやすく解説。

大学で初めて量子力学を学ぶ学生のための自習用演習書。計算過程をできるだけ省略せずに示し、量子力学との対比を考慮して、古典論や前期量子論の限界にも言及。相対論的量子力学や電磁場の量子化にまで踏み込んだ。

大学で初めて電磁気学を学ぶ学生のための自習用演習書。各問題文の後に、問題の意義やテーマの実際的な用途を掲載。電磁気学における現象のイメージや応用例を意識しながら、問題に取り組むことができる1冊。

学部1年程度の力学、静電気学、数学の知識から、生体分子の統計力学を論じたものであり、特に確率論に基づく点がユニークな1冊。シンプルな系での議論を、かなり技術的な詳細に至るまで丁寧に解説する。

計測工学は単独で成り立つものではなく，数学や物理学をはじめとした四力(工業力学，材料力学，熱力学，流体力学)を基礎としており，また計測工学は，機械加工による製品寸法の測定などから，治具・工具段取りの測定，材料・熱処理などの状態測定までが含まれ，種々の計測技術が体系化された学問である。本書を通して，「モノづくりの基本は測る技術」であることを理解していただきたい。 本書の特徴は，他の書籍にはない以下に示すオリジナルにある。 1。あまり数式や理屈を述べない。本質を理解していただく。 2。そのために，図を多用して，必要があればイラストも使用する。 3。学習のポイントを絞り，理解しやすい構成にする。 4。これらによって，学生自身で自学自習できる。 また，大学の教員にとっても，授業において使いやすいように，本文のほかにBox欄や脚注を多用することで，授業を進めやすいテキスト分量にしている。具体的には，予備知識や既習事項(特に数学・物理)に関して，基礎知識のBox 欄を適宜入れることで，本文の内容を補足したり，学生が予習する上でも役立てられるように配慮している。

機械加工法における種々の加工方法や生産・製造に関する技術を、系統的に学習する入門書。そして、読者自身が機械加工法の全容を把握し、合理的な加工法を企画し、実施する能力を養う。図・表を豊富に収録。

本書は高校で学んだ力学を、ベクトルと微分を用いて見直し、興味をもたせることを念頭に、英語での問題も扱った。『電磁気学』同時刊。

1791年のガルヴァーニの実験で動物電気の存在が見つかってから後の200年間にわたる、ドラマのようなニューロン研究の歴史書。歴史的に貴重な図や写真が満載。神経生理学に携わる人必携の1冊。

現在のIT先端技術を幅広く解説した専門書。データ伝送、モバイルネットワーク、ネットワークサービス、インターネットの仕組み、セキュリティ技術など、多岐にわたる分野を豊富な図を用いてわかりやすく解説する。

「学習とはできるだけデータを圧縮できるような構造を見つけ出すことである」という指針の下、統一的に学習アルゴリズムを設計し、解析することを試みる。機械学習を貫くひとつの視点を提示する書。

情報理論の二大支柱である「情報源符号化」と「通信路符号化」の基本的事項をすべてカバーしながら、重要な事項を厳選して丁寧に解説し、コンパクトにまとめた「情報理論」の入門書。

情報通信工学のテキスト。情報通信サービスを提供する際に欠かせない品質保証技術を、電話網を例に解説。また、情報通信網の構築技術だけでなく運用およびセキュリティに関する主要技術などについても説明する。