DocumentationAsk questions, find answers and collaborate at work with Stack Overflow for Teams. Explore Teams Collectives™ on Stack Overflow Find centralized, trusted content and collaborate around the technologies you use most. Learn more about Collectives
『ソフトウェアの基礎』のePub版を公開しました。 - みずぴー日記
「Software Foundations(和訳: ソフトウェアの基礎)」はBenjamin Pierce氏らによって書かれたドキュメントであり、Coqによりプログラミングやプログラミング言語の理論が解説されています。基本的な部分から丁寧に解説されているため、Coqの入門書としてもプログラミング言語理論の入門書としても、非常に優れた内容となっています。 今回は、その「ソフトウェアの基礎」のePub版を公開しました。 対応したリーダを用いることで、iPhoneやiPad、Androidで本ドキュメントを読むことができます。 ダウンロード http://proofcafe.org/sf-beta/ からダウンロードできます。 またmobi版もありますが、Kindleを持ってないので、動作確認はしていません。 バグ報告 http://github.com/sfja/sfja へのissues登録
オープンソース化されたDoom3のソースコード解析 - YAMDAS現更新履歴
Doom や Quake といったゲームで知られる id Software は、そのゲームエンジンのソースコードを、それが旧世代になったところで定期的に GPL で公開してきたが、昨年11月には Doom 3 のソースコードを GitHub で公開している。 そして、それからおよそ半年経ち、そのソースコードを解析した全五部作（＋ジョン・D・カーマックのインタビュー集）のページが公開された。 Doom3 Source Code Review: Introduction Doom3 Source Code Review: Dmap preprocessing Doom3 Source Code Review: Renderer Doom3 Source Code Review: Profiling Doom3 Source Code Review: Scripting VM Doom3 Sou
Success is a Journey, not a Destination: 全てのCプログラマが未定義な振る舞いについて知っておくべきこと #1/3
[What Every C Programmer Should Know About Undefined Behavior #1/3 の翻訳です。] LLVMでコンパイルしたコードは、最適化を有効にしているとたまにSIGTRAPシグナルを生成するのはなぜなのか、と聞かれることがある。いろいろ調べたあと、(X86での話だが) Clangは "ud2" インストラクションを生成していたことがわかった。"ud2" は__builtin_trap()が生成するインストラクションと同じものだ。[訳注: #UD例外を発生させる命令。ソフトウェアが#UD例外をハンドルできているかテストするために使われる。つまり、ソースコードが未定義な振る舞いを使っていたから、LLVMはud2インストラクションを生成したのであって、LLVMのバグではない、ということ] こういう問題は幾つかあって、すべて、Cの未定義な振る
Linux Bash Shell Cheat Sheet
Programming Education for Pre-Beginners Learn Code The Hard Way courses are the most effective system for learning the basics of computer programming, designed specifically for complete beginners. I call my target readers "pre-beginners" to emphasize how focused I am on people who know absolutely nothing. The courses have helped millions of people just like you, from all over the world, from all d
official letters from santa
JavaScript sucks because Note some of this is not JavaScript itself, but web APIs (https://developer.mozilla.org/en/docs/Web/API) Poor Design Every script is executed in a single global namespace that is accessible in browsers with the window object. Camel case sucks: XMLHttpRequest HTMLHRElement Automatic type conversion between strings and numbers, combined with '+' overloaded to mean concatenat
専門知識の仕入れ方 - Preferred Networks Research & Development
今日は，普段どのようにして専門知識を仕入れているかについて書いてみようと思います．特に自分が得意でない分野を知りたいと思った時に，どうするかに注目したいと思います．自分の専門の場合は，いくらでも時間を注ぐことが出来るので，世界中のリソースを全て探し当てて勉強すれば良いのですが，ちょっと興味が有るぐらいではそこまでやる時間は取れません．なので出来るだけ効率的に分かった気になるのが目標です． まず，論文を直接読むのはあまり効率的では無いと思います．論文は広い分野の中の或る問題に対して一つの解決方法を書いているだけで，分野全体を俯瞰することは目指していません．論文だけ読んで分野全体を理解するには，最低50本ぐらい読む必要が有ると思います．
「鉄拳タッグトーナメント2」を60fpsで動作させるために開発者が知恵を絞ったポイント
本日2011年9月6日(火)より9月8日(木)までパシフィコ横浜にて開催されている、日本最大のゲーム開発者向けカンファレンス「コンピュータエンターテインメントデベロッパーズカンファレンス2011(CEDEC2011)」の一環として「2体から4体！？ ～鉄拳タッグトーナメント2における描画システムと負荷削減について～」という、2011年9月14日から全国で稼働を開始する人気格闘ゲーム最新作「鉄拳タッグトーナメント2」において使用されている描画システムと負荷削減(主に描画)について、描画プログラムのリーダーを務めたバンダイナムコゲームスの堂前嘉樹さんが講演を行ったので聴講してきました。以下に掲載する講演の全内容とスライドを読めば、現地で聴講した気分をかなりリアルに味わえるはずです。 プログラミング | CEDEC 2011 | Computer Entertaintment Developer
エラーハンドリングモデル考察
エラーハンドリングモデルに関する考察。 エラーハンドリング勉強会 ( http://partake.in/events/9874b92a-4cf0-4a20-a3fe-951239da5612 )にて発表。
関数型プログラミングの世界
The document discusses the idea of integration by parts, which involves using the product rule in reverse to evaluate integrals that cannot be solved using other methods. It presents the integration by parts formula as u(x)v'(x)dx = u(x)v(x) - u'(x)v(x)dx and works through an example problem of evaluating the integral of xex dx using this formula. The example breaks the integral down into separate
Chop
Chop is Retired! It’s all good though, we’ve got bigger and better things in store for you! Check Out Helio Chop's FAQ A little app from ZURB that lets people slice up bad code and share their feedback to help put it back together. Why? Giving one-off feedback on coding errors is a pain. You just want to share a quick, contextual note with someone, but there aren't any good tools out there to help
いろいろな言語のコーディング規約，スタイルガイドのリスト — TRIVIAL TECHNOLOGIES 2.0
みんなのIoT/みんなのPythonの著者。二子玉近く160平米の庭付き一戸建てに嫁/息子/娘/わんこと暮らしてます。月間1000万PV/150万UUのWebサービス運営中。 みんなのブロックチェーンは，ブロックチェーンの入門書。暗号やハッシュなどを含め，基礎からブロックチェーンの仕組みを学べる書籍です。 いろんな方に「新しい技術を学ぶことの楽しさ」を感じ取ってくれたら著者として嬉しいです:-)。お金は技術的にどのように定義されるのか。 みんなのIoTは，モノのインターネットと呼ばれるIoTの入門書です。IoTの基本について，読者に寄り添って優しく解説しました。裏テーマは一番とっつきやすいPython入門書。サポートページはこちら みんなのPython 第四版は，より分かりやすい入門書を目指し，機械学習やデータサイエンスの章も追加して第三版を大幅に書き換えました。Python 3.6にも華
コードポケット - アプリケーションをささっと作るコツ - （ひ）メモ
誰に教えられたのでもないのですが、ぼくは冬眠前のリスのようにコード片を溜め込んでいます。 コード片とは、ライブラリにするほどまとまった大きさではない、数行〜十数行のコードのことで、溜め込んだコード片は、アプリケーションやツールを作るときに使っています。 例えば「Perlでメール送るのどう書くんだっけかな」とか「Pythonでファイル開いて全部読むのどう書くんだっけかな」とかというときに、溜め込んだ中からコード片をさっと取り出してコピペした後、なじむようにちょっと修正して使っています。 コードポケット コードを溜め込んでいるディレクトリをぼくは「コードポケット」と名付けていて、コード片を取り出すことを「ポケットからコードを取り出す」と呼んでいます。先日、知り合いが似たようなことを実践していて、その人は「コードスケッチ」と呼んでました。いい名前ですね。 ぼくの場合、コードポケットは ~/lan
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Scratch
https://qiita.com/tokomakoma123/items/a33feffe947a958a2d3a
リファクタリングのお供に使えるcodemod
Anders Hejlsberg - Where are programming languages going? | GOTO Video on blip.tv
基礎文法最速マスターランキング
Steve Yegge on Scalable Programming Language Analysis
http://1978th.net/tech/promenade.cgi?id=31