感染拡大防止のため、本を読む前、読んだ後は手を洗いましょう。みなさまのご協力をお願いします。

検索結果書誌詳細

じどう図書
ログインすると許諾を得た一部の
表紙画像をご覧になれます
  • 書誌の詳細です。 現在、この資料への予約は 0 件あります。
  • ・予約するときは「予約カートに入れる」ボタンをクリックしてください。予約するには図書館窓口で発行したパスワードが必要です。
    ・「予約カートに入れる」ボタンが出ない書誌には予約できません。
    詳しくは「マイページについて－インターネットで予約するには」をご覧ください。

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。

所蔵数 26 在庫数 17 予約数 0

書誌情報サマリ

書名

こんにちはいぬ　(ゆうたくんちのいばりいぬ)

著者名 きたやまようこ／作
出版者 あかね書房
出版年月 1991.9
請求記号 ｴ/09849/

この資料に対する操作

カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。

いますぐ予約する を押すと 認証後この資料をすぐに予約します。

登録する本棚ログインすると、マイ本棚が利用できます。

資料情報

各蔵書資料に関する詳細情報です。

No. 所蔵館 資料番号 資料種別 配架場所 別置 帯出 状態
1 鶴舞0237911383じどう図書じどう開架ようじ在庫 
2 鶴舞0238224174じどう図書じどう開架ようじ貸出中 
3 西2132037819じどう図書じどう開架ようじ在庫 
4 熱田2232543443じどう図書じどう開架ようじ貸出中 
5 南2331687307じどう図書じどう開架ようじ在庫 
6 中村2532218654じどう図書じどう開架ようじ貸出中 
7 北2731726333じどう図書じどう開架ようじ在庫 
8 北2732437229じどう図書じどう開架ようじ在庫 
9 千種2831839390じどう図書じどう開架ようじ在庫 
10 瑞穂2931751545じどう図書じどう開架ようじ貸出中 
11 瑞穂2931876169じどう図書じどう開架ようじ在庫 
12 瑞穂2932054287じどう図書じどう開架ようじ貸出中 
13 瑞穂2932078120じどう図書じどう開架ようじ在庫 
14 守山3132363015じどう図書じどう開架ようじ在庫 
15 緑3232210272じどう図書じどう開架ようじ貸出中 
16 名東3332651516じどう図書じどう開架ようじ在庫 
17 名東3332729262じどう図書じどう開架ようじ在庫 
18 天白3432241853じどう図書じどう開架ようじ貸出中 
19 天白3432241861じどう図書じどう開架ようじ貸出中 
20 南陽4230478267じどう図書じどう開架ようじ在庫 
21 楠4331276248じどう図書じどう開架ようじ在庫 
22 富田4430871113じどう図書じどう開架ようじ在庫 
23 志段味4530304635じどう図書じどう開架ようじ在庫 
24 徳重4630367250じどう図書書庫ようじ在庫 
25 徳重4630367235じどう図書じどう開架ようじ在庫 
26 徳重4630367243じどう図書じどう開架ようじ貸出中 

関連資料

この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。

書誌詳細

この資料の書誌詳細情報です。

請求記号 ｴ/09849/
書名 こんにちはいぬ　(ゆうたくんちのいばりいぬ)
著者名 きたやまようこ／作
出版者 あかね書房
出版年月 1991.9
ページ数 [24p]
大きさ 19cm
シリーズ名 ゆうたくんちのいばりいぬ
シリーズ巻次 9
ISBN 4-251-00107-9
ISBN 978-4-251-00107-8
分類 ｴ
書誌種別 じどう図書
タイトルコード 1009410142763

要旨 コンピュータには計算できない数がある。チューリング機械を動かしてコンピュータと数学の限界に答えを出す。不朽の論文「計算可能数とその決定問題への応用」（１９３６）の本当の意味がわかる。
目次 第１部　基礎（ディオファントスここに眠る
無理数と超越数
進歩の世紀）
第２部　計算可能数（アラン・チューリングの受けた教育
動く機械
加算と乗算
またの呼び名はサブルーチン
すべては数
万能機械
コンピュータと計算可能性
機械と人間）
第３部　決定問題（論理と計算可能性
計算可能関数
主要な証明
ラムダ計算
連続体をめぐって）
第４部　展望（万物はチューリング機械か
ディオファントスの長き眠り）
著者情報 ペゾルド，チャールズ
　プログラミング分野の書籍を多数執筆(本データはこの書籍が刊行された当時に掲載されていたものです)
井田 哲雄
　筑波大学名誉教授。専門はコンピュータサイエンス。研究分野は記号計算、書換えの理論、コンピュータ折紙、制約関数論理プログラミング、ソフトウェア検証(本データはこの書籍が刊行された当時に掲載されていたものです)
鈴木 大郎
　会津大学コンピュータ理工学部コンピュータ理工学科准教授。研究分野は記号計算、書換え系、関数型プログラミング、ＸＭＬ、オートマトンなど(本データはこの書籍が刊行された当時に掲載されていたものです)
奥居 哲
　中部大学工学部情報工学科准教授。研究分野は記号計算（オートマトン、書換え系、関数型プログラミングなど）(本データはこの書籍が刊行された当時に掲載されていたものです)
浜名 誠
　群馬大学工学研究科情報工学専攻助教。研究分野はプログラミング言語の数学的モデル、特に圏論的意味論、関数型プログラミング、依存型理論、高階書換え系など(本データはこの書籍が刊行された当時に掲載されていたものです)
山田 俊行
　三重大学大学院工学研究科情報工学専攻講師。研究分野は書換え系、等式論理、自動推論、ソフトウェアの解析と検証など(本データはこの書籍が刊行された当時に掲載されていたものです)


内容細目表：

前のページへ
ページの先頭へ トップページへ

本文はここまでです。

ページの終わりです。