オープンソースのXenに一体何があったのか。 5年前、オープンソースのXenは仮想化に対する新しいアプローチでデータセンターを席巻した。「準仮想化」と呼ばれるこの方式で、Xenはハイパーバイザーと仮想マシン（VM）が相互に通信できるようにし、これを全Linuxディストリビューションに無償で提供した。だが今や、オープンソースのXenは他のハイパーバイザー、特にVMware ESXi、Microsoft Hyper-V、KVMに水をあけられている。一体何があったのか。 Xenの変遷が分かる記事 LinuxカーネルがXenをフルサポートへ──「少な過ぎ、遅過ぎ」の感も LinuxカーネルのXenサポートで、Xenのシェアは広がるか Red Hat Enterprise Linux（RHEL）とSUSE Linux Enterprise Serverを含むあらゆるLinuxディストリビューションに

第17族元素（だい17ぞくげんそ、フランス語: halogèneアロジェーヌ、英語: halogen ハロジェン）は周期表において第17族に属する元素の総称。フッ素・塩素・臭素・ヨウ素・アスタチン・テネシンがこれに分類される。ただしアスタチンは半減期の長いものでも数時間であるため、その化学的性質はヨウ素よりやや陽性が高いことがわかっている程度である。またテネシンは2009年にはじめて合成されており、証明されていることがさらに少ない。 フッ素、塩素、臭素、ヨウ素は性質がよく似ており、アルカリ金属あるいはアルカリ土類金属と典型的な塩を形成するので、これら元素からなる元素族を古代ギリシア語の「塩」ἅλς háls と、「作る」γεννάω gennáō を合わせ「塩を作るもの」という意味の「halogen ハロゲン」と、18世紀フランスで命名された。これらの任意の元素を表すために化学式中ではしば

Add new...Clone CompilerExecutor From ThisOpt RemarksStack UsagePreprocessorASTLLVM IRClangIROpt PipelineDeviceRust MIRRust HIRRust Macro ExpansionGHC CoreGHC STGGHC CmmClojure Macro ExpansionYul (Solidity IR)GCC Tree/RTLGNAT Debug TreeGNAT Debug Expanded CodeControl Flow GraphClaude Explain

Spring BootによるAPIバックエンド構築実践ガイド 第2版 何千人もの開発者が、InfoQのミニブック「Practical Guide to Building an API Back End with Spring Boot」から、Spring Bootを使ったREST API構築の基礎を学んだ。この本では、出版時に新しくリリースされたバージョンである Spring Boot 2 を使用している。しかし、Spring Boot3が最近リリースされ、重要な変...

あなたにとって重要なトピックや同僚の最新情報を入手しましょう最新の洞察とトレンドに関する最新情報を即座に受け取りましょう。 継続的な学習のために、無料のリソースに手軽にアクセスしましょうミニブック、トランスクリプト付き動画、およびトレーニング教材。 記事を保存して、いつでも読むことができます記事をブックマークして、準備ができたらいつでも読めます。

高知の山沿いにあるプール、ブランコ、戦艦ジオラマ…子どもが全力で遊ぶ、ここは遊園地？　実は―フォっトけないす

地域密着のスーパー、自慢の精肉は新鮮・安全・安心！総菜や手書きポップは“手作り感”大切に♪食鮮館 名古屋（阿賀野市）

こんにちは、id:uedayです。 5/22にはてな社内でユーザテストについての勉強会を実施しました。 良いユーザ体験には、ユーザが迷わず快適に操作できるインタフェースが不可欠です。 ユーザビリティを評価する方法としてユーザテストがありますが、はてなブログチームでは、「アジャイル・ユーザビリティ―ユーザエクスペリエンスのためのDIYテスティング―」という本を参考に、社内でユーザテストを行っています。 今回の勉強会は導入編として、ユーザテストのメリットや事例など基礎的なことを解説したスライドを発表しました。 ご興味のある方はご覧ください。 ユーザテスト社内勉強会 View more presentations from ueday_h アジャイル・ユーザビリティ ―ユーザエクスペリエンスのためのDIYテスティング― 作者: 樽本徹也出版社/メーカー: オーム社発売日: 2012/02/23メ

12月9日の米ハワイ州ホノルル市で、46回目となるJALホノルルマラソンが開催された。そのスタート地点に、4万2914番のゼッケンを着けたNTTドコモの吉沢和弘社長の姿があった。N…続き 「共通ポイント」獲得しやすく　併用対応の店舗増加 ポイント、投資の入り口に　Ｔポイントで新証券会社 ［有料会員限定］

C++にはクラス内で自分の型を取得する直接的な方法がないという問題があり、そのためにtypedef X this_type;のようなことが行われていました。 C++11にはdecltypeがあるので、decltype(*this);で自分の型を取得できます。 ただし、decltype(*this)で導出される型はXではなくX&のため、std::remove_referenceしないといけないのであまり便利ではないのでした。 #include <iostream> #include <type_traits> struct X { void foo() { // decltype(*this)::bar(); // エラー！X&::bar()はできない std::remove_reference<decltype(*this)>::type::bar(); } static void bar

スマートフォン向けアプリ開発やサーバサイドの開発に関する技術ブログです。 エンジニアdommyのつぶやきは@shonanshachu、ソースコードはGitHubで配信中。 Androidの月額課金が実装可能になりましたので、 簡単にAndroid Developersページをまとめてみました。 参考:Subscriptions | Android Developers [以下、意訳] 誤訳がありましたらお教え願います。 定期購読の開始と終了 定期購読(月額課金)のアプリ内課金を開始するには、Developer Consoleを使用し、アプリに対する商品リストを作成、設定して下さい。定期購読では価格(price)と支払いの有効期間(billing interval)を商品毎に決め、定期購読ID、商品タイトル、商品説明を決めます。準備が出来ましたら、定期購読のアプリ内課金を開始出来ます。 商品

油性ボールペン・多機能ボールペン・シャープペンクリップ-オン マルチ 1本で黒・青・赤・緑の4色油性インクにシャープの5機能が使える多機能ペンです。打合せや外出の時にこれ1本でとても便利です。 クリップをスライドさせ、続けてノックするとシャープ芯が出ます。 ノック部の後ろに消しゴムが付いています。 可動式バインダークリップの採用により、厚みのあるボード等にもはさめ、クリップ折れを軽減させます。

組み換え型ヒトラクトフェリンの図 ラクトフェリン（別名：ラクトトランスフェリン）は、母乳・涙・汗・唾液などの外分泌液中に含まれる鉄結合性の糖タンパク質である。1939年に牛乳中に含まれる「赤色タンパク質 （レッド・プロテイン）」として初めて報告された。その後、1960年にヒトとウシの乳より精製され、アミノ酸配列が決定された。ウシの場合689アミノ酸、ヒトの場合692アミノ酸から成っており、Nローブ・Cローブと呼ばれる球状のドメインが一本のポリペプチドで連結された構造を持つ[1]。各ローブは1個の鉄イオンと強力に結合する。ラクトフェリンの粉末が赤色を帯びているのは、結合している鉄のためである。この2つのローブから成るラクトフェリンの立体構造は、血漿中の鉄輸送タンパク質であるトランスフェリンや、卵白の鉄結合タンパク質であるオボトランスフェリン（コンアルブミン）と共通であるが、ラクトフェリンの鉄

今すぐTwitterで｢get help｣とか｢get hungry｣とか｢get high｣とか｢get laid｣とか｢get｣で始まる2ワードをツイートしてみてください。 ...ね？ ねね？ どこに消えちゃったんでしょうね... どっかにgetの墓場でもあるのかな。 さっき元ギズ記者のジョン・ハーマン（John Herrman）の解説読んで僕も初めて知ったんですけどね。 ジョンによると、なんでもこの｢get（gでもOK）｣の不具合（言葉狩りじゃないよ）はツイッターが昔SMSサービスで始まった当時の名残りなんだそうな。昔はこういう音声コマンドを携帯でテキスティングしてツイート呼び出していたんですね。（←今も使えます） 尾てい骨のようにブラックホールのまま放置されてる不具合は他にも結構あって、例えば... ｢WHOIS ユーザーネーム｣とツイートしても消えます。例）whois jack、

「日本人は恥ずかしがり屋」というのは世界的に有名な話、特に男性。恋愛面だと、女性をエスコートすることがとても苦手なんて言われたりしますよね。それにしても、日本人男性はどうしてシャイなのか、ちょっと気になりませんか？ 昔からずっとそうなんでしょうか？ 歴史作家の堀江宏樹さんにお話を伺いました。 平安時代まではそうでもなかった!?「歴史をさかのぼると、江戸期以降、喜怒哀楽を表に出さないことを是とする『サムライ』を理想とする文化が受け継がれたことが関係しているでしょう。じつは、平安時代までの人々の感情表現は非常に激しく、光源氏に至っては、『自分の好きな人が死んだとき、悲しすぎて失神し馬から落ちた』というエピソードが残されているくらいです。しかし、時代が流れ、武士が活躍するようになると状況は一変。『武士は食わねど高楊枝』ということわざにもあるように、苦しい状況でもやせ我慢をして品位を保とうとする武

三フッ化臭素（さんフッかしゅうそ、英: bromine trifluoride）は、化学式BrF3の、臭素とフッ素によるハロゲン間化合物。毒性と腐食性のある液体で、硫酸に溶けるが水や有機化合物とは爆発的に反応する。強力なフッ素化剤であり、核燃料処理において六フッ化ウランの製造に使われる[2]。

硝酸（しょうさん、英: nitric acid、独: Salpetersäure）は窒素のオキソ酸で、化学式 HNO3 で表される。代表的な強酸の1つで、様々な金属と反応して塩を形成する。有機化合物のニトロ化に用いられる。硝酸は消防法第2条第7項及び別表第一第6類3号により危険物第6類に指定され、硝酸を 10 % 以上含有する溶液は医薬用外劇物にも指定されている。 濃硝酸に二酸化窒素、四酸化二窒素を溶かしたものは発煙硝酸、赤煙硝酸と呼ばれ、さらに強力な酸化力を持つ。その強力な酸化力を利用してロケットエンジンの酸化剤や推進剤として用いられる。 試薬瓶に入った70%硝酸 二酸化窒素の影響で黄色くなった硝酸 五酸化二窒素（無水硝酸、N2O5）を水に溶かすと得られる、一価の強酸性の液体で、金属と反応して硝酸塩（水に可溶）を作る。任意の割合で水に溶け、通常「硝酸」という場合には水溶液を指す。 濃度の

Oxidanyl Perhydroxic acid 0-hydroxyol Oxygenated water Peroxaan

塩素（えんそ、英: chlorine）は原子番号17の元素。元素記号はCl。原子量は35.45。ハロゲン元素のひとつ。 一般に「塩素」という場合は、塩素の単体である塩素分子（Cl2、二塩素、塩素ガス）を示すことが多い。ここでも合わせて述べる。塩素分子は常温常圧では特有の刺激臭を持つ黄緑色の気体で、腐食性と強い毒を持つ。 1774年にスウェーデンのカール・ヴィルヘルム・シェーレが「脱フロギストン海塩酸気[注釈 1]」と命名した。 1810年にハンフリー・デービーが、気体が黄緑色である点から、ギリシャ語で「黄緑色」を意味する χλωρος (Chloros) を取って chlorine と命名した[3]。日本語では原義から緑気（りょっき）とも呼ばれた[4]。 日本語の「塩素」（鹽素）は江戸時代後期に宇田川榕菴が著書「遠西医方名物考補遺」で用いたのが最初である[5]。オランダ語 zoutstof

過塩素酸（かえんそさん、英: perchloric acid）とは、塩素のオキソ酸の一種で、化学式 HClO4 と表される過ハロゲン酸。水に溶けやすい無色の液体。酸化数7価の塩素に、ヒドロキシ基(-OH)1個とオキソ基(=O)3個が結びついた構造を持つ。 塩素酸より酸素が1個多く、名称に「過/per」と付いているものの分子内に -O-O- 結合はなく本来の塩素原子の最高酸化状態であり過酸ではない。

こんにちはこんにちは！！ 今日はブログとかを書く時の、ぼくなりの考え方をいくつか書いてみようと思います！ 1. 知ってることを書く 君の思う、 「こんなこと、○○やってる奴なら、誰だって知ってるだろう」は、意外と知らない人が多い。 普段から、それを知らない人の視点で考えてみる。 2. 気づいたことを書く でも新しくなくていい。 ネットのどこかで既出でもいい。 君自身が気づいたことや、思いついたこと、感じたことがあれば、それを書けばいいと思う。 3. 自分なりに検証する 内容や意味が不安な部分は、一応ググるなりして検証してみる。 これが結構、勉強になったり、また違う発見があったりするよ。 4. 素人にもわかるように書く 専門用語や、難しい言葉を使わずに、 できるだけ、素人とかオカンとか、ぼくにもわかるように書く。 5. 勇気をもって省く 省いた箇所は、必ずつっこまれる。 そのツッコミを恐れて

難波に5月2日、人気小説「銀河英雄伝説」をモチーフにしたバー「Seeadler～海鷲～」（大阪市中央区千日前2、TEL 06-6632-2207）がオープンし、ファンの間で話題を集めている。 一番人気の「メックリンガー」。泡の中で浮き沈みするミックスベリー 「銀河英雄伝説」は未来の銀河系が舞台の、田中芳樹さんの人気小説。2人の名将を中心に「銀河帝国」「自由惑星同盟」に分かれて戦う人物たちの群像劇を、歴史小説風に描いている。舞台化されたほか、今年夏には宝塚歌劇での上演も決まっている。 同作の熱烈なファンだという店主が「思い立ってオープンした」という同店。店内は銀河帝国の登場人物が通う場として作中に登場する同名のバーの雰囲気に合わせ、黒系統のシックな雰囲気を演出。店舗面積は6坪、カウンター＝5席、テーブル＝7席。 店内には田中さん直筆の色紙のほか、アニメ化の限定ポスターなどが飾られている。銀河

ラムダ計算でEither Either型の値をパターンマッチする状況を考えます。 「データコンストラクタのパターンマッチ」は，下図のようにしてラムダ計算で表現できます。 ラムダ計算でBool 今度は，Bool型の値をパターンマッチする状況を考えます。 TrueやFalseには引数が無いので，(3)や(4)はλで囲みません。 パターンマッチ = 「データコンストラクタを他の関数に置き換えること」 パターンマッチによって，Leftがlに置き換わります。以下同様です。 「データコンストラクタを置き換える」という概念について，もう少し詳しく考えていきます。 データコンストラクタの置き換え方は2種類ある リストのような再帰的なデータ型では，データコンストラクタの置き換え方が2種類あります。 data List a = Cons a (List a) | Nil (1) 全てのデータコンストラクタを置