「雑談しながら思ったこと」： type of types とかラムダキューブについて教えてもらった。これは面白いネタなので、別エントリ（来年？）にして書くかも。 ラムダキューブについては、稲葉（k.inaba）さんが説明してくださったのですが、その一部 -- 型パラメータを取る型は、デカルト閉圏と豊饒圏（enriched category）を使うとうまく定式化できそうな感じを抱きました。それで、年末年始業務の合間に、「ボブ・クックの『物理系実務者のための圏論入門』」の冒頭で紹介したことがある、Francis BorceuxとIsar Stubbeによる"SHORT INTRODUCTION TO ENRICHED CATEGORIES"（http://www.win.ua.ac.be/~istubbe/PDF/EnrichedCatsKLUWER.pdf）という論説を読み返していました。
robocopyコマンドとは 2つのフォルダの内容を同期させ、ファイルやフォルダの内容を同じ状態に保つ機能は、ファイルサーバのバックアップや個人的なデータのバックアップ、リモートオフィス同士でのデータの同期など、システム管理のさまざまな場面で利用される。 このような用途に利用できるコマンドとして、Windows OSにはcopyやxcopyコマンドが標準装備されている。 フォルダの同期に利用できる標準装備のツールとしては、この他にも「robocopy.exe」というコマンドラインツールがある。 robocopyは、もともとはリモートのファイルサーバ同士でファイルやフォルダ、ユーザープロファイルデータなどを同期させるために作られたコマンドである。その名前は「Robust File Copy」の略であり、堅固（robust）で確実なファイルコピーという意味を持つ。具体的な機能の例を以下に記す。
2009年01月05日18:30 カテゴリValue 2.0 「内向き」で問題ないのは売文家ぐらい 「売文」という、せいぜいノキア一社の売り上げにも満たない市場に関しては、これは事実。しかも「現時点においては」という限定付きで。 「内向き」で何か問題でも？ (内田樹の研究室) 日本はまるで事情が違う。 日本には巨大な国内市場がある。 国内市場限定で製品開発しても、売れればちゃんともとがとれる規模の市場が存在する。 そういう市場が二重の意味で少なく小さくなってきたから問題なのだ。 一つは、フラット化。 「国内市場限定」だと思っていたものが、実はそうでないことを売る方も買う方も知ってしまったのだ。 私がはじめてアメリカに行ったのは1980年代のことだが、その当時ですら、ディズニーランドの七人の小人のお土産は"Made in Japan"だった。今だったらそんな贅沢な品はないだろう。"Made
前回、Web上でLibraのwalletやclientを作る(6)-残高を見るに追記したのだけど、実は、前回成…
$Id: ycombinator.html,v 1.6 2002/06/27 23:37:39 aamine Exp $ [ruby-list:35058] に刺激を受けて Y combinator を解読してみた。 こんなもん読むくらいなら以下の参考ページを読んだほうがいい。 参考にした (というかほとんどそのままな) ページ (英語) http://www.ececs.uc.edu/~franco/C511/html/Scheme/ycomb.html 動機 再帰関数は再帰するときに自分自身を名前で呼ぶのが普通である。 これをなんとかして名前を使わず、関数そのものを呼ぶように させたい。 求めかた まず単純な fact (階乗) を以下に示す。言語は Scheme である。 (define fact (lambda (n) (if (zero? n) 1 (* n (fact (- n
文庫化を機に読みました。面白くて、600ページを１日で読みきってしまった。まず文体、そして描写がすばらしい。本の裏にある解説に「自閉症者ルゥのこまやかな感性で語られる〜」とあるけど、"こまやか"なんて簡単な言葉で済ませられないぐらい深い。とにかくぐいぐい読まされる。ルゥの意識は、外界と同期できない。関係ないところで思考がぐるぐる回ったり、会話についていけなかったり。そして彼をとらえる質問、「暗闇に速度はあるのか」が唐突に頭をめぐる。その思考の不連続さがとても楽しい。というか共感する。とても。 ＊ この小説は、テーマと文体を奇跡的なほど高いレベルで纏め上げたアクロバチックな作品だと思う。同業者らの投票で選ばれるネビュラ賞を受賞したのも納得。自閉症の人は異なる時間で生きている。木村敏の著作で読んだだけなので詳しく語れるわけではないけど。実際、この小説では出だしから、ルゥの認識と外界の速度が異な
ゴム状硫黄「黄色」です―１７歳が実験、教科書変えた2009年1月5日15時0分印刷ソーシャルブックマーク 鶴岡高専の高橋研一さん（左）と金綱秀典教授＝鶴岡高専の化学生物実験室不純物で褐色のゴム状硫黄＝金綱秀典教授撮影結晶硫黄から作ったゴム状硫黄は黄色だった＝金綱秀典教授撮影 高校化学の教科書に掲載されていた「ゴム状硫黄」の色が間違っていた。山形県の鶴岡高専物質工学科３年の高橋研一さん（１７）が気づき、実験で確かめた。指導教員が訂正を申し入れ、出版社側も間違いを確認。教科書の修正につながった。高橋さんは「自分の実験で教科書の記述が変わるなんて予想外。びっくりしている」と話す。 ゴム状硫黄は、硫黄原子が鎖状に並んでできた硫黄の同素体。現在使用中の教科書１０種類には「褐色・黒褐色・濃褐色」とあり、大学入試でも「褐色」が正解とされてきた。 高橋さんは、指導教員の金綱秀典教授から「昔、黄色のゴム状硫
★このページの対象読者 三次元での回転を、ＣＧとかで定量的に取り扱いたい人 オイラー角(Euler Angles)を使っていたら、わけがわからなくなってきた人 カルダン角とオイラー角(Cardan Angles)の見分けが付かない人 ジンバルロックに困っている人 だけど、数学とかメンドクサイことが嫌いな人 サンプルプログラムが欲しい人 ★回転篇： 四元数（しげんすう, quaternion）を使った回転の取り扱い手順だけ説明します （１）四元数の実部と虚部と書き方 四元数とは、４つの実数を組み合わせたものです。 ４つの要素のうち、ひとつは実部、残り３つは虚部です。 たとえば、Qという四元数が、実部 t で虚部が x, y, z から成り立っているとき、下のように書きます。 また、V = (x, y, z)というベクトルを使って、 Q = (t; V) とも書くことがあります。 正統的
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
