序数、基数、モノイド圏とエックマン／ヒルトン論法 - 檜山正幸のキマイラ飼育記 (はてなBlog)
「基本は大事だ」とか言いますが、幼児や小学生でもわかるようなホントに基本的な概念が、かなり抽象的な文脈でも形を変えて現れることには驚かされます。 かつての次男の様子などから察するに、「イチ、ニ、サン」と順番に数えあげることと、モノの集まりの大きさ（むしろ“多いさ”）の把握は、とりあえずは別な行為で、その2つを関連付けるためにはトレーニングが必要なようです。 数えるときに唱＜とな＞えるカズを序数（ordinal number）、集まりの“多いさ”を表すカズを基数（cardinal number）と呼びます。序数と基数は、子供の認識においても理論的（例えば集合論の）観点からも別物です。なのに、序数と基数はいつのまにか同一視され、具体的な利用法／利用場面が捨象された「自然数」へと蒸留されてしまいます。 この同一視と抽象化のメカニズムはどうなっているんでしょう？ あり得るひとつの説明として、モノイ
Erlang実験室：武士道と云ふは死ぬ事と見付けたり - 檜山正幸のキマイラ飼育記 (はてなBlog)
Erlangでは、「死ぬこと＝プロセスをクラッシュさせること」の解釈／意義／価値観が、他の言語とは随分違います。潔＜いさぎよ＞く死ぬことが推奨されていますが、これは責務の放棄とは違います。 内容： 事故や災害への対処は個人ではなくて企業や社会が行うべき 正常と異常のはざま 例外を使うのは例外的？ 多プロセス並列プログラミングと例外 潔さと無責任は違う -- 武士道プログラミング ●事故や災害への対処は個人ではなくて企業や社会が行うべき Erlangの書き方や文化で、なかなか馴染めないのが「異常時の処理を書かない」という方針です。 多くのプログラミング言語のコードでは、次のような分岐をしばしば見受けます。 if (正常条件) { 正常時の処理; } else { 異常時の処理; } switch (値) { case 正常な値_1 : 正常時の処理_1; break; case 正常な値_2
CDS取引のモラルリスク
CDSの取引は主に金融のプロ同士が行ううえ、それを取り締まる法律も特になく、相対取引の枠組みの中で取引は大きく伸びた。最近米国の決済機関DTCの親会社であるDTCCが公表した今年10月末のCDSの想定元本総額は、個別主体に対するものとインデックスを対象とするものを合わせると、33.6兆ドル（約3300兆円）にのぼる。これ以外にも米国で金融保険を業務とする会社などが相対でやっていて報告されていないものもかなりあるようだ。もっともDTCの数字のうち9割程度は業者間取引が両建てでカウントされているため、実質的なリスクはその1割程度という見方も出来る。それでも市場では少なくとも数百兆円を超える企業倒産リスクポジションを誰かがとっているということである。 CDSのカウンターパーティーリスク（及びそれに伴う決済リスク）はそれ自体大きな問題であるが、そもそも、このような取引は契約自由の名の下に自由に当事
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
