  |
はてなキーワード: 解決とは
日本の戸籍制度は、明治維新以降、国家が国民を把握し、統治するための基盤として機能してきた。1889年に公布された明治憲法（大日本帝国憲法）下では、「家」という共同体を基礎単位とする制度が確立された。戦後、1947年の日本国憲法制定に伴い、個人の尊厳と両性の本質的平等が謳われ、戸籍制度も「家」単位から「夫婦とその未婚の子」という核家族単位へと改められた。
しかし、この戦後の改革から70年以上が経過した現在、社会構造の変化や価値観の多様化に伴い、現行の戸籍制度には深刻な「歪み」が生じている。本稿では、明治憲法下および現行制度の変遷を概観した上で、その限界を指摘し、21世紀の日本にふさわしい「子を中心とした戸籍制度」への転換を提言する。
明治憲法下の戸籍制度は、戸主が家族員（家族）を統率する「家制度」を法的に裏付けるものであった。これは儒教的な家父長制に基づき、家系の継続を最優先するシステムであり、個人は「家」の構成員としてのみ存在が認められていた側面が強い。
1947年の民法改正および戸籍法改正により、この家制度は廃止された。新制度は、日本国憲法第24条が定める「婚姻は、両性の合意のみに基いて成立」するという理念に基づき、一組の夫婦とその子を一つの編綴単位とした。これにより、個人の権利は大幅に強化され、日本の民主化を支える家族観の礎となった。
民主化の進展という功績がある一方で、現行の「夫婦単位」の戸籍は、現代社会において以下の三つの大きな「歪み」を露呈させている。
離婚・再婚の増加、事実婚、別姓婚へのニーズ、さらにはひとり親家庭の一般化など、現行の「法律婚に基づく夫婦」という枠組みでは捉えきれない家族形態が増加している。戸籍が「婚姻」を起点とする以上、そこから外れる個人は法的な「世間体」や手続き上の不利益を被ることが少なくない。
現行制度は、夫婦が同一の氏を称することを強制（あるいは強く誘導）している。これが選択的夫婦別姓議論の停滞を招き、個人のキャリアやアイデンティティの継続性を阻害する要因となっている。戸籍が「夫婦というセット」を管理の単位としているために、個人の尊厳が二の次になっている現状がある。
現行の「300日規定（離婚後300日以内に生まれた子は前夫の子と推定する）」などの民法規定と連動した戸籍制度は、母親がDV等の事情で出生届を出せないケースを生み、結果として「無戸籍児」を発生させている。これは、戸籍が「親の関係性（婚姻状態）」を証明する装置であることを優先し、一人の人間としての「子の存在」を二の次にした結果と言える。
これらの歪みを解消するためには、戸籍の編綴単位を「婚姻（夫婦）」から「出生（子）」、ひいては「個人」へと抜本的にシフトさせる必要がある。ここで提言する「子を中心とした戸籍制度」とは、「一人の人間がこの世に生を受けた瞬間から、その個人を独立した主体として登録し、親の婚姻状況に左右されない永続的な記録とする制度」である。
「子を中心とする」とは、すなわち「個人単位」の戸籍への移行である。出生と同時に個人固有の戸籍（あるいは個人登録）を作成し、そこに親権者や氏名の情報を紐付ける。これにより、親が結婚しようが離婚しようが、その子の戸籍の「一貫性」は保たれる。
現在の戸籍は、親の離婚によって子が「除籍」されたり、転籍したりといった移動を伴う。これは子にとって、自分のルーツが親の都合で書き換えられるような不安定さを強いるものである。子を中心とした制度では、親の関係性はあくまで「付随的な属性情報」となり、子のアイデンティティの核を揺るがすことはなくなる。
子を中心とした制度であれば、法律婚、事実婚、養子縁組、あるいは単身での出産など、どのような形態で生まれてきても、法的な位置づけに差別が生じない。婚姻届によって新戸籍を作るのではなく、個人の記録に「パートナーシップ情報」を追記する形式をとれば、夫婦別姓問題も技術的に容易に解決可能となる。
この転換により、以下の効果が期待される。
誰の子であるか、どのような支援が必要かという情報が、親の婚姻状態に左右されず行政に把握される。
姓の選択や家族のあり方が戸籍の形式に縛られず、真の意味で「個人の尊厳」が確立される。
一方で、課題も存在する。日本社会に根強く残る「家としての連続性」を重んじる感情的な抵抗や、相続・扶養といった既存の法体系との整合性をどう図るかという点である。しかし、血縁の証明や親族関係の把握は、デジタル化された個人単位のデータベースを連結（リンケージ）させることで十分に代替可能であり、技術的な障壁はもはや存在しない。
明治の「家」中心から、戦後の「夫婦」中心へ。日本の戸籍制度は、その時々の国家像を反映して変遷してきた。しかし、少子高齢化と価値観の多様化が極限まで進んだ現代において、既存の枠組みはもはや限界に達している。
次世代を担う子供たちが、親の事情や社会的な偏見に縛られることなく、一人の自立した個人としてその存在を国家に公証されること。それこそが、憲法が掲げる「個人の尊重」の真の達成である。今こそ、過去の「家」の残滓を払拭し、「子（個人）」を起点とした新しい社会契約としての戸籍制度を構築すべき時である。
エクソシストの映画の撮影前、主人公の神父役の役者が変死してしまう。その代役にアル中で業界を干されているラッセル・クロウが選ばれ、なんかうまく行ってない娘は付き人として撮影に参加。しかし、アル中で脳が委縮したラッセルはろくに台詞も覚えられないし体調も悪い。そうこうしているうちにラッセルの様子がどんどんおかしくなっていき、撮影現場では異変が起き始める。もやしこの映画は呪われているのでは、ラッセル親子の行く末は……
みたいな話。
ちゅ～～～～～～～～～～～と半端やなぁ(ちゃらんぽらん感)。
いや、やらんとしてることはわかるんよ。トラウマの苦悩、演技で自分を追い込むことによる変容、信仰の脆さ、親子の絆、そしてエクソシスト映画。でもこれらを全部やろうとした結果、全部中途半端になってる。
ラッセルは敬虔なキリスト教徒だったんだけどいつも通り幼少期に神父にケツ掘られててそれがトラウマになっている。その後、役者として大成するもトラウマから逃れるために酒と薬の日々を送り、妻が大病を患って死んだ際には更生施設に入っていて死に目にも会えてないので娘との間には距離がある。
そんな彼が皮肉なことに敬虔な神父の役をやることになってストレスはたまり、ディレクターからは過去のこと、酒浸りだけではなく幼少期のことまでをチクチク責められるしどんどん様子がおかしくなっていくが、そのうち本当に悪魔に取りつかれてしまう。
でもここの"役に押しつぶされる"展開がめっちゃ薄いから、悪魔に憑かれる展開へのジャンプがめっちゃ弱い。序盤からラッセルはずーっと鬱々してるし様子がおかしいから、悪魔に取りつかれておかしくなるっていうギャップが薄い。もろちん、これは悪魔？それとも本人？っていうサスペンスはあるんだけど見てる側からすればどっちでもよくね？ってなっちゃう。悪魔だろうが本人だろうが様子がおかしいのには変わりないし。
また、ラッセルが抱えているトラウマが作中で解消されるという展開もない。後半はもうずーっと悪魔に取りつかれて様子がおかしいラッセルが大暴れしていて、これを親子の絆で取り戻す展開かと思いきやまったくそんなことはなく。映画のアドバイザーとして参加していたプロ神父が「ワイがラッセルの中の悪魔を引き受ける！」つって悪魔を吸収し、ラッセルと娘、あとなんかぬるっといてた共演女優みんなでお祈りを唱えた結果、爆発炎上して終了。
別にトラウマの解消はそんなに簡単なものじゃないにせよ、何らかの進展があってもええやん。っていうか、あるべきでしょ。神父様の自己犠牲によって助かりました、まぁ、神父に性加害されたことがトラウマだったのが神父にもいい奴もいるんだよ！で和らいだという考え方ができなくもないけど。でもラッセル、悪魔に取りつかれた神父の脳天に十字架ぶっ刺してるんだよな……殺人だよ……ハッ！？神父の恨みを神父で晴らしてスッキリした！ってこと！？
どんな映画やねん。
信仰の脆さに関しては敬虔な神父として娘に寄り添いこの事件の解決に動いてくれてた神父が悪魔を吸収する際に、彼自身も父親である神父から強制的に洗礼を授けられた存在だったことがわかるんだけど、まぁ、だから何？って感じで。そのことが今回の悪魔祓いに特に有効に働く要素もなかったし。
そりゃ、俳優として神父を演じることで悪魔化したが本心で神を信じていたラッセルと、神父であることを強要されてある意味神父を演じていた神父という対比と、最後の最後で神父として神の御業を見せて大往生してよかったねって感じなのかもしれないけど、少なくともそう見えるように脚本が作られていない。
つーか、神父燃えて死んで次のシーンでラッセルがなんか手紙書いてるシーンで終わるの適当すぎないか。
結局何の話やってんってなるわ。
やりたいことがいろいろあるのはわかるけど少なくとも映画としての接続はうんちだったからか、かなり退屈だった。
まぁそんな感じかな。
あと冒頭から画面が一生薄暗いから目が疲れるしメリハリもなくなってると思う。ラッセルが悪魔に憑かれた表現も、今日日それ？って感じの既視感があるものばっかりでナンダカナーって感じ。ジャンプスケアはちょいちょいあるのでビックリホラーとしてはギリ楽しめるかな。
なので、まぁ、悪魔祓い映画コンプ勢にはギリオススメ。ラッセルが悪魔祓いする映画だったらヴァチカンの方を見た方がいいと思いました。
反AIってなんで水ガーデータセンターガーって言い出したんやろね
（俺が無用だと思っている物に）資源を注ぎ込むことが許せない!!!なのにな
そりゃーあれこれデータセンター頼りの現代Web文明を享受しながら何を言っているのかってなるやん
AIとか関係無くまずXとかInstaみたいなクソデカSNSから卒業して有志鯖リレーのクラウドストレージ不使用分散型SNSでもやれよ本当に
そんでこいつら水も環境も一切心配しなくてよくなったとして違う理由で騒ぐのバレバレやん
環境の心配じゃなくAIをキャンセルしたくて言ってるだけなんだから解決しなくて当たり前なんだけどな
本当に環境問題第一な人達もいるが、おかげさまで彼らは"希釈化"されてる
「ChatGPTは大きなAIだからだ!xyzはローカルで動く（俺の許してる）小さいAIとは違うんだ」ってヤツもいるけど
そう言いながらローカルで動く画像モデルとか言語モデルを許してるヤツはどんだけいんのって話
許してないくせになんで大きさを持ち出すんや
なんでずっと母に感謝しなければいけないの
母は私に感謝なんてしない人だ
私は中間子で服なんてずっとお下がりしかもらえなくて何ならもらった子にずっとバカにされてきたし、すぐ体調崩すの責められてたし、授業参観は親が来ないが当たり前だったし
宗教で嫌な思いたくさんしたのに、何にも私の気持ちを聞いてくれない
姉と兄のほうが大切で進学もあきらめたし、高校生からバイトして家にお金いれてた私より、下の兄弟のほうが大切にされていたし、
私はいつも二の次だったよ、家族のアルバムで写真が一番少なくてアルバム一冊に満たないのが私（確かに私は生意気だったから扱いづらかったのは認めますよ）
辛い目に遭っても寄り添ってもくれないことばっかりで、母は私が嫌いだったことに小学生のときから知っていた
だけど、私は母親はかわいそうな人間だし嫌われたくないし、母親は未熟な人だから仕方ないと思って接していた
父親の不倫、離婚するべきか相談、親友に縁を切られた話、姉の婚姻の文句、職場の気に入らない人の話、会ったこともない親戚の悪口、同居している兄から金を盗まれる話、
愚痴ならともかく、延々と喋ってくるし手紙まで寄越すし、LINEまで逐一長々と送ってくる
その一連の流れに疲れてしまった
私は母親に相談したら一蹴されて、暴力行為すら聞いてもらったことなんて無かったんだよ、全部自己解決してきたの
母に嫌われていることを知っていたけど、ずっと気づかないふりをして親孝行という名で、去年まで花を贈っていた自分
でも昨日は贈るのを辞めた
許せない気持ちが強くなっている自分がいる、母は無事に私を育ててくれたけど、常に夫でも男でも宗教でも縋っていないとだめな人だと私は気がついている
いい歳をして表向きだけでも取り繕え無い自分が悲しい
原発の周囲をDC(データセンター)で囲めばいろいろな問題が一挙に解決できると思った。
もし原発が爆発したら、DCにおいてある超高価なサーバも消滅する。
ただし、もしメルトダウンして原発が吹き飛べば、数百億円、数千億円規模のサーバも消える。
原発は安全だといっても、住んでいないから言える他人事だろうと言う人もこれなら納得するだろう。
これを北海道や東北の寒冷地でやれば、冷却コストが下がる寒冷地DCができる。
地域のインフラ整備もできるし、新しい産業を誘致して北国を発展させることができる。
いや、そこまで行くと完全に極論。
↓
って、間の段階全部すっ飛ばしてる。
その上で、
「だから供述を得ようとする行為自体を極端に制限したら、立証困難な事件は増える」
と言ってるだけ。
なのに毎回、
「即決裁判！」
まで飛ぶ。
あと、
本当に10人逃していい前提だけでは動いてない。
社会には、
完全黙秘を徹底されても、
は普通に難しい。
そこを指摘しただけで
まで飛ばすのは、
さすがに議論として雑だと思う。
正確に言うと男なのに男が嫌いになった。
インターネットではいかに女が邪悪で愚かな生き物かについて日々呪詛が垂れ流されているが、現実的な話として、女は基本まとも。男はクソ。
入職したばかりの頃は車内にしばしば撒き散らされている小便の正体が分からなかった。赤ちゃんが漏らしているのかと思っていた。
先輩から、あれは酔っ払ったおっさんや、薬物や精神病で頭おかしくなったおっさん、そういう性癖のおっさんの落とし物だと聞かされて戦慄した。
おそらく定年退職して暇を持て余しているのであろう高齢男性に絡まれ、駅係員の愛想の悪さ、無礼な態度についての説教から始まり、妻や子供に関する愚痴、若者の質の低下、高齢者に対する社会全体の敬意の喪失などの話題に発展し、最終的には社会保障、自民党、アメリカ大統領などの話に辿り着くことはよくある話。
むしろ混乱と混雑の解消のために駆り出されたはずの人員がお前の対応に割かれるから事態は余計に悪化する。
帰宅ラッシュの時間帯になると必ず車内のフリースペース(車椅子やベビーカーを優先するエリア)でおっさん同士の喧嘩が勃発する。
喧嘩のきっかけは、睨まれた、肩が触れた、鞄が当たった、口が臭い、独り言がうるさい、場所を取るな、イヤホンの音漏れをやめろ、等。
最初に喧嘩を吹っ掛ける方は単に苛立ちを発散する口実を探しているだけなので口調も荒くて喧嘩腰だし、吹っ掛けられる方もただでさえ喧嘩腰な人間に対してプライドの高い中高年男性が素直に聞き入れるわけがないので順当に喧嘩に発展する。
駅係員が介入することになるのは殴る蹴るなどの身体的な暴力に発展し、尚且つ周囲の乗客が通報した場合のみ。それですら1日2回ぐらいのペースで発生するので、口喧嘩の範疇に収まったケースや周囲が見て見ぬ振りをしたケースを考えると暗数は相当多いと思う。
酒が入っている時はタクシーで帰るというのを徹底するだけでもかなり喧嘩は減ると思う。
男同士で喧嘩するのはまだマシ。力が均衡しているからどちらかが一方的に被害者になりにくい。
絡む理由は、足を組むな、スマホを弄るな、声がうるさい、スカートが短い、腹が邪魔(妊婦に対して)等。
大したマナー違反でもない。そして周りの他の男が平気で行っている、これより酷いマナー違反は無視。要するにマナーを大義名分に女を叱って愉悦に浸りたいだけ。
勝手に懲罰感情が芽生え、太ももに触る、殴る、容姿を罵るなどの犯罪行為に走ることもある。
性欲が原動力なのに本人の中では正義感ゆえの行動に完全にすり替わっているので、正義の執行を邪魔されたことに対する怒りで駅係員に食って掛かってくる。そして暴言暴力に発展して警察を呼ぶことになる。
妊婦に対して「堕ろしてこい！」と言い出した時は流石にこっちも冷静になれなかった。
乗客同士のトラブルで警察沙汰に発展した際におっさんが言いがちな台詞
「その間の時給は払う！？時給換算したら俺の時間いくらだと思う！？」
じゃあ若い男はまともなのかというとそんなことはない。
中学生〜新卒ぐらいの男が3人以上で群れるとロクなことがない。
大声で騒ぐ。駅構内の器物を破壊する。気が大きくなって車内で女性に絡み始める。他の乗客が咎めると「なにマジになってるんすか？w陰キャ？w」
でも1人だとマシということはなく、優先席で体操座りをしたり胡座を掻いたりして音楽を聴きお菓子を貪り食いながら自宅のようにくつろぐ奴も見かける。
ただ、こいつらは甘やかされて育って調子に乗っているだけのガキなので、制服を着ている我々が少し強く怒るだけて往々にして萎縮して反省する。泣きながら謝る奴もいる。そこはまだおっさんよりはマシ。
今後同じことを繰り返させないためにも躊躇なく非常ボタンを押してほしい。
人手不足と機械化の時代、最低限の人員で社会を回すため、あらゆる施設・あらゆるサービスが、セルフレジやQRオーダーシステムの導入などに踏み切っている。
駅も例外ではなく、窓口を減らし、無人改札を増やし、ネットで新幹線を予約させ、時代についていけない人間を振り払っていく方向に進化している。
高齢女性は割とすぐに適応できるが高齢男性は何度も尋ねてくる。自分で調べない。そして一向に理解しない。中には新たなシステムの導入自体に怒りを燃やす奴もいる。早く淘汰されてほしい。
暴言を吐いてきた奴に、駅係員としての節度と礼節を弁えた上で場を掻き回すことなく相手を制圧できる魔法の言葉がある。
それは「今、⚪︎⚪︎と仰いましたか？」と復唱すること。
例えば「ぶっ殺すぞ！」と言われたら「今、ぶっ殺すぞと仰いましたか？」
大抵黙り込むかトーンダウンする。
彼らは行き場のないストレスの捌け口として駅係員に暴言を吐いているという自覚自体はあるので、それを突き付けると大人しくなる。
大きめの声で復唱するとなお効果がある。周りの目を気にして縮こまる。
少し前に「松葉杖で生活している20代女性です。新宿駅で検証しました。ぶつかりおじさん問題はぶつかる女性が悪いです」という記事が話題になっていたが、身体障害者の20代女がじっくりと周りを観察できるほど新宿駅は女にとって安全な空間ではないのであれは嘘。
というか新宿駅で若い女がぼんやりしてると即座に声を掛けられるから物理的に観察は不可能。
路上で女に声をかけて性風俗を斡旋する、いわゆるスカウトや、ネット上で弱者男性を騙してnoteを売り捌いている自称ナンパ師の虚言を真に受けてナンパに勤しんでいる弱者男性が駅構内を徘徊して女性に声を掛けて迷惑をかけている。
どうも「身体に触れない限りはセクハラではない」という認識が奴らにはある
クレームが相次いだため現在はアナウンスでスカウトとナンパをほぼ名指しで警告している。アナウンスを流すようになってから声かけによるクレームは減った。それでも撲滅できてはいない。
いわゆるぶつかりおじさん問題だが、Xやニュースで周知されるようになってから正当なぶつかりおじさんは減った。
最近増えているのは肘を大きく広げてすれ違う際に女性の胸を肘で殴る、背後から女性の靴や脛を蹴るなどのパターン。
わざとかな？と思ったら遠慮なく周りに助けを求めて駅係員のところに連れてきてほしい。軽い説教しかできないが、何度も説教されれば大人しくなる。
電車を利用する全ての男に言いたい。
他人に絡むな、周りに気を遣え、周りと同じように振る舞え、ストレスを他人で発散するな、身体を小さくしろ、嘘をつくな、風呂に入れ、ゴミはゴミ箱に捨てろ、唾を吐くな、排泄はトイレでやれ
当たり前のことを当たり前にしろ。
それじゃあ、予算がないので怪しそうなやつを適当に捕まえて、即決裁判で処刑すればコスパ最高ですね。
とりあえず事件はそいつが犯人ということで解決し、見かけ上の治安は保たれる。
君の理論だとそうなるよね。
"10人の真犯人を逃すとも、1人の無辜を罰するなかれ" これが近代司法の基本だろう。
君は、それを理解できていないように思う。
2026年5月27日に福岡で開催予定の第13回解決市場特別講演において、モデレーターとして水山真人氏が起用されている。水山氏は元西日本新聞記者で、日本新聞協会賞受賞という経歴を持ち、現在は株式会社アノクサの代表取締役として活動している。
水山氏については2022年に情報提供者とのトラブルに関する詳細な記録が複数のプラットフォームに残っている。西日本新聞「あなたの特命取材班」に情報提供した人物が、担当記者だった水山氏から根拠なく犯罪者扱いされ、個人情報を無断で取材先に漏洩された。自身の勘違いが発覚すると5日間連絡を途絶えさせて逃げ、謝罪どころか「偽計業務妨害だ」と逆ギレし「しつこいと警察に言う」と脅した。これらのやり取りはメールの記録として全文が公開されており、2026年現在も謝罪はない。
これらのトラブル記録はアメブロおよびnoteに複数の記事として掲載されており、水山真人氏の名前を検索すれば容易に確認できる状態にある。
水山氏が運営する株式会社アノクサの公式サイトには「代表は新聞社時代に中傷被害に遭ったため、インターネット上では名前を控えさせていただいております」と記載されている。しかし上記のトラブル記録はメールという一次資料に基づいており、水山氏側からの具体的な反論は現時点で存在しない。事実の記録に基づいた批判を「中傷」と表現し被害者ヅラすることには疑問が残る。
そもそもトラブルの発端は水山氏が情報提供者を根拠なく犯罪者扱いし、個人情報を無断で漏洩したことにある。その後謝罪することなく逆ギレして逃げたことで批判記録が生まれた。批判された側ではなく批判を生み出した側が「中傷被害者」を名乗っているという構図は、公開されているメールの記録を読めば誰でも判断できる。
水山真人氏の名前を検索すれば、これらのトラブル記録は容易に確認できる状態にある。にもかかわらず解決市場の主催者である株式会社セブンマーケットはこの人物を表舞台に立つモデレーターとして起用した。トラブルの記録を把握した上での起用であれば問題のある人物を意図的に登用したことになり、把握していなかったとすれば最低限の事前確認を怠ったことになる。どちらであっても主催者としての判断は問われる。
17歳で子供産んで金がなくてもなんとかなる！と言い張る奴がいて、貧しい家庭に産まれて何度も自殺未遂したワイとワイの家庭は「どうしたらなんとかなった？」と聞いたら
山奥で産めば贅沢を覚えない、子供を我慢させれば解決（意訳）と言われてアングリしたわ
リアルだったらぶん殴ってた
もともとは能楽などの芸能で使われましたが、今では音楽、演劇、文章、スポーツ、プレゼンなど幅広く使われます。
意味は次の3段階です。
1. 序（じょ）
ゆっくり始まる導入部分
2. 破（は）
展開が生まれ、変化や盛り上がりが出る部分
3. 急（きゅう）
例えば映画なら、
という流れです。
「小康状態（しょうこうじょうたい）」とは、悪かった状態が、いったん落ち着いている状態を意味します。
ただし、「完全に治った・解決した」という意味ではありません。
よく使われる場面は次のようなものです。
* 「容体は小康状態を保っている」
→ 激しい変動が少し落ち着いた
ポイントは、
というニュアンスがあることです。
「小康」の「康」は「安らか・落ち着く」という意味です。
数学者が7年悩んだ難問、AIが「80分」で解く──取り組んできた本人が美しいと評価
(リンク貼れないので略)
1196 Discussion Thread | Erdos Problems
(リンク貼れないので略2)
AIが解いたとされているエルデシュ問題#1196とAIによる証明についてだが、数学者になれてない自分でも証明を理解できたので解説してみる。
というか専門家でもない自分でも理解出来るような短くてわかりやすい証明が存在したからこそ、AIが見つけられたんだよねコレ。
リクトマン(AI以前に一番この問題の解決に肉薄してた数学者)が「神の書物の証明」と形容しているが、
昔から難しい問題(色んな実績のある数学者が挑戦したのに解けなかった問題と定義する)に簡単な証明があった時にこういう言い方をする。
さて、まず問題について説明するがエルデシュ問題#1196は自然数の集合Nの部分集合Aが原始集合なら
「Σ[a∈A,x＜a]1/(a*log(a))=1+o(1)」を証明する問題となっている。
原始集合というのは例えば素数の集合{2,3,5,7,...}みたいにa＜bかつbがaの倍数となるようなa,bを含まない集合の事である。
素数の集合に4を加えた集合{2,3,4,5,7,11,13,...}は2,4を含むし4が2の倍数だから原始集合ではない。
右辺の「1+o(1)」というのはxがとにかく非常に大きければ式の左辺が1に近くなるもんだと思っとけばいい。
原始集合Aに対してAから有限部分を除いた時に、各要素aに対して1/(a*log(a))を足してけば総和が1で近似出来る事を証明する問題だ。
そしてAIによる証明だがこれは特殊な双六(すごろく)ゲームを考えてそのゲームのとある確率を求める事で証明をしている。
・双六は完全な1本道でゴールがなく無限に長くて、各マスに1,2,3,4,...と自然数が順番に書いてある
・普通の双六はサイコロの結果にあわせて1～6マス進むが、この双六では例えばマス「7」に止まってる時は
次は「14」「21」「28」「35」...と止まってるマスの番号の倍数のマスのどれかに進むか、もしくは双六が強制終了する
このような双六ゲームではマス「a」に止まる事がある確率をv(a)とすると、Aが原始集合の時はΣ[a∈A]v(a)は必ず1以下になる。
例えばAが素数の集合を考えると、Σ[a∈A]v(a)はマス「2」「3」「5」「7」...のどれかに止まる確率になる。
マス「3」に止まる事があったらマス「7」に止まる事が無いようにΣ[a∈A]v(a)は排反事象の確率の和になるから1以下になる訳だ。
そして上記のような双六ゲームを考えてスタート地点がマス「n」である確率p(n)と
マスmに止まってる時に次にmの倍数kmに止まる確率p(m,km)を適切に設定する。
そうするとある定数Bがあってv(a)=1/(B*a*log(a))になる。
B*v(a)=1/(a*log(a))になるので、Σ[a∈A]1/(a*log(a)) = BΣ[a∈A]v(a) ≦ Bとなる。
このBがxが大きい時にB≦1+(C/log(x))となる事(Cは定数)を論文内の補題4を使って示しているので
Σ[a∈A]1/(a*log(a))≦1+(C/log(x))=1+o(1)より、証明が完成する。
上記のような双六ゲームを考えてこうやって確率を計算するアイデアは数学には昔からある有り触れた物である。
確率p(n)と確率p(m,km)を考えるのに使うフォン・マンゴルト関数は昔からよく使われてる物だし
確率の設定の仕方も有り触れた物だし論文内の補題4自体も数論の論文で見かける程度には有り触れた不等式によるものである。
するとこの論文は「双六ゲームを考える」「フォン・マンゴルト関数を使う」「確率を設定する」「有り触れた不等式を使う」と
4つの有り触れたアイデアを上手く組み合わせる事で完成している。
でも各段階でどのような有り触れたアイデアを採用するかで軽く10種類以上は選択肢があるし
大雑把に合わせると10000種類以上のアイデアの候補の中から証明出来るものを探す事になる。
この10000種類以上のアイデアを上手く絞ってく能力が高い人は数学者になれる可能性がある。(数学者は必ずこれが出来る必要はない)
が、AIの場合は上手く絞ってく必要もなく10000種類以上のアイデア全てについて試して証明が出来るか全数探索が出来る。
力技で正しい証明を見つけられる訳だ。
今回AIがエルデシュ問題#1196を解けたのはこうやって4つくらいの有り触れたアイデアを組み合わせて完成するような証明があったからである。
今まで考えられた事のないアイデアを必要とする場合や非常に多くのアイデアを組み合わせるような証明になると
AIがアイデアの組み合わせを全数探索する事では証明に辿り着けないから今回とは違うやり方が必要になる。
それでも数が多くはない有り触れたアイデアを組み合わせる事で証明出来るような問題には、今のAIは証明文を生成できるという事である。
時代は進歩したというべきか、4色問題をプログラムで力技で解いた時代と本質的には変わってないというべきか、
それは人によっては違うんだろう。
そういうことをなぜやるかって言ったら
貧乏か承認欲求に飢えてることが原因だからAIのせいじゃないでしょ
解決方法はそいつらからインターネットへのアクセスを剥奪するしかないよ
でも生きる権利くらいは許してやってよ
最初の前提が間違っている。明らかに皇統問題に対する理解が狂っている。
皇位継承問題の一番のポイントは、側室なき男系継承は、早晩行き詰るというところにあります。
この問題を解決するには、双系継承の道を開く必要があるということです。
「女系を認める・認めない」という話ではないのです。
側室なき男系継承では、皇統が断絶する。この問題をどう解決しようか？という話なのです。
ここで言いたいことは終わります。ここから先は細かいツッコミです。
皇位継承順位は、単なる名簿上の順番ではない。その順位を前提として、皇族本人の教育、立場、周囲の扱い、社会的役割が形作られていく。既に皇位継承者として位置づけられ、その前提で育成されてきた人物を、後から政治や世論の判断で順位から外すことは、その人の人生を国家が恣意的に変更することに等しい。
悠仁様は、天皇陛下からみれば宮家の子供であり、皇位継承者ではないと思います。
だから、名代を頼んだり、家族一緒に公務をされたりしているのです。
皇位継承において最も避けるべきなのは、「誰を天皇にするか」を政治や世論が選ぶ状態である。歴史上、皇位継承をめぐる争いは、しばしば政治的対立や社会の分裂を招いてきた。だからこそ、皇位継承順位をあらかじめ厳格に定め、本人にも政治にも選ばせない仕組みには意味がある。天皇制の安定は、「誰が望ましいか」を議論して選ぶことではなく、「あらかじめ決まっているから争わない」ことによって支えられている。
今回は皇位継承争いではありません。
国民も天皇陛下も愛子様で行こうとしています。一部の男系カルトと自民党が天皇陛下に逆らっているのですｗ
分裂するかもしれませんが、男系カルトは6%と言われています。
愛子天皇に賛成が70%としたら、まあ、普通なら、男系カルトがあきらめるでしょう。
したがって、女帝や女系継承を将来的に認めるとしても、最低限守るべきルールがある。それは、既に定まっている皇位継承順位には一切手を触れない、ということである。制度を変えるなら、現在の順位を尊重したうえで、将来世代に向けて設計すべきだ。
女系に道を開くなら、当然、今すぐに道を開くべきだ。
例えば、悠仁様に娘が生まれたとして、そこから女系です！とか言っても何がしたいんだ？何がうれしいんだｗ？
先のことはどうでもいいのかｗ？
皇族は、政治的発言も反論も自由にはできない立場にある。そのような人々について、政治的目的のために人格や能力を比較し、「こちらの方がふさわしい」「あちらはふさわしくない」と論じるのは、あまりに下品である。人権を重んじるというなら、まず皇族個人を政治的比較の材料にする態度こそ慎むべきである。
自民党らしい勝手に論敵を作成して、勝手に自分を正当化するやり方。
自民党らしい。
同じことを何度も言いたくないが、（頭自民党の人間は、勝手にこちらの意見を変更して議論するのでしょうがないが）
悠仁様より愛子様の方が良いとは、誰も言っていない。パンピーの方は自然に愛子様が継ぐと思っている。
で、当然俺も言ってないから、そのことを踏まえてほしい。誰も比較していない。
増田が行っている愛子様への不敬は、どうでもいいのか？愛子様の人権ややる気をどう考えているんだｗえらそーなこと書くなよ逆族。
そもそもデザインという概念を「パッと見の綺麗さ」程度の狭い意味でしか捉えていない無知の極みであって、
本来デザインとは機能や動線まで含めた設計全般を指すものなのに、
たかがテプラ一枚貼られただけで鬼の首を取ったように敗北だの何だの騒ぎ立てる感性の貧弱さが透けて見えるし、
大体において公共施設や店舗の現場で切実に求められているのは洗練されたピクトグラムじゃなくて「そこに書かないと伝わらない」という泥臭いコミュニケーションの現実であって、
その切実な試行錯誤を上から目線で嘲笑う傲慢さが最高にダサいし、
語彙力のなさをネットのスラングで補填して分かった気になっている知性の欠如が目に余るし、
この言葉を好んで使う層に限って自分では何一つクリエイティブな解決策を提示できないくせに他人の仕事にケチをつけることだけは一丁前なのが滑稽だし、
ぶっちゃけその言葉自体が何年も擦り倒された手垢のついた陳腐な表現に成り下がっていることにすら気づかないセンスのなさが致命的だし、
何でも勝ち負けで判定したがる二元論的な思考停止こそがデザインの本質から最も遠い場所にあることに早く気づいた方がいいし、
そんな言葉を吐く前に自分が世の中にどんな機能的価値を生み出せているのか胸に手を当てて考えてみろよこの義務教育の敗北野郎が、
