ジョン・ホートン・コンウェイ - Wikipedia
ジョン・ホートン・コンウェイ（John Horton Conway, 1937年12月26日 - 2020年4月11日[2][3]）はイギリスの数学者。プリンストン大学名誉教授。 経歴[編集] イギリス、リヴァプールに生まれる。ケンブリッジ大学で数学を学び、1959年に学士号を取得。その後、ハロルド・ダヴェンポートのもとで数論を研究し、1964年に博士号を取得した。1981年王立協会フェロー選出。 2020年4月11日、2019新型コロナウイルス（SARS-CoV-2）による急性呼吸器疾患（COVID-19）が原因で死去。82歳没[3]。 仕事[編集] コンウェイ群（英語版）の発見 (1968)、ライフゲームの考案 (1970)、超現実数の発明 (1970)、巨大数のコンウェイ記法の発明などで知られる。エルデシュ数は 1。著名な弟子にはリチャード・ボーチャーズ、ロバート・ウィルソンがいる。
MINIXの30年の歴史から学んだこと
(本文書はAndrew S. Tanenbaum教授の許可をいただいて島慶一が翻訳しました。) MINIXの30年の歴史から学んだこと (原題: Lessons learned from 30 years of Minix) 著者: Andrew S. Tanenbaum (収録: Communications of the ACM, Vol. 59 No. 3, March 2016, Pages 70-78) Linuxのことはみなさんよくご存知だと思いますが、その直接の祖先であるMINIXも齢三十を迎え、古参のソフトウェアとしてはまだまだ元気にやっています。MINIXの生い立ち、またMINIXやLinuxの始まりの物語はあまり知られておらず、だからこそMINIXの開発から多少なりとも学ぶべきことがあるのではないかと思うのです。これからお話しすることには、オペレーティングシステム特有の
NextBook
本書の次に読むもの 文庫 思考する機械コンピュータ (草思社文庫)（W.Daniel Hillis (原著), 倉骨 彰 (翻訳) 簡単なので、前でも良いかも。 論理と計算のしくみ（萩谷 昌己, 西崎 真也） コンピュータサイエンス入門 1 アルゴリズムとプログラミング言語（大堀 淳，ジャック ガリグ，西村 進） コンピュータサイエンス入門 2 論理とプログラム意味論（田辺 誠，中島 玲二，長谷川 真人） 計算論 計算可能性とラムダ計算 (コンピュータサイエンス大学講座)（高橋 正子） 型システム入門 プログラミング言語と型の理論（Benjamin C. Pierce著 住井英二郎監訳 遠藤侑介・酒井政裕・今井敬吾・黒木裕介・今井宜洋・才川隆文・今井健男共訳） 形式言語理論 John E. Hopcroft, Rajeev Motwani and Jeffrey D. Ullman. In
How to Design Programs
How to Design Programs An Introduction to Computing and Programming Matthias Felleisen Robert Bruce Findler Matthew Flatt Shriram Krishnamurthi The MIT Press Cambridge, Massachusetts London, England Copyright © 2001 Massachusetts Institute of Technology Illustrations © 2000 Torrey Butzer All rights reserved. No part of this book may be reproduced in any form by any electronic or mechanical means (
Ruby嫌いがアンダースタンディングコンピュテーションを読んで - ぐるぐる～
アンダースタンディング コンピュテーション―単純な機械から不可能なプログラムまで 作者: Tom Stuart,笹田耕一(監訳),笹井崇司出版社/メーカー: オライリージャパン発売日: 2014/09/18メディア: 大型本この商品を含むブログ (2件) を見る 一番最初にはっきりさせておきますが、Rubyは嫌いな言語です。 が、この本はRubyが嫌いな自分でもいい本だと言える*1本でした。 自分が対象読者に入っているかどうかは実際に読んでみるまで微妙かな、と思っていましたが、とても楽しめました。 以下、書評です。 Rubyという選択 説明用のコードとして本書はRubyを使っていますが、 これに関してはその理由が1章にあります。 私はその明瞭さと柔軟さに魅かれてRubyを選びました また、続けて 本書にはRuby独自の機能に依存しているところはありません。 そのため、もしあなたにとってわか
機械学習を初めて勉強する人におすすめの入門書 - old school magic
概要 私が機械学習の勉強を始めた頃、何から手を付ければ良いのかよく分からず、とても悩んだ覚えがあります。同じような悩みを抱えている方の参考になればと思い、自分が勉強していった方法を記事にしたいと思います。 目標としては、機械学習全般について、コンパクトなイメージを持てるようになることです。 そのためにも、簡単な本から始めて、少しずつ難しい本に挑戦して行きましょう。 入門書 何はともあれ、まずは機械学習のイメージを掴むことが大切です。 最初の一冊には、フリーソフトでつくる音声認識システムがおすすめします。 フリーソフトでつくる音声認識システム - パターン認識・機械学習の初歩から対話システムまで 作者: 荒木雅弘出版社/メーカー: 森北出版発売日: 2007/10/17メディア: 単行本（ソフトカバー）購入: 45人 クリック: 519回この商品を含むブログ (38件) を見るレビュー :
データ・サイエンスのプログラミング言語はRからPythonに置き換わる | readwrite.jp
これまでデータ・サイエンティストの選ぶプログラミング言語はRだったのだが、急激にPythonに置き換わろうとしている。 このシフトの理由はいくつかあるようだが、第一にはPython自体が汎用的で比較的学びやすい言語であるのに対し、Rが習得するにあたってやや複雑であることがあげられるだろう。 データにますます依存しつつある現代社会とデータに飢えたサイエンティストにとっては「簡単さ」こそが鍵となるのだ。 Rは実際にはプログラミング言語ではないRを覚えることに苦労する人が多い理由として考えられるのは、Rが実際にはプログラミング言語ではないからかもしれない。R専門家のジョン・クックいわく、Rとは「統計のためのインタラクティブな環境」であり、厳密にはプログラミング言語ではないのだ。彼はさらに「Rをプログラミング言語だと考るのではなく、Rがプログラミング言語を内包しているのだと考えた方が良いと分かった
「オペレーティングシステム論」の講義資料・ノートPDF。OSのプロセス管理やメモリ管理，ファイルシステムを勉強 - 主に言語とシステム開発に関して
講義ノートの目次へ 大学の情報科学の講義，「オペレーティングシステム」論の講義ノートを集めた。 どの大学でも，OSの仕組みとして下記の項目を学ぶ。 プロセス管理・スケジューリング メモリ管理 ファイルシステム システムコール・割り込みの制御 これらを体系的に学習する。それがオペレーティングシステム論。 ※なお，プロセッサ（CPU）の動作原理や機械語について学習するのは「コンピュータ・アーキテクチャ」という授業。こちらのページに講義ノートがある。 オペレーティングシステムの講義ノート 全てテーマごとにファイルが分割されており，スライドをPDF形式で読めるようになっている。 オペレーティングシステム: 講義案内 http://www.eidos.ic.i.u-tokyo.ac.jp/~... 東大電子系。プロセス，仮想記憶，ファイルシステム オペレーティングシステム/講義資料 - IS2011
【お蔵出し】コンピュータ書紹介：高い本編 - 思っているよりもずっとずっと人生は短い。
3年くらい前に書いたコンピュータ書の紹介文が発掘されたので、せっかくなので貼っておきます（一部手直し済み）。 こういうのはレギュレーションが問題で、この時は「いい本だけど高い本」でした。今でも当然ながらお勧めですが、「買いたい」というよりは「買わせたい」本かも。 ちなみにこの中では1冊だけ自分では持ってない本があります（それ以外にも買ったんだけど本棚の億に埋もれて発掘できない本も多々あります……）。 ヘネシー＆パターソン『コンピュータアーキテクチャ 定量的アプローチ 第4版』 コンピュータアーキテクチャ 定量的アプローチ 第4版 (IT Architects’ Archive) 作者: John L. Hennessy,ジョン・L・ヘネシー,デイビッド・A・パターソン,David A. Patterson,中條拓伯,吉瀬謙二,佐藤寿倫,天野英晴出版社/メーカー: 翔泳社発売日: 2008/
機械学習 はじめよう 記事一覧 | gihyo.jp
運営元のロゴ Copyright © 2007-2024 All Rights Reserved by Gijutsu-Hyoron Co., Ltd. ページ内容の全部あるいは一部を無断で利用することを禁止します。個別にライセンスが設定されている記事等はそのライセンスに従います。
準仮想化 - Wikipedia
計算機科学において準仮想化（じゅんかそうか、英: Paravirtualization）は、仮想機械へのソフトウェアインタフェースを提供する仮想化技術の一つである。その仮想機械 (VM) は、下層の物理ハードウェアと似ているが同一のものではない。 準仮想化を用いることでハイパーバイザ (VMM) はよりシンプルにでき、その上で動作する仮想機械の動作パフォーマンスを仮想化されていない物理ハードウェア上で動作させる時に近づけることができるようになるだろう。しかしながら、オペレーティングシステムを準仮想化されたVMMの上で動作させるには修正が必要になる。プロプライエタリなオペレーティングシステムの開発をおこなっている所は、戦略的な目的で準仮想化を可能にするために自社製品に手を入れることを拒否するかもしれない。 歴史[編集] これは古くからあるアイデアに基づいた新しい用語である。IBMの「VM」（
x86仮想化 - Wikipedia
x86仮想化とは、x86ベースのゲストオペレーティングシステム (OS) を、別のx86ベースのホストOS上で、ほとんど（あるいは全く）ゲストOSを修正することなく動作させる手法である。 本来のx86アーキテクチャは、命令セット中に特権命令でないセンシティブな命令がある。このためPopekとGoldbergの仮想化要件を満たしていない。2005年と2006年、インテルとAMDがそれぞれx86アーキテクチャを拡張することでこれに対応し、他の仮想化での問題にも対処した。 Intel VTの名称で知られるインテルによる実装についてはインテル バーチャライゼーション・テクノロジーの項目を、AMD-VおよびAMD-Viなどの名称で知られるAMDによる実装については本記事の該当項目を参照のこと。 ソフトウェア技法[編集] 1999年2月8日、VMware は初のx86仮想化製品 "VMware Vir
PopekとGoldbergの仮想化要件 - Wikipedia
PopekとGoldbergの仮想化要件 (英:Popek and Goldberg virtualization requirements) とは、コンピュータアーキテクチャが効率的にシステムの仮想化を実現するための一群の十分条件である。ジェラルド・J・ポペック (Gerald J. Popek) と ロバート・P・ゴールドバーグ (Robert P. Goldberg) の 1974 年の論文 "Formal Requirements for Virtualizable Third Generation Architectures" (仮想化可能な第三世代アーキテクチャへの要件) で示された [1] 。これらの要件は簡単のため仮定に基づいたものであったが、コンピュータアーキテクチャが十分な仮想化機能を備えているかどうかの判断基準と、仮想化されたコンピュータアーキテクチャの設計についての
米スタンフォード大学が「機械学習」「データベース」「人工知能」の無料オンライン授業を今秋から開始 − Publickey
米スタンフォード大学は、今秋から同大学で行われているコンピュータサイエンスの講義のうち、3つのコースをオンラインで無料公開することを発表しました。 公開されるのは、「Machine Learning」（機械学習）、「Introduction to Databases」（データベース入門）、「Introduction to Artificial Intelligence」（人工知能入門）の3コース。どのコースも今年の10月に開講し12月に終了する3カ月間の予定。コースによっては実際の講義とほぼ同様の宿題も用意され、提出すると自動採点してくれるようです。 機械学習のコースを担当するAndrew Ng准教授は発表の中で次のようにコメントしています。 “Both in the United States and elsewhere, many people simply do not have a
『【再掲】【研究課題レポート抜粋】GPGPUによるパーソナルスーパーコンピュータの可能性』
GPUは、CPUに比べてクロック周波数が低いものの、core数が文字通り桁違いに多く搭載されていることが分かる。また、メモリ性能についても3倍～10倍の差がある。 ※FelmiはNVIDIAの次世代アーキテクチャ。 開発環境 CUDAドライバCUDAツールキット一式CUDA SDKコードサンプルがNVIDIAからダウンロード可能。 SDKには、以下の内容が含まれる。nvcc CコンパイラGPUのためのCUDA FFT及びBLASライブラリプロファイラGPUのためのgdbデバッガCUDAランダムドライバ(標準NVIDIA GPUドライバでも使用可能)CUDAプログラミングマニュアル コンパイル及びオプション C言語で記載されたソースコード(cuda酔うには、拡張子.cuを使う)をnvccを使ってコンパイラを行う。 よく使うオプションは、--output-file (-o) ファイルの出力先を
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
リレーショナル・データベースの世界
「iOS 7」論争とデザインの本質：ジョン・マエダ
Amazon.co.jp： 1+2=3―足し算に潜む迷宮: 山村 吉信: 本
Amazon.co.jp: 言語処理のための機械学習入門 (自然言語処理シリーズ 1): 高村大也: 本
言語と計算 (4) 確率的言語モデル
