pを殴ってストレス解消するスレ PART１
見るかよｳﾞｫｹ
ﾅｼﾞｬ以降見る気しない。主人公の年齢どんどん高くなるし。
ﾅｼﾞｬ以降見る気しない。主人公の年齢どんどん高くなるし。
677 ：名無しさん？：04/02/01 23:16 ID:0z8muTM4
. ,| |
. 二二二二))二二二二二) |
,/ | |
,/ 彡 | |
/')') バキッ!! | |
/ε∞ ３ | | ／￣￣￣￣￣￣
/（l|ll;゜ワﾞ;）从／ /ﾉハヾ ／
/ (Σ:;:(⌒￣（｀Д´ ） ＜ 見ないよ、ボケ！！
（＿＿つつ ≡￣￣｀ヽ O） ＼
/ / ヽ ＼＿＿＿＿＿＿＿
(＿_） `J
^^^
. 二二二二))二二二二二) |
,/ | |
,/ 彡 | |
/')') バキッ!! | |
/ε∞ ３ | | ／￣￣￣￣￣￣
/（l|ll;゜ワﾞ;）从／ /ﾉハヾ ／
/ (Σ:;:(⌒￣（｀Д´ ） ＜ 見ないよ、ボケ！！
（＿＿つつ ≡￣￣｀ヽ O） ＼
/ / ヽ ＼＿＿＿＿＿＿＿
(＿_） `J
^^^
. ,| |
. 二二二二))二二二二二) |
,/ | |
,/ 彡 | |
/')') バキッ!! | |
/ε∞ ３ | | ／￣￣￣￣￣￣
/（l|ll;゜ワﾞ;）从／ /ﾉハヾ ／ 基地害粘着ヲタ
/ (Σ:;:(⌒￣（｀Д´ ） ＜ 天馬はるか死ね、ボケ！！
（＿＿つつ ≡￣￣｀ヽ O） ＼
/ / ヽ ＼＿＿＿＿＿＿＿
(＿_） `J
^^^
. 二二二二))二二二二二) |
,/ | |
,/ 彡 | |
/')') バキッ!! | |
/ε∞ ３ | | ／￣￣￣￣￣￣
/（l|ll;゜ワﾞ;）从／ /ﾉハヾ ／ 基地害粘着ヲタ
/ (Σ:;:(⌒￣（｀Д´ ） ＜ 天馬はるか死ね、ボケ！！
（＿＿つつ ≡￣￣｀ヽ O） ＼
/ / ヽ ＼＿＿＿＿＿＿＿
(＿_） `J
^^^
俺は母親が嫌いだ。大嫌いだ。
おせっかいなとこが嫌いだ。何よりも子供を一番に考えるとこが嫌いだ。
大学に入り、一人暮しを始めて二年も経つ俺を赤ちゃんみたいに心配するとこが嫌いだ。
今まで付き合った彼女より誰よりも俺を心配してくるとこが嫌いだ。
金が無くなって「もっと金を送れ！」と、言って結局送ってくるくせに
しぶるとこが嫌いだ。「こんな家に生まれてこなければよかった」と、言うと
電話越しに本気で泣くとこが嫌いだ。
俺は母親が嫌いだ。とにかく嫌いだ。
そんな母親がこの間死んだ。毎日のように俺を心配してかけてくる電話が
ただただウザくて、俺は携帯の電源を切っていた。だから、通夜にも行けなかった。
死因は働き過ぎでの過労と、電話が繋がらない俺を心配して体調を悪くした併発だった。
俺は母親が嫌いだ。自分の給料の倍以上の仕送りをする為に、働き過ぎるとこが嫌いだ。
こんな俺のために死んだ母親が嫌いだ。五十年近くの人生の半分を俺に費やしたとこが嫌いだ。
死ぬ直前まで、俺の声を聞きたがっていたとこが嫌いだ。
俺が毎日２ｃｈに入り浸っているとも知らず、死ぬまで働いた母親が嫌いだ。
今日をもって、俺は２ｃｈを引退する。嫌いだった母親にしてあげれなかった
親孝行を今更だがしたい。受け止めれない程の愛をくれた母親の為に頑張って生きていきたい。
おせっかいなとこが嫌いだ。何よりも子供を一番に考えるとこが嫌いだ。
大学に入り、一人暮しを始めて二年も経つ俺を赤ちゃんみたいに心配するとこが嫌いだ。
今まで付き合った彼女より誰よりも俺を心配してくるとこが嫌いだ。
金が無くなって「もっと金を送れ！」と、言って結局送ってくるくせに
しぶるとこが嫌いだ。「こんな家に生まれてこなければよかった」と、言うと
電話越しに本気で泣くとこが嫌いだ。
俺は母親が嫌いだ。とにかく嫌いだ。
そんな母親がこの間死んだ。毎日のように俺を心配してかけてくる電話が
ただただウザくて、俺は携帯の電源を切っていた。だから、通夜にも行けなかった。
死因は働き過ぎでの過労と、電話が繋がらない俺を心配して体調を悪くした併発だった。
俺は母親が嫌いだ。自分の給料の倍以上の仕送りをする為に、働き過ぎるとこが嫌いだ。
こんな俺のために死んだ母親が嫌いだ。五十年近くの人生の半分を俺に費やしたとこが嫌いだ。
死ぬ直前まで、俺の声を聞きたがっていたとこが嫌いだ。
俺が毎日２ｃｈに入り浸っているとも知らず、死ぬまで働いた母親が嫌いだ。
今日をもって、俺は２ｃｈを引退する。嫌いだった母親にしてあげれなかった
親孝行を今更だがしたい。受け止めれない程の愛をくれた母親の為に頑張って生きていきたい。
10代の少女達に根強い人気を持っているという
コバルトの少女小説を読んでみました。
この作品では女子高生が「白薔薇様」「黄薔薇様」などと
「ホーリーネーム」で呼び合います。
オウム真理教の事件を思い出させます。私の考えすぎでしょうか？
主人公の名前が福沢諭吉に似ているのも気になります。
「脱亜入欧」を唱え近隣諸国に絶大な迷惑を与えた大東亜戦争の
基礎を作った人と言っても過言ではないのではないでしょうか？
そのような思想で現代の少女達を洗脳しようとしているなどとは
申しませんが、少数のエリート集団「山百合会」が生徒会の運営を
仕切っているこの学校の体制にも、なにやらヒットラー独裁下のドイツを
連想させられるのは私だけでしょうか？
近隣諸国との悲しい過去を考え、子供達が健やかに育つことを
願ってやみません。
（89歳元教員）
コバルトの少女小説を読んでみました。
この作品では女子高生が「白薔薇様」「黄薔薇様」などと
「ホーリーネーム」で呼び合います。
オウム真理教の事件を思い出させます。私の考えすぎでしょうか？
主人公の名前が福沢諭吉に似ているのも気になります。
「脱亜入欧」を唱え近隣諸国に絶大な迷惑を与えた大東亜戦争の
基礎を作った人と言っても過言ではないのではないでしょうか？
そのような思想で現代の少女達を洗脳しようとしているなどとは
申しませんが、少数のエリート集団「山百合会」が生徒会の運営を
仕切っているこの学校の体制にも、なにやらヒットラー独裁下のドイツを
連想させられるのは私だけでしょうか？
近隣諸国との悲しい過去を考え、子供達が健やかに育つことを
願ってやみません。
（89歳元教員）
【グチャグチャ】車が電柱に激突・１９歳２人があの世行き【画像】
http://news4.2ch.net/test/read.cgi/news/1067836831/
22 名前： 番組の途中ですが名無しです 投稿日： 03/11/03 14:46 ID:UkHtRS3N
>>287さん
でも見られて興奮する場合もありますよ。
彼に「お前のことが好きだから全部知りたい、汚れてても引かないから」って言われて
かなり強引に見られて（匂いまで嗅がれて）しまったことがあります。
ｵｼｯｺとおりもの、それにｴｯﾁな液まで付いていて臭かった。それなのに彼は「いい匂いだよ」
って言ってくれたのです。
ああ、とうとう知られてしまったと思うと凄く恥ずかしかった。。。
でもそれと同時にとても興奮してしまいました。
あんな人には二度と巡り合えないだろうな、と思うと少し寂しい気も・・・
今では良い思いでです。（ｗ
26 名前： 番組の途中ですが名無しです 投稿日： 03/11/03 14:47 ID:UkHtRS3N
ごめんなさい。誤爆です（汗
見なかった事にしてください（恥
http://news4.2ch.net/test/read.cgi/news/1067836831/
22 名前： 番組の途中ですが名無しです 投稿日： 03/11/03 14:46 ID:UkHtRS3N
>>287さん
でも見られて興奮する場合もありますよ。
彼に「お前のことが好きだから全部知りたい、汚れてても引かないから」って言われて
かなり強引に見られて（匂いまで嗅がれて）しまったことがあります。
ｵｼｯｺとおりもの、それにｴｯﾁな液まで付いていて臭かった。それなのに彼は「いい匂いだよ」
って言ってくれたのです。
ああ、とうとう知られてしまったと思うと凄く恥ずかしかった。。。
でもそれと同時にとても興奮してしまいました。
あんな人には二度と巡り合えないだろうな、と思うと少し寂しい気も・・・
今では良い思いでです。（ｗ
26 名前： 番組の途中ですが名無しです 投稿日： 03/11/03 14:47 ID:UkHtRS3N
ごめんなさい。誤爆です（汗
見なかった事にしてください（恥
まず、ＳＡＴの基礎として、ＣＮＦ（連言標準形）ではなく、ＷＦＦ（ｗｅｌｌ ｆｏｒｍｅｄ ｆｏｒｍｕｌａ全体）を採用します。
どちらかというと、この方が、本来の意味でのＳＡＴでしょう。
この場合、“ｗｅｌｌ ｆｏｒｍｅｄ ｆｏｒｍｕｌａ”とは、「括弧“（，）”を（馬鹿正直に）使用して構成した論理式」という意味です。
これが、どのように利いてくるかは、その時のお楽しみということで。
次に、ＳＡＴを実現する様々なアルゴリズムの内、最も基本的なものを一つ指定します。
ここでは、論理式αの充足可能性判定として、「使用アトム｛Ａ1，・・・，Ａn｝の添数順（1，・・・，ｎ）に｛1，0｝を
代入していく全解探索で、真理値のチェックは論理式の構成に使用された一番内側の（）から外向けに計算していくアルゴリズム」を採用しましょうか。
以下、便宜上、このアルゴリズムを“ＦＴ（Ｉ）”と呼ぶことにします。
当然、ＦＴ（Ｉ）の計算量は非Ｐになります。
ＳＡＴの速いアルゴリズムを探すとは、「このＦＴ（Ｉ）を基準にした時、どのくらい速くなるかを競うこと」
でると言っても良いでしょう。さて、ＷＦＦを採用した時、任意の次数（アトム数）ｎに対し、
論理式のサイズはいくらでも大きく構成できます。ある論理式αがあれば、¬（α）、Ａi∧（α）、
Ａi∨（α）などが、新論理式として構成できるからです。ここで、Ａiは「αの“（）の意味で”最外側に出現しないアトム」
とします。
（細かいですが、今回は、少し精密な議論を必要としますので、念の為の確認作業です。）
ということは、各次数ｎに対し、２n程度より大きいサイズの論理式はザラにあるということです。
ところで、αを「次数ｎの論理式で、サイズが２n以上」のものとします。
すると、このαを、上のＦＴ（Ｉ）で計算した場合、αのサイズ｜α｜に対し、計算ステップ数は、高々、｜α｜4程度で終了します。
研究者は、各人、自分で確認しておいてください。
この程度は、簡単にチェックできるでしょう。
何なら、｜α｜5程度にまで余裕を持たせてもＯＫです。
理由は、ギリギリの計算量を測るのが以下の議論の目的ではないからです。
どちらかというと、この方が、本来の意味でのＳＡＴでしょう。
この場合、“ｗｅｌｌ ｆｏｒｍｅｄ ｆｏｒｍｕｌａ”とは、「括弧“（，）”を（馬鹿正直に）使用して構成した論理式」という意味です。
これが、どのように利いてくるかは、その時のお楽しみということで。
次に、ＳＡＴを実現する様々なアルゴリズムの内、最も基本的なものを一つ指定します。
ここでは、論理式αの充足可能性判定として、「使用アトム｛Ａ1，・・・，Ａn｝の添数順（1，・・・，ｎ）に｛1，0｝を
代入していく全解探索で、真理値のチェックは論理式の構成に使用された一番内側の（）から外向けに計算していくアルゴリズム」を採用しましょうか。
以下、便宜上、このアルゴリズムを“ＦＴ（Ｉ）”と呼ぶことにします。
当然、ＦＴ（Ｉ）の計算量は非Ｐになります。
ＳＡＴの速いアルゴリズムを探すとは、「このＦＴ（Ｉ）を基準にした時、どのくらい速くなるかを競うこと」
でると言っても良いでしょう。さて、ＷＦＦを採用した時、任意の次数（アトム数）ｎに対し、
論理式のサイズはいくらでも大きく構成できます。ある論理式αがあれば、¬（α）、Ａi∧（α）、
Ａi∨（α）などが、新論理式として構成できるからです。ここで、Ａiは「αの“（）の意味で”最外側に出現しないアトム」
とします。
（細かいですが、今回は、少し精密な議論を必要としますので、念の為の確認作業です。）
ということは、各次数ｎに対し、２n程度より大きいサイズの論理式はザラにあるということです。
ところで、αを「次数ｎの論理式で、サイズが２n以上」のものとします。
すると、このαを、上のＦＴ（Ｉ）で計算した場合、αのサイズ｜α｜に対し、計算ステップ数は、高々、｜α｜4程度で終了します。
研究者は、各人、自分で確認しておいてください。
この程度は、簡単にチェックできるでしょう。
何なら、｜α｜5程度にまで余裕を持たせてもＯＫです。
理由は、ギリギリの計算量を測るのが以下の議論の目的ではないからです。
さて、最後に、この分野で頻繁に使用される専門用語を一つ。
ある多項式ｐ（ｘ）に対し、ある定数Ｃを用いて、Ｃ・ｐ（ｘ）で表現される多項式を“ｐ（ｘ）オーダ”の多項式と言います。
そして、アルゴリズム領域の研究者は、しばしば、“ｐ（ｘ）自身”と“ｐ（ｘ）オーダ”の相違を無視というか、問題視しません。
これには理由があって、「ＴＭレベルの計算ステップ数は、定数倍程度は、“誤差の範囲”と看做せる」
と思う習慣が身についているからです。
さて、以上の準備の下、愈々、今回の本論に入っていきます。
まず、参考までに、集合Ｓ（４）＝｛α｜ＦＴ（Ｉ）によるαの充足可能性チェックは、
（｜α｜に対し）多項式ｘ4で抑えられる｝を考えましょう。
すると、当然、Ｓ（４）≠ＷＦＦが成立します。
一方、Ｏ（４）＝｛α｜ＦＴ（Ｉ）によるαの充足可能性チェックは、ｘ4オーダで抑えられる｝と定義します。
すると、アラアラ不思議、次の結果が成立します。
命題 （計算量理論）Ｏ（４）＝ＷＦＦ。
証明：以下、Ｏ（４）≠ＷＦＦと仮定して、矛盾を導く。
集合（ＷＦＦ−Ｏ（４））に属する論理式の内、
「次数ｎが最小で、サイズが最大のもの」を一つ選び、αとする。
ここで、サイズに上限があることは、上のＳ（４）に関する議論より明らか。
すると、¬（α）はＯ（４）に属する。
（ここで、細かいことを言えば、αの最外側の論理記号が¬ならば、“Ａi∧（α）”か“Ａi∨（α）”を
採用て、以下の議論を同様に続けることができます。
しかし、原理上、“ダブル否定”も禁止してないので、これでＯＫでしょう。）
ここで、｜¬（α）｜（¬（α）のサイズ）は、（計測規則に依存するが、）高々、（｜α｜＋３）になる。
よって、¬（α）はある定数Ｃに対し、Ｃ・（｜α｜＋３）4で計算が終了する。
ところで、ＦＴ（Ｉ）の定義により、各代入毎の¬（α）の真理値チェック終了までに、同じ代入に対し、
αの真理値チェックは終了していなければならない。
よって、全解探索の場合、αの充足可能性は、Ｃ・（｜α｜＋３）4以下で計算が終了する。
ある多項式ｐ（ｘ）に対し、ある定数Ｃを用いて、Ｃ・ｐ（ｘ）で表現される多項式を“ｐ（ｘ）オーダ”の多項式と言います。
そして、アルゴリズム領域の研究者は、しばしば、“ｐ（ｘ）自身”と“ｐ（ｘ）オーダ”の相違を無視というか、問題視しません。
これには理由があって、「ＴＭレベルの計算ステップ数は、定数倍程度は、“誤差の範囲”と看做せる」
と思う習慣が身についているからです。
さて、以上の準備の下、愈々、今回の本論に入っていきます。
まず、参考までに、集合Ｓ（４）＝｛α｜ＦＴ（Ｉ）によるαの充足可能性チェックは、
（｜α｜に対し）多項式ｘ4で抑えられる｝を考えましょう。
すると、当然、Ｓ（４）≠ＷＦＦが成立します。
一方、Ｏ（４）＝｛α｜ＦＴ（Ｉ）によるαの充足可能性チェックは、ｘ4オーダで抑えられる｝と定義します。
すると、アラアラ不思議、次の結果が成立します。
命題 （計算量理論）Ｏ（４）＝ＷＦＦ。
証明：以下、Ｏ（４）≠ＷＦＦと仮定して、矛盾を導く。
集合（ＷＦＦ−Ｏ（４））に属する論理式の内、
「次数ｎが最小で、サイズが最大のもの」を一つ選び、αとする。
ここで、サイズに上限があることは、上のＳ（４）に関する議論より明らか。
すると、¬（α）はＯ（４）に属する。
（ここで、細かいことを言えば、αの最外側の論理記号が¬ならば、“Ａi∧（α）”か“Ａi∨（α）”を
採用て、以下の議論を同様に続けることができます。
しかし、原理上、“ダブル否定”も禁止してないので、これでＯＫでしょう。）
ここで、｜¬（α）｜（¬（α）のサイズ）は、（計測規則に依存するが、）高々、（｜α｜＋３）になる。
よって、¬（α）はある定数Ｃに対し、Ｃ・（｜α｜＋３）4で計算が終了する。
ところで、ＦＴ（Ｉ）の定義により、各代入毎の¬（α）の真理値チェック終了までに、同じ代入に対し、
αの真理値チェックは終了していなければならない。
よって、全解探索の場合、αの充足可能性は、Ｃ・（｜α｜＋３）4以下で計算が終了する。
>>1さん
でも見られて興奮する場合もありますよ。
彼に「お前のことが好きだから全部知りたい、汚れてても引かないから」って言われて
かなり強引に見られて（匂いまで嗅がれて）しまったことがあります。
ｵｼｯｺとおりもの、それにｴｯﾁな液まで付いていて臭かった。それなのに彼は「いい匂いだよ」
って言ってくれたのです。
ああ、とうとう知られてしまったと思うと凄く恥ずかしかった。。。
でもそれと同時にとても興奮してしまいました。
あんな人には二度と巡り合えないだろうな、と思うと少し寂しい気も・・・
今では良い思いでです。（ｗ
でも見られて興奮する場合もありますよ。
彼に「お前のことが好きだから全部知りたい、汚れてても引かないから」って言われて
かなり強引に見られて（匂いまで嗅がれて）しまったことがあります。
ｵｼｯｺとおりもの、それにｴｯﾁな液まで付いていて臭かった。それなのに彼は「いい匂いだよ」
って言ってくれたのです。
ああ、とうとう知られてしまったと思うと凄く恥ずかしかった。。。
でもそれと同時にとても興奮してしまいました。
あんな人には二度と巡り合えないだろうな、と思うと少し寂しい気も・・・
今では良い思いでです。（ｗ
ある定数Ｋに対し、Ｋ・｜α｜4以下のステップ数で計算が終了する。
これは、定義により、α∈Ｏ（４）を意味する。
ゆえに矛盾ＱＥＤ。
この証明の場合、新定数Ｋが、元のＣと比較して、かなり大きくなるので、ここに不審を感じることでしょう。
ならば、次のような変種を考えてみましょう。
オーダｐ（ｘ）なる概念よりも、もう少し細かい、“レベルｐ（ｘ）”なる概念を次のように定義します。
定義多項式ｐ（ｘ）に対し、“レベルｐ（ｘ）”とは、
「ｐ（ｘ）の最高次数ｍより真に小さい次数の多項式ｑ（ｘ）を用いて（ｐ（ｘ）＋ｑ（ｘ））と
表現できる多項式」のことを意味する。
このレベルｐ（ｘ）ならば、ｐ（ｘ）と比較した時、ステップ数の意味で、左程、遜色ないと感じる研究者は多いはずです。
しかるに、この新概念を用いても、上と同様な結論が得られます。
つまり、Ｌ（４）＝｛α｜ＦＴ（Ｉ）によるαの充足可能性チェックは、ｘ4レベルで抑えられる｝
と定義した時、系 （計算量理論）Ｌ（４）＝ＷＦＦ。
証明は、上と同様にしてできます。
今回の結論は如何ですか？
アルゴリズムのプロにしてみれば、この種の結果は、非常に都合が悪いはず。
従来、自分達の抱いてきた常識に抵触するからです。
そのため、上の証明の間違い探しに躍起になるかも。
しかし、残念ながら、上の証明は正しいのですよ。
計算量理論のプロならば、どこが“奇妙さ”の原因なのか、すぐに分析できるはずですね。
「塵も積もれば山となる」
なんて新猿が、如何にも悟ったかのように、ダブルスーツを着て窓際で腕組みしてみても、所詮、猿は猿。
「埋め立てて、上にカジノ付き高級ホテルを建てる」
なんて発想が出てこなければ、使い物にはなりません。
実際、実用的に見れば、ｐ（ｘ）を基準にした時、
「点別計測は、どの程度の誤差を許容するか？」
を考慮することは、ある意味で、必須の要件でしょう。
この誤差を、どう表現するか？
この方面の問題意識は大切です。
計算量計測の“ロバスト性”と言っても良いでしょう。
これは、定義により、α∈Ｏ（４）を意味する。
ゆえに矛盾ＱＥＤ。
この証明の場合、新定数Ｋが、元のＣと比較して、かなり大きくなるので、ここに不審を感じることでしょう。
ならば、次のような変種を考えてみましょう。
オーダｐ（ｘ）なる概念よりも、もう少し細かい、“レベルｐ（ｘ）”なる概念を次のように定義します。
定義多項式ｐ（ｘ）に対し、“レベルｐ（ｘ）”とは、
「ｐ（ｘ）の最高次数ｍより真に小さい次数の多項式ｑ（ｘ）を用いて（ｐ（ｘ）＋ｑ（ｘ））と
表現できる多項式」のことを意味する。
このレベルｐ（ｘ）ならば、ｐ（ｘ）と比較した時、ステップ数の意味で、左程、遜色ないと感じる研究者は多いはずです。
しかるに、この新概念を用いても、上と同様な結論が得られます。
つまり、Ｌ（４）＝｛α｜ＦＴ（Ｉ）によるαの充足可能性チェックは、ｘ4レベルで抑えられる｝
と定義した時、系 （計算量理論）Ｌ（４）＝ＷＦＦ。
証明は、上と同様にしてできます。
今回の結論は如何ですか？
アルゴリズムのプロにしてみれば、この種の結果は、非常に都合が悪いはず。
従来、自分達の抱いてきた常識に抵触するからです。
そのため、上の証明の間違い探しに躍起になるかも。
しかし、残念ながら、上の証明は正しいのですよ。
計算量理論のプロならば、どこが“奇妙さ”の原因なのか、すぐに分析できるはずですね。
「塵も積もれば山となる」
なんて新猿が、如何にも悟ったかのように、ダブルスーツを着て窓際で腕組みしてみても、所詮、猿は猿。
「埋め立てて、上にカジノ付き高級ホテルを建てる」
なんて発想が出てこなければ、使い物にはなりません。
実際、実用的に見れば、ｐ（ｘ）を基準にした時、
「点別計測は、どの程度の誤差を許容するか？」
を考慮することは、ある意味で、必須の要件でしょう。
この誤差を、どう表現するか？
この方面の問題意識は大切です。
計算量計測の“ロバスト性”と言っても良いでしょう。
この観点から見た場合、上の結論により、「レベル概念では無理」なことまで判明したわけです。
というわけで、もう少し、変動の範囲を狭める必要があります。
では、どのような概念を採用すればよいのか？
そもそも、誤差が許されるのか？逆に言えば、計算量理論とは、この程度の理論なのです。
この種の結果が出る計測法を採用しているのです。そして、実は、ここに、パラドックスの種が宿っているのです。
どうです、多少、興味が湧いてきましたか。『しかし、これが、純粋理論としての、「ＳＡＴはＰ？」問題と関係してくるのか？』
頭の鈍い鼠鳥猿は、そう思うでしょう。実は、関係してきます。但し、この方面の極限を考えることで、発想の転換が必要になります。
ＳＡＴの部分問題として、３-ＳＡＴなんていう問題があります。これは、ＷＦＦの部分集合を入力範囲に採用したＮＰ問題ですね。ところで、上で、Ｓ（４）というＷＦＦの部分集合を定義しました。
このＳ（４）を基準にして、次のようなＷＦＦの部分集合族を考えることができます。
Ｌ（４）＝｛Ｘ｜Ｓ（４）⊂Ｘ⊂ＷＦＦで、ＸをＦＴ（Ｉ）で計測した時、ｘ4レベルで収まる｝
今回の定義は、Ｌ（４）のように点別計測ではなく、（部分）集合計測になっている点に注意してください。
（点別計測とは、本来の定義で言えば、シングルトン｛α｝の計測のことです。）
これにより、ＰＬ（４）の各要素は、ＳＡＴの部分問題としてＰになります。
さて、このＰＬ（４）は包含関係⊂に対し、部分順序集合になります。
この時、我々の興味は、「ＰＬ（４）は⊂に関し極大元を持つか？」
という問いかけですこの質問が、どのくらい意義深い問題設定か、判りますか？
集合論のプロならば、ここで、持っていたペンを思わず落として、唸るはず。
かの選択公理を彷彿とさせるからです。より詳しく言えば、“極大フィルターの存在定理”ですよ。
しかしながら、次が言えます。
というわけで、もう少し、変動の範囲を狭める必要があります。
では、どのような概念を採用すればよいのか？
そもそも、誤差が許されるのか？逆に言えば、計算量理論とは、この程度の理論なのです。
この種の結果が出る計測法を採用しているのです。そして、実は、ここに、パラドックスの種が宿っているのです。
どうです、多少、興味が湧いてきましたか。『しかし、これが、純粋理論としての、「ＳＡＴはＰ？」問題と関係してくるのか？』
頭の鈍い鼠鳥猿は、そう思うでしょう。実は、関係してきます。但し、この方面の極限を考えることで、発想の転換が必要になります。
ＳＡＴの部分問題として、３-ＳＡＴなんていう問題があります。これは、ＷＦＦの部分集合を入力範囲に採用したＮＰ問題ですね。ところで、上で、Ｓ（４）というＷＦＦの部分集合を定義しました。
このＳ（４）を基準にして、次のようなＷＦＦの部分集合族を考えることができます。
Ｌ（４）＝｛Ｘ｜Ｓ（４）⊂Ｘ⊂ＷＦＦで、ＸをＦＴ（Ｉ）で計測した時、ｘ4レベルで収まる｝
今回の定義は、Ｌ（４）のように点別計測ではなく、（部分）集合計測になっている点に注意してください。
（点別計測とは、本来の定義で言えば、シングルトン｛α｝の計測のことです。）
これにより、ＰＬ（４）の各要素は、ＳＡＴの部分問題としてＰになります。
さて、このＰＬ（４）は包含関係⊂に対し、部分順序集合になります。
この時、我々の興味は、「ＰＬ（４）は⊂に関し極大元を持つか？」
という問いかけですこの質問が、どのくらい意義深い問題設定か、判りますか？
集合論のプロならば、ここで、持っていたペンを思わず落として、唸るはず。
かの選択公理を彷彿とさせるからです。より詳しく言えば、“極大フィルターの存在定理”ですよ。
しかしながら、次が言えます。
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ぬ死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
さあ間違ってるところを探せ！
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ぬ死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
さあ間違ってるところを探せ！
♪〜あの日あの時あの場所で♪〜
この一ヶ月、恋人のカンチとは会っていない。
ため息をついたリカは、またいつもの独り言を繰り返した。
やっぱり私が言いすぎたせいなんだわ。
ちょうど一ヶ月前、リカはお気に入りのドリカムの限定版ＣＤをカンチの不注意で割られてしまった。
リカはあまりのショックで我を忘れ激しく怒った。二人は大ゲンカになり、それから一度も連絡を取っていない。
考え事をしながら歩いていたためか、リカは投票所となっている小学校の校門の目の前まで来ていたことにようやく気が付いた。
そして、十何年ぶりに訪れた小学校の校庭を目にしても何の感慨にふけることもなく、ただ、恋人との関係を悲観するばかりであった。
投票所である体育館の階段を一段一段と重い足取りで上がり、入り口まで来たリカはまた一つため息をついた。
私にとって無意味な選挙。
わざわざ私がしなくても。
そう思い、リカは今来た道を帰ろうと、うつむきかげんの顔をフッと上げ、体を後ろに向きかけたその時だった。
リカの目に思いがけず飛び込んできたのは恋人カンチの姿だった。
「カ、カンチ！」
リカは目を疑ったが、それはまぎれもなく選挙管理委員として投票所で立ち働いていたカンチだった。
カンチはその声に気づき、仕事を放り出し、受付のテーブルを跳び越え、リカの元に駆け寄った。
「リ、リカ！ごめん。」
カンチは急きょ選挙管理委員を頼まれ、この一ヶ月、選挙の準備で忙しかったことが会えない原因だったのだと説明した。
そして、カンチは思わずその場でリカを抱きしめた。
「す、好きだ、リカ！愛しているよ！」
リカは熱くなった。
心の底からわきあがる感情を抑えられなかった。
「カ、カンチ！カンチ！カンチー！」
リカはうれしさのあまり大声で恋人の名を叫んだ。
そして、胸元で握りしめた投票用紙を涙が静かにぬらした。
館内からは拍手がおこり、そこに居合わせたすべての人が若い二人を祝福していた。
そしてその後、リカは生まれてはじめての投票を終えた。
その夜、テレビは民主党の勝利を伝え、日本は大きく動きはじめたのだった。
一人でも多くの人に選挙に参加して欲しいです。ぜひ！
この一ヶ月、恋人のカンチとは会っていない。
ため息をついたリカは、またいつもの独り言を繰り返した。
やっぱり私が言いすぎたせいなんだわ。
ちょうど一ヶ月前、リカはお気に入りのドリカムの限定版ＣＤをカンチの不注意で割られてしまった。
リカはあまりのショックで我を忘れ激しく怒った。二人は大ゲンカになり、それから一度も連絡を取っていない。
考え事をしながら歩いていたためか、リカは投票所となっている小学校の校門の目の前まで来ていたことにようやく気が付いた。
そして、十何年ぶりに訪れた小学校の校庭を目にしても何の感慨にふけることもなく、ただ、恋人との関係を悲観するばかりであった。
投票所である体育館の階段を一段一段と重い足取りで上がり、入り口まで来たリカはまた一つため息をついた。
私にとって無意味な選挙。
わざわざ私がしなくても。
そう思い、リカは今来た道を帰ろうと、うつむきかげんの顔をフッと上げ、体を後ろに向きかけたその時だった。
リカの目に思いがけず飛び込んできたのは恋人カンチの姿だった。
「カ、カンチ！」
リカは目を疑ったが、それはまぎれもなく選挙管理委員として投票所で立ち働いていたカンチだった。
カンチはその声に気づき、仕事を放り出し、受付のテーブルを跳び越え、リカの元に駆け寄った。
「リ、リカ！ごめん。」
カンチは急きょ選挙管理委員を頼まれ、この一ヶ月、選挙の準備で忙しかったことが会えない原因だったのだと説明した。
そして、カンチは思わずその場でリカを抱きしめた。
「す、好きだ、リカ！愛しているよ！」
リカは熱くなった。
心の底からわきあがる感情を抑えられなかった。
「カ、カンチ！カンチ！カンチー！」
リカはうれしさのあまり大声で恋人の名を叫んだ。
そして、胸元で握りしめた投票用紙を涙が静かにぬらした。
館内からは拍手がおこり、そこに居合わせたすべての人が若い二人を祝福していた。
そしてその後、リカは生まれてはじめての投票を終えた。
その夜、テレビは民主党の勝利を伝え、日本は大きく動きはじめたのだった。
一人でも多くの人に選挙に参加して欲しいです。ぜひ！
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死わ死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死め死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ねﾀﾋね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死わ死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ぬ死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
間違ってる所を探せ！
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死わ死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死め死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ねﾀﾋね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死わ死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ぬ死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね死ね
間違ってる所を探せ！
熊邸眥寄栲岾濕絛渕徑鋲節槭蜩翻鹽鱧躑輾躑鱧鹽鱧醍讀煙萸渫弄免否笑潸羌帝鳬渕
臭尭毋溌溢鵁慂桔牲鈞啻禮闢釀鑒蠱躅蠅蠶躪靂蠅鞴鱧鹽鱧諞断認涕淋恠筑殊促掬愀
咳倖誌怏悦妊児祝俳啝醢軅蠱蟹羇躑鱧躅蠹闢觸靂觸靂蠹韈躅躅悃砿泄淕逑琺癸佳紋
滷淞途依拉紵区店癬蟷蠡圜羈魏羸翻繭鱧躑蠅蠶躪闢觸靂躪闢觸靂騰惇耿兌釆召狗茆
告攷咲気世洗秋落覊鹽翻讎國義覇圏疆韈醒蠶躪闢觸靂觸靂轆蠶躪靂馳倥洗焚矣弖與
液怐弖袢牡來夜鑠韈讎囮迥捗髟侠栓姙釶蜜轢鞴蠅蠶觸靂轆轆觸靂觸蠶帚坂怠貳丼牧
笈活矜况妙住濠醴麺卮勾才儿Ωヰ災中甸逹箪關鑼蠹闢觸轆轆靂觸轆觸雖茉溶包双淦
渟啖攻中佚桴殱翩奧抔Ζヒゅχで∋辷Н竏鴆暉醵韈蠅蠶轆轆觸靂觸靂觸罫孝玉卯計
許怜村沿泊梧翻艤余ゴеスぇクｑСゲΒ灯芝徽簾闇躑躪靂觸靂躪靂觸靂靈拶忿祁鳧
浤珍及古波軸躑靠泌РＵСｐеゎづどひ凵殳員軽黶幗韈蠅躅觸靂觸靂轆轆幎吮切放
狂岱没丱鋒蟹靈茸台дらΡＰΤヅ广Ьи行吽呈褄皹孅圜壘躪闢蠅靂轆轆轆酷貝密稔
汲叺本呼搗纒醫澹仔ξ♪Ｎ卞Э±кカ什払市良鯲崟厩賺藺闢觸蠶觸轆轆轆躪献矍蒡
劣ぬ丈鳫譖鹽覲投ぎす卞グウ≒Ｎグ‡力仕仗况戎煢薮鰓醫醒醒躪闢觸轆轆靂閾蟄積
ΝМ宅麈矚輾陲粭叉かギサУ‖≡六ぉか匕お禾功拔寧盧圜蠹蠹靂轆靂觸轆轆圉幅届
ポ巾准腰轎軅罌仙匕ΕЕネΖβやＷ禾佶未命功形岐販聲鹽觸靂觸靂轆靂觸轆覊閭國
分坏鳫鰊鹽鞴薩恬芒浙悛衣今Еき柴頽憲卿敝種載耨麌輌羅靂觸靂觸轆觸靂觸團軈園
孔埓鬚輌羅壘蠧懶篩乕郡褊珎込偐飃霾肅荼琵贓鹽鱧蟹國蠡蠅靂觸靂轆靂轆靂蠅蝿輜
彷烽蹉屬醜躅韈轢躁嫖繭属狙尸綣墨鬟卓腰鱧蠡闔繩窯蜈圈蠹觸闢觸轆轆靂觸蠶覯魍
臭尭毋溌溢鵁慂桔牲鈞啻禮闢釀鑒蠱躅蠅蠶躪靂蠅鞴鱧鹽鱧諞断認涕淋恠筑殊促掬愀
咳倖誌怏悦妊児祝俳啝醢軅蠱蟹羇躑鱧躅蠹闢觸靂觸靂蠹韈躅躅悃砿泄淕逑琺癸佳紋
滷淞途依拉紵区店癬蟷蠡圜羈魏羸翻繭鱧躑蠅蠶躪闢觸靂躪闢觸靂騰惇耿兌釆召狗茆
告攷咲気世洗秋落覊鹽翻讎國義覇圏疆韈醒蠶躪闢觸靂觸靂轆蠶躪靂馳倥洗焚矣弖與
液怐弖袢牡來夜鑠韈讎囮迥捗髟侠栓姙釶蜜轢鞴蠅蠶觸靂轆轆觸靂觸蠶帚坂怠貳丼牧
笈活矜况妙住濠醴麺卮勾才儿Ωヰ災中甸逹箪關鑼蠹闢觸轆轆靂觸轆觸雖茉溶包双淦
渟啖攻中佚桴殱翩奧抔Ζヒゅχで∋辷Н竏鴆暉醵韈蠅蠶轆轆觸靂觸靂觸罫孝玉卯計
許怜村沿泊梧翻艤余ゴеスぇクｑСゲΒ灯芝徽簾闇躑躪靂觸靂躪靂觸靂靈拶忿祁鳧
浤珍及古波軸躑靠泌РＵСｐеゎづどひ凵殳員軽黶幗韈蠅躅觸靂觸靂轆轆幎吮切放
狂岱没丱鋒蟹靈茸台дらΡＰΤヅ广Ьи行吽呈褄皹孅圜壘躪闢蠅靂轆轆轆酷貝密稔
汲叺本呼搗纒醫澹仔ξ♪Ｎ卞Э±кカ什払市良鯲崟厩賺藺闢觸蠶觸轆轆轆躪献矍蒡
劣ぬ丈鳫譖鹽覲投ぎす卞グウ≒Ｎグ‡力仕仗况戎煢薮鰓醫醒醒躪闢觸轆轆靂閾蟄積
ΝМ宅麈矚輾陲粭叉かギサУ‖≡六ぉか匕お禾功拔寧盧圜蠹蠹靂轆靂觸轆轆圉幅届
ポ巾准腰轎軅罌仙匕ΕЕネΖβやＷ禾佶未命功形岐販聲鹽觸靂觸靂轆靂觸轆覊閭國
分坏鳫鰊鹽鞴薩恬芒浙悛衣今Еき柴頽憲卿敝種載耨麌輌羅靂觸靂觸轆觸靂觸團軈園
孔埓鬚輌羅壘蠧懶篩乕郡褊珎込偐飃霾肅荼琵贓鹽鱧蟹國蠡蠅靂觸靂轆靂轆靂蠅蝿輜
彷烽蹉屬醜躅韈轢躁嫖繭属狙尸綣墨鬟卓腰鱧蠡闔繩窯蜈圈蠹觸闢觸轆轆靂觸蠶覯魍