2008-01-15 [長年日記]

灼眼のシャナをみた 1〜3 [anime]

昨日の話。

灼眼のシャナ I [DVD]

  • 監督: 渡部高志
  • 出演: 釘宮理恵,日野聡,江原正士,川澄綾子,櫻井智
  • 出版社/メーカー: ジェネオン エンタテインメント
  • ASIN: B000CFWQFA
  • 発売: 2006-01-25
  • amazon.co.jp詳細へ

灼眼のシャナ II [DVD]

  • 監督: 渡部高志
  • 出演: 釘宮理恵,日野聡,江原正士,川澄綾子,櫻井智
  • 出版社/メーカー: ショウゲート
  • ASIN: B000E0OIYU
  • 発売: 2006-02-24
  • amazon.co.jp詳細へ

灼眼のシャナ 3 [DVD]

  • 監督: 渡部高志
  • 出演: 釘宮理恵,日野聡,江原正士,川澄綾子,櫻井智
  • 出版社/メーカー: ジェネオン エンタテインメント
  • ASIN: B000EBCFPS
  • 発売: 2006-03-24
  • amazon.co.jp詳細へ

面白いのか面白くないのか、まだ判断がつかない。
続きが見たいような気もするので、そこそこ面白いのだろう。

ああ。
アニメを見るまで、イラストがいとういのぢだと知らなかったよ。
それはいかがなものかと自分でも思うが。

文書には識別番号を [etc]

あの高木さんが「大幅に改善」とエントリタイトルに付けるぐらいなので、読んでみる。

知文のタイトルが「ジャストシステム製品共通のバッファオーバーフロー脆弱性」と一般的な内容であるため、今後も同じタイトルの文書を出さざるを得ない状況が生じる可能性がある。同じタイトルになっても区別できるよう、シリアル番号を付けるなどするとよい。海外のソフトウェアベンダーはそうしている。

高木浩光@自宅の日記 - ジャストシステムの脆弱性告知ページが大幅に改善

ふむふむ。
メモ。

無限集合の冪集合の部分集合としての自然数 [etc]

元ネタは、

有限集合の冪集合としての自然数

です。これから書くことは何度も同じことを(言葉や表現を変えて)書いているのですが、それもまたよしとしましょう。


上記エントリでの議論を逆にたどります(順番の意味でも内容の意味でも「逆」に、です)。
まず、2のべき乗の集合を考えます。もちろん無限集合です。
\(~M~=~\{~x~\mid~x=2^n~for~some~n~\in~\mathbb{N}\}\)
です。
……おっと、\(~\mathbb{N}\) は自然数の集合です。ですが、0を含みます。不思議に思う人もいるかもしれませんがそういうもんだと思ってください。
ところで、上の表現は\(~M~=~\{~2^0,~2^1,~2^2,~2^3,~,,,\}\) をちょっと厳密に書いてみただけです。もう上の表現は忘れちゃってください。


これの部分集合を考えます。\(~\{~2^0,~2^1~\}\) とか、 \(~\{~2^2,~2^4,~2^5~\}\) とかです。
これを「2進数による数の表現」だと思うことにしましょう。
前者は\(~\{~2^0,~2^1~\}~\rightarrow~\{~1,~2~\}~\rightarrow~1~+~2~\rightarrow~3\) 、
後者は\(~\{~2^2,~2^4,~2^5~\}~\rightarrow~\{~4,~16,~32~\}~\rightarrow~4~+~16~+~32~\rightarrow~52\)
です。
いい感じです。
プログラマの人ならば、前者は 0b11 後者は 0b110100 の表現です、と言えばピンとくるでしょう。


集合\(~M\) の冪(べき)集合を考えて見ます。冪集合は、ある集合の部分集合を全て集めた集合のことです。
\(~\{~\phi,~\{2^0\},~\{2^1\},~\{2^0,~2^1\},~\{2^2\},\{2^0,~2^2\},~\{2^1,~2^2\},~\{2^0,~2^1,~2^2\},~\{2^3\},~\{2^0,~2^3\},\)
\(~\{2^1,~2^3\},~\{2^0,~2^1,~2^3\},~\{2^2,~2^3\},~\{2^0,~2^2,~2^3\},~\{2^1,~2^2,~2^3\},\{2^0,~2^1,~2^2,~2^3\},~\{2^4\},~,,,\}\)
やっぱり、いい感じです。
\(~\{0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,,,\}\) と対応するように並べてみました。気がつきましたか?
便宜上空集合\(\phi\) を0と見なすとして、1つの部分集合が1つの自然数と1対1に対応しているように見えます。


でも、いけません。
今、冪集合の元になる\(~M\) は無限集合です。
その部分集合には無限集合が含まれます。
例えば\(~M\) 自身。\(~M~=~\{~2^0,~2^1,~2^2,~2^3,~,,,\}\) と無限に続く集合。これに対応する自然数はあるでしょうか?
……。
ありません。それは自然数にはなりません。


\(~M\) の部分集合に対して「2進数表現と見なすことで自然数に対応する」、というアイデアはよいのです。
しかし\(~M\) の部分集合のうち、無限集合には当てはまりません。

\(~M\) の冪集合の中で、有限な集合の元の中については「2進数表現と見なすことで自然数に対応する」ことができる*1

という但し書きをつけないといけないです。


「\(~M\) の部分集合の中の有限な集合」の集合。
「\(~M\) の冪集合の中の有限な集合の元」の集合。
まぁ、どちらでもいいんですけど、これが自然数に1対1に対応します。もちろん、この集合は無限集合です。自然数に対応するのですから、特に証明もせずに直感的に言い切っちゃいます。これが「自然数が無限にある」の別表現。


そして、
「\(~M\) の部分集合の中の有限な集合」の集合。
「\(~M\) の冪集合の中の有限な集合の元」の集合。
この強調部分が「ある自然数は有限な桁数で表現される」の別な表現になります。


このあたりでお粗末ながら。

アニメを放送局拡大したときの"電波料"は誰が出す? [etc]

285 名前: 塗装工(樺太)[] 投稿日:2008/01/14(月) 15:20:07.84 ID:10XsN3dPO
つうか放送局拡大してくれ

東京周辺ばっか

ニコニコで初めて知しったやつとかあるからなぁ

痛いニュース(ノ∀`):動画共有サイトの違法配信の影響でアニメDVDビジネスは限界を迎えている…海外ではすでに市場崩壊

ふむ。
地方でキー局の番組流すと、キー局から地方局に、"電波料"という名目で金が流れるらしい(今になって考えてみるとすごいネーミングだな)、

テレビはインターネットがなぜ嫌いなのか

  • 作者: 吉野 次郎
  • 出版社/メーカー: 日経BP社
  • 発売: 2006-11-30
  • ASIN: 4822245543
  • メディア: 単行本
  • amazon.co.jp詳細へ

というのは上の本で知った。読んでのエントリ↓

prima materia - diary : テレビはインターネットがなぜ嫌いなのか 読了
prima materia - diary : テレビはインターネットがなぜ嫌いなのか その2


ではアニメを全国放送したら、その金を出すのは一体誰なんだろう?
ゴールデンタイムのアニメなら判りやすい。スポンサーだ。
深夜アニメなら?
私も地方に住んでいる身なので深夜アニメなど平生は見られないが、出張とかに行ってふと見かけたりする時に知ったスポンサーでは……無理だろうなぁ。


トラックバック多すぎて同じこと書いている人がいるのかいないのか(というかそもそせ元スレすら見てないが)判らん!

なぜ Firefox が DHCP を? [徒然]

ZoneAlarm に時々でる、Firefox.exe による 255.255.255.255 DHCP アクセス。
いったいなぜ? なんのために?

ドローイングエディタ ディスカス [tools]

何気なく長年日記を見たら、ドロー系のエディタについて書いているのを見つけた。

Drawing Editer Discus

に移ったもののまだ開発継続中の様。2年ぶりだけどとりあえず試用。
ベジェの描き方にとまどってしまった*2が、動作は軽い。
後は大量のオブジェクトを書くとどうなるか? というあたりか。

保存形式が(zip圧縮した)XMLでボキャブラリが公開されている点と、SVGに書き出せる点。高く評価できるその2点は変わっていないな。

ぷよぷよの連鎖数判定問題はNP完全 [game]

GoogleScholar からの検索。

ぷよぷよの連鎖数判定問題 - Google Scholar


いやいやびっくり。
ちなみに内容はというと、

初期盤面とピースの列と生整数kを与えた時に、k連鎖を起こすことが可能か? という問題はNP完全。(盤面の縦横のサイズに制限がなく、ぷよは4色以上、おじゃまぷよあり)

ということだそうである。証明は理解できない(というか読んでいない)。

*1 空集合の扱いは曖昧ですね。

*2 普段使いのソフトと違うから。