はじめての圏論 その第1歩：しりとりの圏 - 檜山正幸のキマイラ飼育記
全体目次： 第1歩：しりとりの圏 （このエントリー） 第2歩：行列の圏 第3歩：極端な圏達 第4歩：部分圏 第5歩：変換キューの圏 第6歩：有限変換キューと半圏 第7歩：アミダの圏 第8歩：順序集合の埋め込み表現 第9歩：基本に戻って、圏論感覚を養うハナシとか 付録／番外など： 中間付録A：絵を描いてみた 番外：同期／非同期の結合 中間付録B：アミダとブレイド 番外：米田の補題に向けてのオシャベリ 一部のプログラミング言語の背景として、圏論（カテゴリー論）が使われたりするせいか、以前に比べれば多少は圏論に興味を持つ人が増えたような気がしなくもないような。でも、安直な入門的文書はあまり見かけないですね。もちろん、シッカリした教科書や論説はあるんですが、どうもシッカリし過ぎているような。例えば、圏の例として「コンパクト・ハウスドルフ空間と連続写像の圏」とか言われてもねぇ（この例はいい例なんです
ステーキは手間をかけた分だけ美味くなる（ご飯はそうでもない）
編集部の安藤さんから「手間をかけた料理と手間をかけない料理、どっちがおいしいか対決しませんか？僕が手間を掛けない方やるんで、松本さんは手間を掛けてください」という連絡が入った。 そんなの手間をかけたほうがおいしいに決まっていると思うのだが、なにか勝算があるのだろうか。 きっと安藤さんは徹底的に手間を省いてくるだろう。ならばこちらは徹底的に手間をかけて圧勝してみせよう、この時はそう思ってました。 果たして結果は。 あばよ涙、よろしく勇気、こんにちは松本です。 1976年千葉県鴨川市(内浦)生まれ。システムエンジニアなどやってましたが、2010年にライター兼アプリ作家として自由業化。iPhoneアプリはDIY GPS、速攻乗換案内、立体録音部、Here.info、雨かしら？などを開発しました。著書は「チェーン店B級グルメ メニュー別ガチンコ食べ比べ」「30日間マクドナルド生活」の2冊。買ってく
Nokia、SiriやiPhoneの形状も「特許侵害」と主張 - iPhone Mania
フィンランドNokiaがAppleを特許侵害で訴えている件で、提訴内容にはSiriやiPhoneの形状までもが含まれていることがわかりました。 Appleの特許侵害を訴えるNokiaに対し、Nokiaが違法な特許移譲で過度なライセンス料を得ようとしていると抗議するAppleと、すでに泥沼化の様相を呈している両社の争いですが、Nokiaが主張する特許侵害のなかに、Siriや「iPhoneを探す」の機能、QualcommのRF（高周波）部品、iPhoneの形状やカメラの穴の部分の形までもが含まれている、とPatently Appleが報じています。 携帯電話で通話する行為が特許侵害 Nokiaは、iPhone6sに使用されているQualcommのRF部品が、同社の所有する「’247特許」を侵害しているとしています。さらに「Appleが提供しているマニュアルは、携帯電話で通話をするなど、’247
LINE DEVELOPER DAY 2016 開催のお知らせ « LINE Engineers' Blog
LINE株式会社は、2023年10月1日にLINEヤフー株式会社になりました。LINEヤフー株式会社の新しいブログはこちらです。 LINEヤフー Tech Blog saegusa2017-04-16Yoshihiro was a network engineer at LINE, responsible for all levels of LINE's infrastructure. Since being named Infra Platform Department manager, he is finding ways to apply LINE's technology and business goals to the platform. こんにちは。LINEでネットワークやデータセンターを担当している三枝です。2017年1月にJANOG39で登壇する機会を頂きましたので、今回
トイアンナ氏の呪詛は、クリスマスに対してあまりに無力だ
さあ、楽しいクリスマスが目の前だ。 トイアンナ氏が4℃を好む女性をdisってほんまチョロいわーとかホクホク顔してるだろうから、カウンターを当てておこう。 アレは呪詛なのだ。凄まじい怨念のこもった記事なのだ。 きちんと解説するから、「なるほど、メリークリスマス！」と言って笑って忘れよう。 2016/12/21(水)に公開する嫌がらせさて、あの記事は狙って公開している。 今年は、23(金)、24(土)、25(日)の連休になってる。 そうすると、2016年12月22日(木)はいわゆる週末になる。 すると、まさにドンピシャでホッテントリ入りして目に触れさせるなら、前日夜公開が良い。 だから、2016/12/21(水)に記事を公開し、はてブが集まって22日(木)の祝前日にトップに躍り出た。 最も効果的なタイミングを狙って呪詛を放つ。 通勤中、昼休み、帰宅時、全てのタイミングで呪いをかけようという執念
SankeiBiz（サンケイビズ）：自分を磨く経済情報サイト
サービス終了のお知らせ SankeiBizは、2022年12月26日をもちましてサービスを終了させていただきました。長らくのご愛読、誠にありがとうございました。 産経デジタルがお送りする経済ニュースは「iza! 経済ニュース」でお楽しみください。 このページは5秒後に「iza!経済ニュース」（https://www.iza.ne.jp/economy/）に転送されます。 ページが切り替わらない場合は以下のボタンから「iza! 経済ニュース」へ移動をお願いします。 iza! 経済ニュースへ
「ノキアは特許ゴロ、徹底的に争う」--アップル、ノキアの提訴に公式声明
Nokiaは米国時間12月21日、Appleによる複数の特許侵害を訴える訴状を欧州と米国の裁判所に提出したと発表した。 Appleに侵害されたとNokiaが訴える特許は、ディスプレイ、ユーザーインターフェース、ソフトウェア、アンテナ、チップセット、ビデオコーディングなどの技術に関するもので、全部で32件。 一方のAppleも、今回の訴状を受けてステートメントを発表した。 「イノベーションこそがAppleの本分であり、私たちのチームは世界で最高の製品を作ることに全身全霊を傾けている。私たちは知的財産を尊重しており、採用するテクノロジに関わるすべての特許を入手するために、常に正当な対価を支払ってきた。しかしながら残念なことに、Nokiaは同社が保有する特許を妥当な対価で私たちにライセンス供与することを拒否してきたばかりか、現在ではパテント・トロール（特許ゴロ）と呼ばれる手法により、同社にはまっ
上海の大江戸温泉「許可得てる」 日本側は「事実無根」：朝日新聞デジタル
東京・お台場の温浴施設「大江戸温泉物語」と同名の温浴施設が中国・上海にオープンし、日本側が「一切関係ない」としている問題で、上海側の運営会社は２５日までに「名称の使用許可を得ている」との文書を発表した。日本側は「この発表すら事実無根」と反論している。 上海側の運営会社が発表した文書によると、関連会社が昨年１１月から３年間の期限で、大江戸温泉物語株式会社（本社・東京）と業務提携を結んだ。今年３月になり、関連会社を通じて名称使用権を取得したと主張している。「権利取得後に運営ノウハウや従業員教育を学ぶため、１２人の従業員を東京の店舗で学ばせた」とも記した。 これに対し、日本側は取材に「上海の会社が発表した文書は把握しているが、内容はすべて事実無根。非常に困惑している」と語った。弁護士などと相談し、法的措置も含めて必要な対応を検討中という。（上海＝冨名腰隆）
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
知財収入、伸び盛り 日本の輸出に新たな「稼ぐ力」 - 日本経済新聞