社内セミナーで Alloy Analyzer について発表してきました - これは圏です（はてな使ったら負けだとおもっていた）
PFI の社内セミナーで Alloy Analyzer について発表してきました。 Alloy Analyzer のこと View more presentations from Hiromi Ishii なんか ust でストリーミング放送された上、録画・保存されてしまっているらしいので、観てやろうという酔狂な方は下からご覧になったらいいんじゃないでしょうか。 なんだか台本とか特に考えずに書いたので、早口かつしどろもどろと云うか何か何云ってるのか良くわからない感じになっちゃってますね……反省。 補足 日本語をソースで使うには、4.2RC を使う必要があります。 さて。訳者の一人でいらっしゃる id:bonotake さんやさかいさんから幾つか補足がありましたので紹介します。 発表では「有界モデル検査器」と紹介しましたが、公式には「有界モデル発見器」と呼ぶそうです。 発表では assert
旧・Macの手書き説明書 - FC2 BLOG パスワード認証
ブログ パスワード認証 閲覧するには管理人が設定した パスワードの入力が必要です。 管理人からのメッセージ https://mac-tegaki.comへ移転中 閲覧パスワード Copyright © since 1999 FC2 inc. All Rights Reserved.
『超実践 読書術』がスゴイ - 凹レンズログ
日経済ビジネス Associeの2011 10/4号にて、多忙の中でも仕事に必要な知識を本から効率よく吸収する方法が紹介されていました。 「忙しくて読めない人」から「忙しくても読める人」に このキャッチフレーズがとても良かったです。 日経ビジネス Associe (アソシエ) 2011年 10/4号 [雑誌] 大量の本から刺激を得る まず目を引いたのは、大量の本から情報を得る読書の仕方でした。 書店で本に触れる＆買う ほぼ毎日書店に行く 少し読んで、1行でもピンときた本は買う ベストセラーは必ず買う 買ったその日に読む すぐに近くのカフェで読み始める その日のうちに90％近く読む 読み方に幅を持たせる（精読から、付箋を貼るだけの本も） 毎日50冊くらいの本に触れる 量が質を凌駕するというのは、こういうことを言うんだと思います。絶対的な本への接触量を増やすという発想が新しかったです。 「買っ
著作権放棄・シンプル・軽量で、iPhoneなどにもレイアウトを調整できるレスポンシブWebデザイン対応のHTML5フレームワーク・Fluid Baseline Grid - かちびと.net
なかなか凄いフレームワークがあったので 反射的にメモ。パブリックドメインという のが何より太っ腹ですねー。自由に使用で きて、シンプルで汎用的、しかも軽量で iPhoneやiPadにもレイアウトを自動調整 するレスポンシブWebデザイン対応のHTML5 フレームワークです。 これ、凄く良い感じです。いいもの全部詰め込んだ、みたいなソフトウェアですね・・・ちゃんと使いこなせるようになりたいかも。 Media Queriesを使ったレスポンシブWebデザイン対応のCSSフレームワークです。3カラム構成で組めるようにもしてあります。マークアップはHTML5+CSS3ですが、jsを使ってIEにも対応してくれています。 以下にざっと特徴を。 著作権放棄(パブリックドメイン) 軽量(CSSは9kb) ベースライングリッドに揃済み グリッドレイアウト対応 iPhoneやiPadなどにも自動でレイアウトを
インターネットの恵みで生きる（前編） - phaの日記
実はひとりになりたいゆえに バカみたいにたくさんの人と話すのだ 早川義夫「ラヴ・ゼネレーション」より ネットがなかったら僕の人生はもっと寂しくてみじめでつまらないものだっただろうと思う。今の僕の生活は収入も人間関係も暇潰しの娯楽も全てネット経由で得たものばかりだし、もしネットがなかったら、僕は今でも大阪で嫌々とやる気のない会社員でもやっているか、完全な無収入になって頼る人もいずに世界のどこかで野垂れ死んでいただろう。 小さい頃からずっと学校や会社が苦痛で「だるい」「行きたくない」「毎日好きなだけ寝ていたい」「人と話したくない」「一日中ひとりで勝手に行動していたい」と思っていた。けれど、どうしたらそんな風に生きていけるのか全く分からなくて、28歳までは苦痛をこらえながら学校に通ったり会社に通ったりしていた。しかし、2007年にプログラミングやTwitterを始めて、ネットにディープに関わるよ
在宅勤務者の労働時間、5人に1人は1時間以下 | スラド
調査によると、在宅勤務する米国人のほぼ5人に1人は、1日の労働時間が1時間以下であり、3分の1はパジャマのままで仕事しているという。 この調査はCareerBulderが5,299名を対象に実施したもの。40%の在宅勤務者は労働時間が4時間以上8時間以下と回答し、1時間以下も17%に上る。労働時間が8時間以上の在宅勤務者はわずか35%であることが明らかになった。自宅で仕事するのにわざわざ着替える必要はないという意見も多く、女性の41%、男性の22%、全体で30%が部屋着のまま1日を過ごす傾向があるという。 このほか、仕事の効率は会社の方がよいとの回答が37%となり、自宅の方がよいとの回答29%を上回っている。また、在宅勤務で仕事が進まない原因として、家事(31%)、テレビ(26%)、ペット(23%)などが挙げられており、調査結果の最後には、在宅勤務で効率よく仕事を進める5つのTipsが掲載
iPhoneに完成度で劣るが、将来への期待を感じさせる
前回はKDDI（au）のWindows Phone端末「IS12T」の実機を用いて、Windows Phone 7.5の主な見どころを紹介した。今回は、スマートフォンで先行する2大勢力の一つiPhoneとWindows Phoneを比較し、IS12Tの魅力に迫っていきたい。 なお、Windows Phoneに関するブログを運営している筆者だが、これまでにiPod touch、iPhone 3GS、iPhone 4を使用してきたiPhoneユーザーでもある。現在もiPhone 4を日常的に使用している。 iPhoneよりモダンな操作画面 Windows PhoneはライバルであるiPhoneをよく研究して作られており、iPhoneユーザーにとって馴染み深い概念も少なくない。たとえば、iPhoneのホーム画面でアイコンを並べ替えたいとき、アイコンを長押しするという操作がある。Windows P
新しいOpen GraphはFacebookアプリを動詞化する
F8でFacebookの新しい機能がどどーんと発表されましたね。僕も新しいUI、Timelineを早速試してみました。そう、これまさしく人生そのものをFacebookのTimelineに投影しようという試みですね。 @vonxla さんは「Lifetimeline」とおっしゃってましたが。Timelineを有効にするには、下記を参照しました。 How To Enable Facebook Timeline Right This Second | TechCrunch さて、もう一つの大きな変更がOpen Graphですね。Facebook Developerで新しいアプリを作りに行くと、Open Graphの所にこんなことが書いてあります。 Start by defining one action and one object for your app. で、例えば、こんな感じで指定してや
nanapho.jp - 最新 アプリ 管理人 シェア 対応 ツール ファームウェア 接続 リソースおよび情報
nanapho.jp は、あなたがお探しの情報の全ての最新かつ最適なソースです。一般トピックからここから検索できる内容は、nanapho.jpが全てとなります。あなたがお探しの内容が見つかることを願っています！
むむむ、知恵者のおまえがマルチディスプレイというのなら、その通りにしたほうがよいかもしれんな
PCを使っていると必然的に増えてくる“ながら作業”。資料を参照しながらの書類やリポートの作成をはじめ、動画サイトを視聴しながらのブログ執筆、攻略サイトを閲覧しながらのゲームプレイなど、ビジネスからプライベートまで複数のウィンドウを立ちあげるシーンは常にあり、ディスプレイ1枚の作業領域では足りないというユーザーも多いはずだ。 かくいう筆者も仕事がら、何らかの資料や各メーカーサイトなどを同時に複数参照する機会が多く、その都度ウィンドウをいちいち切り替えたり、サイズを調節して並べたりと努力している。しかし同時に、正直ディスプレイ1枚での情報処理には限界を感じていた。そこで今回は、マルチディスプレイ環境を前提としたマシン構成を考え、TSUKUMO eX.の西田氏にダメ出しをもらいにいくことにした。 今回取材にいったTSUKUMO eX.。中央通り沿いに建つ、真っ黒いビルが目印だ。地下1階から6階ま
どんな判断や！ 稲船敬二 | ノンフィクション、学芸 | 光文社
ドンナハンダンヤ！ 2011年9月16日発売 定価：1,365円（税込み） ISBN 978-4-334-97660-6 ノンフィクション、学芸 判型：四六判ソフト どんな判断や！稲船敬二/著 ・人のやらないときにやる。人がやらないことをやる。 ・ピンチこそがチャンス。 ・人の評判を判断材料にしない。 ・物事を単体で見ても本質はわからない。 ・過去より未来を見る。 ・自分の望み通りのポジション、仕事ではなくても一所懸命に働く。 ・大企業が必ずしも自分に合っているとは限らない。 ・辞める覚悟があれば、判断に迷いがなくなる。 ・どんな嫌な上司でも学ぶべきところはある。 ・「勘」は仮説をロジカルに積み上げたところから生まれる ・大切なのは、リスクを恐れず全力を尽くすこと。 ・ひとつのことをコツコツやる職人的な時代は終わった。 ・判断のスピードを上げれば、同じ金額
[iPad] ウォール・ストリート・ジャーナル日本版 for iPad: 一週間分のWSJをチェック。無料。 | AppBank
iPhone版（ウォール・ストリート・ジャーナル日本版）に加えて、The Wall Street Journal.をチェックできるアプリがiPadにも登場しました。ウォール・ストリート・ジャーナル日本版 for iPad、ご紹介します。 無料会員登録するだけで、今日のWSJの他、過去7日分の掲載記事をカテゴリ別にチェックできるようになります。 私が試してみた所、パソコンからでは有料会員しか読めない記事がアプリからだと無料会員でも全文読めました！！これは・・・すごい！ パソコンから見る時と違い、画面全体がニュースを閲覧する画面になるので、ニュースを集中して読めるのも大きな利点ですね。朝のコーヒーを飲みながら、WSJのニュースをチェックする。・・・素敵ですね。 WSJ日本版。 最初の画面で会員登録を行います。 画面上部に「最新版」のニュース。過去7日分がその下にずらりと並びます。それでは最新版
![[iPad] ウォール・ストリート・ジャーナル日本版 for iPad: 一週間分のWSJをチェック。無料。 | AppBank](https://cdn-ak-scissors.b.st-hatena.com/image/square/50895f0e48da9025c08a1719c71eea65746c6d08/height=288;version=1;width=512/https%3A%2F%2Fwww.appbank.net%2Fwp-content%2Fuploads%2F2011%2F09%2Fmzm.vmdbaicq.png)
ミニマリズムにした映画ポスターのまとめ
その映画の特徴をうまくミニマリズムにしたポスターを紹介します。 バットマン source 不思議の国のアリス source インディ・ジョーンズ 最後の聖戦 source [ad#ad-2] ダイ・ハ
【ドラクエ】 「はぐれメタルが逃げなくなるアイテムを売る300円で売る。みんな買いますよね？」 なんか憑かれた速報
ドラゴンクエスト メタリックモンスターズ ギャラリー はぐれメタル 1：名無しさん＠涙目です。(神奈川県)：2011/09/23(金) 06:24:53.66 ID:jYWLtLD+0 略 例えばドラクエでは最初「ひのきのぼう」からスライムを倒して「どうのつるぎ」を買って、 更にぽちぽち倒して「てつのつるぎ」を買って、ようやく次のダンジョンに行けるようになります。 そこにいきなり「てつのつるぎ」を100円で売ると、コンシューマのゲームデザイナーは 当然「お客さんはスライムを倒すことに達成感を感じていたんです、こんなの売ったらダメじゃないですか」と 言いますが、買ったユーザーからすると「スライム倒したくない、早く先に行きたい、だから剣を買ったんです」となります。 ゲームバランスが崩れますけどそれで良いんです、というところがポイントです。 3つ例を出しました。まず「滅多に出な
Selenium2.x で Ajax なWebアプリケーションをテストしよう 〜 Facebook の自動あいさつ返答機能を実装 〜 - Yamashiro0217の日記
この記事では、Facebook のあいさつ(Poke)機能への返信を題材に、沢山たまるとウザい嬉しいあいさつを自動で返すスクリプトを書くことで、Selenium2.x の使い方、特に Ajax アプリをテストする方法について学べるようにする。 Ajax がからんだWebアプリケーションのエンドツーエンドの最近のテスト手法についてのまとめにもなっていると思う。 最初の3節ぐらいは「Seleniumとは〜」とか「テストってのはさー」とかゴタクをごたごた書いているので、Seleniumの実際のコード見た方がはえぇよ。って言う人はコードが出てくるまで記事を飛ばすと良い。 こんな記事を気合入れて書いて公開した当日に…FacebookのUIが変わって…作ってたスクリプト動かなくなってしまった…orz。俺が何かやったり買うと事件が起きるんや・・「なにか買うとその直後に安くなったり、新機種がでたりするとい
GARUDA138🌋 Riview Promo Slot Bonus Sweet Bonanza Xmas
Ingin merasakan sensasi permainan judi slot online dengan bonus jackpot terbesar??? Kunjungi situs slot gacor Garuda138. Di situs ini kalian bisa menemukan berbagai macam slot bonus, promo slot dan free spin slot sweet bonanza xmas yang mudah di menangkan. Klaim Bonus spesial saat pertama kali kalian mendaftar di link Garuda138. Tunggu apa lagi, Segera daftar akun vip pro di situs slot bonus melim
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Cross-Channel Strategy
Usability Professionals Association (UPA) DC Metro Chapter - User Focus 2011