理論計算機科学の全体像を解説する日本初の事典。大学教育レベルの教科書あるいは参考書としても活用できるよう,重要な基盤項目には例を用いたコンパクトな説明を付し,理論計算機科学の学術的最前線の状況にまで触れる。「アルゴリズムと計算複雑度」と「形式モデルと意味論」の二部構成。〔内容〕計算とアルゴリズム/計算モデルと計算量/応用分野における計算理論/形式言語とオートマトン/計算モデル/プログラム意味論/システム検証理論 1. 総論 (徳山 豪) 第1部 アルゴリズムと計算複雑度 はじめに 各章の概要 2. アルゴリズムの設計と解析 (編集担当者:徳山 豪) 2.1 計算とアルゴリズムの歴史 (徳山 豪) 2.2 基本的なアルゴリズム (徳山 豪) 2.3 データ構造の基礎 (平田富夫) 2.4 先進的なデータ構造 (定兼邦彦) 2.5 グラフアルゴリズム (伊藤健洋) 2.6 ネットワークアルゴリ
原著者:Judea Pearl, Madelyn Glymour and Nicholas P. Jewell 原著名:Causal Inference in Statistics: A Primer. 原著出版社:Wiley, 2016 1. 序論:統計モデルと因果モデル なぜ因果を学ぶのか Simpsonのパラドックス 確率と統計 グラフ 構造的因果モデル 2. グラフィカルモデルとその応用 モデルとデータの関係 連鎖経路と分岐経路 合流点 d 分離性 モデル検定と因果探索 3. 介入効果 介入 調整 バックドア基準 フロントドア基準 条件付き介入と特定共変量効果 逆確率重み付け法 媒介 線形システムにおける因果推論 4. 反事実とその応用 反事実 反事実の定義と計算 確率論的反事実 反事実の実践的応用 介入と寄与の分析に関する数学的ツール
どんなことばで表現するのか,どんなものを表現することばか,様々な事象について日本地図上にまとめた150図を収録した言語地図・方言地図集。〔本書は「全国方言分布調査」(国立国語研究所,2010-15)に基づいています。〕 ○本書は,2010-15年の「全国方言分布調査」(FPJD)で得られたデータをもとに作られた主題図(方言地図)を収録しています。 ○「日本言語地図」(LAJ)「方言文法全国地図」(GAJ)に続く最新版方言地図です。今回の書籍化では地図本体をカラー化し,よりわかりやすく・見やすくなりました。調査では,「語彙」だけでなく文法や音韻などの分布も取り上げており,地図化しています。 ○本書は現代日本という時間に対して国内全域という広がりのなかで方言のありさまを示したものですが,これらの地図,調査をもとに日本のある地点に対し て時間の広がりのなかで方言の変化のありさまを示す『空間と時間
フィールズ賞受賞のテレンス・タオが、米国の院生向けに行った講義をもとにまとめた測度論のテキストの翻訳。多くの演習問題を含む。 発売刊行記念と致しまして,書泉グランデさまにて 乙部厳己先生のトークイベントの開催が決定しました! 1/20(金)19時より開催です。 詳しくは書泉グランデさまのサイトをご確認下さい。 第1章 測度論 1.1. 序幕:測量の問題 1.1.1 基本測度 1.1.2 ジョルダン測度 1.1.3 リーマン積分との関係 1.2. ルベーグ測度 1.2.1 ルベーグ外測度の性質 1.2.2 ルベーグ可測性 1.2.3 非可測集合 1.3. ルベーグ積分 1.3.1 単関数の積分 1.3.2 可測関数 1.3.3 符号なしルベーグ積分 1.3.4 絶対可積分性 1.3.5 リトルウッドの三原理 1.4. 抽象測度空間 1.4.1 ブール集合代数 1.4.2 シグマ-集合代数と可
「数学とは何か」「数学の起源とは」から現代数学の全体像,数学と他分野との連関までをカバーする,初学者でもアクセスしやすい総合事典。プリンストン大学出版局刊行の大著「The Princeton Companion to Mathematics」の全訳。ティモシー・ガワーズ,テレンス・タオ,マイケル・アティヤほか多数のフィールズ賞受賞者を含む一流の数学者・数学史家がやさしく読みやすいスタイルで数学の諸相を紹介する。「ピタゴラス」「ゲーデル」など96人の数学者の評伝付き。 「数学愛好者にとっての優れた道しるべとして」 森重文先生(京都大学教授,国際数学連合総裁,1990年フィールズ賞受賞)ご推薦 「数学愛好者にとっての優れた道しるべとして,プロの数学者にとっては専門外の分野の理解に,本書は頼りになる一冊である.古今東西の数学を見渡し,多岐にわたる分野を網羅して,それぞれ選りすぐりの世界的権威が分
生命起源の事典 生命の起原および進化学会(監修)薮田 ひかる・・・ 基礎・用語/生き物の仕組みと変遷/宇宙・地球での化学進化/物から情報・システムへ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く