タグ

2016年5月25日のブックマーク (13件)

  • (-1)×(-1)=1の数学的証明が凄すぎて大草原 | 不思議.net - 5ch(2ch)まとめサイト

    ※文字がズレて読みにくい場合は↓こちらの画像が分かりやすいかも https://livedoor.blogimg.jp/worldfusigi/imgs/d/b/dbc611a.png 足し算の定義:0と-が存在して結合法則と交換法則を満たすような演算のことを足し算と呼ぶ 0の定義:a+0=a -の定義:-a+a=0 結合法則:a+b+c=a+(b+c) 交換法則:a+b=b+a 掛け算の定義:1が存在して結合法則と分配法則を満たすような演算のことを掛け算と呼ぶ 1の定義:a×1=a 結合法則:a×b×c=a×(b×c) 分配法則:a×(b+c)=a×b+a×c これらの定義だけを使って(-1)×(-1)=1を証明することができます (-1)×(-1) =(-1)×(-1)+0        ※0の定義 =(-1)×(-1)+(-1+1)   ※-の定義 =(-1)×(-1)+(-1)+1

    (-1)×(-1)=1の数学的証明が凄すぎて大草原 | 不思議.net - 5ch(2ch)まとめサイト
    richard_raw
    richard_raw 2016/05/25
    理系だけど「そういう定義なんだろ」と丸呑みしてました恥ずかしい。足し算と掛け算の定義からの必然やったんや……。
  • Ubuntu 15.04でtextlint - みつきんのメモ

    Twittertextlintが良さげと流れてきたので、Ubuntu15.04に導入してみる。 npmでインストールするのだが、apt-getでインストールされるバージョンでは古く、多少手順が必要だったためメモっておく。 npmのインストール Ubuntuに最新のNode.jsを難なくインストールするの手順でnpmの最新版をインストールする。 apt-getでnodejsとnpmをインストールする。 npmでnパッケージをインストールする。 nパッケージでnodeをインストールする。 apt-getでインストールしたnodejsとnpmを削除する。 実際には以下のような感じになる。 $ sudo apt-get install -y nodejs npm $ sudo npm cache clean $ sudo npm install n -g $ sudo n stable $ su

    Ubuntu 15.04でtextlint - みつきんのメモ
    richard_raw
    richard_raw 2016/05/25
    npmの最新版インストールからtextlintの実行まで。
  • 台湾「ホンハイ」の「シャープ買収」秘話:大西康之 | 記事 | 新潮社 Foresight(フォーサイト) | 会員制国際情報サイト

    台湾、鴻海(ホンハイ)精密工業の傘下に入るシャープ。2016年3月期決算で2559億円の最終赤字を計上し、債務超過に陥った末期症状の会社に、ホンハイはなぜ3888億円も投資するのか。背景には、ワンマンで知られるホンハイのテリー・ゴウ会長と、シャープの「伝説のエンジニア」の知られざる物語がある。 孫正義の「恩人」、ジョブズの「師」 「ああ、ゴウさんね。お父さんの代からよく知っとるよ」 テリー・ゴウのことを尋ねると、彼はこともなげに答えた。 佐々木正。1964年、シャープの創業者、早川徳次に乞われて同社に入り、「電卓戦争」の指揮を執った。現在も半導体の主流を占める「MOS-LSI(金属酸化膜半導体を使った大規模集積回路)」を民生品で初めて実用化した人物で、「電子工学の父」とされる。

    台湾「ホンハイ」の「シャープ買収」秘話:大西康之 | 記事 | 新潮社 Foresight(フォーサイト) | 会員制国際情報サイト
    richard_raw
    richard_raw 2016/05/25
    『ロケット・ササキ ジョブズが憧れた伝説のエンジニア・佐々木正』あら面白そう。
  • Dockerもシェルスクリプトも使わずGoのクロスコンパイルを行う : D-7 <altijd in beweging>

    moznion.hatenadiary.com 別にDocker使ったっていいんだけど、こっちでもできますよ、ってことで、Dockerもシェルスクリプトも使わない方法の説明。元記事を読んでわかるのは: 1. makeを使ってる 2. GOOS/GOARCHを設定してクロスコンパイルしている(gox等を使っていない) 3. Dockerであげた同一イメージ上で全てのクロスコンパイル結果を吐いている ということなので、であれば別にローカルの環境でクロスコンパイルしても何の差もなさそう。別の環境をたててクロスコンパイルしたい場合もあるが、それは例えば cgoを使っている os.User 関連のコードをコンパイルするとか、そういう時だしその場合はそれぞれのプラットフォームごとに別のホスト上でコンパイルする必要がある。それをする必要がないなら go 1.5 以降であればもうGOOS/GOARCHを設

    richard_raw
    richard_raw 2016/05/25
    なるほど、Makefileで定義しておくだけでクロスコンパイルできるのか。
  • https://qiita.com/Dr_ASA/items/f6ff451b3ad89f400a9f

    richard_raw
    richard_raw 2016/05/25
    クラスタの構成方法がわかってなかったのでブックマーク。
  • トヨタ、米ウーバーに出資へ 戦略提携検討を発表 - 日本経済新聞

    【ニューヨーク=稲井創一】トヨタ自動車と配車アプリ大手の米ウーバーテクノロジーズは24日(日時間25日)、戦略提携を検討することで合意したと発表した。トヨタファイナンシャルサービス(TFS)や未来創世ファンドがウーバーに出資する。自動車大手のトヨタと配車アプリ最大手のウーバーとの提携は、世界の自動車関連企業の経営にも大きな影響を与え

    トヨタ、米ウーバーに出資へ 戦略提携検討を発表 - 日本経済新聞
    richard_raw
    richard_raw 2016/05/25
    ちょっと意外。
  • システム障害で消耗してるあなたに:失敗から学ぶための取り組み「Failure teaches Success」 - クックパッド開発者ブログ

    こんにちは!広告エンジニアのレオです。最近、システム障害を起こしていますか?クックパッドも例外ではないです。毎月、何かしらのシステムに何かしらの障害が起きてしまいます。その際、早く気づき、速やかに対応することによって被害を最小限に留めるように努めます。そして、システムやデータを正常な状態に復旧させます。 正常な状態に戻した段階では対応はまだ完了していません。問題の当の原因は何なのか、またその再発をどうやって防止するかを考えて手を打つまでは、障害の対応が完了したといえません。予防しない限り、また同じ過ちを繰り返すことになってしまいます。 失敗は成功のもと 根原因分析、そして再発防止は大事な作業ですが、とても難しい作業です。クックパッドでは、これらを少しでもやりやすくするために、ルールと仕組みをまとめています。この仕組みを「Failure teaches Success」(略してFtS)と

    システム障害で消耗してるあなたに:失敗から学ぶための取り組み「Failure teaches Success」 - クックパッド開発者ブログ
    richard_raw
    richard_raw 2016/05/25
    いい取り組みだ……。
  • DevOps スタータキットの公開 - メソッド屋のブログ

    DevOps の概要、プラクティス、そしてそれに関するリソースを整理して自ら学習しやすいようにしてみました。DevOps の考え方、プラクティス毎に、ビデオとそこで使っているPPTを公開しますのでお楽しみください。 channel9.msdn.com docs.com docs.com 1. DevOps の歴史 DevOps を学ぶときに、海外と比べると日の商習慣が異なるので、向こうで話されているDevOps の概要を聞いてもピンと来ないかもしれません。そこで、DevOps の歴史を7分程度で学べる動画を作成しました。 これで、DevOps が生まれきた背景が学べると思います。 docs.com 2. DevOps の概要 DevOps の歴史を知るとと、DevOps の概要がよりわかりやすいかもしれません。次のビデオをご覧ください。 docs.com DevOps プラクティス ビデ

    DevOps スタータキットの公開 - メソッド屋のブログ
    richard_raw
    richard_raw 2016/05/25
    動画がいっぱいやで……。あとで見るか。
  • 「A-Frame」でVR開発入門!HTMLの追記だけでスマホブラウザから好きな場所を360度パノラマ画像体験 - paiza times

    どうも、まさとらん(@0310lan)です。 みなさんは、「VR(バーチャルリアリティ)」を体験されたことはあるでしょうか? 「Oculus Rift」のような頭に装着するデバイスが人気ではあるものの、持っている人はまだ少ないと思いますので、今回はみなさんがお持ちの「スマホ」にあるブラウザで疑似体験してみようと思います。 もちろん没入感はありませんが、スマホ画面の奥に広がる「仮想的な空間」を実感することはできると思います! ■「A-Frame」を使ってみよう! ブラウザから、簡単にVR空間を楽しめるようにしてくれるフレームワークとして「A-Frame」があります。 【 A-Frame 】 「A-Frame」のユニークなところは、HTMLタグを追記するだけですぐにVR空間を構築できる点にあります。 例えば、公式ページで紹介されている以下の「サンプルデモ」のリンクを、スマホで開いてみてください

    「A-Frame」でVR開発入門!HTMLの追記だけでスマホブラウザから好きな場所を360度パノラマ画像体験 - paiza times
    richard_raw
    richard_raw 2016/05/25
    ストリートビューアプリで360度画像を作って、HTMLで画像を指定するだけ!
  • マイクロソフトCEOが中学校のプログラミング授業視察 | NHKニュース

    スマートフォンやパソコンを動かすための技術、「プログラミング」を子どものうちから学ぶ重要性が指摘されるなか、先進的な授業を行っている東京・渋谷区の中学校をアメリカの大手ソフト会社のトップが視察しました。 この学校では、マイクロソフトが開発中のソフトを使い、世界の教育現場で注目されているプログラミングを学ぶ授業を実験的に行っていて、CEOは、その様子を確かめるために訪れたということです。 実際にどんなソフトを使っているのかは企業秘密のため、映像取材が認められませんでしたが、仮想の世界で建物や町を作る、今人気のゲームソフト「マインクラフト」を改良したものだということです。 プログラミングは、スマートフォンやパソコンを動かす技術のことで、世界中で人材育成が求められていることから、日の学校でも必修化に向けた動きが進んでいます。視察を終えたサティア・ナデラCEOは、生徒たちに「将来、どんな仕事に就

    マイクロソフトCEOが中学校のプログラミング授業視察 | NHKニュース
    richard_raw
    richard_raw 2016/05/25
    MSジャパンじゃなくてナデラCEOだと!
  • すべて実弾、双方から撃ち合いか 北海道の陸自演習場 (北海道新聞) - Yahoo!ニュース

    【鹿追】十勝管内鹿追町の陸上自衛隊然別演習場で23日、北部方面後方支援隊(恵庭)が空包を撃ち合う想定の訓練中に実弾が発射され、隊員2人が軽傷を負った事故で、隊員には全て実弾が手渡されていた可能性の高いことが24日、北部方面総監部(札幌)への取材で分かった。実弾を撃った隊員は複数おり、計数十発が発射されたことも判明した。総監部は実弾が渡された経緯などを調べている。 【動画】空砲予定が実弾誤射し2人けが 陸自演習 鹿追 陸上幕僚監部広報室によると、陸自で空包を撃つ訓練中に実弾を発射したのは初めて。総監部によると、23日の訓練に参加したのは後方支援隊に所属する第310輸送中隊(札幌)の31人。演習場内の道路を走る車両が途中で襲撃されたという想定で、89式小銃(口径5・56ミリ)で空包を撃ち合う訓練だったが、二手に分かれて銃を撃った際、双方から実弾が発射されたという。 実弾の行方は不明で、総監部

    すべて実弾、双方から撃ち合いか 北海道の陸自演習場 (北海道新聞) - Yahoo!ニュース
  • 美少女と呼ぶには画質が粗い ドット絵から始まる恋愛ゲーム「どとこい」、好感度と一緒に画質も上がる

    作者の黒城ろこさんによると、ファミコンやスーパーファミコンなど、ドット絵が主流の幼少期のゲーム体験が制作のきっかけだそう。「公式のキャラクターイラストを書籍などで初めて見ることができた時代の『思ったよりかわいい』『想像とちょっと違った』という意外性をゲームにしたかった」(黒城さん) 23日夜に公開し、告知ツイートは1万リツイートを突破。「設定が斬新」「ドット絵スチルは脳内補正した」「美少女ゲームに対する強烈なカウンターパンチ」などの反響が寄せられている。黒城さんは「全員攻略してくれる方が予想以上に多い」「たくさんグラフィックを描いたので、何周もプレイしてくださるとうれしい」と話している。 関連記事 最もお金を使うのはアイドルオタク その額は──恒例「オタク市場」調査最新版、矢野経済研究所が発表 矢野経済研究所の最新「オタク市場」調査によると、アイドル市場が大幅に拡大。平均消費額が最も高いの

    美少女と呼ぶには画質が粗い ドット絵から始まる恋愛ゲーム「どとこい」、好感度と一緒に画質も上がる
    richard_raw
    richard_raw 2016/05/25
    適度に粗いほうがむしろ想像の余地があっていいかもしれない。(真顔)
  • 藤岡弘、42年前に出演した大河ドラマ「勝海舟」の映像を大量提供 NHKでも3話分しか現存せず

    俳優の藤岡弘、さんがこのほど、自身が42年前に出演していた大河ドラマ「勝海舟」のビデオテープ11話分をNHKアーカイブスに提供したことが明らかになりました。NHKアーカイブスの発掘ニュースが伝えています。 大河ドラマ「勝海舟」の保存映像を提供した藤岡弘、さん(NHKアーカイブス公式サイトより) 「勝海舟」は1974年放送の大河ドラマ第12作。主人公の勝海舟役は放送開始当初、渡哲也さんが務めていましたが、途中急病により松方弘樹さんが引き継いで放送されました。藤岡さんは坂龍馬役で出演していました。 「勝海舟」のOP映像。先日他界した冨田勲さんは大河ドラマの音楽を複数手掛けていました(NHKアーカイブス公式サイトより) しかし、放送当時はビデオテープが高価なため上書き使用されていたなどの理由から、同番組の映像はNHK内に全52話中わずか3話分しか現存していませんでした。そんな貴重な映像を一気に

    藤岡弘、42年前に出演した大河ドラマ「勝海舟」の映像を大量提供 NHKでも3話分しか現存せず
    richard_raw
    richard_raw 2016/05/25
    ビデオテープが高価で上書きして使い回してたから、NHKにも残ってなかったのか……。