Zidane il gioco! - bastardidentro （ジダンの頭突きゲーム）
1.Finalità dei trattamento dei dati I dati personali (di seguito: "Dati") forniti dall'utente sono trattati per finalità di invio via e-mail di materiale non promozionale e materiale promozionale inerente i prodotti e/o i servizi di Edizioni B e/o di terze società. 2. Modalità del trattamento dei dati Il trattamento verrà effettuato con l'ausilio di banche dati elettroniche di proprietà di Edizion
ITmedia Biz.ID:GTDに役立つトリガーリスト
ストレスフリーの仕事術「GTD」――。 その最初の難関は「収集」のプロセスです。「頭の中の『気になること』を吐き出すために、最低二時間は使ってください」と言われても困ってしまうかもしれません。実際、「GTDに挑戦したけれど、最初の30分で何も書けなくなって途中で投げ出してしまいました」――という人も多いようです。 そこで今回は収集のプロセスにおいて使える「トリガーリスト」をご紹介しましょう。トリガーリストの項目は「頭の中の気になることを思い出せてくれるであろう質問」になっています。このリストを横に置きつつ「書くことがなくなちゃったなぁ……」というときに参照すれば、きっと忘れていたことを思い出せることでしょう。 「収集」プロセスは落ち着いたカフェなどで行うとはかどるので、そのカフェに出かける際に印刷して持って行くとよいかもしれません。 GTDトリガーリスト 仕事のこと 現在抱えているプロジェ
【特集】CSS実装徹底検証! そこが知りたいInternet Explorer 7 (1) 01-01 Internet Explorer 7 beta2のCSS実装 (MYCOMジャーナル)
米Microsoftから2006年5月、Internet Explorer 7(IE7)beta2がリリースされた。IE7は2001年にInternet Explorer 6(IE6)がリリースされて以来、5年ぶりのアップデートとなる。このメジャーアップデートでは、CSSの標準規格への準拠やバグの修正、未対応だった機能への対応などが期待されている。 IE7 beta2では、CSS2.0のセレクタや「fixed」による固定位置表示、すべての要素に対する「:hover」の指定などに対応しつつ、XML宣言の記述によって発生していた問題が修正されるなど、要望の大きかった部分への対応・修正が行われている。 しかし、フロート(回り込み)関連や、プロパティを組み合わせたときに発生する細かなバグに関しては修正されていない部分も残っており、正式版リリースまでにどのぐらい修正されるかが注目される。 一方で、
GTD Style Wiki
GTDをソフトウェアで実現するためのツールを作りました。GTD Style Wiki GTDの原典「仕事を成し遂げる技術」を読んだときに、このToDo管理システムはソフトウェアのツールを使ってやるべきだと感じましたが、ネット上をいろいろ探してみても満足のいくツールが見つからず、結局自分で作ることにしました。また、GTDの本を読んでもワークフロー的に細かいところが分かりづらく、プログラミングすることでロジックを明確にしたかったという意図もあります。 ・TiddlyWikiのプラグインとしてGTD用ToDo管理機能を実装 ・カテゴリーをカスタマイズ可能な「次の行動」リスト ・カレンダー、TicklerFileの2種類のスケジュール管理ビュー ・ステータスタグによる柔軟なステータス管理 ・ポップアップメニューによる選択式ステータス設定 ・日本語完全対応 ・IE、Firefox、Opera対応(W
ホワット・ア・ワンダフル・ワールド 要素技術にかまけすぎて目的を見失いそうだ
Author:あろは (alohakun) WAKATSUKI toshihiro 連絡先 : alohakun ___at___ gmail.com mixi : http://mixi.jp/show_friend.pl?id=182927 twitter : http://twitter.com/alohakun abstract プログラミングという人間の知的行為を体系化し，単なる職人芸ではなく，サイエンスにするための研究をしています． 具体的には，等価変換計算モデルに基づいた，仕様記述からのプログラム合成の研究をしています． もっと噛み砕くと，プログラムの正しさをどのように定式化し，どのような枠組みで，どのように変換を進めていけば，正しさを保証したまま，効率的なプログラムを手に入れることができるのか，ということについて研究しています． キーワード : equivalent tra
極小プログラミング言語とホーア論理 - 檜山正幸のキマイラ飼育記 (はてなBlog)
一昨日定義した極小プログラミング言語を、TTPL（Tiny Toy Programming Language）というツマンネー名前で呼ぶことにします。 んでまー、TTPLをああいう仕様にしたのは、ホーア論理を直接的に使いたい、という理由があります。つうわけで、ホーア論理をTTPLを使って説明します。ただし、最初に言っておきますが、僕は（ホーア論理のような）プログラム証明を推奨する気はありません（どっちかいうと反対派）。それでも、理屈は知っておかないと、それから先に進めないってことはあります。 内容： ホーア式 ホーア式の正しさ プログラムの証明 こんなにめんどくさい なにが重要か ●ホーア式 ホーア論理の式（ホーア式とか、ホーア・トリプルと呼ばれる）は、プログラムの文と仕様記述を一緒にしたようなものです。p, qが論理式（条件）でSが文だとして、p{S}q という形で書きます。中括弧の使い
今週の「SPA!」はツッコミどころ満載でした
「カフェオレ･ライター〜誰も書かなかった映画レビュー〜」は、映画、漫画、ゲームから、管理人の私生活に至るまで、独自の視点で紹介するレビューサイトです。（基本的にネタバレ有） 【７月１３日】今週の「SPA!」はツッコミどころ満載でした（レビュー） 今週の「SPA!」で「女たちが萌える男の仕草」という特集をやっていたのですが、これがツッコミどころ満載でしたのでご紹介したいと思います。 では、「SPA!」一押しの「女たちが萌える男の仕草」をどうぞ。 藍色の引用部分はすべて原文のままです。 ● 遅刻しそうになってガードレールを跳び越える ……ご丁寧に、ガードレールに両手をつき、両足をそろえて跳び越えている写真が付いていましたので、イラストで再現してみます。 ガードレールを跳び越える萌える男の図 えっと、とりあえず遅刻しそうになっているという時点で既にデキる男からは程遠い気もするのですが、それともこ
全自動金庫破り機「オートダイヤラー」の作り方
金庫のダイヤル錠を総当たり戦で打ち破るというとんでもない機械です。 デモムービーでは簡単な錠前を開けて見せていますが、プログラムも公開されており、一応作り方も掲載されています。 詳細は以下の通り。 Unlocking a Combination Lock http://senior.billings.k12.mt.us/robots/unlock/index.htm ムービーはこちらから http://senior.billings.k12.mt.us/robots/unlock/pix/index.htm こっちはもっと本格的なモノ http://neil.fraser.name/hardware/locraker/ なお、業務用ではさらに本格的なオートダイヤラーが存在します。破錠せずに金庫を開けることが可能です。 金庫 - Security Akademeia ダイヤル合わせロック -
利用者の意識、管理者の意識 (オフピック: -1) (#978239) | 日本のIT技術者の皆さん、幸せですか？ | スラド
「IT技術者全般の不足と不満は深刻になってきていると見る」とあるけど 金をもっているやつが技術屋を使い捨てにしている結果に思える。 技術屋なんて他にいくらでもいるやとこき使っていたら、本当に 必要な技術屋もいなくなって、その状況をみていた若い者が 技術屋を目指さなくなって供給も減ってきた。 金で人が動くのは事実だが、すべてがそうではない。 また以前もどっかで書いたけど、 資料がこない、仕様が変わった、機械が届かない、「でも納期はそのままでやってくれ」 が通るようではいつまでも永遠にデスマーチ。 それを言っちゃあ仕事がとれない、ではなく「上流に変更が生じたら下流も変更が生じる」 のが当然というモデルに変えないと。 で、現場に働いている技術屋は「労働衛生環境」の劣悪さを訴え続けなければ。 訴えなければ改善されない。 ＃「技術屋を怒らせたら仕事が進まない」を目指したい 学生サーバー管理者への待遇
「今どきのハッカーは脆弱なサイトをググっている」と，米ISSディレクター
「これまでのハッカーはワームを作ってばら撒くのが主流だったが，今は違う。今どきの一流のハッカーはまずセキュリティの脆弱性を持っていそうなWebサイトをGoogleなどの検索エンジンで検索する。検索結果に出たWebサイトを攻撃し，クレジットカード番号などの個人情報を盗み取る」。 セキュリティ対策製品ベンダー，米Internet Security Systemsのダニエル・S・インゲバルドソン氏（技術戦略担当ディレクター）は，こう指摘する。ハッカーの行動が変わってきたのは「ワームを作るよりも，個人情報を盗み取ってブラック・マーケットで売ったほうが高額な利益を得られるから」（インゲバルドソン氏）である。 そのやり方は，例えばこうだ。あるWebアプリケーション・サーバー・ソフトに脆弱性があり，ハッカーがその脆弱性を突く攻撃のやり方を知っていたとしよう。ハッカーは，検索エンジンを使い，そのWebアプ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Oracle Java Technologies | Oracle
【コラム】ゲームの聖地日本で働きたいあるインド人学生の夢 デジタル家電&エンタメ-最新ニュース:IT-PLUS
Amazon.co.jp: Seasar2で学ぶ DIとAOP アスペクト指向によるJava開発: arton: 本
TechCrunch
Engadget | Technology News & Reviews