全体目次： 第1歩：しりとりの圏 （このエントリー） 第2歩：行列の圏 第3歩：極端な圏達 第4歩：部分圏 第5歩：変換キューの圏 第6歩：有限変換キューと半圏 第7歩：アミダの圏 第8歩：順序集合の埋め込み表現 第9歩：基本に戻って、圏論感覚を養うハナシとか 付録／番外など： 中間付録A：絵を描いてみた 番外：同期／非同期の結合 中間付録B：アミダとブレイド 番外：米田の補題に向けてのオシャベリ 一部のプログラミング言語の背景として、圏論（カテゴリー論）が使われたりするせいか、以前に比べれば多少は圏論に興味を持つ人が増えたような気がしなくもないような。でも、安直な入門的文書はあまり見かけないですね。もちろん、シッカリした教科書や論説はあるんですが、どうもシッカリし過ぎているような。例えば、圏の例として「コンパクト・ハウスドルフ空間と連続写像の圏」とか言われてもねぇ（この例はいい例なんです

イギリス国防省近くにあるグルカ兵の像。台座には交叉したククリの意匠と、インドの言語の研究者であるラルフ・リリー・ターナーによる「勇者の中の勇者。寛大な者の中の最も寛大な者。あなた方ほど忠実な友人を我が国は他に知らない。」という文章が添えられている グルカ兵（グルカへい、Gurkha）とは、イギリス軍におけるネパールの山岳民族出身の兵士。 「グルカ」はネパールの首都カトマンズから西に約80キロメートルのゴルカ（英語:Gorkha ネパール語:गोरखा）という地名に由来する。「グルカ」は「ゴルカ」（サンスクリット語発音:gau raksha）の英語訛りである。英・ネパール戦争当時、ネパール王国を支配していたのはゴルカ朝だったことから、イギリス人はネパールを「グルカ」と呼んでいた。 しばしばグルカ兵は「グルカ族」という民族の兵士だと思われているが、実際にはグルカ族という民族はなない。グルカ兵は

東浩紀 Hiroki Azuma @hazuma フラクタルのプロデューサーに「フラクタルにかけるヤマカンの思いを東さんが代弁するわけにいきませんかね」と尋ねられたので、それは無理ですときっぱりお断りした。ヤマカンは作品に自信があるなら自分の言葉で話すべきだ。引退とかなんとか言ってないで。 東浩紀 Hiroki Azuma @hazuma ちなみに今日は、フラクタルのムック（学研から発売予定）に向けて2時間以上のロングインタビューを受けてきた。ぼくは原案として言いたいことを言ってきた。でも監督の代弁はできません。ぼくは広報担当じゃないんだから。

佐藤慶浩 Yoshihiro Satoh @4416sato コンピュータ監視法案(サイバー犯罪条約の国内法化)に関する院内集会 http://bit.ly/gNz92Z 自民党政権下では成立しなかったものが、今国会で提出されるようです。←指宿先生からご案内もらいましたがマスコミで報道されてますっけ？

Windows95/98/Me/2000/XP/Vista/7、要するにWindows95からWindows7までのすべてのバージョンのWindows上で動作するフリーソフトとなっており、各NICなどのファームウェアを書き換えることなく各NIC（アダプタ）別にMACアドレスを変更することが可能となっています。変更する際はボタン一発でランダムに設定することができ、同じLAN内で稼働している別PCのMACアドレスをARPを用いて取得して表示してそれをコピーしたり、変更後にデフォルトのMACアドレスに戻したりすることも可能です。 これまでもMACアドレスを変更する方法はいろいろとありましたが、この「AnalogX AnonyMAC」はフリーソフトとしては非常に機能が充実しており、なおかつ簡単に使える、というのがポイントです。 ダウンロードと実際の使い方は以下から。なお、すべて自己責任で行ってくだ

この時をずっとまってた。 Google製の新しいコンパイル型言語Go上で動くGTK GUIライブラリ、go-gtkが今日、windowsで動いた。 Xming上で動いている様にも見えますが、ちゃんとwin32 nativeなGTKで動いてます。 まずは一般的なGUIのサンプル。 そしてgoroutineで非同期にtwitter public timeline(非streaming API)を読み込むサンプル。 だいたい動きました。ここ数日、cgoのwin32対応に関するsubmitが多くなってたので、そろそろ動くかなと思って着手しました。win32向けに対応した部分としては実はそんなに多くないです。go-gtkはイベントポーリングを自前でやっていて、その排他制御にpthreadを使っているんですが、win32だとpthread_mutex_lock/pthread_mutex_unlock

クラウド、ノマドといった言葉が定着してきた昨今、手帳やノートなどのアナログツールを見直そうという声が高まっています。一般的には、「ノートといえばモレスキン」なんて言われますが、今回は、日本の高い技術力で産みだされたオキナのA4ノート、「プロジェクトリングノート」の魅力を紹介します。 オキナ プロジェクトリングノートＡ４　５ミリ方眼　５０枚postedat 2010.11.28 オキナ 売り上げランキング: 8854 Amazon.co.jp で詳細を見る オキナとは、どんな企業か？ オキナ株式会社は、日本の文具メーカー。本社は東京都墨田区本所。封筒や書簡、事務用紙、学習帳など紙製品を手掛け、中でも封筒で知られ、全国に販路を持つ。トナカイのマークが社章となっている。 オキナの前身は中井紙製品工業という。当初は能舞台で使用する翁の面がトレードマークであったが、1965年の企業拡大に伴い、社名を

ぺんてるは、紙に書いた筆跡をワイヤレスで送信するデジタルペン｢airpenPocket｣（エアペンポケット）を2月12日より発売します。 製品は実際に絵や文字を描くペン部分と、Bluetooth受信ユニットで構成。Windows、Macintosh、スマートフォンなどにソフトをインストールして接続設定をしておくと、紙に書いた筆跡がリアルタイムで画面上に表示されます。しかも、書いた手書き文字をテキストとして認識する機能もあるので、あとからの検索もらくちんですね（残念ながらMacは非対応）。 これまではUSBケーブルが必要でしたが、ケーブルレスになってさらに使い勝手アップですね。 3月には、Android OS用のアプリも公開される予定。パソコンなしで直接Android搭載の端末にメモを送信できます。Androidユーザーは待ち遠しいですね。あれ、iPhoneは...？ ちなみに、Everno

なんだか最近ITを題材にしたラノベをいくつか読んでるので、３つほど紹介してみる。 本職の人には共感できる？いやできんな、こんなに美少女ばっかりいないし、、、 細かいことは窓から放り投げ、ネタはネタとして楽しむ人むけな本の紹介。 とりあえずはこれから『なれる！SE』

全てのプログラマが読むべき本ベスト10冊というのが流行っているようなので釣られてみる。 超個人的趣味丸出しなのであわない人も多いと思います。別に無理して読まなくてもいいとおもいます。 なれる!SE 2週間でわかる?SE入門 (電撃文庫) 作者: 夏海公司,Ixy出版社/メーカー: アスキー・メディアワークス発売日: 2010/06/10メディア: 文庫購入: 49人 クリック: 883回この商品を含むブログ (155件) を見る SEとついているけどネットワークエンジニアの話。なれる！ＳＥは入社したばかりの新人のときに教えておき たいことが結構つまってると思う。なれる！ＳＥ２もある。３は１月発売予定。 彼女と二人で「C」体験！ (MF文庫J) 作者: 石川ユウヤ,稲垣みいこ出版社/メーカー: メディアファクトリー発売日: 2010/09/18メディア: 文庫購入: 3人 クリック: 434

流行ネタってことで乗るしかないだろこのビッグウェーブに……！ リスペクト元 → プログラマであっても無理に読まなくてもいいと思う本５冊 - regtan’s TechNote よくわかる現代魔法 (集英社スーパーダッシュ文庫) 作者: 桜坂洋,宮下未紀出版社/メーカー: 集英社発売日: 2003/12メディア: 文庫 クリック: 43回この商品を含むブログ (188件) を見る よくわからないことに定評のあるよくわかる現代魔法。そんなんプログラミングじゃねーと突っ込みながら読むのが俺のマイスタイル。 魔法少女リリカルなのは　The MOVIE 1st＜初回限定版＞ [Blu-ray] 出版社/メーカー: キングレコード発売日: 2010/11/26メディア: Blu-ray購入: 20人 クリック: 330回この商品を含むブログ (79件) を見る これを観たプログラマは起動ログに Sta

丸善ジュンク堂書店の公式facebookページです。 店舗でのフェア・イベント情報に加え、出版業界の小ネタや書店の裏側などを随時アップしてゆきます。

自分用メモ。他に思い出すor新しいのを見つけたら適宜追加。 （2/2追記：ブコメなどで教えてもらった作品を追加。情報提供ありがとうございます。 サイバーパンクまで行くとちょっと離れすぎてる気が。） 参考リンク 参°ぼっくす: IT系なラノベ紹介でもしてみる プログラマであっても無理に読まなくてもいいと思う本５冊 - regtan’s TechNote プログラマがなんたらかんたらな10冊 - kagamihogeの日記 タイトル 著者 レーベル メモ なれる！SE　2週間でわかる？SE入門 夏海公司 電撃文庫 IT業界ネタ盛り沢山。作者は元SE。絵師はプログラマ。 不思議系上司の攻略法 水沢あきと メディアワークス文庫 IT業界物。主人公がSE。作者もSE。未読。 よくわかる現代魔法 桜坂洋 スーパーダッシュ文庫 現代魔法はプログラムを組んでコンピュータで魔法を使用する。サブタイもITネタ

コンプライアンスという単語を知る者であれば誰もがイナバウアーしてしまいそうな新サービスが百度から。大丈夫なのか、というか、大丈夫じゃなさ過ぎて本気でヤバイ。私が権利者なら今日にでも弁護士事務所へゴーという感じの、凄まじい逸品に仕上がっております。 baiduライブラリ　スタート http://lib.baidu.jp/ スタートじゃねえよ。 ●　漫画編 もう一ページめからくらくらします。スプリガンとかドラゴンボールとかがスキャンしたpdfのまんま挙がってて自炊ってレベルじゃねーぞ。ちょっとめくると、ゴルゴ１３からパトレイバーから出るわ出るわ版権の数々。普通に考えて違法なんですけど、レギュレーションはどうなってるんでしょうか。 http://lib.baidu.jp/list/87 ●　語学検定編 著作権無視ど真ん中の語学検定編、怒涛の本から丸ごとpdfのオンパレードでこちらの血圧も上がりそ

この記事には独自研究が含まれているおそれがあります。 問題箇所を検証し出典を追加して、記事の改善にご協力ください。議論はノートを参照してください。（2015年10月） ワーク・エンゲージメントと関連する概念の位置づけ[1] 仕事中毒（しごとちゅうどく、ワーカホリック、英：workaholic）とは、生活の糧を得る手段であるはずの職業に、私生活の多くを犠牲にして打ち込んでいる状態を指す言葉である。ワーカホリックは「私は働かなければならない」（I have to work）と認知しており、一方でワーク・エンゲージメントは仕事への態度が肯定的である、すなわち「私は働きたい」（I want to work）であるという点において区別される[1]。 これはときおり、仕事に打ち込むあまり、家庭や自身の健康などを犠牲とするような状態を指す[2]。その結果として、過労死や熟年離婚といった事態を招くこともあ

将来書こうと思っているテーマだけど何年後になるかわからないので概略の概略だけでもどこかに残しておこうかと。主に自分用の資料。

なんで独立する気も中間管理職になる気もないのに君はマネジメントを勉強しているのか？って質問に対する答えとしてちょうどいいものをドラッカーBotがつぶやいていたので転載する。 知力や想像力や知識は、あくまでも基礎的な資質である。それらの資質を結果に結びつけるには、成果をあげるための能力が必要である。知力や想像力や知識は、限界を設定するだけである。 プログラミング能力とか英語力とか色々なアイデアとかは、必要条件であって十分条件ではない。成果に結びつけるためにはそれらを組み合わせて運用するためのメタな知識が必要である。プログラマならもっとわかりやすいたとえができるだろう。タイピング能力とかライブラリに対する知識とかがあっただけではよいプログラムは書けない。「プログラミング能力」っていうメタな知識が必要である。マネジメントはもう一段メタな知識なんだ。

SUBARUとGAINAXが送る、アニメーション作品『放課後のプレアデス』。 →　『放課後のプレアデス』公式サイト　http://sbr-gx.jp →　公式ツイッター　http://twitter.com/sbr_gx

SUBARUとGAINAXが送る、アニメーション作品『放課後のプレアデス』。 →　『放課後のプレアデス』公式サイト　http://sbr-gx.jp →　公式ツイッター　http://twitter.com/sbr_gx

[読了時間：5分] ソーシャルの牙城を崩すモバイルの波 米Microsoftの牙城は、オープンソース技術やインターネットの普及が崩した。インターネットの普及とともに急成長した米Yahoo!の牙城は、検索技術が崩した。検索技術で天下を取ったGoogleの牙城は、ソーシャルの津波が押し流そうとしている。そしてそのソーシャルの津波に乗って今後影響力を拡大させていくのがFacebookである。 これから始まるFacebookの時代に、日本のベンチャー企業が取るべき進路は２つ。１つは、このFacebookの時代の中でどれだけ有利に立ち振る舞うかという道。もう１つは、数年後にFacebookの牙城を崩す立場になることを目指して動き始めるという道だ。 Facebookの牙城を崩す技術は、何になるのだろうか。わたしはモバイルではないかと常々考えている。 グリー株式会社代表取締役社長の田中良和氏もモバイルを

『面白いもの』『楽しいもの』『今流行の絵柄』……そういったものは一概に、決め込まれた正解はなく、ただぼんやりとトレンドめいた流れがあるのみです。それをつかむのはかなり困難で、努力や計算だけではなく運やタイミングにも左右される、とても繊細なものだと思っています。