| test
yellow-fellowさん ともみ日記 atashipukoさん アタシの生活 bananasakanaさん 犬系男子のワンダフルライフ sonnawakanaさん 山下若菜ブログ「山下若菜の☆そんな若菜ー！！！」Powered by Ameba officeblackさん ヨーヨー世界チャンピオンBLACKオフィシャルブログ「BLACK’s Yo-Yo life」 Powered by Ameba asobiba-makibaさん 渋谷のカフェ＆麻雀・あそびば★まきば★スタッフブログ usagitabetaiさん のんたん日記 mikagamireiさん れぃの日記 amora-chanさん アモラちゃんのメンタルヘルスライフ dabo-blogさん DABO Official BLOG『PAPER MOON MAN』powered by アメブロ fankypankyさん ふぁんき
Emacs+XP+Firefox+Officeのキーバインド壁紙を作ってみた - nyanp::blog
キーバインド大事 分かっちゃいるけど覚えられない アプリケーションごとにバラバラだし xkeymacsの設定とブラウザのショートカットとウェブサイトに実装された独自ショートカットが入り混じってわけわかんない！ すぐ参照できるように壁紙にショートカットを並べたい！ マイクロソフトがこんな壁紙を公開してるよ ちょっとデスクトップアイコンが見づらいかも 複数アプリケーションのバインドを一覧したいんだよなー というわけで 自分用にキーバインド壁紙作ってみました。ついでに公開。 (オリジナルサイズはこちら) サイズがやたらでかいですが、ペイントなり何なりで切り貼りして必要なアプリケーションのバインドだけ好きな場所にレイアウトして使えばいいんじゃないでしょうか。自分はデュアルスクリーンにまるごと貼りました。これでうっかり忘れたキーバインドも、[Win]+[D] (デスクトップを表示) さえ覚えていれば
Microsoft – クラウド、コンピューター、アプリ & ゲーム
期間限定で Surface Pro 8 ご購入で対象のキーボードが無料になり、本体にも特別価格が適用されます。
プログラミング言語論教材
ラムダ計算(lambda calculus)は、関数の定義と実行を抽象化した体系で、意味論や型理論など、コンピュータサイエンスのいろいろなところで使われる。 11.2.1 定義 ラムダ計算の項(λ式)は次のように定義される。 任意の変数(小文字のアルファベットで表す)は項である。 M, Nが項ならば、関数適用(MN)は項である。 Mが項ならば、関数抽象(λx.M)は項である。 11.2.2 α変換 束縛変数の名前を付け変えることをα変換と呼ぶ。 λx.M→λy.{y/x}M ただしy∈free(M)でない 束縛変数の名前は本質的ではない。 11.2.3 β変換 関数の「実行」に相当する。 (λx.M)N→{N/x}M ただし、Nの自由変数がMで束縛されることがない (λx.M)Nの形の部分項をリデックスと呼ぶ。 11.2.4 簡約 ある項から出発したα変換とβ変換の列を、その項の簡約と
自分が死んだ後のメールアドレスやSNSアカウントはどうなるの？ : ライフハッカー［日本版］, 仕事も生活も上手くこなすライフハック情報満載のブログ・メディア
もし自分が死んだら、このメールアドレスやソーシャルネットワークのアカウントはどうなるの？ 日々の生活にネットが欠かせない人は、誰もが一度は想像したことがあるのではないでしょうか。例え本当に自分が死んでいなくても、使わなくなってしまったアカウントは"死にアカウント"と呼ばれているくらいで、ユーザーの生死に関わらず使われていないアカウントはネット上では"死んでいる"ということです。 しかし、いわゆる"死にアカ"と違って、死の直前までユーザーが頻繁に使っていたアドレスやアカウントには、死後も重要な情報が残されている訳で、それらは一体どうなってしまうのでしょうか？ ポピュラーなサービスである「Gmail」「Hotmail」「Yahoo」 のメールアドレス、「Facebook」「MySpace」のアカウントについて、それぞれの調査結果がありましたのでご紹介しましょう。 ■Gmail Gmailユーザ
Google App Engine for Javaで参考になるサイトのまとめ - ありの日記
先日、友達の会社の勉強会で「初めてのGAE/J開発」というタイトルの発表をさせていただきました。準備不足や時間配分のミスがあったため、後半飛ばしぎみになって申し訳ありませんでした。 GAEの制限ばかりを強調しすぎて逆に使えないような印象をもってしまったかもしれませんが、決してそんなことは無いと思います。(だから、私もいまGAEに注目しているわけですし。)特にBigtableは今までとは違った考え方が必要なので、これまでのRDBのように考えるとうまく行かないのは間違いありせん。(私も何度も悩まされました。いや、今もですが。) しかし、だからといってそれはやり方の問題であって、そのままGAEが使えないという理由にはならないはずです。BigtableにはBigtableのやり方が必ずあるはずです。また、WikipediaやTechCrounchによると、GoogleのたくさんのサービスがBigt
Linuxディストリビューションの系統図
上図のような感じで成り立っているようです。もとになっている「GNU/Linux」から派生して、Debian、Fedora、Gentoo、Knoppix、Ubuntu、Slackware、Morphixなどなどへとわかれていき、さらにそこからもっと細かく…という感じです。 これをタイムライン、つまり時系列で並べると今度は下記のようになります。 見たことも聞いたこともないディストリビューションもあるようで。 Linuxディストリビューション - Wikipedia なお、パッケージマネジメントシステムの採用別で分類すると下記のようになります。 Linux Distributions - Facts and Figures
USBメモリを安全に持ち歩く方法 | nanapi[ナナピ]
USBメモリを安全に持ち歩く方法 に関するライフレシピをご紹介します。nanapi [ナナピ]は、みんなで作る暮らしのレシピサイトです。無くした時どうするの？ 最近、価格の下落が激しく、一人で何本も使い分けている人もいるであろうUSBメモリ。 使い方は人によって様々ですが、私なんかは結構重要な(?)ファイルの持ち運びに使ったりする事もあります。 暗号化機能が標準搭載のUSBメモリもありますが、企業向けだったりして値段がちょっと… でも無くした時の情報漏洩が心配…… だったら手持ちのUSBメモリにパスワードかけちゃいなよ！ 万が一知らない誰かに拾われても、中に入っているデータにアクセスできないように暗号化をかけてしまえばいいのです。 ■KASHU-USBメモリのセキュリティ このアプリケーションを使う事によって、暗号化機能が標準搭載のUSBメモリとほぼ？同等の機能を有することができます。
＠IT：Red Hat Linuxを完全自動でインストールするには
Red Hat Linuxには、キックスタートというインストール方法がある。それを利用すると、Red Hat Linuxを完全に自動でインストールできる。たくさんのPCにインストールする場合や評価などで繰り返しインストールする場合などは、キックスタートを使うと便利だ。ここでは、Red Hat Linux 8.0のインストールCD-ROMからシステムを起動して、フロッピーディスクに保存したキックスタート設定ファイルによってインストールを行う例を紹介する。 キックスタートは、あらかじめ作成しておいたキックスタート設定ファイルの内容に従ってインストールを行う。従って、最初にキックスタート用の設定ファイルを作成する。作成するためのツールが「キックスタート設定ツール」だ。 Red Hat Linux 8.0でキックスタート設定ツールを起動するには、メニューの［システムツール］－［キックスタート設定］
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://it.blog-jiji.com/0001/2009/11/foursquare-fe0e.html
http://blog.dc-d.jp/?p=20