タグ

2014年8月14日のブックマーク (22件)

  • Cython

    Read it now on the O’Reilly learning platform with a 10-day free trial. O’Reilly members get unlimited access to books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers. Build software that combines Python’s expressivity with the performance and control of C (and C++). It’s possible with Cython, the compiler and hybrid programming language used by foun

    Cython
    theatrical
    theatrical 2014/08/14
    "speedups of 3000X are easily attainable for certain patterns" さすがに盛りすぎだろう。。
  • イスラム国が1500人性奴隷に=少数派女性ら―国連声明 (時事通信) - Yahoo!ニュース

    【ニューヨーク時事】国連事務総長のムラデノフ特別代表(イラク担当)とバングラ特別代表(紛争下の性暴力担当)は12日付で共同声明を出し、イスラム過激派「イスラム国」がイラクのヤジディ教徒ら少数派住民を誘拐し、性暴力を働いているとの情報があるとして「重大な懸念」を表明した。女性や少女、少年約1500人が拉致され、性奴隷となることを強いられた恐れがあるという。 誘拐されたのはヤジディ教徒やキリスト教徒のほか、イスラム教徒のトルクメン人やシャバクなどイスラム国が制圧した地域の少数派の人々。声明はイスラム国の行為が戦争犯罪や人道に対する罪に当たる可能性があると指摘。その上で、地域諸国政府を含む国際社会に対し、被害者の即時解放に向けた支援を訴えた。

    theatrical
    theatrical 2014/08/14
    世界って脆弱だなと本気で思う。アメリカで弱気になった途端これだもん。
  • Twitter / takahirominfuna: 放射線照射した血の輸血について書いたところついにブログが炎上 ...

    放射線照射した血の輸血について書いたところついにブログが炎上しました(笑)勉強不足、削除と謝罪をしろ、恥を知れ、呆れてものがいえない、などなど。もうぼろ糞です。しかし、この程度の批判で主張をやめるようなら最初から発言しません。私は覚悟を持って発信しています。逃げも隠れもしません。

    theatrical
    theatrical 2014/08/14
    彼は本気でこの国のために、市民のために自分の正義を貫こうとしてるんだよ。強いよこれは。一番達の悪いのは悪意じゃなくて、善意や正義感っていうことを思い知らされるね。
  • May_Roma めいろま 谷本真由美 on Twitter: "甲子園おにぎり二万個の件を聞いたイギリスのレス。「移民にやらせろ」終わり。"

    甲子園おにぎり二万個の件を聞いたイギリスのレス。「移民にやらせろ」終わり。

    May_Roma めいろま 谷本真由美 on Twitter: "甲子園おにぎり二万個の件を聞いたイギリスのレス。「移民にやらせろ」終わり。"
    theatrical
    theatrical 2014/08/14
    めいろまってちきりんににてるよね。何がとは言わないけど。
  • Samsung、初のメタルフレームGALAXY、4.7型で最薄の「GALAXY Alpha」発表

    韓国Samsung Electronicsは8月13日(現地時間)、GALAXYシリーズの新端末「GALXY Alpha」を発表した。同シリーズとしては初めてのメタルフレームを採用し、ディスプレイサイズはGALAXY S5(5.1型)より小さい4.7型だ。厚さはGALAXYシリーズで最薄の6.7ミリ。 価格はまだ発表されていないが、欧州のオンラインショップで既に予約が始まっており、英国のオンラインショップでは416.66ポンド(約695ドル)となっている。発売は9月初旬。日で発売されるかどうかは不明だ。 Samsungは同端末で新たなデザイン標準を設定したとうたっている。ハードウェアスペックは、microSDスロットがないなど、同社のフラッグシップ端末「GALAXY S5」よりやや低めで、「スタイルと最先端技術の最適収束」モデルという位置付けだ。 指紋認証機能など、GALAXY S5とほ

    Samsung、初のメタルフレームGALAXY、4.7型で最薄の「GALAXY Alpha」発表
    theatrical
    theatrical 2014/08/14
    designに哲学がないから、どれだけぱくっても結局ダサい
  • 都内で約1ヵ月間電子マネーだけで生活してみた 利点と弱点が明らかに - 週刊アスキー

    筆者はここ最近、電子マネーやNFCに関する話題を世界中を飛び回ってずっと追いかけているが、この手の“電子マネーサービス”は意外と“外国人に優しくない”というのが常だ。まず電子マネーカードの入手自体が外国人には困難であったり、特定のサービス(たとえば交通サービスだけなど)でしか利用できず多額の現金をチャージするのがためらわれるなど、使い勝手が悪いことが多い。その意味では、香港の八達通(Octopus)や韓国のT-moneyなど、“交通サービスも買い物もカード1枚あればオーケー”というサービスは非常にありがたい。 また台北限定ではあるが、台湾で利用できる交通系カードの『Easy Card』も最近では買い物に利用できるようになり、旅行するうえで便利になりつつある。とにかく、短期滞在で一番の邪魔となる“小銭”に気を配る必要がないからだ。 翻って日はどうだろうか? 2020年の東京五輪開催を前に関

    都内で約1ヵ月間電子マネーだけで生活してみた 利点と弱点が明らかに - 週刊アスキー
    theatrical
    theatrical 2014/08/14
    「電子マネーで払えないけど、クレジットでは払える」みたいな店は少額決済でもサイン求められたりする印象があって結局時間がかかるのがいや。あの決済機安くして、23区の全小売店PASMOでいけるようにしてほしい
  • switch文を使ってはいけない

    昔Qiitaで書いた内容なんですが、PHPswitch文は悪名高い「==」演算子で比較を行います。 <?php switch (true) { case 0: echo '数字の0'; break; case '0': echo '文字列の0'; break; case '0.0': echo '文字列の0.0'; break; case true: echo '真偽値のtrue'; break; } このコードは「文字列の0.0」を出力します。大変分かりにくいですね。 この点はif ... elseif ...を使えば解決するんですが、switchで書きたくなるようなコードをelseifにするとおそらく読みにくくなるでしょう。 ではどうするか。 正解はオブジェクトのポリモーフィズム(多態性)機能を使うことです。 といっても、多態性で調べて出てくる記事とか書籍に関しては抽象的な説明が多い

    switch文を使ってはいけない
    theatrical
    theatrical 2014/08/14
    switch分ってパターンマッチにぱっとみ似てるけど、中身はくそだよね
  • User Gabriella Gonzalez

  • Haskell: performance of IORefs

  • Episode 1: Peter Dybjer on types and testing

    In our inaugural episode, we speak with Peter Dybjer from Chalmers University of Technology. Peter has made significant contributions to type theory, including inductive families, induction-recursion, and categorical models of dependent types. He is generally interested in program correctness, programming language semantics, and the connection between mathematics and programming. Today, we will ta

    Episode 1: Peter Dybjer on types and testing
  • Safe library - generalising functions

    Summary: The Safe library now has exact versions of take/drop, with twelve functions implemented on top of a generalised splitAt. The Safe library is a simple Haskell library that provides versions of standard Prelude and Data.List functions that usually throw errors (e.g. tail), but wrapped to provide better error messages (e.g. tailNote), default values (e.g. tailDef) and Maybe results (e.g. tai

    theatrical
    theatrical 2014/08/14
    徳を積みましたな
  • 400年の難問、「ケプラー予想の証明」やっと100%終わる

    400年の難問、「ケプラー予想の証明」やっと100%終わる2014.08.13 22:0020,304 satomi コペルニクスが提唱した地動説を、天体運行法則で不動のものにした偉人ヨハネス・ケプラー。 そのケプラーが1611年に提唱した「球は、八百屋に山盛りのオレンジみたいにピラミッド型に並べると一番沢山入る」という説が、400年の歳月を経て、100%正しかったことがコンピュータの力で証明されました。 この立体最密充填の解答は、誰でも直感的になんとなく正しいことがわかります。けれども証明するとなると超厄介で、世界歴代の天才がいくら頭脳を結集しても証明できなくて、ずっと「定理」ではなく「ケプラー予想」と呼ばれ続けてきた難題中の難題です(参考)。 証明したのは、米ピッツバーグ大学のトマス・ヘールズ教授です。もともと氏が1998年に発表し、「フェルマーの最終定理以来の難問が解けた!」と世界中

    theatrical
    theatrical 2014/08/14
    これからは数学者が美しい証明にうっとりするよりも、機械に力任せに検証させるようなものが増えるかと思うと、それはそれでさみしいものがある
  • 電子出版に再販適用を=中小出版、公取に要望 – ガジェット通信

    中小出版社が参加する日出版者協議会(高須次郎会長)は13日、来年1月に施行される改正著作権法により、紙の出版物と同様の出版権が認められる電子出版物についても再販制度を適用するよう、公正取引委員会に要望したと発表した。 要望書によると、公取委は電子出版物について、コンテンツをCD―ROMなどに収めたパッケージ系、インターネット配信するオンライン系を問わず、紙の出版物と異なる非再販商品との見解を示している。その場合、出版社側が販売価格の決定権を持たない電子出版物は値引き圧力にさらされ、出版経営が成り立たなくなる可能性があると懸念を表明している。  [時事通信社]

    電子出版に再販適用を=中小出版、公取に要望 – ガジェット通信
    theatrical
    theatrical 2014/08/14
    やっぱり電子書籍は海外のに限りますね
  • Breaking from a loop

    This post describes how to break from a code block by using EitherT/MaybeT instead of ContT. This technique isn't new, and has already been described at least once before here. However, there is still some weird culture of teaching ContT for exiting from loops, which is incredibly over-kill and bad practice because it makes beginners think it's complicated when it's not. The Trick Exiting from a c

  • Sketchnote Workbook, The: Advanced techniques for taking visual notes you can use anywhere | Peachpit

  • Design Fundamentals: Notes on Color Theory | Peachpit

  • Beginning Scala

    theatrical
    theatrical 2014/08/14
    Scalaプログラミング入門( http://www.amazon.co.jp/dp/4822284239 ) の2nd editionが出るらしいですよ
  • やわらかスピリッツ - ストレッチ

    黒髪ショートで強気な慧子と ゆるふわロングで天然な蘭。 ストレッチを中心に回る 二人の暮らしを覗いてみてね。 『ストレッチ』全4巻発売中!! 定価:体648円+税 発行:小学館 きみが一緒だったから 乗り越えられた―― 慧子(けいこ)と蘭(らん)。 二人で暮らした やさしい日々の終わり。 心も体もほぐれる ルームシェアストーリー最終巻。

    やわらかスピリッツ - ストレッチ
    theatrical
    theatrical 2014/08/14
    この漫画有益だなぁ
  • Artificial Intelligence

    What’s Next in AI is foundation models at scaleAI is revolutionizing how business gets done, but popular models can be costly and are often proprietary. At IBM Research, we’re designing powerful new foundation models and generative AI systems with trust and transparency at their core. We’re working to drastically lower the barrier to entry for AI development, and to do that, we’re committed to an

    theatrical
    theatrical 2014/08/14
    読もうかな
  • テスト先に書きたい若者よ - hitode909の日記

    弊社では毎年インターンを受け入れているのだけど,いまもインターンが来てて,テスト先に書きたいけど油断すると先に実装を書いてしまう,とか話してた. 個人的には,テスト先に書くのが大事というよりかは,意識して仕様を先に考えるのが大事だと思っている.テストを先に書くと,先に仕様を考えざるを得ないので,良いスタイルが身につく. 僕がよくやるのは,関連しそうなクラスの絵をひと通りノートに書いてみて,その図だけで,うまく動くことを説明できるくらい考えてみる.その時点でおかしかったら,コード書いてもおかしくなる.ノートに方眼ついてるとクラス図書きやすい.UMLとかじゃなくても,自分で見て分かるくらいでもいいと思う. 紙でうまくいったら,外部仕様だけソースコードに書いてみる.クラス名と,メソッドの定義と,メソッドの上くらいに,ひと通りコメントでも書いてみて,この関数はこういうことをするんです,こういう引数

    テスト先に書きたい若者よ - hitode909の日記
    theatrical
    theatrical 2014/08/14
    haskellで型定義だと先に書いて中身はundefinedでお茶を濁すのと同じような感じですかね。 / メイヤーおじさんの本は脳内の「絶対に読まなくちゃいけないリスト」に入ってるんですが、なかなか手がつけられないですね
  • はてなアイドルの後継者に選ばれました! - コウモリの世界の図解

    2014-08-13 はてなアイドルの後継者に選ばれました! ネタ記事 → はてなブックマーク - はてなアイドル(蔑称)の後継者争いに終止符が打たれたぞ!これ読みました。コウモリは、コミュ障が酷すぎて色んな方々に迷惑をかけてしまったため、しばらくネットをお休みしていました。それで久々にネットを見てみたところ、はてなアイドルの後継者に選ばれたようです。個人的なメッセージの冒頭に書いた文章がどこからかリークし、そのような栄誉を賜ることが出来たようです。ありがとうございます。せっかくなので、その栄誉を受けた文章を再度、掲載しておきます。 ○○さんへ  成長したい(高学歴になりたい・はてな婚がしたい)ということですし、ツイッター上で何度も言及されているようなので、ご説明さしあげます。僕は灘高等学校を卒業したので、官僚・弁護士・医師などの高学歴友人が多いです。(なお、僕は高卒の方が東大卒より価

    はてなアイドルの後継者に選ばれました! - コウモリの世界の図解
    theatrical
    theatrical 2014/08/14
    昔のアイドルは自分が読んだことがない自著が発売されたり、トイレ行かなかったりと、明らかに人間とは違う「何か」であったと伝え聞いていたのですが、2010年代にもまだアイドルはいだんだと感動いたしました。
  • 自分より頭がいい上司・同僚とギクシャクしないで働く7つのコツ | ライフハッカー・ジャパン

    起業家たるもの、自分より賢い人間を雇うべし――これは、起業における絶対的な真理です。この知恵には、何の不思議もありません。賢くて優秀な社員は手がかからないばかりか、常に新しいことを教えてくれて、あなたにとっての支えになるのです。その論拠は疑いようもないほどにシンプルですが、実践となると話は別です。 問題は、エゴと不安感。自分より賢い人たちに囲まれていると居心地が悪い人もいるでしょう。確かに、その状況をすんなり受け入れることは難しいかもしれません。非常に自信の強い人でさえ、天才に囲まれてしまうと、その自信が揺らいでしまうことがあるのです。 では、天才たちに囲まれながら、自尊心を損なわずにメリットだけを享受する方法はないのでしょうか? そんな質問がQ&Aサイト「Quora」に掲載され、世界中の回答者から回答が寄せられました。その中から、いくつかを抜粋してお届けします。 自分の強みを知る あなた

    自分より頭がいい上司・同僚とギクシャクしないで働く7つのコツ | ライフハッカー・ジャパン
    theatrical
    theatrical 2014/08/14
    別に自分よりアタマいい人相手にはギクシャクしなくない?相手がそれを鼻にかけるような性格最悪なやつなら別だけど。むしろ上司がバカだとムカつくっていうことが多いと思う