close
1.

電子ブック

EB
Laura Kallmeyer
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
Formal Grammars and Natural Languages / 1.1:
Parsing Beyond CFGs / 1.2:
What This Book Is Not About / 1.3:
Overview of the Book / 1.4:
Grammar Formalisms for Natural Languages / 1.4.1:
Parsing: Preliminaries / 1.4.2:
Tree Adjoining Grammars / 1.4.3:
MCFG and LCFRS / 1.4.4:
Range Concatenation Grammars / 1.4.5:
Automata / 1.4.6:
Some Basic Definitions / 1.5:
Languages / 1.5.1:
Context-Free Grammars / 1.5.2:
Trees / 1.5.3:
Context-Free Grammars and Natural Languages / 2:
The Generative Capacity of CFGs / 2.1.1:
CFGs and Lexicalization / 2.1.2:
Mild Context-Sensitivity / 2.1.3:
Grammar Formalisms Beyond CFG / 2.2:
Linear Indexed Grammars / 2.2.1:
Linear Context-Free Rewriting Systems / 2.2.3:
Multicomponent Tree Adjoining Grammars / 2.2.4:
Multiple Context-Free Grammars / 2.2.5:
Summary / 2.2.6:
Parsing as Deduction / 3:
Motivation / 3.1.1:
Items / 3.1.2:
Deduction Rules / 3.1.3:
Implementation Issues / 3.2:
Dynamic Programming / 3.2.1:
Chart Parsing and Tabulation / 3.2.2:
Hypergraphs / 3.2.3:
Properties of Parsing Algorithms / 3.3:
Soundness and Completeness / 3.3.1:
Complexity / 3.3.2:
Valid Prefix Property / 3.3.3:
Introduction to Tree Adjoining Grammars / 3.4:
Definition of TAG / 4.1.1:
Formal Properties / 4.1.2:
Linguistic Principles for TAG / 4.1.3:
Extended Domain of Locality and Factoring of Recursion / 4.1.4:
Constituency and Dependencies / 4.1.5:
Equivalent Formalisms / 4.2:
Tree-Local MCTAG / 4.2.1:
Combinatory Categorial Grammars / 4.2.2:
Parsing Tree Adjoining Grammars / 4.3:
A CYK Parser for TAG / 5.1:
The Recognizer / 5.1.1:
An Earley Parser for TAG / 5.1.2:
Inference Rules / 5.2.1:
Extending the Algorithm to Substitution / 5.2.4:
The Parser / 5.2.5:
Properties of the Algorithm / 5.2.6:
Prefix Valid Earley Parsing / 5.2.7:
An LR Parser for TAG / 5.3:
Construction of the Automation / 5.3.1:
Multiple Context-Free Grammars and Linear Context-Free Rewriting Systems / 5.3.3:
Introduction to MCFG, LCFRS and Simple RCG / 6.1:
Applications / 6.1.1:
Set-Local Multicomponent TAG / 6.2:
Minimalist Grammars / 6.2.2:
Finite-Copying LFG / 6.2.3:
Parsing MCFG, LCFRS and Simple RCG / 6.3:
CYK Parsing of MCFG / 7.1:
The Basic Algorithm / 7.1.1:
The Naïve Algorithm / 7.1.2:
The Active Algorithm / 7.1.3:
The Incremental Algorithm / 7.1.4:
Prediction Strategies / 7.1.5:
Simplifying Simple RCGs / 7.2:
Eliminating Useless Rules / 7.2.1:
Eliminating ?-Rules / 7.2.2:
Ordered Simple RCG / 7.2.3:
Binarization of the Rules / 7.2.4:
An Incremental Earley Parser for Simple RCG / 7.3:
The Algorithm / 7.3.1:
Filters / 7.3.2:
Introduction to Range Concatenation Grammars / 7.4:
Definition of RCG / 8.1.1:
Relations to Other Formalisms / 8.1.2:
Literal Movement Grammars / 8.2.1:
CFG, TAG and MCFG / 8.2.2:
Parsing Range Concatenation Grammars / 8.3:
Basic RCG Parsing / 9.1:
CYK Parsing with Passive Items / 9.1.1:
Non-directional Top-Down Parsing / 9.1.2:
Directional Top-Down Parsing / 9.1.3:
Optimizations / 9.1.4:
Parsing with Constraint Propagation / 9.2:
Range Constraints / 9.2.1:
CYK Parsing with Active Items / 9.2.2:
Earley Parsing / 9.2.3:
Embedded Push-Down Automata / 9.3:
Definition of EPDA / 10.1.1:
EPDA and TAG / 10.1.2:
Bottom-Up Embedded Push-Down Automata / 10.1.3:
?-Order EPDA / 10.1.4:
Two-Stack Automata / 10.2:
General Definition / 10.2.1:
Strongly-Driven Two-Stack Automata / 10.2.2:
Thread Automata / 10.3:
Idea / 10.3.1:
General Definition of TA / 10.3.2:
Constructing a TA for a TAG / 10.3.3:
Constructing a TA for an Ordered SRCG / 10.3.4:
Hierarchy of Grammar Formalisms / 10.4:
List of Acronyms / Appendix B:
Solutions
References
Index
Introduction / 1:
Formal Grammars and Natural Languages / 1.1:
Parsing Beyond CFGs / 1.2:
2.

図書

図書
武藤徹, 三浦基弘編著
出版情報: 東京 : 東京堂出版, 2010.6  286p ; 22cm
所蔵情報: loading…
3.

図書

図書
武藤徹著
出版情報: 東京 : 日本評論社, 2011.12-2012.6  6冊 ; 21cm
所蔵情報: loading…
4.

図書

図書
武藤徹著
出版情報: 東京 : 日本評論社, 2012.5  vii, 161p ; 21cm
シリーズ名: 武藤徹の高校数学読本 / 武藤徹著 ; 5
所蔵情報: loading…
5.

図書

図書
武藤徹著
出版情報: 東京 : 日本評論社, 2011.12  vii, 145p ; 21cm
シリーズ名: 武藤徹の高校数学読本 / 武藤徹著 ; 1
所蔵情報: loading…
6.

図書

図書
武藤徹著
出版情報: 東京 : 日本評論社, 2011.12  vii, 158p ; 21cm
シリーズ名: 武藤徹の高校数学読本 / 武藤徹著 ; 2
所蔵情報: loading…
7.

図書

図書
武藤徹, 三浦基弘編著
出版情報: 東京 : 東京堂出版, 2017.11  ix, 276p ; 22cm
所蔵情報: loading…
目次情報: 続きを見る
1 : 概説編
2 : 事典編
付録 / 記号一覧
いろいろな助数詞
日本の命数法
SI基本単位・SI接頭語
ギリシア文字
いろいろな長さ
いろいろな質量
いろいろな時間
1 : 概説編
2 : 事典編
付録 / 記号一覧
概要: 単位の世界は数えることから始まった。私たちの生活にかかせない、「数えること」「はかること」「単位」を、数の誕生から測定器具、言葉の由来や人物、歴史的背景まで幅広く収録・解説。
8.

図書

図書
武藤徹著
出版情報: 東京 : 岩波書店, 2012.12  vi, 124p ; 19cm
シリーズ名: 岩波科学ライブラリー ; 200
所蔵情報: loading…
目次情報: 続きを見る
第1章 度量衡の誕生 : バビロニア
エジプト ほか
第2章 面積の発見 : 面積とは
労働で測られた面積 ほか
第3章 面積の展開 : 『九章算術』をよむ
三平方の定理 ほか
第4章 面積概念の発展 : 一般曲線の囲む面積
区分求積法 ほか
第1章 度量衡の誕生 : バビロニア
エジプト ほか
第2章 面積の発見 : 面積とは
概要: ナイルの氾濫で失われた耕地を測量するために、人類は面積の存在に気づいた。はじめは「縦×横」ではなく、労働時間や収穫量が基準となった。やがて抽象的な面積概念が発達し、論証図形学が誕生する。体積、仕事量、曲線の長さなども積分によって求めることが 可能になった。面積が数学になるまでの過程をたどる。 続きを見る
9.

図書

図書
武藤徹著
出版情報: 東京 : 日本評論社, 2012.2  vii, 147p ; 21cm
シリーズ名: 武藤徹の高校数学読本 / 武藤徹著 ; 3
所蔵情報: loading…
10.

図書

図書
武藤徹, 三浦基弘著
出版情報: 東京 : 日本評論社, 2014.9  iii, 294p ; 22cm
所蔵情報: loading…
目次情報: 続きを見る
算数
数の拡張
方程式
幾何の誕生
幾何の発展
関数
数列
微分積分学
ベクトル
確率と統計
和算
パズル
算数
数の拡張
方程式
概要: 算数・数学の「学びはじめ」、「学びなおし」に最適!算数から中学・高校までの数学を大きな流れとしてとらえ、分野ごとに独立させて、関心のあるテーマから読み進めるよう配慮した。
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼