ソフトウェアの基礎(beta) — ソフトウェアの基礎 1.0.2 documentationソフトウェアの基礎(beta)¶ 本ドキュメントは実験中のものです。 安定板は http://proofcafe.org/sf/ を参照してください。 epub版: http://proofcafe.org/sf-beta/software_foundation_1.0.2.epub mobi版: http://proofcafe.org/sf-beta/software_foundation_1.0.2.mobi Contents:
アラン・チューリング - Wikipedia
マンチェスターのSackville Gardensにあるアラン・チューリングの銅像 アラン・マシスン・チューリング（Alan Mathison Turing、英語発音: [tjúǝrɪŋ]〔音写の一例：テュァリング〕, OBE, FRS 1912年6月23日 - 1954年6月7日）は、イギリスの数学者、暗号研究者、計算機科学者、哲学者である。日本語において姓 Turing はテューリングとも表記される[2]。 電子計算機の黎明期の研究に従事し、計算機械チューリングマシンとして計算を定式化して、その知性や思考に繋がりうる能力と限界の問題を議論するなど情報処理の基礎的・原理的分野において大きな貢献をした。また、偏微分方程式におけるパターン形成の研究などでも先駆的な業績がある。 経歴・業績の基盤となる出発点は数学であったが、第二次世界大戦中に暗号解読業務に従事した。また黎明期の電子計算機の開発
『ソフトウェアの基礎』のePub版を公開しました。 - みずぴー日記
「Software Foundations(和訳: ソフトウェアの基礎)」はBenjamin Pierce氏らによって書かれたドキュメントであり、Coqによりプログラミングやプログラミング言語の理論が解説されています。基本的な部分から丁寧に解説されているため、Coqの入門書としてもプログラミング言語理論の入門書としても、非常に優れた内容となっています。 今回は、その「ソフトウェアの基礎」のePub版を公開しました。 対応したリーダを用いることで、iPhoneやiPad、Androidで本ドキュメントを読むことができます。 ダウンロード http://proofcafe.org/sf-beta/ からダウンロードできます。 またmobi版もありますが、Kindleを持ってないので、動作確認はしていません。 バグ報告 http://github.com/sfja/sfja へのissues登録
List of important publications in computer science - Wikipedia
1.2A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence
dblp: computer science bibliography
case-insensitive prefix search: default e.g., sig matches "SIGIR" as well as "signal"exact word search: append dollar sign ($) to word e.g., graph$ matches "graph", but not "graphics"boolean and: separate words by space e.g., codd modelboolean or: connect words by pipe symbol (|) e.g., graph|networkUpdate May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolea
Lambda the Ultimate | Programming Languages Weblog
The idea of Platonic C# is to enforce referential transparency within the context of C#, by enforcing a set of rules around defaulting to immutability of data structures and requiring uniqueness of instances of mutable types. The Computer History Museum, in conjunction with Adobe, has released the PostScript source code. Here is the release, with some helpful historical context and several photos:
ソフトウェア科学特論: 命題論理
本Webページ(およびPDF)の作成には Emacs org-mode を用いており， 数式等の表示は MathJax を用いています． IEでは正しく表示されないことがあるため， Firefox, Safari等のWebブラウザでJavaScriptを有効にしてお使いください． また org-info.js を利用しており， 「m」キーをタイプするとinfoモードでの表示になります． 利用できるショートカットは「?」で表示されます．
エドガー・W・ダイクストラ: 謙虚なるプログラマ (The Humble Programmer)
謙虚なるプログラマ (The Humble Programmer) エドガー・W・ダイクストラ (Edsger W. Dijkstra) 1972年 ACM チューリング賞 受賞講演 原文: The Humble Programmer (EWD 340) [PDF] [HTML], E.W.Dijkstra Archive 度重なる偶然の連鎖により、1952年はじめの春の日に、 わたしは公式にプログラマという職業につくことになりました。 思い出せるかぎり、私はこの仕事を始めた最初のオランダ人です。 今から考えてみますと、もっとも驚くべきことは、少なくともわたしのいた世界では、 この職業が登場するのがいかに遅かったかということです。 この遅さは今からみると信じられないほどのものですが、わたしは この疑いもない遅さを確立した、あのころの2つの思い出に深く感謝しています。 プログラミングというも
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
CAS - Central Authentication Service
CiteSeerX
カーネギーメロン大学コンピュータサイエンス学科、1 年次のカリキュラムから OO を除外 - スラッシュドット・ジャパン