10. sn e l n m というレンズの、s t n m がセッター、g t n m が ae e ae e ae ゲッター。 nwuhr=(e nm)ato "iaaa eAto st ae uhr hrtr"
レンズ (ぶつかり稽古の没プレゼン)
10. sn e l n m というレンズの、s t n m がセッター、g t n m が ae e ae e ae ゲッター。 nwuhr=(e nm)ato "iaaa eAto st ae uhr hrtr"
すべてが@__kanになる
9. snoi sn e t x e na K - カン拡張 イスラエル、 名誉教授 極限や随伴の概念の一般化 のライブラリ D t . u c o . a . a L n aaFntrKnRn a ) ) , TIM ( ( naK suniraM leinaD lleksaH 10. snoi sn e t x e na K - カン拡張 を圏、 を関手とする。 が の に沿った右カン拡張であるとは、 が 関手で、 が自然変換であり、任意の別のペア に対して、 なる がただ一つ存在するこ と。 この を と書く。 : T , : K : R , , K T )K T K na ( ) ,R( KR : = R T ) , H(
IIJ Research Laboratory
ネットワークの計測と解析 インターネットの使われ方やネットワークの挙動を把握する事は、ネットワークを運用し、その技術開発を行う ために欠かせません。しかし、観測で得られるデータ量は膨大ですがノイズが多く、また、観測できるのは極めて限られた部分でしかありません。そこで、膨大なデータから意味のある情報を抽出したり、部分的な観測からより一般的な傾向を推測する事が必要となります。... インターネット基盤技術 速くて、安全で、信頼性が高く、使いやすく、など、インターネットサービスへの要求はますます高まっています。これらの要求に応えるために、インターネットの 基盤技術も日々進歩しています。いまやインターネットはつながるだけのサービスではなく、高度で複雑な機能を備えた社会基盤となりました。IIJ技術研究所は、インターネットの基盤として実現が期待される機能を提供するために、さまざまな技術課題に取り組んで
Index of /course/80-413-713/notes
Index of /course/80-413-713/notes NameLast modifiedSizeDescription Parent Directory - CT2errata2010.pdf 2015-04-02 09:57 35K cats.pdf 2015-04-02 09:57 85K chap01.pdf 2015-04-02 09:57 190K chap02.pdf 2015-04-02 09:57 185K chap03.pdf 2015-04-02 09:57 179K chap04.pdf 2015-04-02 09:57 140K chap05.pdf 2015-04-02 09:57 201K chap06.pdf 2015-04-02 09:57 208K chap07.pdf 2015-04-02 09:57 242K chap08.pdf 2
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
2013年文化祭 - 灘校パソコン研究部
Amazon.co.jp: Category Theory (Oxford Logic Guides): Awodey, Steve: 本
