I have a pen — 「それでも、京都は面白い。」と思う。たぶん。
さっき、以下の様な記事を読んだ。 京都の現実を知った上で言ってるの？ FacebookのタイムラインやTwitterでバズっていたので、読んだ人多いかも。 氏いわく。 「京都は旅行で来れば物珍しくて面白いかもしれないが、住むに適した土地とはとても思えない。」 という事らしい。 色々と理由を上げている、どれもこれも納得できる。なるほどね〜と思った。 結構毒づいてるけど、なんだかんだ言ってもそれなりに京都愛があるからの記事なんだろうなと思う。 そこで、京都に親類縁者も血縁関係も一切なし、友達も一人もいないという状態で、仕事で京都に来て10年住んでみた私も感想を書いてみたくなった。 氏と全く同じ項目で書いてみる。 ＞理由その①：夏は暑くて冬は寒い 激しく同意。 夏と冬という一年を通しての寒暖差ももちろん大きいんだけど、一日の寒暖差もなかなかにきつい。 一般に過ごしやすいと言われる「春」や「秋」で
MSが.netなどをオープンソース化って冗談かとおもったらまじだった。これはすごい。 - 未来のいつか/hyoshiokの日記
いろいろと驚く。昔、オープンソースに敵対していたMicrosoftも自ら基幹ソフトウェアをOSS化する時代である。どんな大企業もオープンイノベーションを無視していけない時代になった。 .NET Core is Open Source | .NET Blog 30年くらい前のいわゆる垂直統合の時代は、ハードウェアからOSからコンパイラやRDBMSや、アプリまですべて自前で提供するというのが優れたビジネスモデルだと考えられていて、その完成系がIBMだった。ハードウェアベンダーは多かれ少なかれIBM的なビジネスモデルを目指していた。それは国産各社も例外ではない。80年代になって、潮目がごろっとかわり、専業ベンダーが台頭してくる。OSならMicrosoft、UnixならSun Micro、RDBMSならOracle、CPUならIntel。それぞれの専業ベンダーはそれに資源を集中するので、イノベーシ
検索技術を使うなら知ってないと損する6つのこと～クックパッド、グリー、ぐるなび、CROOZは検索技術をどう使っているのか（2/2） - ＠IT
グリーでログ分析システムの開発を行っている一井崇氏からは、「全文検索のちょっとちがった使い方（仮）」と題する発表があった。 グリーにおける数値指標管理では、基本となるデータの総数が「1億キー×最大7年」という膨大な量に上り、さらに時間ごとに増え続けるアプリIDとの組み合わせなども考慮すると、すでに人間の手では管理しきれない状態にある。 同社ではMySQLベースのKVS（Key Value Store）によって、これらのデータを管理しているが、問題はkeyの数が膨大過ぎて必要なkeyを見つけるのが困難になっていることだという。 その解決のためにHadoopやMongoDBを導入するといった選択肢もあるが、同社が取った方法は「key stringを全文検索することで目的のkeyを探す」というものだった。一井氏によれば、グリーの数値指標管理システムの目的を整理すると、以下のようになるという。 や
プログラムに証明が付く日 | RANDMAX
この記事は「Theorem Prover Advent Calendar 2013」6日目の記事です。 http://qiita.com/advent-calendar/2013/theorem_prover 神田「野らぼー」にて、地下の薄暗い店内で… 「そう言えばこないだ隣で起こってたポインタオーバーラン、対応大変そうだったですけどちゃんと家に帰れてたんでしょうかね、新婚なのに…」 「ヌルポとかポインタオーバーランとか、どうして無くならないんだろうね。その時はみんな手を抜いてるつもりなんて毛頭なくて、一生懸命考えて大丈夫だと思ってるはずなんだけどね。レビューもして、それでも起こった後でみんなでソース見てみると、なんで気づかなかったんだよ！ってことになる。」 「人間って、そういうの苦手なんでしょうねきっと。ほら、『何かほかにありませんか』って聞かれても出てこないじゃないですか。静的な解析っ
400年の難問、｢ケプラー予想の証明｣やっと100％終わる
400年の難問、｢ケプラー予想の証明｣やっと100％終わる2014.08.13 22:0019,492 satomi コペルニクスが提唱した地動説を、天体運行法則で不動のものにした偉人ヨハネス・ケプラー。 そのケプラーが1611年に提唱した｢球は、八百屋に山盛りのオレンジみたいにピラミッド型に並べると一番沢山入る｣という説が、400年の歳月を経て、100％正しかったことがコンピュータの力で証明されました。 この立体最密充填の解答は、誰でも直感的になんとなく正しいことがわかります。けれども証明するとなると超厄介で、世界歴代の天才がいくら頭脳を結集しても証明できなくて、ずっと｢定理｣ではなく｢ケプラー予想｣と呼ばれ続けてきた難題中の難題です（参考）。 証明したのは、米ピッツバーグ大学のトマス・ヘールズ教授です。もともと氏が1998年に発表し、｢フェルマーの最終定理以来の難問が解けた！｣と世界中
ビジネス・イン・ジャパン | 上杉周作
宣伝: 僕が共訳した「Factfulness(ファクトフルネス)10の思い込みを乗り越え、データを基に世界を正しく見る習慣」が日経BP社より2019年1月に発売されました。本気で訳したので、ぜひお手にとってみてください！ ビジネス・イン・ジャパン2014/11/26 この記事はPatrick McKenzieさんが2014年11月7日に投稿されたDoing Business in Japanという記事の和訳である。世界的なギークコミュニティーのHacker Newsでは異例の800ポイント以上を獲得したが、はてブを見る限り日本では殆ど読まれていないようなので、日本語の練習がてら翻訳することにした。むろんPatrickさんの承諾は得ているし、彼は日本語も堪能なので、一通り拙訳にも目を通してもらった。 Patrick McKenzieさん (Twitter: @patio11)はアメリカ出身、
東亜飯店で飯を食べた - Line 1: Error: Invalid Blog('by Esehara' )
誕生日ということもあり、かねてから行きたかった東亜飯店で飯を食うことにした。 イベントを立てて、行きたい人を募り、実際に飯を食いに行った。 結論からすると、上の写真を撮らせてくれたし、中華屋としても美味しく、また値段も手頃であり、飲み食いしているときに、ちゃんとお皿を定期的に片付けてくれたりなど、変なチェーン居酒屋を利用するよりも、かなり良い店だった。そこらへんのレポートを書こうと思う。 東亜飯店は実在するの? 実在します。食べログにも、店情報がある。ここに書いてない情報としては、ランチは11:00～15:00の間、夜は18:00～22:30の間で開店していることが多いようだ。 で、この画像なんなの? 東亜飯店とは? と思う人もいるだろうから、東亜飯店がこれほどまでに有名になった経緯は、このエントリに詳しい。こちらにも念のため、画像を張り付けておく。 別にIT系(特にWeb系)でこの画像が
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
JSON