  |
はてなキーワード: ペアとは
口コミを見ると効かない人もいたみたいだが、自分には合っていた。
ニキビ・吹き出物の塗り薬は他にも沢山あるものの、どうも自分には効果がない。
諸事情があって「軽作業」って名前の体を動かす重労働なバイトやってる。
職場は20代の若い子が中心で、30代半ばの私は完全に浮いている。
多少いる30～40代以上のオッサンらはオッサンらで、オッサンのグループで固まっている。
年齢的に中途半端な上に女性の私は、オッサングループとすら馴染めず、完全ぼっち。
ほんと、居場所なさすぎてキツい。
私が汗だくで一箱、頑張って二箱運ぶ間に、ペアの若い男バイトは平気で三箱、四箱を軽々持ってく。
私が2～3時間かけてヒイヒイやってる仕事を、彼らは1時間くらいでサクッと終わらせて
「じゃ、別のとこ手伝ってくるんで」って去っていく。
いや、ちょっと待ってよ、こっちは死にそうなのに……誰も手伝ってはくれない。
何度か恥を偲んで手伝って欲しい、と頼んだ事はあったけど、やってはくれたけど凄い嫌そうな感じで、正直傷ついた。
「割当のノルマの個数はクリアしてるんだから、次の仕事に行くのは当たり前。というか増田さん、もっとペース上げてよ」って、逆に注意されるだけ。
特に生理の日なんて体が動かなくて地獄なのに、誰も助けてくれない。
むしろ「ノルマもまともにこなせないの？」みたいな目で見られるし、無言で責められる重圧が辛い。
直接文句は言われないだけマシだけど、こういう空気の中で働くのは本当に精神的にしんどい。
せめて台車使えれば少しは楽なのに、台車の数に限りがあるから、若い女バイトがサッと使っちゃったり
重い荷物を複数人で運ぶときに取られたりで、いつも使えるわけじゃない。
ダメ元で「専用で台車使わせてほしい」って頼んだら、「一人だけ特別扱いはできないよ」ってあっさり却下。
男バイトがガンガン運んでる横で、私だけ必死で運んでぜいぜい汗だく。
男と女で体力差あるのに、評価は「仕事が遅い」「時間かかりすぎ」ばっかり。
他の人には言われないけど、直接の上司には仕事ぶりを度々注意されてて、本当に肩身が狭い。
他の若い子たちはグループで上手くやってるっぽいけど、私はぼっちだから仕事も人間関係も何も楽しくない。
こんな状況なのに、住んでいる地方(実家)では他に良い仕事がある訳でも無いから、辞めるに辞める訳にもいかない。
一番腹立つのが、こんなにしんどい思いしてるのに、男バイトと全く同じ時給ってこと。
こっちは体力的にも精神的にも何倍も消耗してるのだから、せめて時給で差をつけてよって思う。
女性にはキツい仕事をさせられて、男と給料は同じ。寧ろあちらの方がなんか時給上がってるっぽい。
本当に納得がいかない。
独身で30代〜40代だと糖質オフ的に米を抜く食生活してる人わりといると思うんだよね そういう人を想定して言ってた
こんにちは！質問ありがとうございます。まず、「マウスピース⇔にゃんこ大戦争」がどのような文脈で対になっているのかが気になりますね。この二つの言葉がどうしてペアになっているのか、具体的な関連性を教えていただけると助かります。たとえば、ゲームやアニメ、または何か特別な状況でのつながりがあるのでしょうか？
その上で、あなたの質問にお答えして、「対になっている言葉」の他の例をいくつか挙げてみますね。対になっている言葉とは、互いに関連性や対照性を持つ言葉のペアのことだと理解しています。以下に、一般的な例をリストアップします：
男⇔女：性別を表す対ですね。
また、特定の文脈によっては、さらに面白い対の言葉が出てきます。例えば：
「マウスピース⇔にゃんこ大戦争」の背景が分かれば、それに似たニュアンスの対の言葉を提案することもできます。ぜひ詳しく教えてくださいね！
知り合いの娘(15歳高1)が友達と夏フェスに行くらしい。某大規模なフェス。
2日間行くらしい。そのため宿泊もする。
保護者は帯同せず高1女子たちだけらしくフェスは全員はじめてとのこと。
知り合いはフェスの経験が無いから、未成年、しかも15歳が保護者なしで遠方のフェスに行く危険性を理解していないと思われる。
明らかに未成年のフェス慣れしていない女の子がウロウロしていたら、
ましてや数ヶ月前まで中学生だった子どもが適切に対処できる自信はあるのだろうか……
ちなみにチケット代等の費用諸々についてだが、少なくとも知り合いについては
子どものお小遣いやバイト代ではなく、知り合いが全額負担らしい。まじかよ。
具体的な金額は聞いていないが、交通費やチケット代等どれだけ少なく見積もっても6,7万はかかるはず。
明らかに未成年(高1程度を想定)だけのペア・グループを見かけたことはほとんどない。
今のご時世はこんなものなのか？
それとも俺が高1を子供扱いしすぎているのか？
この構造はすべて、（集合と関数の）圏論的構造を持ちうるデータ空間です。
これらの直積圏 C = Cᵤ × Cᵢ 上で、fⱼ：C → ℝ を射とする関手列が定義されているとみなせます。
推薦問題の核心は、スコアや意味的な関係を 定量的または論理的に評価することにあります。これを抽象的に捉えるには、エンリッチド圏の理論が適しています。
推薦システムにおいて：
ユーザー u ∈ U、アイテム i ∈ I に対して、評価： v(u, i) ≔ g(f₁(u, i), ..., fₙ(u, i)) ∈ ℝ
これは、ユーザーとアイテムのペア空間 U × I を対象とする ℝ-エンリッチド圏と見なせる。
トポスとは、直感的には「集合のような性質を持つ圏」です。ただしそれは集合よりはるかに柔軟で、論理と空間の一般化的枠組みです。
本問題では、推薦空間自体を内部論理と意味を持つトポスと見なします。
| 圏 C | ユーザー×アイテムの意味空間 |
| 関手 F | 複数のスコアリング関数（f₁,…,fₙ） |
| 汎関数 g | 統合関数（線形でも非線形でも） |
| エンリッチ圏 V-Cat | スコアを評価距離や信頼値として扱う枠組み |
| トポス Sh(C, J) | 推薦を含む部分集合構造を持つ論理空間 |
| 内部論理 | 「どのアイテムを推薦すべきか」の命題定義 |
| 推薦関数 Rᵤ | トポス内の部分対象選択関数（述語による定義） |
子供用腕時計の文字盤が小さかったり、文字盤小さめのデザインの時計ですよって売り出すのはわかる
レディースの腕時計の文字盤を小さくして女性向け腕時計イコール小さいっていう文化をもうやめてほしい
極端に大きい文字盤でなければ、女は文字盤がメンズサイズでもぜんぜん困らない。むしろ文字盤が見やすくてよき
小さいサイズの腕時計を文字盤が手首の内側にくるようにして〜ってもう平成までの文化なんよ
令和に「あの女性が手首の内側にある小さい時計をみる仕草女性らしくていいよね」とはならんのよ
廃れた文化よ
令和の女性は腕時計はファッションアイテムとして買うから手首の上側につけて時計を相手に見せつけるわけよ
要約おいとくね
筆者の子ども3人（全員中学生からスマホ所持）は、いずれも親と同じAndroidを使用。
長女：iPhoneを希望したが、説明に納得しAndroid（ファーウェイ）を使用。大学でiPhoneを購入後、社会人になりAndroid（Galaxy）に戻る。
次女：自然にAndroid（OPPO）。周囲がエアドロを使う場面もあったが、グループLINEで代用。今はPixel 8aを使用。
長男：自分で調べてXiaomiを選ぶ。男子はAndroid率が高く、問題なし。
結論：
「iPhoneを持たないとハブられる」より、「持っていないと不安」という心理の方が大きいと筆者は考える。
子どもにiPhoneを持たせないとハブられるとかいじめられる問題について書いてみる。
ウチの子どもは３人、女、女、男。全員中学生になるときにスマホ所持。そして全員Androidでした。理由は夫婦ともにAndroidで、iPhoneだとペアレンタルコントロールができないため。キャリアはIIJmioです。
一人目（女）
やはりiPhoneがほしいという。理由は「みんなiPhoneだから」というありがちなもの。ペアレンタルコントロールの問題を話して、未成年のうちはAndroidにしてほしいと話した。長女は納得して、ファーウェイのスマホを所持。当時同じクラスの子どもたちはiPhone7か8あたり（あの丸いボタンがついてるiPhoneです）を持ってる人が多かったと思う。結果として特に不自由はなかった。ファーウェイは写真がきれいなので、大事な記念写真とかは長女のスマホで撮ることも多かったらしい。
彼女は大学に行って、バイトしてiPhoneを購入したが、社会人になってAndroidに戻った。「iPhoneよりAndroidのほうが使いやすかった」という理由。今はGalaxyの結構いい奴を持っている。
二人目（女）
姉がAndroidだったので自然にAndroid。OPPOのスマホだった。今は高校生で地元の進学校に通っている。入学式のときにみんながエアドロで写真を交換しているのにビビっていたが、彼女のいたグループは彼女に配慮して写真の交換がグループLINEになり、部活は男子が多くそちらの方はAndroidユーザーは結構いたのでハブられることはない。彼女にとっては「みんなと違うものを持つのがいい」らしい。OPPOのスマホを4年使って、今はPixel8aになっている。
三人目（男）
去年スマホを持ったばかりの男子中学生。彼は自分で色々調べてXiaomiを選んだ。自分で選択したので文句を言うことは当然無い。割と男子の間ではAndroidは多いという。
何となく思うのだが、iPhoneを持たないとハブられるのではなく、「iPhoneを持つとハブられる」という不安に怯えているだけじゃないかと思う。確かに女子はiPhoneが多いが、今は男子生徒はそうでもない。子どもたち聞いた限りでは次女だけが「貧乏だからiPhoneを買ってもらえないの？」といったことを言われたらしい。しかしこれは、そんな事を言うことが問題なのであって、だからiPhoneを買ってあげないと可愛そう、という話ではないだろう。
ちなみに私は個人のスマホはAndroidだが、会社からはiPhoneを支給されているので両方使っている。10年前くらいはiPhoneのほうが格段に使いやすかったが、今はAndroidのほうが使いやすいと感じる。
子どもにiPhoneを持たせないとハブられるとかいじめられる問題について書いてみる。
ウチの子どもは３人、女、女、男。全員中学生になるときにスマホ所持。そして全員Androidでした。理由は夫婦ともにAndroidで、iPhoneだとペアレンタルコントロールができないため。キャリアはIIJmioです。
一人目（女）
やはりiPhoneがほしいという。理由は「みんなiPhoneだから」というありがちなもの。ペアレンタルコントロールの問題を話して、未成年のうちはAndroidにしてほしいと話した。長女は納得して、ファーウェイのスマホを所持。当時同じクラスの子どもたちはiPhone7あたりを持ってる人が多かったと思う。結果として特に不自由はなかった。ファーウェイは写真がきれいなので大事な記念写真とかは長女のスマホで撮ることも多かったらしい。
彼女は大学に行って、バイトしてiPhoneを購入したが、社会人になってAndroidに戻った。「iPhoneよりAndroidのほうが使いやすかった」という理由。今はGalaxyの結構いい奴を持っている。
二人目（女）
姉がAndroidだったので自然にAndroid。OPPOのスマホだった。今は高校生で地元の進学校に通っている。入学式のときにみんながエアドロで写真を交換しているのにビビっていたが、彼女のいたグループは彼女に配慮して写真の交換がグループLINEになり、部活は男子が多くそちらの方はAndroidユーザーは結構いたのでハブられることはない。彼女にとっては「みんなと違うものを持つのがいい」らしい。OPPOのスマホを4年使って、今はPixel8aになっている。
三人目（男）
去年スマホを持ったばかりの男子中学生。彼は自分で色々調べてXiaomiを選んだ。自分で選択したので文句を言うことは当然無い。割と男子の間ではAndroidは多いという。
何となく思うのだが、iPhoneを持たないとハブられるのではなく、「iPhoneを持つとハブられる」という不安に怯えているだけじゃないかと思う。確かに女子はiPhoneが多いが、今は男子生徒はそうでもない。子どもたち聞いた限りでは次女だけが「貧乏だからiPhoneを買ってもらえないの？」といったことを言われたらしい。しかしこれは、そんな事を言うことが問題なのであって、だからiPhoneを買ってあげないと可愛そう、という話ではないだろう。
ちなみに私は個人のスマホはAndroidだが、会社からはiPhoneを支給されているので両方使っている。10年前くらいはiPhoneのほうが格段に使いやすかったが、今はAndroidのほうが使いやすいと感じる。
ーーーーーー追記ーーーーーー
朝起きたら随分ブクマが伸びていた。びっくり。
いろいろ言いたいことはあるが、少しだけ。娘たちのスマホが中華ブランドであることを小馬鹿にするコメントがいくつかあったが、君たちが大事にしているiPhoneは中国製であり、アップルは中国の技術とサプライチェーンに深く依存している会社だと知らないのだろうか。
また、高くてもiPhoneくらい買ってやれよというコメントもあるが、Androidにしたのは安いからではなくペアレンタルコントロールの問題。実際長女のときにはiPhoneもAndroidも価格はそう変わらなかった。これは、Androidを買う人は貧乏人という無意識の差別心なんだろう。
さて、私は今やサイタマに住んでいるが、高校生までは関西の南の方の地方都市に住んでいた。そこは人権教育が盛んなところで、「差別されるのが嫌だから差別する側に回る」という考えが、どれほど差別を助長するのかを徹底して教えられていたのだな。これは自分の中に今も染み付いている。大事なのは自分が差別されないことではなく、「差別をやめよう」と声を上げることだと。
同調圧力で高価なスマートホンを持ち、それを持てない人が暗に見下されたりハブられたりするのを見て、そうなりたくないなら「持つ人達」の中に入ったほうがいいと勧める。そしてその考え方を「善意」だと考え「差別」だと気づかない。これは、まずいことなんですよ。君たちは本当に経済的事情でiPhoneを持てない子どもがいても、そういう態度を許すのですか。
ファイアーエムブレム トラキア７７６攻略のためのヒントを羅列します。
ファイアーエムブレムトラキア776―任天堂公式ガイドブックでは、正攻法で攻めるような戦術を推奨していたと思います。
ファミ通の攻略本の方が、良い戦い方を載せていた記憶があります。
例えば、１２章までにサフィの杖レベルをＡにしてワープの杖を使うと楽になるのですが、
その戦術は任天堂公式の方には書いていなかったような気がします。
しかし使用回数が６０回もあるので５０回くらいは使用して構わないはず。
ゲーム前半では８章外伝のボスなど、強敵対応のために必要となるため使用回数をある程度残す必要がある。
終盤を楽にするため使用回数をある程度残したほうが良い
温存が一番不要な専用武器。使用するディーンの加入が遅めであり室内ではドラゴンから降りる関係上使用できない。
残りＨＰが１の敵に対して使って構わないほど。そこまで使っても使用回数が余る可能性あり。
温存する必要はなく使って構わない。
あれば嬉しい武器だが４章からのマンスターは難関であるのでそこで気前よく使ってよい。
使いやすい。それよりブリザードをアスベルに使わせるために武器レベルを上げる必要がある。その武器レベル上げにウインドは必要。１２章で買えるが手に入れたらアスベルが優先的に使う。
アスベルはウインドがあるうちはウインドを優先的に使用してよいと思う。
重いので要らないと思う。
出番はあまりない。使うとしたら敵のロングアーチなどを遠くから狙うときか。
敵を眠らせることが出来るためスリープの変わりとして使用する。
スリープほどの使いやすさはないので、ブリザードを先に使って良いのでは？
特殊効果（ステータスアップ）を得るために少しは回数を残す必要あり。
ほのおの剣は魔力＋５なので、敵の杖攻撃避けに残しておく。
お勧め武器。盗みまくろう。特に７章で。温存も不要で、ガンガン使おう。
アーマー系とナイト系に特攻であるが特攻を入れるとぎんの剣より少し弱いくらいの威力があり、軽く使いやすく、若干の必殺率もある。
ぎんの剣を沢山手に入れたらさすがに役目は終えると思うが、それまでは対アーマー系、対ナイト系に優先で使いまくろう。
ただし対アーマー系、対ナイト系以外には効果を発揮できないので違う武器で良い。
残しておくと心強いが、ゲーム中うまくやれば３冊も手に入る。
３冊手に入れる予定ならば結構気前よく使えるはず。トロンも手に入るので余るかも。
ゲーム前半では敵を捕らえる為の武器として活躍する。後半では使い切って良い。
ラーラの体格が上がってなければラーラに持たせる。あとはあまり出番がない。
使いそうで使い道があまりないかもしれない。使えるときに使い切って良い。
使うための武器レベルがＢと高いため、ナイトキラーが使えるころにはユニットはある程度育っている可能性が高いと思う。
使い切って良い。
ゲーム前半は８章外伝などで使うと思うと思われる。後半は、あれば良いが無くても良い。
使用するオーシンがいかりのスキル持ちなのでプージが無くても大丈夫だったりする。
オーシンとハルヴァンはスキルが逆だったらゲームバランス的にちょうど良いのでは？
活用すると良い
聖戦士の書でユニットを育成するとだいぶ強くなりますが、どのユニットでも最初は弱い状態で加入する傾向があるからです。
例えばシヴァなども登場してからすぐにキルソードを使うのは勿体ないなどとは思わずに、弱い時こそキルソードを活用したほうが良い気がします。
また、ゲーム後半は強い武器があまりやすい傾向があります。敵から武器を盗むためです。
武器ではなく杖を直そう。それでも武器補充を頑張って行った場合はリペアが余る可能性がある。
好きに使って構わないが1本は残しておくと安心。
役に立つので数は必要。それでも敵のダークマージが持っているなど、多めに手に入るはずだ。
ある程度本数を取っておいて（移動に融通をきかせるため）、あとは経験値稼ぎの為に使って構わないと思う。
使い切って良いと思う。使うユニットを選ばないたいまつの方を残したほうが良いかもしれない。
せいすいより優先して使った方が良いかもしれない。なお、Ｍアップとせいすいはスリープやシーフを使う準備として使用する事が多い。
次にとうぞくのかぎ。
※このゲームでとびらの鍵不足となった場合は、その章で敵から奪うなどする必要がある。鍵不足でゲームが詰まる事は無いが、不便さはある。
なので、宝箱を開けるときたからのカギを優先して使い、扉を開けるときはとうぞくのかぎを優先して使うと良いかもしれない。
または別の案としてとうぞくのかぎを優先して使い、たからのカギは売却してお金にする案。
買えるなら多めに買っておきたい。
利用の優先順はユニットの説得やアイテムを手に入れるのに必要なユニットが優先、次にリフィスなどのシーフ系。
闘技場で金を稼いだなどで沢山買ったならば、リフィスはＳドリンクで毎章フル出撃する事が理想。
現実ではブラック企業といわれるのでやってはいけないがゲームなのでOK
個人的にはカリンにつけると良いと思いました。１２章ダキアの森でカリンを単身移動させたときに、敵に囲まれる可能性があるので道を作るためにいかりで敵を倒すと良いかと。
下記のサイトでは武器の組み合わせも考えて深く解説されているので役に立つと思います。
ナンナにだいちの剣＋いかり、リノアン＋リザイア＋いかり、など深く解説されています。
https://fe5.rentafree.net/スキル考察
サフィは１１章、遅くとも１２章でワープの杖を使用したい為、杖レベルを頑張ってあげる。
章開始後にすぐリペアをしよう（ミス狙いが前提なので鉄の剣でも何に対して使っても良い）・・・ミスになるまでリセットする。
ミスしたら杖の使用回数が減らず経験値だけ入っているので、続行。
なお、ミスは確率が低く、２回連続でミスするまでリセットするのは現実的ではない。１回ミスしたらそれでOK.
あとはライブとかを使いまくる
前の章でリフィスの経験値を９０以上にして、次の章始めにレベルアップ。体格が上がらなければリセット(俗にリセットトレーニングと言われる)。
ネールの書（体格が上がりやすくなる）を持ちリフィスを育てるとき盗むで、アイテムを盗む、押しつける(盗むコマンドでできる)を繰り返す。ただし、この運任せの体格上昇では体格１９まで行かない可能性が高いので、計画的なリセットトレーニングは行いたい。
ネールの書が手に入ったらその章でレベルアップしてクラスチェンジまでする。ただし、この時点でシーフファイターレベル２０までにすると、
体格が上がりきらないので、レベルはほどほどに。ボディリング使う前提で良いので、１８章までに体格１９以上になることが望ましい。
※１８章はアーマーを無力化すると楽になるので、ハンマーを盗むため。
敵から武器を盗むと、敵は武器屋に武器を買いに行き、また盗みの繰り返し。
第17章B ５月の雨(東か西かで言えば東だっけ？)でやりやすかったと思う。
ただし、リフィスのリセットトレーニングの計画が崩れないように注意。
強調するが、１８章でレンスター兵を説得するとき、楽にするためにハンマーを奪いたいので、リフィスの体格を１９にしなければならない。
４章からのマンスターは序盤の難関。武器や道具の使用回数の関係上持久戦となる。
地下牢獄に持って行った方が良いものは、聖戦士の書、勇者の斧（ダルシンが使用可能）、キルソード（シヴァから奪っていた場合）、てつの剣、きずぐすり
レベルをいくつか上げる。
スタート地点左側のマージ部隊はグラフカリバーを持たせたアスベルで倒す。
ゲーム前半ではフラフカリバーが必要になる強敵もいるのでマージに対してグラフカリバーを使用するのは勿体ない気もするのだが、
ここのマージ部隊はやっかいなので、このやり方で倒して構わないと思う。
アーマーキラーをどんどん使おう。
リフィスにネールの書を持たせてレベルアップしクラスチェンジしよう。
クラスチェンジしたらまたレベルアップしある程度強くする。ただし今後のリセットトレーニング用にある程度レベルの伸びしろは残しておくこと。
Ｓドリンクを沢山買おう。
リフィスが育っていたらケンプフのところまでワープで送り込もう
リフィスをワープで送り、セイラムのスリープとコルホのまちぶせＭを盗む
ウインドを何冊も店で買う
道が分岐するが、恐らくＢ 暗黒の森、Ｂ ５月の雨のほうが若干楽だと思う。
５月の雨で、敵の武器を奪い、敵が店で武器を購入したら、奪う・・・を繰り返す
なんで？
ちなみにchatgptはこんな分析をしてきた
はい、それでは「なぜ背理法による証明で“任意の分離”に対して矛盾が導けていることになるのか？」という点を丁寧に解説します。
---
背理法による「区間 $I \subset \mathbb{R}$ は連結である」の証明では、
“任意の分離”** の中から **ただ一つでも選べれば十分** です。なぜなら：
> 仮に $I$ が連結でないなら、**ある** 特定の開集合のペア $O_1, O_2$ が存在するはずだから、
> 「そもそもそんなペアは存在しない（＝連結である）」という結論になる。
つまり、「存在するはずの何か」から矛盾が出れば、それだけで背理法としては十分なのです。
---
「$I \subset \mathbb{R}$ が連結でない」という命題は、以下のように定式化されます：
> $\exists \, O_1, O_2 \subset I$（相対開集合）で、
>
> * $O_1 \cap O_2 = \emptyset$,
> * $O_1 \neq \emptyset$, $O_2 \neq \emptyset$
この「存在する」という仮定に対し、証明では**ある具体的な構成**（または抽象的な性質）を持つ $O_1, O_2$ を仮定します。
その結果、矛盾が導かれれば：
「そのような $O_1, O_2$ は**存在しない**」
よって、「$I$ は連結である」
> ⚠️ **重要なのは、「全ての可能なペアに矛盾があることを示す」必要はない**という点です。
> そもそも「存在するはずだ」という仮定に立っているのですから、「その“ある”ペアに矛盾が出ればアウト」です。
---
1. 区間 $I \subset \mathbb{R}$ が連結でないと仮定。
2. よって、$I = O_1 \cup O_2$、$O_1 \cap O_2 = \emptyset$、両方非空。
3. $a \in O_1$, $b \in O_2$（$a < b$ としてよい）
4. 区間性を使い、$[a,b] \subset I$ を考える。
5. $S = \{ x \in [a,b] \mid [a,x] \subset O_1 \}$ の上限 $c$ を取る。
6. $c$ の周りで開集合性と連続性を使って矛盾を導く（例：$c$ の近傍が両方に入る）
このように、矛盾が出るのは、仮定した「存在するはずの分離 $O_1, O_2$」に基づいており、
その1組に対して矛盾が生じれば「存在するはず」の仮定が破綻しているということになります。
---
## まとめ（再確認）：
ユーザーの「すべての $O_1, O_2$ を検討しないと証明にならないのでは？」という疑問は論理的に誠実な疑問です。
しかし背理法の性質上、「存在するはず」の対象が「1つも存在できない」ことを示すには、「仮に1つ存在するとして議論し、矛盾を導けば十分」です。
よって、その証明が特定の $O_1, O_2$ を扱っていたとしても、それが「任意に現れ得るもの」として一般性を持ち、矛盾が出るなら証明は完了している、というわけです。
---
もし、この背理法の論理構造をより形式的に図式化したり、他の例（たとえば写像や連続性の定義）で類比してみたい場合もご相談ください。
どうして世の中は、ここまでまでにも低次元な話題で満たされているんだろう？
天気、芸能、噂話、表層的な政治のやりとり。知性の対流はどこに消えた？
人間は有限な脳リソースを持っているのに、その99％がどうでもいい入力で埋め尽くされてる現実は、もはや精神的な浪費だ。
例えば、なぜ誰も「グロタンディーク宇宙」を話題にしない？あれはもはや数学という言語を超えて、存在論そのものに接続するスキームだ。
集合論の上に成り立つ古典的な数学構造から自由になろうとした、その大胆さと深淵さは、まるで物理法則の背後にある数学的美の亡霊を追いかけるようなものだ。
それとも、「カルツァ＝クライン理論」を掘り下げた上で、「コンパクト化の自由度」が我々の時空構造に与える哲学的意味について会話できる人間はもう絶滅したのか？
量子重力理論の融合問題、特にループ量子重力と超弦理論のアプローチの根本的差異を語れる人と飲みに行きたいんだよ、俺は。
物質が本質的に情報だという観点から、ブラックホール情報パラドックスが意味するのは「情報の保存則の破れ」なのか、それとも我々が持っている「情報とは何か」という定義の方が間違っているのか。
こういう問いこそが、文明の核心にあるべきだろう？
人間が文明を築いて以来、我々は「どこから来て、どこへ行くのか」を形式体系で問おうとしてきた。
自然数に対して加法と乗法を定義し、ペアノ公理系を構築し、それが完全でも無矛盾でもないことをゲーデルが証明した時点で、真理は証明可能性の外に存在することが明らかになった。
この衝撃から回復するどころか、世間はますます計算可能なもの、アルゴリズムで消費できるものにしか興味を持たなくなった。
何のために意識は進化したのか？それが単なる環境適応の副産物だと片付けるには、意識が認識する数学的対象の精緻さがあまりにも過剰だ。
なぜラマヌジャンは夢の中で未知の関数恒等式を発見できたのか？なぜヒルベルト空間のような抽象概念が、量子力学の基礎としてこれほど自然に振る舞うのか？
この「抽象と現実の接続」が偶然である可能性は、論理的にほとんどゼロに近い。
俺が求めているのは、「真に知的な対話」だ。知識をなめらかな面として持っているだけの人間ではなく、それを自己組織化的に再構築できるような構造的知性。
話題がトポス理論からエントロピー最大化原理に移行しても違和感なくついてこれるような、そんな会話。
少なくとも「その場のノリ」とか「空気を読む」なんていう神経消耗ゲームよりは、よほど脳が報酬系を刺激されるはずだ。
いつになったら、街角のカフェで「カテナリー曲線の最小作用原理が、実は一般相対論と繋がってるって知ってた？」なんて会話が自然に聞こえる社会になるんだろうな。
GW中に腐女子によるバカカプが話題となっていたため、ずっとどこかで叫ぼうと思いながら我慢していたことを、この場を借りて叫ぼうと思う。
漫画「メダリスト」が、「よだつか」「つかよだ」というバカカプBLを推している腐女子によって荒らされている。
その影響が実害を伴いはじめたため、主にまだ「メダリスト」を読んでいない人に向けて、この素晴らしい作品が誤解されたくない一心で現状とそれに対する個人的な心情を書き綴らせていただく。
なお、これを書いているオタクは「おれは正当な読者 原作読んでねえだろってバカカプが嫌いだった」という態度でいるため、この時点で嫌な予感がした人はブラウザバックしていただきたい。
トピックは以下の通りだ。
https://anond.hatelabo.jp/20250512013446
②「よだつか/つかよだ」はなぜバカカプなのか
https://anond.hatelabo.jp/20250512013959
(当エントリー)
どうしても字数制限内に抑えきれなかったため、複数エントリーに分けて投稿させてもらう。
バカカプとはいえ妄想は自由であるべきなのでやめろとは言えない。
単純な話、オタクコンテンツで度々話題となるゾーニング、住み分け問題がこのトピックの主題だ。
散々こき下ろしておいてこう言うのもなんだが、バカカプ腐女子も単なる加害者ではないというか、時代の被害者である側面もあると思う。
ここまでの不満はおすすめタブや原作感想の検索中に事故的に遭遇したものだけで構成されている。
腐女子がどれだけ隠れようとも、鍵をかけていない限り、おすすめタブは無慈悲に原作ファンの目の前にバカカプを表示する。
隠れるつもりなら鍵をかけろと罵倒したいところだが、かつてはそんなことしなくても検索避けで充分隠れられたのだ。
そのカプに興味をもった者だけが検索によって同好の士に辿り着き、植木鉢の裏でコミュニティを形成する。わざわざひっくり返してまで気持ち悪がるのが悪い。かつて成り立っていたそんな住み分けを、おすすめタブが壊したのである。
メダリストに関する話題や原作愛に溢れたFAをいいねするだけで、原作の面影の消え去ったバカカプが、どこからかXが見つけてきておすすめに表示してくる。
よくわからないが腐女子は投稿にちゃんとカプ名を表記することは少ないようで、ワードミュートなんて軽々潜り抜けてくる。あとどう見てもR18なオメガバースパロの妄想なんかも流れてくる。(これに関してはあえて言おう、カスであると！)
しかしおそらく腐女子は現状をそこまで関知していない。しろという方が若干酷である。最低限の読解力すら無いのだから。
だからこそ今ここで言わせてほしい。
なぜそこまで言われないといけないかと思うだろう。
しかし冒頭で言ったように、バカカプ腐女子大量発生の影響が実害をもたらしはじめているのだ。
そう、メダリストを腐向け作品と勘違いする受動喫煙のオタクが発生しはじめた。これは紛れもない悲劇である。
当然作品自体の誤解が広まるという主題にもしている危惧に加え、「腐向けなら見ない」「腐女子がキモいから見ない」という意見が発生しているのだから始末に負えない。原作をロクに読まないバカカプ腐女子のせいで、本来正当な読者となる可能性のあった人間すら取りこぼす事態が発生しているのである。
これは原作ファンからすればとんでもない地獄だ。あわよくば全人類に読んでほしいのに、ロクに読まないやつがお天道様の下で気色悪いことをやっているせいで遠ざかる人間もいるのだ。
メダリストにハマってから何となく感じていた、話題になっている割に届くべき層にまだ届いていない気がするという感覚は、バカカプ腐女子の撒き散らす腐臭のためだったのだ。作品の広まり方としてこれほど不健全な状態があるだろうか？
そして腐女子が悪影響を与えるのは布教の阻害ばかりではない。グッズ展開もだ。
これに関しては、原作を読まない割にグッズの類いはやたら集めたがる腐女子の習性を利用し金儲けを優先するグッズ会社への不満の方が大きくはあるが･･･
何にせよ、メダリスト腐女子という本来ならば隠されるべき存在がわらわらと湧いたせいで、グッズ展開もそれ向けに歪められる事例が発生している。ベルハウスである。
・缶バッジの絵柄はメイン選手キャラであるいのりと光よりもコーチ陣の司と夜鷹の方が圧倒的に多い
・アクリルキーホルダーで、いのり＆司と合わせてもう一つ用意されたペアが光＆夜鷹ではなく司＆夜鷹
実際こうした方が売上は伸びるのだろうが、アニメ絵な分原作者に入るマージンも少ないであろうことを考えると、儲け優先で原作を蔑ろにするようなグッズ展開をする会社にはNOを突きつけたい。
しかし経験上、一度腐女子が湧いたと判断された作品では、アニメ絵を使ったグッズはどんどん腐女子に媚びていくようになる。
今後この調子で選手たちのグッズ展開がないがしろにされると考えるとげんなりする。
ベルハウスはもう駄目として、他のグッズ会社にはぜひ正気を保っていてほしい。
このように、原作をまともに読まないくせに声と数がデカいだけのオタクもどきがその存在を世間に晒すと、明確に界隈にダメージを与える。
しかしオタクの妄想は自由だ。むしろこういう原作無視の創作ができるオタクにこそ一次創作の才能があると思っているので、バカカプ腐女子にはぜひ自身の考える最強の創作BLの世界へと飛び立ってほしい。
まだ他人の生み出したキャラのガワと名前を借りなければ創作できないのでそれだけ借り続けたいという厚顔無恥な雛鳥たちは、隠れることを覚えてほしい。せめてエロ系だけでもちゃんと隠してほしい。君たちがオメガバース好きなのはもうわかったから。
最後に、自分と同じように腐女子への憤りを感じている人にも伝えたいことがある。そういう人が一定数いるのも、たまに行うメダリスト感想検索によって補足している。
二次創作はあくまでファンコミュニティ界隈の中だけで関知されるべき存在である。なので、どれだけ不満が募ろうが、絶対に公式や関連会社、ましてや原作者へ直接お手紙などで物申すのは論外だ。
(冗談だろうし実行していないだろうが、そういう趣旨のポストを見かけて肝が冷えた。ただでさえとんでもない作業量をこなしているつるま先生に余計な負担はかけないでいただきたい。)
加えて、当該カプ名を明記した上での批判もやめるべきだ。カプ名というのはそれを好きな人間が同士を見つけるための記号であり、嫌うものが避けるための記号だ。
いくら腐女子の変な検索避けとおすすめタブのヘンテコサーチの合わせ技でワードミュートをすり抜けられ腹が立ったとしても、攻撃のために使ってはならない。
原作ファンと原作冒涜者、それぞれ好きな話題で盛り上がって互いに関わらないことこそ健全な住み分けだと思う。だからわざわざ橋をかけて討ち入りするような真似はやめた方がいい
そういう意味では、この怪文書はまさに討ち入りじみたものである。その点は謝罪したい。
(タイトルにカプ名を入れていないのでセーフかとは思いたいが･･･)
ただこの怪文書だけ、ネットに放流することによって、少しでも誤解を解消できるなら、そしてメダリスト原作の正当な読者に「同じ気持ちを抱いている人がいる」という一抹の安堵を感じてもらえたら嬉しい。
それだけが私の望みです。
"現状"とはつまり2025年5月時点の話であり、動向が非常に変わりやすいIT業界の風土を考えると将来的にどのようになるかは予測が非常に難しい。
しかし、数年でこの"現状"が変化するとは考えにくく、今現在の学生が10年以内に社会人となったとき今現在の"現状"を基礎に情報技術を学んでいる可能性が高く、このエントリでは"現状"を周知する為に書かれた。
集計した時期や団体で数値の変動はあるが、日本国内で現状のICT教育でのOSシェアはChromeOSがおおむね30〜40%というシェアを獲得しており、IT大国と知られているアメリカでは日本と同様に集計した時期や団体で数値の変動はあるがおおむね50〜60%というシェアであり、ICT教育のOSとしてChromeOSがデファクトスタンダードとなっている。
これは、テックファンがよく語るように「ChromeOS端末が安価で導入できる」という意見が理由として挙げられがちで、実際に導入コストを抑えられるメリットというのは大きいものの、逆に言うとそれ以外の理由があまり語られることが少ない。
流石にこの意見は、IT業界のプロの現場で多用されるMicrosoftやAppleを抱えるIT先進国である米国がただ安価であるからという理由だけでGoogleのChromeOSを採用するにしてはあまりにも弱すぎる理由ではないだろうか？
そこで「何故ChromeOSを教育現場は採用するのか？」を紐解きたい。
長々と引っ張るのも億劫になってしまうので結論から言えば「Google ClassroomとGoogle Family Linkの出来が非常に良い」からである。
Google ClassroomとはまさにICT教育向けにGoogleから提供されているグループウェアで、生徒へ対して課題の作成と配布、進捗、採点、評価の管理が可能で、それらにはGoogleドキュメントやGoogleスプレッドシート、Googleスライド、Googleカレンダーが利用でき、教師生徒間オンラインコミュニケーションとしてGmailやGoogle Chatを用いることができる。
つまり教育現場からするとChromeOS端末を導入したらGoogle謹製のオールインワンICT教育グループウェアが瞬時に入手可能であり、更に言えば現状では既にデファクトスタンダード化しており膨大な導入事例によって困りごとの解決が非常に容易であることがあまりにも大きなメリットとなっている。
なにせICT教育端末の2台におおよそ1台はChromeOS端末であり、例えばSNSなどで流れてくる「ChromeOSでこんな酷い目に遭った」は導入数が多いが故にであり、逆にiPadOSを支持する人でも「Apple Classroom」というアプリが存在することを知らない場合が多い。何故知らないのか？と言えば導入数が少なく話題にまったく挙がってこないからである。
なお、Apple ClassroomとGoogle Classroomを比較するとGoogle Classroomの方が高機能である。AppleもICT教育OSシェアを上げようとApple Classroomの改善に努めてはいるもののGoogle Classroomへ追いつくまでには至っていない。
Google謹製のペアレンタルコントロールアプリで、子供のGoogleアカウントに紐づけられたChromeOSおよびAndroidOS、それらがインストールされる端末などを管理できるサービス。
端末自体の使用時間上限を定めたり、端末の使用時間上限を定めずアプリ毎の使用時間上限を定められ、つまりゲームやYoutubeやTiktok、Webブラウザアプリなどは1日1時間に制限しつつ、学習アプリは使用時間無制限にでき、そのほかWebフィルタリングやYoutubeフィルタリング、アプリインストール、課金管理も可能で、しかも就寝時間や登校時間には使わせないようにできるなど親にとっては至れり尽くせり子供にとっては非常にお節介なサービスである。
ペアレンタルコントロールの自由度も実はAppleの方が乏しく、Apple製端末を子供に与えている親は親自身が設定したペアレンタルコントロールに親自身が巻き込まれたりして四苦八苦するシーンがある(実体験)が、Google Family LinkのあるChromeOSおよびAndroidOSはApple製端末ほど困ることが少ない。
Google ClassroomとGoogle Family LinkだけではIT大国であるアメリカが何故ChromeOSをICT教育OSとしてデファクトスタンダードとしてしまったのか？の納得感としては薄い。
最終的な決め手は「一般的な使い方ではセキュアなサンドボックス上でタブレットOSやスマホOSのように容易に利用でき、高度なプログラミングを学ぼうとするときプロとほぼ同じ環境を利用できる」ことにあるだろう。
もちろんiPadOSには「Swift Playgrounds」があり高度なプログラミングを体験できるが、ChromeOSやAndroidOSではPlaygroundsどころかLXC/LXD仮想環境上に構築されたLinuxディストリビューションのDebianを扱える。
いやそもそもDebianを導入しなくてもGoogle Play Storeには小学生向けプログラミング環境のScratchからインスパイアされたポケットコード、非常に本格的なゲームプログラミングIDEのGDevelop、UnityやUnreal Engineに次いで業界3位のシェアを持ちプロ現場でも採用される2D/3DゲームプログラミングIDEのGodot Engineなどがある。
そして当たり前のようにGoogleはChrome OS向けAndroid Studioを用意しており、ChromeOSさえあればAndroidOSアプリをGoogle謹製のプログラミング環境で開発することができる(実際のところAndoridOSはAndroidOSだけでアプリをコンパイル＆ビルドできるが割愛)。
これMacとiPhoneやiPadしか触ってこなかった人間からするとどういうことかと言えばChromeOSにはAppleで言うところのXcodeがあることを意味し、何ならDebian上でWeb版みたいに機能制限されていないフル機能のMicrosoft Visual Studio Codeが利用でき、理解できる人は驚いただろうが前述の通りGodot Engineがあるわけだ。RubyやPythonだって動くし、Bashもfishもzshも選び放題、Vim vs. Emacs論争へも参戦できる。
しかも昨今、WindowsのWSL2でLinuxディストリビューションが導入できるようになってしまった影響で、一部の情報技術者の間では「開発環境は仮想上のLinux、サービス動いてるサーバーもLinux、じゃあWindowsとかmacOSとか使わずに最初から無理せずLinuxディストリビューションを端末へインストールして開発したら良いんじゃねーの？」という動きが活発化しており、そこへ表面上は日常利用でスマホやタブレットOSのように扱えて開発はしっかりLinuxディストリビューションであるChromeOSが「あれ？意外とChromeOS良いんじゃね？」という評価が始まっているのだ。
それでも「ICT教育は性能やランニングコスト的にiPadが優れてるんだ！」というAppleファンの熱い想いは否定しない。
しかし、しかしだ、当の多くのプログラマがiPadでプログラミングしてないんだ！！！開発するときにiPadのセキュアすぎるサンドボックスがマジで邪魔だと思っちゃってるんだ！！！！！
前述までの話を聞いて「iPadとChromeOS、仕事でどちらかしか使えません。どっちを選びますか？」と言われたらLXC/LXD仮想環境のあるChromeOSじゃん！！！IT大国のアメリカ様もそりゃChromeOS選ぶよ！！！！！だってプロの現場で使われてるんだもんLinuxがッッッ！！！！！！！
「どっちかしか選べないて？じゃあ俺は普通にMacbookにするわ」だって？えっそれ10年後ChromeOS(Linuxディストリビューション)でICT教育受けてきた新社会人に言えんの？サバンナで生きていけないよ？2人に1人は「学生のときChromeOSでしたぁ」って悪気なくピュアな瞳で言ってくる時代が直ぐそこだよ？
Windowsですら無いんだぞ？隔世の感どころの騒ぎじゃねーぞ？「当時ChromeOSでヴァンパイアサバイバーズやってましたね」とか新社会人が言うんだぞ？iPadかChromeOSかって言われてんのにMacbookって返すのはギャグの段階に触れさえしてねぇよ？まぁMacbookはタッチスクリーンディスプレイじゃないから触れられないんだけどさ。
Apple信者が声を大にして言わなきゃいけないことは「Appleさん、iPadもうちょっと何とかならないっすか？」だろ！！！！！
正論言ってんじゃねーよ！！！今更Appleのエコシステムから抜け出せねぇんだよ！！！！！ちょっと気になってGoogle側の事を調べてみたらめちゃくちゃ進んでんじゃねーか！！！！！！！
えっなにマジで？今のAndroidOSは純正でDebian動くの？？？アプリストアにGodotあるってどういうこと？？？？？
