HTML5 Security CheatsheetWhat your browser does when you look away...

テキストリンクにマウスでホバーをすると、リンク先のURLやテキスト情報をアニメーションで表示するスクリプトをafEkenholm Web Designから紹介します。 HoverAttribute jQuery plugin デモ HoverAttributeのデモ 表示できるものはhrefやrelやtitileなど属性内のデータで、URLのフォーマットやアニメーションを変更することができます。

最近のコメント PHP オブジェクト指向の勉強 └ Red - 2010.01.08 └ hogepage - 2010.01.21 └ Red - 2010.01.22 └ - 2011.11.27 └ houseiii - 2011.11.27 Fireworks トリミング画像を一括書出 CS4編 └ Iper - 2009.06.27 └ Red - 2009.06.27 └ mala - 2011.11.17 └ Red - 2011.11.18 jQueryでボックスを上下左右中央に簡単配置 └ ミラクル - 2009.03.15 └ Red - 2009.03.15 └ entZ - 2011.10.22 └ Red - 2011.10.24 overflow を使用したボックス背景のこと └ - 2007.12.13 └ Red - 2007.12.13 └ - 2007.

オンラインで入手できる数理論理学・数学基礎論のテキスト 数理論理学、数学基礎論の教科書的に使えるテキスト（講義ノート、サーヴェイ、モノグラフ等）のうち、オンラインで入手できるものを集めました。 入門的概説 論理一般 高階論理と型理論 直観主義論理 コンビネータとラムダ計算 時相論理および時制論理 様相論理 適切さの論理 自然言語の論理 空間論理 モデル理論 安定性理論 無限論理 計算可能性理論および再帰理論 集合論 pcf理論 記述集合論 実数の集合論 選択公理 強制法と内部モデル 連続体仮説 NF 証明論と構成的数学 順序数解析 算術の体系と不完全性 証明可能性論理 線形論理 構成的数学 代数的論理と圏論 ブール代数 普遍代数 量子論理 圏論 歴史 入門的概説 [▲] 加茂静夫，「数理論理学（命題論理と述語論理）」．[PDF] 嘉田勝，「数理論理学 講義ノート（2013年度版）」． St

みなさんこんにちは 今までAndroid NDKを使用してAndroidアプリをC言語やC++で開発できることを紹介してきました。ここではもう一歩踏み込み、C++のSTLが使用できるか試してみたいと思います。 STLについては以下を参考にしてください。 http://ja.wikipedia.org/wiki/Standard_Template_Library 今回はSTLportを使用したいと思います。Android用にカスタマイズされたSTLportが開発されたためです。これは標準のSTLに比べ効率的で、スレッドセーフで標準には含まれていないハッシュマップなども使用できます。 ではいってみましょう。 以下の手順です。 １、gitをインストール tarポールには現時点ではandroidに対応したものが含まれていないのでgitでインストールします。そのうちtarポールにも入っているよ

先月や先々月は鼻から DisplayObject がパーティクルの如く吹き出そうなぐらいバリバリ実装をしていた反動か、今月は設計やデザインに食指が動く今日この頃です。というか、現実問題として実装前フェーズの案件が沢山あるってだけなんですけどね。 そんで色々考える訳なのですが、ふと、「オブジェクト指向そのもの」についてきちんと勉強したことが無い気がしてきました。これはいけません。なんかバイブル的なものってあるんでしょうか。 で、インターネッツを漂流していたらオージス総研さんの「オブジェクトの広場」にいい感じのまとめをいくつか発見しました。 技術書籍紹介 [オブジェクト指向を学ぶための入門書ガイド] これだけは読んでおきたい！オブジェクト指向関係の文献ガイド オブジェクト本分野別ランキング [デザインパターン] オブジェクトの広場編集員が贈るオススメ書籍 - 今、この本がアツい！ - で、気に