第3回 話題騒然！ 「言語内DSL」の概念とRake【前編】
第3回 話題騒然！ 「言語内DSL」の概念とRake【前編】：Ruby on Rails究極指南（2/2 ページ） ビルド言語の分類とRake DSLはスタイルによって幾つかに分類できますが、ここではプログラミング言語指向のものに注目します。プログラミング言語指向のDSLは、言語内（internal）DSLと異語外（external）DSLに大別できます。言語内DSLとは実行時に利用される言語（ホスト言語）とDSLが同じものを、言語外DSLはホスト言語とDSLが異なるものを指します。いずれも以前から行われているアプローチであり、例えば言語内DSLはLispやSmalltalkで、言語外DSLは多くのUNIXツール（例えばawkやprocmail、PostScript）で使用されています。 マーティン・ファウラー氏は、make、Ant、Rakeの各ビルド言語をDSLのスタイルに従って次のよう
洋画を100本以上観た俺が選んだ良作15選 | ウラネタ！
２３年前に死んだ親父の墓掃除してたら、俺と同じ２０後半くらいの知らないお姉さんがお花を添えにやってきた俺「あの～……俺、この墓の下のやつの息子なんですけど、親父とはどういう関係で？」お姉さん「娘です」俺「は？」お姉さん「娘、です」ワイの親父...
オンラインで入手できる数理論理学・数学基礎論のテキスト
オンラインで入手できる数理論理学・数学基礎論のテキスト 数理論理学、数学基礎論の教科書的に使えるテキスト（講義ノート、サーヴェイ、モノグラフ等）のうち、オンラインで入手できるものを集めました。 入門的概説 論理一般 高階論理と型理論 直観主義論理 コンビネータとラムダ計算 時相論理および時制論理 様相論理 適切さの論理 自然言語の論理 空間論理 モデル理論 安定性理論 無限論理 計算可能性理論および再帰理論 集合論 pcf理論 記述集合論 実数の集合論 選択公理 強制法と内部モデル 連続体仮説 NF 証明論と構成的数学 順序数解析 算術の体系と不完全性 証明可能性論理 線形論理 構成的数学 代数的論理と圏論 ブール代数 普遍代数 量子論理 圏論 歴史 入門的概説 [▲] 加茂静夫，「数理論理学（命題論理と述語論理）」．[PDF] 嘉田勝，「数理論理学 講義ノート（2013年度版）」． St
えらいレビューアー - 山形浩生の「経済のトリセツ」
(画像はここから盗用。本文とは関係ありません) 自分の関心のある本を漁っているとときどき同じレビューアーが的確なことを言っていて感心することがあって、その一人がこの「アホか」なる人物。なんでこんなふざけた名前にしているのかわからないけれど、レビューはどれもまともというか、とっても勉強になる。なんか、実はそれなりに実績のある研究者みたいね。英語のレビューもあぶなげない。ホッフシュタッターの本のレビューのところに、バークの本のレビューとおぼしきものがあがっているのは、アマゾンのミスだと思う。が、どれも読んでいると自分も読みたくなる。突然ライプニッツに興味が芽生えるのをとりあえず押さえ込んだが、書評とはこうありたいもの。 いろいろ見ていると、「チャールズ・ダーウィンの生涯」で、これまたぼくの信頼するレビューアーであるいとみみず氏と重なっていて、両者のアプローチというか特徴の差がちょっと出ている。
ホホジロザメと一緒に泳ぎ、その笑顔を激写し“サメは全然怖くない”と猛アピールしているダイバーが話題に!! - IRORIO（イロリオ）
海の中でホホジロザメと一緒に泳ぎ、その笑顔をカメラにおさめ“サメは実は全然怖くない”とアピールしているダイバーが話題になっているらしい。 彼らは体長5メートルにもなる巨大なメスのホホジロザメと遊泳しているが、サメとの距離はまさに手を伸ばせば届くほど近い。 ブラジル人ダイバーのDaniel Botelho氏がこんな無謀な試みを披露したのにはわけがある。何でも映画『ジョーズ』でサメは危険な殺人鬼というイメージが定着しすぎて、そんな彼らを不憫に思ってのことらしい。 メキシコ沖の海に潜り、時おり海中のケージの中で休憩しながら、計24時間ほどサメとのデートを楽しんだというBotelho氏は「ホホジロザメは確かに肉食だけど、基本的に人間は襲わないんだ。事実24時間の間、俺のことをおやつにしようと近寄ってきた奴（サメ）はいなかったさ」と太鼓判を押す。 同氏いわく、おまけに“サメは笑顔さえ見せてくれている
隣のサルはブドウを貰っているのに自分はキュウリなことに怒るサル
オランダの動物学者が“サルでも不公平を理解できる”ことを証明した講演の動画が面白いです。可哀想なんだけど笑ってしまいました。 実験では2匹のサルに対して“実験者が檻のなかに入れた石を返す”という仕事を与え、片方のサルにはその報酬としてブドウを、もう片方のサルにはキュウリを渡しています。 隣のサルはブドウなのに自分がキュウリなことに対してサルはどう反応するのでしょうか？ Capuchin monkeys reject unequal pay – YouTube 「違う！ これじゃない！ 違うって言ってんだろー！」てな仕草がもうたまりません。
【画像179枚】外国人美女の画像載せてく
【画像179枚】外国人美女の画像載せてく 2012年10月28日07:45 カテゴリ画像 Tweet http://vip.2chblog.jp/archives/19437930.html【画像179枚】外国人美女の画像載せてく http://hayabusa.2ch.net/test/read.cgi/news4vip/1351254485/ 1：以下、名無しにかわりましてVIPがお送りします：2012/10/26(金) 21:28:05.77 ID:dz4BrMio0 暇だったら見てってください 2：たこ：2012/10/26(金) 21:28:23.54 ID:dZSDS2ay0 (´っ･ω･`)っ わーい 3：以下、名無しにかわりましてVIPがお送りします：2012/10/26(金) 21:28:34.81 ID:vs7YeHVF0 期待 4：以下、名無しにかわりま
アドバイスしたつもりが逆効果!? 「上から目線」癖に要注意 | ライフハッカー・ジャパン
あなたの周りに、アドバイスしてあげたい友人はいますか？ しかし、アドバイスをするのは難しいものです。自分では良いことをしてあげているつもりでも、受け取る側が嫌な気分になることもあるのです。そこで今回は、ファミリーセラピスト（心理療法士）のTwitterRoger S. Gilさんに「上から目線にならないアドバイスの方法」を伺いました。 ■まず、相手がアドバイスを求めているかを知ること みんながアドバイスを求めているわけではありません。あなたが意見を言う前に、相手がそれを必要としているかを確かめてください。Rogerさんは「相手はただ、あなたに話を聞いてもらいたいだけで、アドバイスは必要ない場合もある」と言います。 セラピスト（心理療法士）は主にアドバイスをする仕事だと思っている人が多いのですが、実はそうではありません。セラピストは、クライアントの話に耳を傾け、クライアントの考え方の根本にな
100円ショップで「買っていいもの」「失敗したもの」
100円ショップで「買っていいもの」「悪いもの」はコレだ！ 100円均一という低価格と豊富な品ぞろえを武器に、成長してきた100円ショップ。最近は商品の質の引き上げや店の雰囲気の改善に余念がない。 そこで気になるのは、スーパーやコンビニエンスストアなど他の小売店ではなく、何を100円ショップで買ったほうが得なのかだ。アンケート調査や聞き取り調査を基に、その見極め方に迫った。 スーパーやコンビニエンスストアなど他の小売店ではなく、100円ショップで買ったほうが得な商品はいったい何か──。100円ショップを使いこなすためには、この点の見極めが重要だ。 そこで今回、100円ショップの利用に関して、日経トレンディネットを使ったアンケート調査（有効回答378人）と、実際に100円ショップの商品を見ながら座談会形式で話を聞く聞き取り調査を、それぞれ実施。 100円ショップで「買っていいもの悪
【第2回】「やる気」に左右されず、「あたりまえ」のことができるようになる4ステップ
横山信弘 [アタックス・セールス・アソシエイツ代表取締役社長、米国ＮＬＰ協会認定トレーナーアソシエイト] 1969年、名古屋市生まれ。90年、独立系最大手のＩＴベンダーに入社。97年、日立製作所に転じる。 35歳まで営業経験すらない元ＳＥが、5年後、大手メガバンクの支店長クラス100名を研修するまでに。 いまや年間100回以上のセミナー、講演は5000名超の経営者/マネジャーを集め、常に満員御礼。 企業研修は基本的に価格がつけられず「時価」。それでも研修依頼はあとを絶たず、向こう8か月先まで予約は埋まっている。 ポリシーとして、コンサルティングは質を保つため、年間7~8社しか請け負わない。『横山信弘の組織営業力アップDVD1～5』(1部3万6000円前後)を販売したところ、全国から注文が殺到。「ロジカルな方法論」を激しく情熱的にプレゼンテーションする技術に定評がある。「前よりもよくなった」
実践 パケット解析 第2版
ベストセラー書の改訂第2版。前半はWiresharkのリファレンスです。Wiresharkのさまざまな機能や活用テクニックについて解説します。後半はパケット解析の実践的な教科書です。TCP/IPの主要なプロトコルを解析する方法や、ネットワーク遅延をはじめとしたさまざまなトラブルの解決方法を、実際に取得したパケット情報の実例を使って詳しく解説します。日本語版ではTCP/IP以外のパケット解析、具体的にはUSBポートを流れるデータのパケット解析についての解説と、pcap-ng形式 ←→ pcap形式のデータ変換についての解説を巻末付録として追加しました。Wireshark 1.8対応。 目次 監訳者まえがき 賞賛の声 まえがき 1章 パケット解析とネットワークの基礎 1.1 パケット解析とパケットキャプチャツール 1.1.1 パケットキャプチャツールの評価 1.1.2 パケットキャプチャツール
itti-c.com
itti-c.com 2018 Copyright. All Rights Reserved. The Sponsored Listings displayed above are served automatically by a third party. Neither the service provider nor the domain owner maintain any relationship with the advertisers. In case of trademark issues please contact the domain owner directly (contact information can be found in whois). Privacy Policy
6さいカンファレンス 第2回「数学の定理を自動で発見するAI を Haskellで作ろう！」まとめ
2012/09/13にくいなちゃんさん主催で開催された6さいカンファレンスのまとめ。 第2回は「数学の定理を自動で発見するAI を Haskellで作ろう！」です。 勝手にまとめてしまったので、何か問題があれば@shogo82148まで。 WELCOME TO HELL!! くいなちゃん: それでは、まず、数学の「定理」とは何か、について説明したいと思います。 みなさん、日常的に「定理」という言葉を使っていると思いますが、「定理」とは何か、説明できますか くいなちゃん: 「教科書に載っている公式が、定理だ！」と思うかもしれませんね。 確かに、教科書にも定理は載っています。 くいなちゃん: では、曖昧な理解の方のために、厳密かつ ゆるふわに説明しましょう。 くいなちゃん: 定理とは、次のように定義できます。 公理であるならば、定理である。 定理を推論規則によって推論したものは、定理である。
PNG軽量化の減色と圧縮について | GREE Engineering
このテーブルの番号は 1 Byte になっているため、0-255 の 256 個しか登録できません。そのため、画像で使用されている色が 256 個より多い場合は、なんとかして 256 個にしなくてはいけません。 この「なんとかして 256 色にする」というのが減色処理で、なるべく元の画像からの変化を分からないようにしながら色を減らしていくためのアルゴリズム実装です。（この記事では減色アルゴリズムについての説明は省略します。） テーブルを作成したら、画像のそれぞれのピクセルを RGB 形式からテーブルの何番目の色を使うかに置き換えます。 上図のように、1 ピクセルあたり 24bit 必要だった画像が 1 ピクセルあたり 8bit になったので、データサイズは大体 1/3 になります。 （パレットのデータに最大 3 Byte * 256 = 768 Byte 必要とか、同じように圧縮されないと
Big Sky :: Sublime Text2 の複数カーソル？それVimでも出来るよ
Sublime Text2 の複数カーソル、なんかキャッチーだけど、それ Sakura でずいぶん前から出来てたし...。 Vim 使いは正規表現で一括置換するのでそもそも必要ない。 とかいうと「それ実装できない言い訳じゃん」とか言われそうなのでかるーく作ってみた。(実装中途半端) mattn/multi-vim - GitHub https://github.com/mattn/multi-vim なんですか！そのやる気のないプロジェクト名は！！！ どんな風に動くかはこちらのページをご覧下さい。(デカいアニメーションgif注意) http://mattn.github.com/multi-vim/ http://mattn.github.com/multi-vim/ 作り続けられる自信があまりありません。
約1年4ヵ月ぶりに帰ってきた！gihyo.jp FreeBSD勉強会「第8回 FreeBSDのJail機構と資源制御」レポート＆資料公開 | gihyo.jp
約1年4ヵ月ぶりに帰ってきた！gihyo.jp FreeBSD勉強会「第8回 FreeBSDのJail機構と資源制御」レポート＆資料公開 1年4ヵ月ぶり！今回のテーマはJailと資源制御 前回第7回の開催が2011年2月でした。その後、第8回が同3月11日に予定されていたのですが、東日本大震災の影響もあり中止となり、その後、しばらくの間、本勉強会がストップしていました。 それから1年4ヵ月後、あらたに株式会社KDDIウェブコミュニケーションズのサポートを得て、新生gihyo.jp FreeBSD勉強会がスタートすることになりました。2012年6月8日、仕切り直しで開催された第8回では、本勉強会の実行委員でもあり、東京工業大学助教である佐藤広生氏を講師に迎え、「FreeBSDのJail機構と資源制御」と題したプレゼンテーションが行われました。 メインセッションを務めた佐藤広生氏 プレゼンテ
There is a Library for That!
Reinventing the wheel is always boring and by chance the PHP community is very prolific. Looking for an already made quality PHP library remains sometimes difficult. But thanks to Github, PEAR and Packagist, it's now very easy to dig a little and find powerful and well written PHP libraries. This session will introduce some of the best PHP libraries for manipulating images, abstracting an HTTP cli
Ruby力を一段アップするために読んだほうが良い公式ドキュメント集 - Qiita
インスタンス化に関係する ::new, #new, #allocate と継承に関係する #superclass, #inhereted しか定義されていない。 その他のメソッドはすべてスーパークラスであるModuleに定義されている。Classはインスタンス化できるModuleと考えれば良い。 SuperClassの関係 [1] pry(main)> Class.superclass => Module [2] pry(main)> Module.superclass => Object [3] pry(main)> Object.superclass => BasicObject [4] pry(main)> BasicObject.superclass => nil [5] pry(main)> nil.superclass NoMethodError: undefined meth
KVS系NoSQLのまとめ（Hibari、Dynamo、Voldemort、Riak編）
序 章 ビッグデータの時代 第1章 NOSQLとは何か? 第2章 NOSQLのデータモデル 第3章 アーキテクチャの基本概念と技術 第4章 HadoopはNOSQL? 第5章 主なNOSQLデータベース製品 第6章 NOSQLデータベースの選択基準 第7章 NOSQLを使うビジネス 本連載は書籍『NOSQLの基礎知識』（リックテレコム刊、ISBN：978-4897978871）で解説されている内容から一部を抜粋し、本連載向けに一部再編集して掲載したものです。 書籍では、一般にNoSQLと呼ばれている各種データベース技術について、基本概念から主要なプロダクトの特性、ベンチマーク結果までを紹介しています。データモデルやアーキテクチャの違いといった基本概念から、各プロダクトの特徴を理解できる内容になっています。 本連載では、この書籍の内容から、主要プロダクトを紹介している第5章を抜粋し、そのエッ
ピータースの世界地図ってしってますか？ by YODA
ピータースの世界地図ってしってますか？ 僕はトイレに大きな洋物の世界地図貼ってまして、インテリアとしてもよいしトイレ中なにげなく地図見てるの楽しいし。 で、その貼っている地図ってのがこの『ピータースの世界地図 PETERS WORLD MAP』。 1.5m×1mくらいの大きさで、パウチッコみたいのでコーティングしてあって汚れないしいい感じで飾ってあるのですが、なんとこの地図変なのは、地図の形が変なんです。メルカトル図法の地図を、もっとびろーんと縦長にした感じ。 これはなぜかというと、解説によるとメルカトル図法は極に行くほど面積が肥大化することは有名ですが、そのメルカトル図法をベースに大陸の形を崩さずに面積を正しく表示したからなのです。なので逆に赤道に近づくほど南北に長くなってるのです。 この地図に書いてある解説によると、従来のメルカトル図法だとグリーンランドが馬鹿でかくなってることは有名で
なんで女の料理人って全然いないの？
なんで女の料理人って全然いないの？ 2012年10月16日 ニュー速VIP男・女について Check Tweet 子犬の「おしり」が並ぶと究極にかわいいことがわかった 【画像あり】女子高生がキュウリでオ●ニーして病院送りにｗｗｗｗ 【クリーチャー】エイリアンかよｗ南極の深海で未知の生物発見!!! 鬼束ちひろ「和田アキコ殺してえ～」 始めたばかりのTwitterが狂気に満ちていると話題 妻で我慢できない→他人妻をゲットする方法 初めて出来た彼女と祭りにいったら振られた 未だに科学的に解明できてない現象挙げてけ 【悲報】 ニ コ ニ コ 動 画 終 了 小松彩夏のブログ画像のフォトショ修正がバレる クラスメイトいじめてたら停学になったｗｗｗｗｗ 【画像】透けブラ好きなヤツちょっと来いｗｗｗｗｗ【フェチ】 【画像64枚】画 像 で 吹 い た ら 負 け 肉厚なデカ尻をブリンブリンと振り
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
in the looop | Looops communications
【画像】ロングにせよショートにせよ耳に髪をかけてる女の子の可愛さは異常：キニ速
長文日記
How to Use Selenium 2 With PHPUnit | Envato Tuts+
How to become a practical Vim user
http://fuel.php-web.net/