2010-11-01から1ヶ月間の記事一覧

集合の基数(濃度)について

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

写像と単射と全射と全単射について

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

ツイッターで、3年連続して、11月11日11時11分11秒にポストできた!

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

Windows版のiTunesで現在聴いてる曲の情報を取得する(BAT編)

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

昨日(2010-11-07)の風景

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

Windows版のiTunesで現在聴いてる曲の情報を取得する(VBS編)

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

Windows版のiTunesで現在聴いてる曲の情報を取得する(Javascript編)

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

Windows版のiTunesで現在聴いてる曲の情報を取得する(C#編)

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

Windows のコマンドラインリファレンスはどこ?

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 │ └…