  |
はてなキーワード: 文字列とは
まず数学的な内容の真偽の判断に納得感や権威などは関係ないです.
あくまで言及されている状況の場合は, 先生の方が想定している証明の体系では生徒が与えた記号列, 文字列が合致しなかったためそれが証明ではないと判定されたのではないでしょうか?
もちろん極論を言えば先生の方から公理や推論規則を全て提示すべきというのはそれはそうですが, そこは暗黙の了解や文脈に依存する話です.
おっさんずらぶを初めて見た。前のシーズンは見ておらず、今回のシーズンも数話見逃して、ど真ん中の話をみている。
おっさんとらぶしてなくて驚いた。最初の展開がわからなさ過ぎて、おっさんが何ポジションかわからなかったが重々片思いなことはわかった。
（この文字列はアニメ日常の曲を思い出す。オモオモ☆カタオモイ。）
ただドラマ見てTwitterをいじるだけだったので、感想を記述していこうと思う。読書感想文ならぬドラマおっさんずらぶ感想文。いや圧倒的中身のなさと文字数の少なさで再提出する未来が見えるな。以下感想。
・ドラマを見ていると、だんだん田中圭が可愛らしく見えてくる。まだ15分程度しか見ていないのに。なぜなのか。立ち振る舞いと作中での周りからの評価のおかげだろうか。
しかし、途中にちびまる子ちゃん的展開があり、恐怖しかない。鬱恋愛ドラマなのか？いや、そもそも恋愛ドラマがそのような〈試練→乗り越える→雨降って地固まるのように、より強固な絆につながる〉という形になっているから、仕方ないのか。いや、この展開は少年漫画も一緒だ。
・みんな熱いパッションがあってとても羨ましい。恋愛感情羨ましい。私も何かに執着したい。以前はゲームにはまったが、しっかり飽きた。次は何にはまろうかな。Excelマスターとかが良いんじゃないかと睨んでいる。
それにしても皆様笑顔が素敵である。幸せそうだね。みんな笑顔で幸せになってね、という気持ちになってくる。私の日々にはない種類の幸せを鑑賞している。
【その他】
・立ち振る舞いについては、かわいいとかっこいいは作れるね。やっぱり。と思った。アイドルのランキングや、夜の仕事の方々のランキングを見ると、正直私には刺さらないなーって思う方々がトップを取っていることもある。
それは、私が世間と好きな系統がずれているということでもあるかもしれないが、顔だけでなく中身勝負な部分も大きいからだと思っている。相手に「また会いたい！すき！素敵！」と思ってもらえるような対応って作れるんだよね。私も過去を思い出してみれば、つれない態度と甘い態度を交互に取られると執着的感情が芽生える。誰かに頼んでみようかな。
・周囲からの評価については、私は周囲からの評価を気にする、八方美人人間であるため、周りからの評価が高いとそれだけ信用もしてしまう。単純ミーハー。私の心の中にキリスト様等神様がいれば自分の心に問いかければ済むものを。それにしてもはるたんモテるな。
言及されている状況を(記号論理のような)推論規則を用いて何らかの証明を書いていると仮定します.
「証明」というものも特定の条件を満たす公理と推論規則を用いた操作の列として(数学的に)定義されています. ここで公理や推論規則などはあらかじめ固定されています.
与えれた記号列, 文字列が証明であるかどうかもその定義に基づいて判定することができます.
言及されている状況での会話ですが, あくまで推察ですがおそらく生徒の書いた証明が証明の体を成しておらず, 皮肉混じりに言ったのではないでしょうか?
哲学など数学以外のことは専門外のため, あくまで数学に関することだけ言及させていただきます.
ユークリッド幾何学に言及されているように数学の歴史は紀元前まで遡りますが, 数学の形式化が意識され始めたのは1900年代以降と最近の話です. 主にヒルベルトによって主導されたものだと私は理解しています. (もちろん多くの数学者がこのプログラムに関わってきました. ) 数学の形式化や形式主義で調べると参考になると思います.
数学的な内容に関して言及したいことは多くありますが, かいつまんで述べさせていただきます.
(あくまでこれは元の記事が間違っているなどと主張しているわけではないです. 現代の数学の考え方や雰囲気の一部を分かっていただければ幸いです. )
現代の形式化された数学は原理的には決められたルール(公理と推論規則)を用いて行われる一連の手続きです. それらの「意味」が何かは一旦全て忘れてください. ここで公理とはあらかじめ定められた記号列で, 推論規則とはいくつかの文字列を用いて新しい文字列を生み出す操作です, 例えば文字列A→BとAが与えられたときに文字列Bを得る操作があります. 定理(数学的命題)とはこの操作によって生み出される文字列です. これらの操作は数学における証明を形式的に記述したものになっています. 論理式などもこの形式化のもとで特定の条件を満たす文字列として定義されます. 例えば論理式Pの否定は¬Pという文字列です. (ここでは否定を表すための記号として¬という文字列を用いています. )
ここまで文字列だけを考えた形式的なものですが, 構造やモデルを使うことによってこれらの文字列を解釈する(つまり意味を与える)ことができます. (詳細は省きます. ) 構造やモデルを定めることによって論理式の意味が一意的に定まります. またそれらの取り方を変えることによって意味が変わることもあります.
これの考え方によって(数学的な)意味は形式から分離されています. さらに気になる場合はゲーデルの完全性定理などを見てください.
そして適切な公理と推論規則を定めることにより数学そのものを形式的に扱うことできます. その適切な公理はツェルメロ-フレンケル集合論(ZFC)と呼ばれており, 現在の数学者はこのZFCを用いて数学をしています. (一部, 圏論などでZFCに収まらない議論があると聞きますが, それらもZFCの適切な拡張を考えることで解決できます. )
つまり, これまでに書かれた数学の証明などは全てこのZFCを用いることで文字列の操作に書き換えることができます.
一方で数学の論文は普段の言葉(自然言語)を使って書かれます. これは本当に全て文字列に書き換えることをした場合, 可読性が著しく落ち, また分量も膨大になるため人が読めないためです. しかし証明は自然言語で書きつつも, いざとなったら形式的に文字列に書き換えることができるという前提に立っています. そしてこれは理論的には可能であり, 数学の厳密性を担保しています.
「定義の一意性」に関してですが私自身が元記事の要点を完全に理解しているわけではないのですが, 数学に関していうとある数学的概念の定義が複数あることはよくあります. もちろんその複数ある定義が同値であることを証明されなければなりません. ここで同値というのはある数学的対象Aが定義Pと定義Qで与えられていた時に, 「Aが定義Pを満たすならば, 定義Qを満たす. またAが定義Qを満たすならば定義Pを満たす. 」ということです. 実際に使う際には用途に合った定義を用いることになります. それらは同値なのでどれを選んでも問題ないです.
以上がざっくりとした形式化された数学に関してです. 参考になれば幸いです.
追記: これは筆者個人の考えですが, 数学と哲学の議論はしっかりと分離してなされるべきだと考えています. もちろん相互の交流はなされるべきですが, 両者を混同するのは誤解や誤りの原因になると思います.
相手に対して「〜してほしい」という期待は一切抱かない、もし抱いたらすぐに捨てる
最も愚かなのは「俺が相手を思う気持ちと同じくらい、相手に俺を思ってほしい」と期待すること、唾棄すべきだ
勝手な期待を抱いて勝手に裏切られた気持ちになるのは、精神衛生上非常に良くない
俺は特別でなく、更にはある女性の特別になれるはずがない。そう願うのは、白馬に乗った王子様に見初められる以上に現実逃避した妄想だ
相手に対して「〜したい」という期待は一切抱かない、もし抱いたらすぐに捨てる
最も注意すべきは「言いたい」ことを求められてないのに話してしまうこと
相手から求められたとき、雰囲気的に乗るべきなとき、初めて話せばいい
つい自身の考えや経験を「言いたい」と思ってしまうが、相手が聞きたいことを話すべきであり、俺の考えや経験など相手は興味がなく知りたくも聞きたくもないし、反応に困るだけだろう
良し悪し問わず、もし感情的になってしまったら、口を閉じて時間を空けるべき
感情的になると、密かに抱いていた「〜してほしい」「〜したい」ことが漏出しがち
そうして俺なんかと卑屈自虐にもなりがちだが、それらは相手にとっては不愉快なだけで、自己満足の押し付けであると恥じる
行動指針が卑屈そのものによるのは否めないが、だからといって卑屈に振る舞わず、もっぱら自己批判・自制の道具にすべきだ
一方通行な罵声に近くなることすらあり、言われた相手も困るだけで全く建設的でない
録画録音されて全世界に配信されたとしても大したダメージはないような、そんな振る舞い、会話を目指すべきであろう
チャットで会話するときは原則、相手が話す以上の文字数で話さない、相手が取った間より大きな間を取るよう心掛ける
もしかしたら「自分のことを話してほしい」「俺になにかを尋ねてほしい」、「俺のことを話したい」「相手になにかを尋ねたい」と思うかもしれない
そういった気持ちを整理した状態で、上の制約を守ると、俺に知って欲しいとか俺を知りたいとか、そういう興味を全然抱いてくれてないんだと現実がわかる
会話は止まるかもしれないがそれでいい、そもそも相手は俺と会話したいなどと思ってはいない
暇な時間を潰したいとき、偶然気紛れに目に入った俺のメッセージに、考えなしのそれっぽい文字列を返しているだけだ
血の通った会話をしてると思っているのは俺だけで、相手は思考停止して無機質な文字列を返す暇潰しをしてるだけだ
人類の半数は女性であり、外見は否が応でも他人の目に入ってしまうわけだが、価値観の大きな乖離があるとき、キモいという感情を抱かれるかもしれない
半数からどう見られ考えられても、他人だから知り得ないから俺には関係ない、と考えるのは利己的で幼稚であり、あまり望ましくないだろう
TikTokやInstagramなどのアプリが女性ないし若い年代に普及？したことにより、彼ら彼女らの「自分がどう見られるか」という意識は思いの外相当に高いであろう
俺が望むのは隠れて生きることであり、努力で緩和できる価値観の乖離を放置することによって、目立ち謗られてるという疑心暗鬼は少しでも減らしたい
年頃の女性の外見に対する意識や努力を尊敬して倣えば、もし小さく縮こまっている俺の姿が視界の隅に入っても、あえて取り上げて謗られはしない程度になれるかもしれない
昨日、【何の文字列をアナグラムしたのかわかる？】（anond:20240204202354）を投稿して、「GAMEOVER」をランダムにアナグラムした文字列を10個並べたけど、正解した人はいなかったんだよね。
ロモス武術大会編で8人の決勝トーナメントの組み合わせを決める話のこと。
トーナメント主催者は予選を勝ち抜いてきた8人の出場者それぞれに文字が書かれた玉を拾わせるんだよね。
「E」と書かれた石を拾った人が2人いたから、同じ文字の石を持つ人同士が戦うのかと思いきや、それ以外の6人はみんな文字が揃っていないんだよね。
これにおかしいと気づいた8人は、各自が持つ石を集めて8文字を組み合わせて「GAMEOVER」という文字列に並べたんだよね。
そして主催者に詰め寄ると、主催者は「ゲームオーバー。お遊びはこれまでだ」と言うんだよね。
主催者は実は魔王軍の一味であり、人体実験の被検体を集めるために武術大会を開いたことを明かすんだよね。
その後いろいろとあるけど、最終的には武術大会を見に来たダイに主催者は倒されることになるんだよね。
ここで気になるのは、8つの石から「GAMEOVER」という文字列を並べるのがあまりにも早いこと。
8つの文字が何らかの文章と知らされてすらいないのに、思考錯誤する時間も無くすぐに正解を導き出してるんだよね。
私だったらもっと時間がかかってると思うし、それどころか「GAMEOVER」という正解にたどり着かないかもしれない。
とりあえずアルファベット順に並べてみようか？ 「AEEGMORV」うーん意味が分からん。トーナメントの組み合わせとどう関係するのだろうか？ 他にも並べ替えして試行錯誤してみようか。
何分間も悩んだ末に、「えーっと、主催者さんすみません。『MOVEGEAR』っていう文章になったんですが、どこかに歯車でもあるんでしょうか？」とか言ってしまいそうだよね。
主催者は「ゲームオーバーってどういうことだよ!?」って出場者から詰め寄られて「お遊びはこれまでだ」ってカッコよく言いたかったのに、台無しになっちゃうよね。
別にこれは特段私の知能が低いからという訳でもないと思うんだよね。
昨日、【何の文字列をアナグラムしたのかわかる？】（anond:20240204202354）を投稿して、「GAMEOVER」をランダムにアナグラムした文字列を10個並べたけど、正解した人はいなかったんだよね。
「作者は自分より賢いキャラクターを描くことができない」って言うけど、逆もまたしかりだよね。
武術大会に出場する荒くれ者が、アナグラムにおいても秀でた能力を持ち合わせているなんて。
いや、ちょっと待った。
「GAMEOVER」という正解を導き出したのはマァムだったか？
マァムならば他の荒くれ者と違って優秀だから、おかしくはないか。
| RMGEAOVE |
| ORGEVMAE |
| VRAOGEME |
| MVAEORGE |
| AVREMGEO |
| AMOGERVE |
| EARGOMVE |
| EMRGOEAV |
| EGRAEMOV |
| EVOEAGRM |
とある文字列をアナグラムして作った文字列10個を列挙しました。
元の文字列は何かわかるかな？
ワイ：
ChatGPT：
基数ソート（Radix Sort）は、分割統治法（Divide and Conquer）を利用しているとは一般的には考えられません。基数ソートは、数値や文字列などのキーを持つ要素を、そのキーの各桁について個別にソートすることによって全体をソートするアルゴリズムです。通常、最も下位の桁から始めて、各桁について安定ソート（たとえばカウンティングソートやバケットソート）を適用していきます。
分割統治法は、問題をより小さなサブプロブレムに分割し（Divide）、それらのサブプロブレムを解決して（Conquer）、最後にサブプロブレムの解を統合して（Combine）元の問題の解を得るアプローチです。典型的な分割統治法のアルゴリズムには、クイックソートやマージソートがあります。
基数ソートはこのアプローチに従わず、代わりに全体のデータセットに対して桁ごとのソートを繰り返すことで全体をソートします。各桁のソートはデータセット全体に対して行われ、データセットをサブプロブレムに分割してそれぞれを独立に解決し、後で統合するというプロセスはありません。そのため、基数ソートは分割統治法を利用しているとは一般的には見なされません。
ただし、基数ソートの各ステップでサブプロブレムに分けることなく全体のデータセットに対して操作を行うという点で、分割統治法の概念の一部と見ることができるかもしれませんが、これは分割統治法の典型的な使用法からは逸脱しています。
ワイ：
ChatGPT：
基数ソートを上の桁から開始して同じキーを持つグループに分割し、階層的に並べていくというアプローチは、実際には「Most Significant Digit (MSD) Radix Sort」と呼ばれる基数ソートのバリエーションであり、有効な手法です。MSD基数ソートは、最も上位の桁（Most Significant Digit）から始めて、各桁ごとにデータをグループ化し、それぞれのグループに対して再帰的に同じプロセスを適用していきます。このアプローチは、ある意味で分割統治法の考え方を取り入れています。
分割: 最も上位の桁に基づいてデータを複数のバケット（グループ）に分割します。各バケットは同じ桁の値を持つ要素を含みます。
統治: それぞれのバケットに対して、次に下位の桁に基づいてソートを再帰的に適用します。これにより、各バケット内の要素がさらに細かく分類されます。
結合: 最終的に、すべてのバケットを順序通りに結合して、ソートされた全体のリストを得ます。
このアプローチでは、データセットをサブセットに分割し、それぞれのサブセットに対して問題を再帰的に解いていくという分割統治法の原則に従っています。ただし、MSD基数ソートは、分割統治アルゴリズムの典型的な例（マージソートやクイックソートなど）とは異なり、再帰的な過程でサブセット間の「統合」ステップが必要ありません。各再帰的なステップでのソートが完了した時点で、要素は既に部分的にソートされた状態になっているため、最終的な結合は単純なリストの連結に過ぎません。
MSD基数ソートは、特に固定長のキーを持つデータや、文字列などの可変長データをソートする場合に有効な手法です。しかし、このアプローチは、特にキーの分布が均一でない場合や、データセットが大きい場合には、メモリ使用量が大きくなる可能性があるため、実際の使用状況に応じて適切なソートアルゴリズムを選択することが重要です。
分割統治法じゃん。
セクシー田中さんの件で「炎上に加担したネット民のせいで原作者が自殺した」という論調があるけど、炎上状態って（最初から悪意を持って扇動した場合を除いて）「各々が何かに対し個人的な不満を表明する」→「不満を持った人の数が多い場合結果的に炎上する」わけで、投稿した時点では自分が炎上に加担することになるか予測できないよね？
特定の話題にネガティブな言及をするユーザーがどのくらい増えるか、どの言葉がトレンドワード入りするか、最終的に自分の投稿にどれくらいインプレッションがつくかは投稿する時点ではわからない。
インフルエンサーならある程度大きな反響を予測できるかもしれないけど、自殺報道が出る前に脚本家を批判して4ケタRPや5ケタRPされたユーザーの中にはフォロワー2ケタのアカウントもあったし。
そもそもX（Twitter）なんてバズだろうが炎上だろうが目に入った投稿を呼び水に自分語りする場所じゃん、何が発端で盛り上がっているのか知らないまま「あの実写化酷かったよな～」って投稿した人もいたと思う。
「死亡の報を受けて『脚本家のせい』がトレンド入りするのは最悪の流れ」ってタイトルのヤフーニュース記事があったけど実際「脚本家のせい」で検索したら自殺報道前の投稿の方が多かったし、「脚本家」「の」「せ」「い」が含まれる投稿がインプレッションに応じて表示されるから本件と関連した投稿ですらない可能性もあるし、もちろん「脚本家のせいではない」という趣旨の投稿も含まれる。今ならインプレゾンビのコピペもかなり多いのでは？
批判も擁護も無意味な文字列も炎上に含まれるのならもう「炎上に加担するな」＝「インターネットやめろ」にならない？
今回のことで周囲に反省を促している人って例えば転売屋のせいで欲しい商品が買えなくても「転売ヤー死すべし」とか書き込こまないんだよね？たまたまトレンド入りしてそれを見た転売屋が気を病んで自殺する可能性も当然あるしね。
自殺報道が出てなおも脚本家やプロデューサーの個人叩きをしている人はちょっとどうかと思うけどそれも
・面白半分に薪を焚べたい層
・セクシー田中さんとは関係なく同脚本家作品or同プロデューサー作品を批判している層
・好きな漫画家が失意のうちに亡くなって正常な判断力を失った層
・日テレに契約不履行の具体的な流れを説明してほしくて確信犯的に個人を標的にしている層
とかいろんなパターンがあるだろうし、それを「ドラマ関係者への攻撃を望まなかった故人の遺志を汲まない馬鹿」「正義の暴走」とひとまとめにするのもなんかなあ…。
phpの場合、＜?php 処理 という具合に書くが、この中身にはhtmlやjavascriptも包含することができてしまう
MVCフレームワークを使わないにしろ、基本的にビューとバックエンド処理は分割しておくべき。
さらにDB処理、ビジネスロジック、プログラム処理と言ったものがあるが、
DB処理はdbhandler専用のモジュールに分けておき、さらにそのモジュールを処理するテーブルごとに分けておいた方が良い（MVCではモデルと言う）
特にビジネスロジックとプログラム処理の区別だが、「商品名にアダルト商品と思わしき文字列があった場合は登録を拒否する」という例外は「ビジネスの例外」であるのに対し、「商品名の文字列がDBで用意されたvarcharの可変文字範囲を超えた」という例外は「技術の例外」であるということを明確に区別するようにコードを書く。
「おすすめ機能」のような凝ったアルゴリズムが必要な場合はそれ専用のクラスへ分離しておくこと。
一流企業勤めで、そこそこ稼いでいる、俺の半分くらいの年収だ。手取りでは1.x倍くらいだろう。
けれど別れることになった。
以下に理由を記す。
向こうの経験人数が10人を超えていて、大学時代のものがほとんどだった。
いろんなコミュニティで男とくっついては離れていたらしい。
ハメ撮り経験もあるらしい。
俺は大学時代とにかく金がなくて、女とデートなんてできなかった。
童貞を捨てたのなんて周りよりだいぶ遅かった。
彼女の上を都合よく通りすぎていった男たちの残飯処理をする気分だ。
結婚式、婚約指輪、500万円くらい俺が出さないといけないらしい。
あげく会社は辞めたいらしい。の割にはどこそこに勤めていることに立派なプライドをお持ちだ。社内恋愛に負けてマッチングアプリに手を出したのだろう。
想定していた彼女の年収とそこから生み出されるキャッシュフロー、今の手持ちのキャッシュとその減少、この女と添い遂げたいか、昔の男たちのお前の嫁さんと俺はヤったことがあるよという目、いつ出てくるかわからないハメ撮り、妊娠する確率、子供を産ませたいかを考えた。
せめて、養われたいなら、養いたいような女であってくれ。俺はそう思った。この世の中に、どれくらい俺が養いたい女がいるだろう。俺は探すしかない。
あんさん、Dockerとか言ってるしあんまりシェルスクリプトの凄まじい現場とか見たこと無いのでは。
シェルってのは人間の向けのコマンドの出力結果をawkとかsedで分解して後続につなげるもんなんで出力結果が変わると困る。ただ、manにはこういう処理で使えるほどの詳細な挙動は書いてないことが多い。
そして、シェルは出力結果おかしくても型とかじゃなくて文字列処理だから割りと後続処理が実行できちゃう。おかしい箇所を発見するのも時間がかかる。
そういうことが無いようにバリデーションのコードとか書き始めると複雑で何百行にもなるシェルスクリプトができて、これが一層壊れやすいし保守開発がめんどいことになる。
