  |
はてなキーワード: 無限とは
また極端化してる。
↓
↓
って、毎回その飛躍。
でもあなたは、
と
を意図的に全部混ぜて、
一括で
扱いしてる。
だから話が噛み合わない。
あと、
じゃなくて、
そこに影響が出るのは当たり前。
そこを全部
「被害妄想」
みたいに処理して、
一日に何回でも射精できるようになった。
最終的におしっこ？のようなものがでるんだけどそれでも気持ちよさは一緒なので無限にイケる。
怖いので一日7回くらいにおさえてるんだけど、たぶんなんどでもイケる。
言葉は本来の定義で言えば記号そのものであるが、人の感じ方としては、アナログで無限の表現力を持つものに思えるときがある。
これはなぜかと考えていたら、数学的に言えば言葉は切断なのだと結論が出た。
言葉自体はデジタルな可算集合だが、その行間には、言葉と言葉の距離という非可算の空間がある。
言葉そのものは記号だが、それをどう組み合わせるか（何と何だけでなく、どんな順番で、どんな距離で組み合わせるか）によって、アナログな感覚を表現できるし、感じている。
昨今はなんでもマニュアル化で要素を組み合わせれば話ができるかのようなことばかりいうインフルエンサーにみんな騙されているが、同じ要素でも、どんな「間」で組み合わせるかまで感じているのがリアルな読者であり、そこまで気を使うようになって初めて表現と言えるのだ。
今まで1000円カットで「スポーツ刈りで！」しか言ってこなかった人間が、今日、はじめてヘアサロンに行った。
ことの発端は先月のこと。５月半ばに開催される某フェスにて自分の「推し」と話す機会を得てしまったから。
まさか当たるとは思ってなかった。実際、彼女は超がつくほど人気の人。
ＴＬには落選したとの声が無限にあったのに、まさかの自分は前回（４年前）から２連続当選。
私の中の「推し」の概念は付き合いたいとか、自分を見てほしいとかではなく、
敬愛というか、生き方の指針というちょっと離れた価値観を持ってる気がする。
だから、直接触れたいとかはあんまり思ってなかった。（推しも恋愛とかあんまり興味がないみたいな話をしてた）
けど、実際に会うのだから、友達みたいなラフさではなく、尊敬していますよという誠意を見せるためにそれなりの身なりをしないといけないな…と思い今回このように決めた。
準備は…とくにしていない。なんか髪型とかあらかじめ決めておいた方がいいかな、とか思ったけどなーんも美的感覚がないからよくわかんなかった。
当日。時間通りに店に入る。雰囲気は明るい感じで嗅いだことのない匂いだった。
荷物を預かりますと言われ、荷物を差し出す。VIP待遇すぎるな、ってその行動だけでも思ってしまった。
最初はアンケートを書いた。個人情報を普通に書いたのち、髪の話がいっぱい書いてあった。
髪のセットはどのくらい時間がかかりますかと聞かれ、２、３分から２０分くらいまで書いてあったので世の中の人間は髪に結構注意してるんだな…って気持ちになった。
あとは髪のイメージとか書いてあったけど、とりあえずで書いた。
自分の担当の理容師さんは同年代かちょっと上くらいの穏やかで性格があってそうな人だった。ちょっと安心感あった。
自分の横に座ってたので、鏡を見るべきなのか横に座っている理容師さんを見るべきなのかわからなかった。
話をしたときは、まったく美容院に行ったことがないこと、いろいろお試しでやってみたいとかそういう話をした。
けど、なんもわからないし、美的感覚もクソもなかったのでとりあえず紹介してもらったやつにした。
普段は１か月で髪を切ってたんだけど、３か月も伸ばしてたので「これだったらいろいろいけるだろ」って思ったら「ちょっと短いですね…」って言われた。
けっこう髪の毛はむしむしするレベルだったのに、これだけで短いなんて言われたので世の中の人間、ずっと頭むしむししてて大変なのかなって気持ちになった。
もちろん髪質とかあるんだろうけど。たぶん。
そんなこんなでどうにか決めてもらった。なんとなくの雰囲気だけで決めた。
最初はシャンプーした。めっちゃあたまもみもみしてもらった。てか最初にやるんだ、シャンプー…どうせ切るのに。
あと、あおむけだったんだけど顔を隠すなぞの紙もかぶせてもらった。最初はなぜって思ったけどよく考えたら顔に水がかからないためか。
いっつも自分は頭皮に脂がたまらないためにわしゃわしゃしてたのに、めっちゃ髪の毛を洗ってた。また、なんかぽふんぽふんしてた。何か理由があるのかはわかんないけど。
次に、髪のカットをした。
ガウンを上からかけられるかと思いきや、手を入れることができますと言われたので、ガウンに腕を通した。
いままで手を出せないからかゆくてもずっとがまんしてたのに、手が自由に動かせるのが新鮮だった。
趣味はVTuberという推しコンテンツの視聴…ではなくカフェ巡り。仕事は本当のことを言うと若干説明が難しくなってしまうので、事務職をしてます…とか。
というか、バリカンじゃなくって髪の毛でちょきちょき進んでいくのが心地よかった。
いっつも２次元的に頭を丸くする髪型だったのに、全体的にまとまりを持ちながらも複雑な髪型を作り上げていくの、大変だなぁと思いながら見てた。
というか、芸術の域だなって思った。見た目、大切。
いったん完成して見たら、めっちゃ髪がふわっとしてた。自分の髪ってずっとぎゅうぎゅう詰めだったんだけど、想像以上にふわふわしてた。こんなに変わるんだ、って思った。
仕上げのタイミングで、髪のメンテンナンスの方法をいろいろ教えてもらった。ワックスはこんなかんじでぺたぺた塗るのよ～みたいな話。
あとは雑談もちょっとした。都会のスーパーはきらきらしてるんだとか、満員電車はメンタルがやられるとか都会にまつわる変な話をした。
ともかく、コツを教えてもらったし初心者にもやりやすそうな気がした。
これでお値段としていつもの2.5倍くらいのおねだんだった。すべてが新鮮に思える体験をしてこの値段なら安いなって思った。
髪の毛を立ててるので、めっちゃふわふわしてる感覚で、頭を実際に触ってみるとべたべたでつんつんしてるなとか。
頭に一切興味を示さなかった自分が、髪の毛を本当に変えてもらったんだって実感してた。
帰り際、服も買った。前に推しとお話ししたときに「トレンドカラーをしっかり押さえてるね」って言われたので、
今回もトレンドを見ながらシンプルな服を買った。オタクイベントなので、フォーマルすぎると目立つので、若干カジュアルめに。
数学者が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色問題をプログラムで力技で解いた時代と本質的には変わってないというべきか、
それは人によっては違うんだろう。
にじみ出るリアリティってもんがないんだよ。
ほんまのことを、情熱をもって書くんだ
そしてそれを、無限回やれ。
マグレ要素はどうやったってある。
ドラクエで例えるなら、メタスラ倒したかったら、まじん切りを当たるまで打て。
私は40代後半の男性、家族は妻と子供2人。ここ3年くらいセックスをしていない、いわゆるセックスレスの夫婦である。
どちらからともなく、しなくなったような感じだし、おそらく今後ずっとしない可能性が高いと思う。
セックスレスは離婚原因になるらしいけど、セックスレスの部分を除けば普通に夫婦仲は良いので、離婚する気は全くない。ただ、
このまま一生セックスをしなくて本当に良いのか？と思うことはある。でも、私と同じような状況になり、このように考えている男性は
おそらく世の中に山ほどいるのではないか…？
そんな中で、私自身が考え、また周囲のいろんな人から聞いた対処法を挙げてみる。
①自家発電
自分で処理する、という方法。これでとりあえずは性欲は発散できる。ネット上でエロ動画は無限に落ちているし、
オカズに困ることはない。
②風俗に行く
お金を払って、性欲を満たすという方法。ただ、満たされるのは一瞬だし、変な病気になるのはイヤだし、多額の
お金を払ってまですることか？と考えれば微妙。でも、中には、立ちんぼに声をかける人や、東南アジアまで買いに行く人も
いるらしい。
キャバクラ等に行って、プロの女性を落とす、という方法。ただ、恋愛技がない男性が行ったところで、カモられて終わるだけの
ような気がする。でも、相手の女性を落とした時には、一応は自分のことを好きになってくれた人とできるわけで、風俗みたいにお金を払ったら
必ずできる、というものと比べると、セックスの質が違うような気がする。その意味では、夢がある方法だと言えると思う（ただ、大半は
夢に終わるだけだろうけど…）
④セフレを作る
マッチングアプリ等でセフレを作れるらしい。欲求不満な男女が集まって、日常生活の中からセックスの部分のみ互いに外注する感じになるんだろうか…。
割り切って付き合えるのは良い気がするが、素人相手なので病気が怖そうである。
⑤彼女を作る
完全に「不倫」というやつ。家族にバレたら怖いし、彼女も感情を持った人間なので、追い詰められた時に何をされるか分からない
怖さがある。ただ、不倫している人は、周囲には意外に多いし、そこそこ出世している既婚者に限って考えれば、おそらく6～7割くらいの
なお、私自身は、①がメイン。②はお金がもったいないだけだと思ったので数回でやめた。③は、そこそこハマって50万円以上使ったけど
相手とセックスしたことはない（今でもたまに行っている）。④⑤は未経験という感じか…。
一番平和なのは、何か没頭できる趣味を見つけて、①で満足するような生活だろうか…。何か、これって修行僧みたいな生き方で
こんなので良いのか？と思うけど。
それはさすがにMMT系の極論に寄りすぎ。
まず国債は会計上も制度上も「政府債務」であって、単なる記号ではない。
「国債は借金じゃない」はレトリックとしてはともかく、政策議論でそのまま使うとかなり雑になる。
金利が低い間は回る。
しかし債務残高が巨大化した状態で金利が上がると、利払い費が急増する。
すると、
という循環に入るリスクがある。
以前みたいに「デフレだからいくらでも国債出せる」という環境ではない。
と
は別の話として扱う。
焼肉ライクがやっているらしい
得かどうか検証してみるか
[対象商品]
うす切りカルビハーフ50%増量 337円（税込370円） フル740円
牛ホルモンハーフ50%増量 291円（税込320円） フル640円
鶏むねハーフ50%増量 228円（税込250円） フル500円
普通はハーフの方が単価高くなるんだけど、ハーフで半額の価格設定は良心的かも
グラム数が出てないからあれだけど、ハーフが名前の通g数半分とすると、ハーフ頼んだ方が得だね
ちょうどフル1皿食いたいんじゃあってやつ以外はハーフを頼みましょう
注意事項に1皿限りと書いてないので無限に使えそう
真面目にAI小説を作ってから1年〜半年が経ったけど進歩がない。
とりあえず、プロンプト工夫して、10〜15万字程度であれば「書かせる」ことはできる。その辺になると読点（、👈これ）が5,6文字ずつに使われて、キチゲェみたいな文章になる。それが半年前。逆に言えば、「書かせる」だけならなんとでもなるのでどうでもよくなった（読点をランダムに削除するソフト？をPythonで作って、大体は解決した）。
そこから解決しないのは「内容確認」の問題。1話〜40話分を一気に読み込ませて矛盾の確認をしてほしいが、AIは本当に読んでるわけじゃないから、全く内容の確認してくれない。1話ずつ確認させると、context window?の限界を迎えるから内容確認できない。
claudeが今度context windowのサイズをinfinite（無限）にするって話が上がってるから、まあ、それが本当にできれば…といった感じ。
後は、複数の高性能AIを格安で動かせること。それぞれにペルソナを与えて、議論させながら、矛盾しない内容でどんどん修正していく。ここまでできたら、ついにAI小説完成と言える。
今、これを実践したら何百万、何千万円かかるか分からんし、学習データに著作物含まれまくってるからパクりネタ使ってきそうなのも怖い（面白くない）。
ちなみに、俺がこれでやりたいのは、好きなゲームの世界観やキャラクターを保ったまま、恋愛シミュレーションゲームを作ること。
そうなんですよね。なんかとても狭い範囲のコーディング作業の量的解決とかそんな前提の話のように見えるんですよ。前提条件とかアウトプットがある程度決まりきってる業務フローが前提になってるように見える。「PDCAを回すんだ！回せる奴が勝つ！」みたいなのって嘘くさい。Ｐがしっかり構成されていてPDCAが数回で求める答えにたどり着く方がたぶん強くて、雑に投げたPを1億回とか回して「良い感じ評価ポイント関数」が最大になったからいいアウトプット、みたいなのはなんか違う。計算資源が無限に安くて早ければそういうのもありかもしれないけど。
若手が「もう出社って概念いらなくないですか？」って言ってて、まあ気持ちはわかるんだけど、うちの会社まだFAXをPDF化してメールで送る係がいるんだよな。
完全リモートどころか、紙を一回スキャンして電子化したあと印刷してハンコ押してる。
dorawii
https://anond.hatelabo.jp/20250704182835#
ニーターパンって名前からして無職なんでしょｗ？過去ログ掘ると時間が無限にあるって言われてたし。
無職じゃねーかｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ
こんなやつにマジになってたのか俺はｗ
dorawii
dorawii
なんとか見下せる要素を見いだしてうれしさを隠せなくなっているあたりに
品行の下劣さがにじみでてていて味わい深い
dorawii
https://anond.hatelabo.jp/20250704184128#
たしかにニーターパンならニーターパンだと言ってる他の増田も自分に言及してることになるから同じように「で？」と返さないのでは筋が通らないな。
