プログラマのための「ゲーデルの不完全性定理」(2)：速攻速習編 - 檜山正幸のキマイラ飼育記 (はてなBlog)
予定を変更して、“ご用とお急ぎ”があるかた向けに、「停止問題＋不完全性定理チョビット」に関して、1回で完結する説明をします。ですから、忙しい方は、「あとで読む」ってタグでこのエントリーを単品ブックマークするといいですよ :-)。 ※ それと、印刷時にはサイドバーは消えるはずです、お試しください。 実は、このエントリーで述べる速攻速習に向いた説明は、最初に思い付いたものの、しばらく考えてから却下したアイディアです。が、初回（兼ハブエントリー）が多少は注目されたようなので、「数回の続きものを順番に読むのは耐えられん！」という要望にも応えようか、と気が変わりました。実際に要望があったわけじゃないけど、（いろんなリンクから来る）多くの人の眼に触れれば、そう思う人がいるのも当然だと推測するので。 僕が速攻速習方式をなぜ一旦は却下したかは、次回エントリーまたはキマイラ・サイトの記事で説明します、たぶん
Win32 + MSYS + MinGW 5.1.4 で SDL の開発環境を構築
[TOP] - [Topics] - [SDL] - [開発環境] [MSYS + MinGW] [cygwin] [VinePlus] Win32 + MSYS + MinGW 5.1.4 で SDL の開発環境を構築 Win32 な OS での SDL を使える開発環境の作り方です． MSYS + MinGW 5.1.4 環境を構築した後に，各ライブラリをソースコードから コンパイルしてインストールする手順です． 必要なファイルをまとめて取得したい人はからどうぞ． MSYS + MinGW 環境用ファイル ソースファイル 単純に開発環境が欲しいだけならばソースコードからビルドする必要はありません． こちらでコンパイル＆インストールしたライブラリ， ヘッダ等をまとめたファイルを <URL:/resources/list/SDL-binary-mingw32.html> に用意
The Linux GCC HOWTO
Daniel Barlow <daniel.barlow@linux.org>v1.17, 28 February 1996 中野武雄 <nakano@apm.seikei.ac.jp>v1.17j2, 29 January 1997 この文書では linux の下で GNU C コンパイラとコンパイルに必要なライブラ リを設定する方法について記しています。またこれらの環境を用いたプログラ ムのコンパイル、リンク、実行およびデバッグについても概要を述べます。こ の文書の内容の多くは Mitch D'Souza の GCC-FAQ から得たものであり、この 文書は GCC-FAQ の代わりとなるものです。また ELF-HOWTO からも多くの題材 を採用しており、同じくこの文書は ELF-HOWTO の大部分を置きかえるもので す ［訳注：Daniel さんは ELF-HOWTO の著者でも
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
