close
1.

図書
図書
1. 必勝法の数学
徳田雄洋著
出版情報: 東京 : 岩波書店, 2017.7  v, 124p ; 19cm
シリーズ名: 岩波科学ライブラリー ; 263
所蔵情報: loading…
目次情報: 続きを見る
第1章 : チェスの勝敗は、先手・後手を決めた時点で決まる
第2章 : 2山くずしで、山のサイズが同じなら後手必勝、違えば先手必勝
第3章 : 役割区別なしの交互型ゲームはあるサイズの1山くずしと等価
第4章 : 2人のチェスのチャンピオンと同時対戦して1人に負けない方法がある
第5章 : 2者択一予言の的中率を一定値に保証できる
第6章 : 相手も自分も合理的に行動するなら両者の選択は予測できるか
第7章 : 慎重な投資と大胆な投資はどちらがよいか
第8章 : 会社合併問題は合計人数最小の2社を合併すればよい
第9章 : 理想的なコンピュータも勝てない判定ゲームが存在する
第1章 : チェスの勝敗は、先手・後手を決めた時点で決まる
第2章 : 2山くずしで、山のサイズが同じなら後手必勝、違えば先手必勝
第3章 : 役割区別なしの交互型ゲームはあるサイズの1山くずしと等価
概要: ついに将棋や囲碁で人間のチャンピオンがコンピュータに敗れる時代となってしまった。前世紀、簡単な山くずしのゲームからはじまった、必勝法にとりつかれた人々がはじめた研究は、百年のときを経てここまでたどりついたのだ。解明されたさまざまなタイプの必 … 勝法の原理と、その数理科学・経済学・情報科学への影響を解説する。 続きを見る
2.

図書

東工大
目次DB
図書
東工大
目次DB
2. 構文解析
徳田雄洋著
出版情報: 東京 : 昭晃堂, 1989.6  2, 2, iv, 196p ; 22cm
シリーズ名: ソフトウェア講座 / 井上謙蔵, 中田育男, 志村正道編集委員 ; 12
所蔵情報: loading…
目次情報: 続きを見る
1 言語
   1.1 自然言語・プラグラミング言語 1
   1.2 構文論・意味論・語用論 3
   1.3 言語の構成要素 6
   1.4 あいまいな文 9
   演習問題 11
2 準備
   2.1 基本的用語 13
   2.2 基本的表現法 24
   2.3 基本的証明法 27
   2.4 算術式の定義 30
   2.5 算術式の評価 34
   演習問題 37
3 字句の定義
   3.1 正規式 42
   3.2 有限状態プログラム 44
   3.3 有限オートマトン 49
   3.4 字句認識 53
   3.5 字句解析 60
   演習問題 61
4 構文の定義
   4.1 書換えシステム 64
   4.2 文脈自由文法 68
   4.3 文脈自由文法の例 72
   4.4 文脈自由文法の上の計算 75
   4.5 文脈自由文法の変形 79
   演習問題 82
5 構文解析技術の応用例
   5.1 変換系 84
   5.2 翻訳系 86
   5.3 解釈系 87
   5.4 実際例 88
   演習問題 91
6 構文解析の手法
   6.1 構文解析の原理 92
   6.2 非決定性手続き表現 97
   6.3 バックトラック計算 101
   演習問題 106
7 形式言語の性質
   7.1 正規式と文脈自由文法の能力限界 108
   7.2 有限オートマトンと正規言語の性質 111
   7.3 プッシュダウンオートマトンと文脈自由言語の性質 115
   7.4 プログラミング言語の構文の非文脈自由性 120
   7.5 文脈自由文法以外の構文定義法 121
   演習問題 128
8 降下型解析
   8.1 LL(κ)解析の原理 130
   8.2 LL(κ)構文解析法 132
   8.3 LL(κ)構文解析表の構成法 135
   8.4 再帰降下型解析法 141
   演習問題 146
9 上昇型解析
   9.1 LR(κ)解析の原理 147
   9.2 LR(κ)解析 150
   9.3 LR(κ)解析表の種類 153
   9.4 LR(κ)解析表の構成法 156
   9.5 バイパス型LR(κ)解析表の構成法 164
   演習問題 168
10 一般の文脈自由文法の構文解析
   10.1 索表計算法 169
   10.2 CYK法 170
   10.3 Earley法 172
   10.4 ATN法 177
   10.5 Prolog法 180
   演習問題 187
あとがき 189
参考文献 190
索引 193
1 言語
   1.1 自然言語・プラグラミング言語 1
   1.2 構文論・意味論・語用論 3
3.

図書

東工大
目次DB
図書
東工大
目次DB
3. 終わりのない仕事
徳田雄洋文 ; 村井宗二絵
出版情報: 東京 : 岩波書店, 1990.7  61p ; 23cm
シリーズ名: はじめて出会うコンピュータ科学 / 徳田雄洋文 ; 村井宗二絵 ; 7
所蔵情報: loading…
4.

図書

東工大
目次DB
図書
東工大
目次DB
4. 人気のあるレストラン
徳田雄洋文 ; 村井宗二絵
出版情報: 東京 : 岩波書店, 1990.7  61p ; 23cm
シリーズ名: はじめて出会うコンピュータ科学 / 徳田雄洋文 ; 村井宗二絵 ; 8
所蔵情報: loading…
5.

図書

東工大
目次DB
図書
東工大
目次DB
5. 1と0の世界
徳田雄洋文 ; 村井宗二絵
出版情報: 東京 : 岩波書店, 1990.4  61p ; 23cm
シリーズ名: はじめて出会うコンピュータ科学 / 徳田雄洋文 ; 村井宗二絵 ; 1
所蔵情報: loading…
6.

図書
図書
6. はじめて出会うコンピュータ科学
徳田雄洋文 ; 村井宗二絵
出版情報: 東京 : 岩波書店, 1990  8冊 ; 23cm
所蔵情報: loading…
7.

図書

東工大
目次DB
図書
東工大
目次DB
7. あいまいな文
徳田雄洋文 ; 村井宗二絵
出版情報: 東京 : 岩波書店, 1990.4  61p ; 23cm
シリーズ名: はじめて出会うコンピュータ科学 / 徳田雄洋文 ; 村井宗二絵 ; 2
所蔵情報: loading…
8.

図書

東工大
目次DB
図書
東工大
目次DB
8. こわれている電卓
徳田雄洋文 ; 村井宗二絵
出版情報: 東京 : 岩波書店, 1990.5  61p ; 23cm
シリーズ名: はじめて出会うコンピュータ科学 / 徳田雄洋文 ; 村井宗二絵 ; 3
所蔵情報: loading…
9.

図書

東工大
目次DB
図書
東工大
目次DB
9. カッコのない国
徳田雄洋文 ; 村井宗二絵
出版情報: 東京 : 岩波書店, 1990.5  57p ; 23cm
シリーズ名: はじめて出会うコンピュータ科学 / 徳田雄洋文 ; 村井宗二絵 ; 4
所蔵情報: loading…
10.

図書

東工大
目次DB
図書
東工大
目次DB
10. どんどん出てくる絵
徳田雄洋文 ; 村井宗二絵
出版情報: 東京 : 岩波書店, 1990.6  63p ; 23cm
シリーズ名: はじめて出会うコンピュータ科学 / 徳田雄洋文 ; 村井宗二絵 ; 5
所蔵情報: loading…
11.

図書

東工大
目次DB
図書
東工大
目次DB
11. 山の背くらべ
徳田雄洋文 ; 村井宗二絵
出版情報: 東京 : 岩波書店, 1990.6  61p ; 23cm
シリーズ名: はじめて出会うコンピュータ科学 / 徳田雄洋文 ; 村井宗二絵 ; 6
所蔵情報: loading…
12.

図書

東工大
目次DB
図書
東工大
目次DB
12. 情報ってなんだろう
徳田雄洋著
出版情報: 東京 : 岩波書店, 1997.8  78p ; 23cm
シリーズ名: ジュニア版コンピュータ科学入門 / 徳田雄洋著 ; 3
所蔵情報: loading…
目次情報: 続きを見る
1 デジタル写真を送る 3
2 おかしな写真 8
3 画面の見せ方 20
4 絵と図の違い 24
5 音を表す方法 30
6 自然を測る物差し 36
7 映像を圧縮する方法 42
8 符号の長さ 50
9 繰り返しを利用する 54
10 出現かたよりを利用する 58
11 棒で情報を送る 66
12 波で情報を送る 72
あとがき
1 デジタル写真を送る 3
2 おかしな写真 8
3 画面の見せ方 20
13.

図書

東工大
目次DB
図書
東工大
目次DB
13. 知識を作りだす
徳田雄洋著
出版情報: 東京 : 岩波書店, 1997.9  76p ; 23cm
シリーズ名: ジュニア版コンピュータ科学入門 / 徳田雄洋著 ; 4
所蔵情報: loading…
目次情報: 続きを見る
1 家族紹介の順番 3
2 ホームページを作る 8
3 ウェブの問題 16
4 確かな知識を伝える 20
5 最小費用の連絡網 26
6 連絡網を作る 30
7 不確かな知識を伝える 36
8 正直と嘘つきの多数決 40
9 必ず正直が勝つ方法 44
10 知識を作りだす方法 50
11 正しい推論 58
12 推論の見分け方 64
あとがき
1 家族紹介の順番 3
2 ホームページを作る 8
3 ウェブの問題 16
14.

図書

東工大
目次DB
図書
東工大
目次DB
14. プログラムのする仕事
徳田雄洋著
出版情報: 東京 : 岩波書店, 1997.10  70p ; 23cm
シリーズ名: ジュニア版コンピュータ科学入門 / 徳田雄洋著 ; 5
所蔵情報: loading…
目次情報: 続きを見る
1 プログラムを作るプログラム 3
2 プログラムのしくみ 6
3 電卓プログラム 12
4 出来事を待つプログラム 16
5 時計が出てくるしくみ 20
6 名詞を作るプログラミング 28
7 問題を解く秘訣 34
8 もう1つ問題を解く 40
9 計算できない問題 48
10 2つの宇宙の話 58
11 意職を持たない精密機械 62
12 アキレスの宇宙 66
あとがき
1 プログラムを作るプログラム 3
2 プログラムのしくみ 6
3 電卓プログラム 12
15.

図書

東工大
目次DB
図書
東工大
目次DB
15. パソコンがやってくる
徳田雄洋著
出版情報: 東京 : 岩波書店, 1997.5  82p ; 23cm
シリーズ名: ジュニア版コンピュータ科学入門 / 徳田雄洋著 ; 1
所蔵情報: loading…
目次情報: 続きを見る
1 動かないコンピュータ 3
2 説明ビデオを見る 6
3 コンピュータの内と外 14
4 コンピュータのしくみ 18
5 目立たないプログラム 28
6 新しい装置 34
7 分業のしくみ 38
8 最初に起こること 44
9 秘密の合言葉 48
10 秘密を共有する 52
11 行き詰まり 62
12 行き詰まりを避ける方法 72
あとがき
1 動かないコンピュータ 3
2 説明ビデオを見る 6
3 コンピュータの内と外 14
16.

図書
図書
16. ジュニア版コンピュータ科学入門
徳田雄洋著
出版情報: 東京 : 岩波書店
所蔵情報: loading…
17.

図書

東工大
目次DB
図書
東工大
目次DB
17. インターネットで世界へ
徳田雄洋著
出版情報: 東京 : 岩波書店, 1997.6  78p ; 23cm
シリーズ名: ジュニア版コンピュータ科学入門 / 徳田雄洋著 ; 2
所蔵情報: loading…
目次情報: 続きを見る
1 接続会社からの郵便 3
2 接続の準備をする 14
3 分業する理由 22
4 2種類の住所 28
5 接続を試みる 34
6 ホームページを探す 38
7 別の方法で探す 46
8 たくさんのコンピュータをつなぐ 50
9 コンピュータをつなぐ方法 54
10 最短経路の見つけ方 60
11 一瞬で見つける方法 64
12 一瞬で見つかる理由 74
あとがき
1 接続会社からの郵便 3
2 接続の準備をする 14
3 分業する理由 22
18.

図書
図書
18. 天才兒童電腦百科
徳田雄洋作 ; 村井宗二繪圖 ; 趙有為翻譯
出版情報: 台北市 : 凱信, 1994  8冊 ; 22cm
所蔵情報: loading…
19.

図書
図書
19. O與1的世界
徳田雄洋作 ; 村井宗二繪圖 ; 趙有為翻譯
出版情報: 台北市 : 凱信, 1994.4  69p ; 22cm
シリーズ名: 天才兒童電腦百科 / 徳田雄洋作 ; 村井宗二繪圖 ; 趙有為翻譯 ; 1
所蔵情報: loading…
20.

図書
図書
20. 語意不詳的句子
徳田雄洋作 ; 村井宗二繪圖 ; 趙有為翻譯
出版情報: 台北市 : 凱信, 1994.4  63p ; 22cm
シリーズ名: 天才兒童電腦百科 / 徳田雄洋作 ; 村井宗二繪圖 ; 趙有為翻譯 ; 2
所蔵情報: loading…
21.

図書
図書
21. 故障的計算機
徳田雄洋作 ; 村井宗二繪圖 ; 趙有為翻譯
出版情報: 台北市 : 凱信, 1994.4  69p ; 22cm
シリーズ名: 天才兒童電腦百科 / 徳田雄洋作 ; 村井宗二繪圖 ; 趙有為翻譯 ; 3
所蔵情報: loading…
22.

図書
図書
22. 沒有括號的國度
徳田雄洋作 ; 村井宗二繪圖 ; 趙有為翻譯
出版情報: 台北市 : 凱信, 1994.4  61p ; 22cm
シリーズ名: 天才兒童電腦百科 / 徳田雄洋作 ; 村井宗二繪圖 ; 趙有為翻譯 ; 4
所蔵情報: loading…
23.

図書
図書
23. 圖形的表現
徳田雄洋作 ; 村井宗二繪圖 ; 趙有為翻譯
出版情報: 台北市 : 凱信, 1994.4  71p ; 22cm
シリーズ名: 天才兒童電腦百科 / 徳田雄洋作 ; 村井宗二繪圖 ; 趙有為翻譯 ; 5
所蔵情報: loading…
24.

図書
図書
24. 高度的比較
徳田雄洋作 ; 村井宗二繪圖 ; 趙有為翻譯
出版情報: 台北市 : 凱信, 1994.4  67p ; 22cm
シリーズ名: 天才兒童電腦百科 / 徳田雄洋作 ; 村井宗二繪圖 ; 趙有為翻譯 ; 6
所蔵情報: loading…
25.

図書
図書
25. 永不停止的工作
徳田雄洋作 ; 村井宗二繪圖 ; 趙有為翻譯
出版情報: 台北市 : 凱信, 1994.4  69p ; 22cm
シリーズ名: 天才兒童電腦百科 / 徳田雄洋作 ; 村井宗二繪圖 ; 趙有為翻譯 ; 7
所蔵情報: loading…
26.

図書
図書
26. 一家生意興隆的餐廳
徳田雄洋作 ; 村井宗二繪圖 ; 趙有為翻譯
出版情報: 台北市 : 凱信, 1994.4  65p ; 22cm
シリーズ名: 天才兒童電腦百科 / 徳田雄洋作 ; 村井宗二繪圖 ; 趙有為翻譯 ; 8
所蔵情報: loading…
27.

図書
図書
27. 처음 배우는 사람을 위한 컴퓨터 과학
徳田雄洋글 ; 村井宗二그림
出版情報: 서울 : 탐구당, 1991.9  8冊 ; 23cm
所蔵情報: loading…
28.

図書
図書
28. 1과 0의 세계
徳田雄洋글 ; 村井宗二그림
出版情報: 서울 : 탐구당, 1991.9  64p ; 23cm
シリーズ名: 처음 배우는 사람을 위한 컴퓨터 과학 / 徳田雄洋글 ; 村井宗二그림 ; 1
所蔵情報: loading…
29.

図書
図書
29. 애매한 글
徳田雄洋글 ; 村井宗二그림
出版情報: 서울 : 탐구당, 1991.9  67p ; 23cm
シリーズ名: 처음 배우는 사람을 위한 컴퓨터 과학 / 徳田雄洋글 ; 村井宗二그림 ; 2
所蔵情報: loading…
30.

図書
図書
30. 고장난 삭상용 계산기
徳田雄洋글 ; 村井宗二그림
出版情報: 서울 : 탐구당, 1991.9  61p ; 23cm
シリーズ名: 처음 배우는 사람을 위한 컴퓨터 과학 / 徳田雄洋글 ; 村井宗二그림 ; 3
所蔵情報: loading…
31.

図書
図書
31. 괄호가 없는 나라
徳田雄洋글 ; 村井宗二그림
出版情報: 서울 : 탐구당, 1991.9  58p ; 23cm
シリーズ名: 처음 배우는 사람을 위한 컴퓨터 과학 / 徳田雄洋글 ; 村井宗二그림 ; 4
所蔵情報: loading…
32.

図書
図書
32. 줄줄이 그려져 나오는 그림
徳田雄洋글 ; 村井宗二그림
出版情報: 서울 : 탐구당, 1991.9  63p ; 23cm
シリーズ名: 처음 배우는 사람을 위한 컴퓨터 과학 / 徳田雄洋글 ; 村井宗二그림 ; 5
所蔵情報: loading…
33.

図書
図書
33. 산들의 키재기
徳田雄洋글 ; 村井宗二그림
出版情報: 서울 : 탐구당, 1991.9  62p ; 23cm
シリーズ名: 처음 배우는 사람을 위한 컴퓨터 과학 / 徳田雄洋글 ; 村井宗二그림 ; 6
所蔵情報: loading…
34.

図書
図書
34. 끝낼 수 없는 일
徳田雄洋글 ; 村井宗二그림
出版情報: 서울 : 탐구당, 1991.9  62p ; 23cm
シリーズ名: 처음 배우는 사람을 위한 컴퓨터 과학 / 徳田雄洋글 ; 村井宗二그림 ; 7
所蔵情報: loading…
35.

図書
図書
35. 인기 있는 식당
徳田雄洋글 ; 村井宗二그림
出版情報: 서울 : 탐구당, 1991.9  62p ; 23cm
シリーズ名: 처음 배우는 사람을 위한 컴퓨터 과학 / 徳田雄洋글 ; 村井宗二그림 ; 8
所蔵情報: loading…
36.

図書
図書
36. 論理的に解く力をつけよう
徳田雄洋著
出版情報: 東京 : 岩波書店, 2013.8  x, 201p ; 18cm
シリーズ名: 岩波ジュニア新書 ; 751
所蔵情報: loading…
目次情報: 続きを見る
第1部 基礎編 : 論理的に解くとは
論理的考え方を利用する
問題解決法を利用する
第2部 詳細編 : まず理想の解があるものとして
仕事は同じサイズに分割する
同じ仕事は1回だけ
第3部 応用編 : 目印をつくって分類する
場合分けして予測する
可能なかぎりくりかえす
第1部 基礎編 : 論理的に解くとは
論理的考え方を利用する
問題解決法を利用する
概要: うそつきか正直か不明な人に質問を1回して、必要な情報を正確に得られる—そんな方法を知っていますか?この本で論理的な解き方を身につければ、一見むずかしそうな問題もかんたんに解けるようになったり、新しい解決法を発見できたりします。数学や論理、情 … 報科学はもちろん、日常おこる問題にも適用できますよ。 続きを見る
37.

図書
図書
37. コンパイラの基礎
徳田雄洋著
出版情報: 東京 : サイエンス社, 2006.7  iv, 182p ; 21cm
シリーズ名: Information science & engineering ; S10
所蔵情報: loading…
38.

図書
図書
38. デジタル社会はなぜ生きにくいか
徳田雄洋著
出版情報: 東京 : 岩波書店, 2009.5  xi, 191p ; 18cm
シリーズ名: 岩波新書 ; 新赤版 1185
所蔵情報: loading…
39.

図書
図書
39. 震災と情報 : あのとき何が伝わったか
徳田雄洋著
出版情報: 東京 : 岩波書店, 2011.12  x, 176, 12p ; 18cm
シリーズ名: 岩波新書 ; 新赤版 1343
所蔵情報: loading…
40.

図書
図書
40. 離散数学「ものを分ける理論」 : 問題解決のアルゴリズムをつくる
徳田雄洋著
出版情報: 東京 : 講談社, 2018.5  227p ; 18cm
シリーズ名: ブルーバックス ; B-2059
所蔵情報: loading…
41.

図書

東工大
目次DB
図書
東工大
目次DB
41. 言語と構文解析
徳田雄洋著
出版情報: 東京 : 共立出版, 1995.10  vi, 177p ; 22cm
シリーズ名: 情報数学講座 ; 5
所蔵情報: loading…
目次情報: 続きを見る
第1章 言語処理 1
   1.1 言語処理の目標 1
   1.2 言語の研究方法 2
   1.3 言語の構成要素 4
   1.4 構文定義と意味定義 5
   1.5 言語処理の例 6
第2章 字句規則と構文規則の記述 9
   2.1 正規式 9
   2.2 文脈自由文法 12
   2.3 句構造文法の実例 19
   2.4 文脈自由文法の上の計算 23
   2.5 非決定性表現 28
第3章 字句解析の方法 31
   3.1 字句認識系 31
   3.2 間接的構成法 39
   3.3 直接的構成法 45
   3.4 字句解析系 48
第4章 字句解析の理論 51
   4.1 正規文法と正規言語 51
   4.2 正規言語の特徴付け 55
   4.3 最小状態有限オートマトン 57
第5章 構文解析の方法 61
   5.1 構文解析の原理 61
   5.2 下降型構文解析 67
   5.3 上昇型構文解析 75
   5.4 混合型構文解析 94
   5.5 手続き型構文解析法 99
   5.6 索表計算型構文解析 104
第6章 構文解析の理論 113
   6.1 プッシュダウンオートマトン 113
   6.2 文脈自由文法と非決定性文脈自由言語 116
   6.3 文脈自由言語の特徴付け 117
   6.4 非文脈自由言語 122
   6.5 LL構文解析の理論的基礎 124
   6.6 LR構文解析の理論的基礎 128
第7章 属性文法 131
   7.1 基本的定義 131
   7.2 一括型属性評価法 136
   7.3 差分型属性評価法 144
   7.4 1パス型属性評価法 153
あとがき 163
参考文献 169
索引 175
第1章 言語処理 1
   1.1 言語処理の目標 1
   1.2 言語の研究方法 2
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼