はじめての圏論 その第2歩：行列の圏 - 檜山正幸のキマイラ飼育記
「第2歩」と書いたからと言って続くかどうかはわからない、なにしろ僕は気まぐれだからね。 とりあえず第1歩で、手でいじれる圏の例が１つは手に入りました。圏論のような抽象的／一般的な理論を納得するには、具体的な例をたくさん知って、具体例に一般論を適用してみるのがいい方法だと思います。 そこで、関手だの自然変換だのに進む前に、もうひとついじり倒せる具体例を出しておきましょう。しりとりの圏よりは少しだけ高級で、行列（マトリックス）を考えます。僕は、高校で2×2行列の計算を無意味にやらされた記憶があるのだけど、今の教育はどうなっているかしら？ ともかく、行列計算の経験は仮定します。 内容： 行列の復習 行列の圏 圏の名前付けとか記号とか ホムセットと矢印記法 図式順記法と反図式順記法 全体目次 行列の復習 行列は、数を四角形に並べたモノです。ここで、「数」は実数だとしておきます。横の並びが行で、縦の
はじめての圏論 その第1歩：しりとりの圏 - 檜山正幸のキマイラ飼育記
全体目次： 第1歩：しりとりの圏 （このエントリー） 第2歩：行列の圏 第3歩：極端な圏達 第4歩：部分圏 第5歩：変換キューの圏 第6歩：有限変換キューと半圏 第7歩：アミダの圏 第8歩：順序集合の埋め込み表現 第9歩：基本に戻って、圏論感覚を養うハナシとか 付録／番外など： 中間付録A：絵を描いてみた 番外：同期／非同期の結合 中間付録B：アミダとブレイド 番外：米田の補題に向けてのオシャベリ 一部のプログラミング言語の背景として、圏論（カテゴリー論）が使われたりするせいか、以前に比べれば多少は圏論に興味を持つ人が増えたような気がしなくもないような。でも、安直な入門的文書はあまり見かけないですね。もちろん、シッカリした教科書や論説はあるんですが、どうもシッカリし過ぎているような。例えば、圏の例として「コンパクト・ハウスドルフ空間と連続写像の圏」とか言われてもねぇ（この例はいい例なんです
Riva FLV Encoder で FLV 形式を MPEG に変換する方法 - ホームズ備忘録 - MB-Support パソコン初心者のサポートページ
このページに掲載してある内容は古く、今は以下のサイトがおすすめです。動画共有サイトのビデオをダウンロードするツールは良くありますが、変換まで自動で処理してくれるのが「Craving Explorer（クレイビング エクスプローラー）」です。例えば、ムービーファイルから音（ MP3 ）だけを抽出したり、ムービーファイルが一般的な動画形式でない場合、Windows Media Player で再生可能な WMV 形式に変換したりと。 前回 は、拡張子「.flv」を再生するRiva FLV Playerをインストールしました。 ダウンロードした動画ファイルを再生させる手段があるのは良いですが、自分が利用しているプレイヤーで再生できないのは不便ですね。 そこで、一般的にどんなプレイヤーでも再生できる形式に変換すると便利です。Riva FLV Encoder は、動画に MMPEG コーデック、音声
Internet Explorer Beta3のスタンドアローン：Blog --- WEBデザインのリンク集 : ikesai.com
やっとみつけました、Beta3のスタンドアローン！！ というかちょっと前にIE7をデフォルトIEにしたのですが、どうもWindowsの調子が悪くなったので、IE6に戻していたのです。。。 なのでBeta3のスタンドアローンを待ちに待っていました。 しかし、ダウンロードサイトは案の定英語・・・ Googleで訳してなんとかスタンドアローンに成功したのですが、本当にやり方があっているのかは不明。 とりあえず自分のやり方を書いておきます。 まずIE7 beta3を落としてきて解凍。 次に、VelocIT ToolsってサイトでIE7 Standaloneをダウンロード。 次に、IE7 Standaloneを解凍してIE7 beta3のフォルダにぶち込む。 そして、IE7.batをダブルクリック！ すると、IE7が立ち上がるはずです。 次回からはIE7のexeでも立ち上がった
はてブお気に入りの重複エントリをまとめる＆既読エントリを非表示化 - いぬビーム
http://yagi.xrea.jp/2006/08/hb_fav_arrange.user.js はてなブックマークのお気に入りページに、 複数人がクリップしているエントリは１つにまとめる 人数が多いエントリほど上に持ってくる 既読のエントリは表示しない というアレンジを行うgreasemonkeyスクリプトです。 話の流れとか http://naoya.g.hatena.ne.jp/naoya/20060820/1156080416 http://d.hatena.ne.jp/sshi/20060821/p1 http://d.hatena.ne.jp/otsune/20060821/hatebFavorite 関連 はてブお気に入りサジェスタ 全サイトはてブ化・その場コメント・ワンクリブクマ Googleの検索結果にはてブのユーザ数を表示
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
