直前のエントリで「写像と単射と全射と全単射について - IIJIMASの日記」写像と特別な写像について説明しました。 特に、全単射（1対1対応）の存在は強力な性質で、AとBの間に1つでも全単射が存在すると有限集合の場合要素数が同じということがわかってしま…

以前にも「集合と基数の説明 - IIJIMASの日記」 に書いたのですが、再び説明を考えてみました。 数学の集合論で写像というのは、ある集合Aの要素aに対して、集合Bの要素bを1つ定める対応とのことです。特に写像をfで表して、bのことをfによるaの像といいf(a)…

3年連続して、11月11日11時11分11秒にポストできました！今年は、モバツイだったので秒までは自信なかったんですが・・・帰宅して確認したら11時11分11秒にポストできてました！（だから何？ .bbpBox2700809858981888 {background:url(http://a1.twimg.com/p…

「Windows版のiTunesで現在聴いてる曲の情報を取得する(C#編)」、「同(Javascript編)」、「同(VBS編)」 の続き。 BATファイルでもできないかなと、検索してたら・・・面白いページが！ [Link]「Studio ODIN - blog風小ネタ集 > MS-DOSのバッチファイルに、WS…

近所の多摩川の風景です。iPod touchを買って出番があまりなくなっていた携帯電話P905iで撮影しました。3年前の携帯にしてはよく撮れたと思います。 電車の橋 電車と川 日没

「Windows版のiTunesで現在聴いてる曲の情報を取得する(Javascript編)」、「Windows版のiTunesで現在聴いてる曲の情報を取得する(C#編) - IIJIMASの日記」の続きエントリ…（思いつき）これは、VBSのInputBox関数の間違った使い方だが・・・ 以下を新規テキス…

ブックマークレット 「Windows版のiTunesで現在聴いてる曲の情報を取得する(C#編) - IIJIMASの日記」を踏まえて、Internet Explorerで使用できるはずのJavascriptブックマークレットを作成してみました。 //iTunesで現在聴いてる曲の曲名、アルバム名、アー…

iPhone/iPod touchにはIn the Moodという、現在iPhone/iPod touchで聴いてる曲の曲名などの情報をTwitterに少しカスタマイズした形式でポストできるアプリがあります。 しかし、Windows版のiTunesで曲を聴いてるときに、iTunesにも似たような機能があるだろ…

Windows XPでは、[Windowsキー]+[R]で[ファイル名を指定して実行]を開いて「hh ntcmds.chm」と入力して[Enter]で開けたコマンドラインリファレンスはVista以降見当たりません… Windows 7 に対応したコマンドラインリファレンスはいったいどこにあるのでしょ…

以下のようなツリーのディレクトリ（フォルダ）がある場合に「target」ディレクトリを一括で削除したいとします。 ├─A │ ├─AA │ │ ├─AAA │ │ │ └─target │ │ ├─AAB │ │ │ └─target │ │ └─target │ ├─AB │ │ └─target │ └─target ├─B │ ├─BA │ │ └─target │ └…

Windowsのバッチファイルでも、状態によって処理を分岐させたいときにIF文(IFコマンド)が使用できます。以下の以下のコードはコマンドライン引数があるかどうかで分岐させるサンプルです。 ifsample.bat @echo off IF {%1}=={} ( echo 引数がありません ) el…

setlocal/endlocalコマンドは環境変数のローカル化のためにあります。 ローカル化とはsetlocalからendlocalの範囲内で定義した変数がその中だけ有効でその外部の同名の変数に影響を及ぼさないようにすることです。 @echo off setlocal set a=1 echo %a% endl…

WindowsのExplorer特定の拡張子を持つファイルをダブルクリックしたり、右クリックの「開く」、コマンドプロンプトでそのファイル名だけを入力して[Enter]を押して実行すると、その拡張子のファイルタイプのOPENアクションに関連づいている、アプリケーショ…

日本語で「ー＞」を漢字変換すると「→」になるって今日初めて気づきました！ いままで「やじるし」って入れてました・・・ ちなみに、使ってるIMEはMicrosoft Office IME 2010

本家の特定のユーザアカウントのページ…たとえば、 http://twitter.com/wakatter とか http://twitter.com/#!/asshuku のページを開いてる時に、favotterのページに行って面白い発言を確認したくなった時に使うBookmarklet。 //本家ユーザページ→favotterユ…

ブラウザのお気に入りに登録するなどして、素数を思い出しくなったら実行してください。もちろん、アルゴリズム的にはもっと改良できますが、Twitterの文字数制限の140文字にこだわりました！！ 10000は99999に変えてもOK？←環境によっては大変かも・・・ //…

ウィンドウズのバッチファイル(.bat)で部分文字列を取得するには… %変数名:~a,b% で変数の中身の文字列の0から始まるインデックスa番目から、長さbの部分を切り出せるということは調べるとすぐわかります・・・ たとえば >set x=abcdefg >echo %x:~2,4% cdef…

Windowsのバッチファイル(.bat)ってそのままだと、文字列の長さを求める関数もないんですね・・・以下のように文字列の長さを求めるサブルーチンを作成できます。結局ループ使わないとダメなんですね。。。GET_STRLEN.bat @echo off setlocal call :GET_STRL…

確率論の分野のネタ。確率論の奥深さを物語る奇妙な事実をここで紹介する。 単位円（半径の長さがの円）周上にでたらめに弦を引いた時、その弦の長さが円に内接する正三角形の辺（長さ）よりも長くなる確率を求めよ。 考え方 回答 【考え方１】三角形の一つ…

以前のエントリベルンシュタインの定理がわからないといわれたので、わかってもらうべく図をつけて説明しようとエントリ集合と基数の説明を作成した。そこでは、集合論の「写像」「単射」「全射」「全単射」「基数」などの用語の定義した。 それを踏まえて本…

7月上旬から毎日持ち歩いているモバイルルーターBUFFALO Portable-Wi-Fi DWR-PGのバッテリーは割と長持ちです。 公称連続通信時間は6時間。四六時中通信をしているのでなければ、1日の外出中は持っている感覚です。自宅での充電には、製品同梱のACアダプタと…

以前、知り合いに勧められて購入したRix eco Charger リチウムイオン電池<1400mAh>内蔵 USB出力AC充電器 ホワイト RX-LBAC14UWHがとても重宝しています。家庭用の電源コンセントにさして、別途購入する各端末用のUSBケーブル経由で端末にさしておけば、デバ…

電子書籍が流行りつつあるので、自分なりに紙媒体の書籍に対する電子書籍の優位性と劣位性を思いつく限りあげてみました。各項目、番号付きリストですが順不同です。 【電子書籍のうらやましいところ】【電子書籍の心配なところ】 リーダーデバイスによって…

前のエントリ（ベルンシュタインの定理）がわからないと不評だったのでまず集合論の基礎から図をつけて説明しようと思いたった。それぞれの図はVisio 2010で作成して、PNGに変換した。このエントリの内容は前エントリの諸定義の部分である。 fが集合Aから集…

8/10近所で花火大会がありました。 平日なので例年、自分が家に帰宅時するころには、花火大会終了していて、帰宅する大勢の観客の流れに逆行していました。 せっかくなので今年はこの日に夏季休暇をとりました。 最後の3分間動画を撮りました。

集合論にベルンシュタインの定理という定理がある。 カントールの対角線論法と並んで集合論の基本的な定理である。 AからBへの単射 f と、BからAへの単射 g が存在するとき、AとBには1対１対応h が存在する。すなわち、AとBの基数（濃度）が等しい。 諸定義:…

ログオンユーザの環境変数の格納場所→レジストリ"HKCU\Environment" システム環境変数格納場所→レジストリ"HKLM\SYSTEM\CurrentControlSet\Control\Session Manager\Environment" reg query "HKLM\SYSTEM\CurrentControlSet\Control\Session Manager\Environ…

コマンドプロンプトでレジストリの内容を見る→「reg query (キー名)」、詳細はヘルプ「reg query /?」や一般にregコマンドのヘルプ「reg /?」参照。 サンプル： reg query HKLM\Software\Wow6432Node\Microsoft\GenericBootstrapper\4.0 reg query /? reg /?

Visual Studio 2010のセットアップやClickOnceで使用する必須コンポーネントパッケージのパスは32bitマシンで %ProgramFiles%\Microsoft SDKs\Windows\v7.0A\Bootstrapper\Packages 64bitマシンで %ProgramFiles(x86)%\\Microsoft SDKs\Windows\v7.0A\Bootst…

既定だとExcelブックのダブルクリックだと、すでに開いてるウィンドウの中に開いてしまうけど、EXCEL.EXEのショートカットにドロップすれば新しいウィンドウに開く。フォルダオプションのファイルの種類でXLSやXLSX等の詳細設定で、アクションを実行するアプ…