「圏論的指数の周辺:ラムダ計算、デカルト閉圏、ノイマン型コンピュータ」にて: 背景の説明に労力を使って疲れたので、Exerciseの解は示しません(今日のところは)。 解を示します、明白・露骨・丁寧に。 問題の記述 次の図式を便宜上Dとおきます。idAを単にAと書いています。B^AはBA(指数)のことです。 f C×A -----→ B | / |m×A /eval | / ↓ / B^A×A それで、以下のような3つの命題を考えます;ただし、f:C×A→B, m:C→BA, eval:BA×A→B であることは前提とします。Λは集合論的関数C(C×A, B)→C(C, BA)であり、Λ(f)∈C(C, BA)なので、圏C内で Λ(f):C→BAです。 [β] ∀f. (Λ(f)×A);eval = f [η] ∀m. Λ((m×A);eval) = m [exp] ∀f.∃!m. Com
******************** 為替王様 はじめまして、Uと申します。 いつもblogの方を拝見させて参考にさせてもらっているつもりでした。 そして、数分前にセントラル短資で強制ロスカットになり、170万円の損失を出してしまいました。。。今は頭の中真っ白のまま、自分を戒める気持ちでこのメールを書いています。 私は25歳の会社員です。 これまで、財形貯蓄等や普通預金で普通に貯蓄をしていました。 ただ、給与もそれほど多くなく、将来のことも見据えながら という気持ちから、今年1月からFXを始めました。 今振り返ると当時はまだまだ円安が続いている時期だったのでビクビクしながらも20万円という投資金額で豪ドルを2万通貨購入し、一喜一憂していました。 そして、2月末の急な円高に直面しましたが、低レバレッジということもあり、どうにか今回のようなロスカットということは免れ塩漬けという結果で過ぎ去
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く