close
1.

図書
図書
1. Software security : theories and systems : Second Mext-NSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003 : revised papers
Kokichi Futatsugi, Fumio Mizoguchi, Naoki Yonezaki (eds.)
出版情報: Berlin : Springer, c2004  viii, 344 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3233
所蔵情報: loading…
2.

図書

東工大
目次DB
図書
東工大
目次DB
2. コンピュータリテラシ : 情報環境の使い方. 新版
米崎直樹, 脇田建共著
出版情報: 東京 : 昭晃堂, 2011.6  ii, ii, 157p ; 26cm
所蔵情報: loading…
目次情報: 続きを見る
第1章　情報倫理 1
   1.1　はじめに 1
   1.2　ネットワークと社会 2
   1.3　法 3
   1.4　倫理 22
   1.5　インターネットの利用で不幸にならないために 26
   1.6　関係資料 28
   演習問題の解答 28
第2章　データとその取り扱い 32
   2.1　コンピュータにおける数値や文字の表現 32
   2.2　文書ファイル 45
   2.3　画像ファイル 49
第3章　ウェブ 59
   3.1　ウェブの歴史 60
   3.2　ウェブを用いた情報収集 67
   3.3　ウェブの基盤技術 68
   3.4　ウェブ検索エンジンの仕組み 74
   3.5　さまざまな情報システム 81
第4章　電子メール 95
   4.1　電子メールの基礎知識 96
   4.2　メールメッセージが届くまで 105
   4.3　電子メールのセキュリティを守る技術 108
第5章 文書作成 119
   5.1　pLaTeX2εと組版 119
   5.2　TeXShopの使い方 120
   5.3　TEXファイルの基本要素 121
   5.4　見出し―section，subsection，など― 128
   5.5　図―figure環境，includegraphics，caption― 130
   5.6　表―table環境，tabular環境，caption― 133
   5.7　数式 136
   5.8　箇条書き―itemize環境，enumerate環境，description環境― 142
   5.9　相互参照―label，ref― 143
   5.10　参考文献とその引用―thebibliography環境―145
索引 153
第1章　情報倫理 1
   1.1　はじめに 1
   1.2　ネットワークと社会 2
3.

図書
図書
3. コンピュータリテラシ : 情報環境の使い方. 新版
米崎直樹, 脇田建共著
出版情報: 東京 : オーム社, 2014.12  ii, ii, 157p ; 26cm
所蔵情報: loading…
目次情報: 続きを見る
第1章 情報倫理 : ネットワークと社会
法 ほか
第2章 データとその取り扱い : コンピュータにおける数値や文字の表現
文書ファイル ほか
第3章 ウェブ : ウェブの歴史
ウェブを用いた情報収集 ほか
第4章 電子メール : 電子メールの基礎知識
メールメッセージが届くまで ほか
第5章 文書作成 : PLATEX2εと組版
TeXShopの使い方 ほか
第1章 情報倫理 : ネットワークと社会
法 ほか
第2章 データとその取り扱い : コンピュータにおける数値や文字の表現
4.

図書
図書
4. 計算論入門 : 計算の基本原理理解のために
渡辺治, 米崎直樹著
出版情報: 東京 : 日本評論社, 1997.3  v, 211p ; 21cm
所蔵情報: loading…
5.

図書

東工大
目次DB
図書
東工大
目次DB
5. 計算論入門 : 計算の基本原理理解のために. 第2刷
渡辺治, 米崎直樹著
出版情報: 東京 : 日本評論社, 2001.4  v, 211p ; 21cm
所蔵情報: loading…
目次情報: 続きを見る
1　プログラムによる計算の表現 1
   1.1　簡易プログラミング言語「Sプログラム」入門 1
   1.2　データのコード化 : 2進コード 5
   1.3　標準形SプログラムとSプログラムのコード化 8
   1.4　Sプログラム計算可能性 14
   1.5　while文とfor-times文 22
   ティータイム 34
2　チューリング機械による計算の表現 36
   2.1　チューリング機械入門 36
   2.2　データのコード化 : 2進コード 47
   2.3　チューリング機械のプログラミング・テクニック 51
   2.4　チューリング機械計算可能性 65
3　帰納的関数による計算の表現 73
   3.1　原始帰納的関数・帰納的関数入門 73
   3.2　原始帰納的関数のプログラミング・テクニック 78
   3.3　データのコード化 : ゲーデル数 82
   3.4　帰納的 vs. プログラム計算可能性 89
   3.5　帰納的 vs. チューリング機械計算可能性 98
   3.6　原始帰納的関数と帰納的関数 109
   ティータイム 114
4　ラムダ計算による計算の表現 116
   4.1　λ－式・λ－計算入門 116
   4.2　λ－計算による計算可能性 127
   ティータイム 138
5　並列・並行・分散計算の表現 140
   5.1　並列・並行・分散計算のための記述法概観 141
   5.2　論理回路 : 並列計算の効率解析のために 151
   5.3　ペトリネット : 並行計算の設計・解析のために 169
   ティータイム 186
練習問題の解説 188
参考文献 206
索引 208
1　プログラムによる計算の表現 1
   1.1　簡易プログラミング言語「Sプログラム」入門 1
   1.2　データのコード化 : 2進コード 5
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼