サイト内検索

詳細検索

ヘルプ

セーフサーチについて

性的・暴力的に過激な表現が含まれる作品の表示を調整できる機能です。
ご利用当初は「セーフサーチ」が「ON」に設定されており、性的・暴力的に過激な表現が含まれる作品の表示が制限されています。
全ての作品を表示するためには「OFF」にしてご覧ください。
※セーフサーチを「OFF」にすると、アダルト認証ページで「はい」を選択した状態になります。
※セーフサーチを「OFF」から「ON」に戻すと、次ページの表示もしくはページ更新後に認証が入ります。

【HB】丸善・ジュンク堂書店×hontoブックツリー 私が22歳で出会いたかった本 ポイント5倍キャンペーン (~5/23)

アウトレットブック ポイント5倍キャンペーン ~5/5

  1. hontoトップ
  2. 本の通販
  3. 浜名 誠の紙の本一覧

商品の絞り込み

絞込キーワード

発売日
ジャンル
在庫状況
価格帯

“浜名 誠”の紙の本一覧

1971年東京生まれ。群馬大学工学部情報工学科助手。

“浜名 誠”に関連する紙の本を2件掲載しています。12 件目をご紹介します。

表示タイプ :
一覧表示
イメージ表示

チューリングを読む コンピュータサイエンスの金字塔を楽しもう

チューリングを読む コンピュータサイエンスの金字塔を楽しもう

  • 評価5.0レビュー:2件
  • 税込価格:3,240
  • 出版社:日経BP社
  • 取扱開始日:2012/06/05
  • 発送可能日:1~3日
  • コンピュータサイエンスの歴史に残るチューリングの論文「計算可能数とその決定問題への応用」(1936年)を丹念に注釈。苦闘の痕跡までが息づいている、チューリングのオリジナルの論文の真髄を明らかにする。【「TRC MARC」の商品解説】

計算モデル論入門 チューリング機械からラムダ計算へ (Information Science & Engineering)

計算モデル論入門 チューリング機械からラムダ計算へ (Information Science & Engineering)

  • 税込価格:1,512
  • 出版社:サイエンス社
  • 発行年月:2006.8
  • 発送可能日:1~3日
  • 多くの人が持っているパーソナル・コンピュータのソフトウェアで行われている多種多様な計算が、どのような原理に基づいて行われているのかを解説。計算の可能性の観点から、ラムダ計算の体系を整理し、述べていく。【「TRC MARC」の商品解説】
検索結果 2 件中 1 件~ 2 件を表示
予約購入について
  • 「予約購入する」をクリックすると予約が完了します。
  • ご予約いただいた商品は発売日にダウンロード可能となります。
  • ご購入金額は、発売日にお客様のクレジットカードにご請求されます。
  • 商品の発売日は変更となる可能性がございますので、予めご了承ください。