このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama

メールでのご連絡は hiyama{at}chimaira{dot}org まで。

はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。

[参照用 記事]

2016-08-01から1ヶ月間の記事一覧

テンソル積の作り方 2: 双加群の場合、小さい圏の場合

昨日の「テンソル積の作り方」は、線形代数の復習という意味合いがもちろんありますが、別な目的もあります。色々なものに対してテンソル積を考えたいことがあるんです。なので、一般的なテンソル積のフレームワークがあれば便利だろうと思ったわけです。テ…

テンソル積の作り方

モノイド圏のモノイド積を“テンソル積”と呼ぶことがあります。この意味のテンソル積は最初から「在る」もので、「作る」ものではありません。では、最初はテンソル積がないのだけど、頑張って「作る」とき、どんな作り方をするのでしょうか?単に「作る」と…

あのサンプル画像の正体

画像処理のサンプルとして、次の女性の肖像がやたらに登場しますよね。もう定番です。[*1]この画像は、もっと大きな写真から顔の部分だけを切り出したものです。[*2]もとは、ヌードの全身写真です。ここに画像を挿入するのは憚られるので、リンクだけにして…

arXiv.orgのオルタナティブ!? viXra.org

viXra.orgという論文アーカイブサイトがあります。「ヴィクスラ」と発音するのかな? サイトの名前とデザインは、arXiv.orgを真似てるんだかパロってるんだか。実際、arXiv.orgのオルタナティブを標榜しています。http://vixra.org/why によると、arXiv.org…

モノイド圏の単位対象の定義について: これ難しいやん

(C, , I) をモノイド圏とします。α, λ, ρをそれぞれ、結合律子、左単位律子、右単位律子とします(律子(りつし)に関しては「律子からカタストロフへ」を参照してください)。λ, ρに関する等式的法則を書き並べてみます。ただし、αによる括弧の組み換えは省…

無料で入手できる本格的(紙なら高額)な微分幾何の専門書4選

「コンピュータ科学や組み合わせ論を“微分幾何”とみなす:CADGの夢」に関連して微分幾何について調べていたとき、商業出版物(紙の書籍)と同等なPDFをみつけました。「無料で入手できる本格的(紙なら高額)な理数系専門書15選」への追加として、4点の書籍…

パワーアップ・モナド工場の秘密

モノイドからモナドを作る話は: モノイドからモナドを作る 単一代入のモノイド、スタンピングモナド、モナド工場 C = (C, , I) をモノイド圏として、C内のモノイドの圏を Monoid(C)、C上のモナドの圏を Monad(C) とすると、Monoid(C)→Monad(C) という関手が…

コンピュータ科学や組み合わせ論を“微分幾何”とみなす:CADGの夢

『シン・ゴジラ』は僕のツボにはまったんですよね。コワ面白かった! 最近、もうひとつ「これは面白い!」と思っていることがあります。微分幾何の応用の話です。多くの人が「応用」という言葉から連想する内容とはちょっと違います。微分幾何を換骨奪胎して…

『シン・ゴジラ』を観た

映画『シン・ゴジラ』を観ました。僕が感じたことは2つ。 これは怖い。 (他人事ながらも)ほっとした。 ネタバレは、たぶんありません。つうか、あらすじ書いたりするの面倒だからヤラン。まず、「(他人事ながらも)ほっとした」話。これはね、監督・特技…

又吉イエスさんによる大川隆法批判

「今回は出馬しないのかな」で引用した又吉イエスさんの大川隆法批判(動画): https://www.youtube.com/watch?v=_7Wd8Iy_12U とても面白い意見なので冒頭部分(この部分だけで十分)を文字起こししました。「天地を創造された地球至高神は大川隆法・総裁先…