「プロトコル」を含む日記 RSS

はてなキーワード: プロトコルとは

2024-05-20

anond:20240519183554

なんていうか思い込みだけで生きてない?

世界全般に対する解像度が荒いと思うよあなた

2chには男男の罵倒は腐るほどあったよ

男っていうか性別関係ないやつ

氏ね、逝ってよし

厨房、○○厨

ドキュソ、DQN

クソコテ

電波、デムパ

基地外基地、キチ

池沼

糖質

もっと直接的な悪口でいうと、普通に馬鹿とかカスとかゴミとか消え失せろとか罵倒し合ってた

2chが異常に女に態度悪いように見えるのは

まず匿名から男女平等罵倒されるわけ

みんな罵倒し合って治安悪い感じでその暴力的コミュニケーションから光るものを見つけるハイコンテクストフィールドだった

でもリアル性別が女だと「わたし女なのになんでそんなこと言われなきゃいけないんですか!?」っていちいち発狂するんだよね

こっちはお前が女とか知らんし、プロトコルに従ってやり取りしてんのよ

そのプロトコルが令和の今も通用するもんかは置いといて、確実に空気は読めてなかったわけ

頼んでもないのに自分語り空気読まずにコミュニティ自分流儀持ち込み、これ別に令和でも誰からも嫌われるやつだとわからんかな〜

でもリアル女をアピールすると令和になってもまだまだいるオチンポ騎士団平成にもやっぱりいて、そいつら湧いてきて女を肯定し始める

平成はもう既にテレビでは男女差別が酷くて、女は絶対に持ち上げないといけなくて男はどれだけ貶して罵倒して人格否定してもOKって風潮だったよな

それをインストールしちゃってるチンポ騎士がいるんだよね

てか2ch罵倒し合う特性も割とそのマスコミの風潮から来てるよね

女に罵倒するのは明らかにタブーだったし、タブーすぎるからこそ鬱屈してそれを破ったりとかさ

たち悪いのは女もそれを見越して空気をあえて読まないんだよな〜

女を晒すだけでその場を支配できる、それを意図的にやってくる

そりゃ女出禁になるでしょ

辟易してる女もいたと思うよ、てか俺の知り合いに実際いたし

女を隠してみんな男っぽく振る舞ってたのは男に理解があってコミュ力ある女が望まない姫プを避けるための処世術で、自然発生的に生じたものだし

そもそも今でもまともな女は姫プを避けるためにやってることだろ。知らんのか?

まぁ不本意なやつもいたのかもしれんけど

その不本意制限ってのはリアル女とAmazon欲しいものリスト晒せばバンバン荷物貢がれるような甘い扱いと表裏一体だし

究極的には膣と子宮を持って生まれたことへの宿命じゃねーかな

男が精巣と陰茎を持って生まれた業から逃れられないように

まあこういうこと言ってもわからなそうだよな

お互い様とかトレードオフとか処世術とか相手立場とか理解できてなさそう

このリプライ無意味かもしれん

2024-05-14

文化がちがーう!みたいな感じで、

プロトコルがちがーう!とか、レイヤーがちがーう!とか言われるのか…

2024-05-12

耐糖能を向上させるためにHIITをやろう

血糖値コントロールには運動、中でもVO2max(最大酸素摂取量)向上のためのインターバルトレーニング、いわゆるHIITをやるべきである代謝機能向上には筋トレよりおすすめだ。

なお、HIITのやりすぎは逆に耐糖能を悪化させるという報告もあるので多くても1日おきにとどめておくべき。やらない日は筋トレ散歩にあてよう。

以下、おすすめのHIITのプロトコルを強度順に紹介する。それなりに信頼できるプロトコルを集めた。


全力20秒 軽く2分 ×3セット 計7分

高齢者にもできる軽いプロトコル。こんなに軽くても効果がある。


全力8秒 軽く12秒 ×30~60セット 計1020

高齢女性でも10からはじめて20分できるようになると報告されている。


全力60秒 軽く75秒 ×8~12セット 計18~27分

最後には挑戦してほしいプロトコル。タバタより一般人向け。


注意点

前後にそれぞれ5分のウォーミングアップとクールダウンをしよう

初心者高齢者エアーバイクなどマシンが足腰に安全おすすめ

なぜタバタ式をすすめないか

前後それぞれ15分のウォーミングアップ・クールダウンをするので上のプロトコル時間的に大差なくなってしまう。

そもそもVO2max170%はきつすぎて無理であるオリンピック選手向け)

https://anond.hatelabo.jp/20240510183045

2024-05-08

anond:20240508162205

怒り以外でも色々応用が利きそう。これって結構すごい提案なのでは?

RFCに「SNSへの投稿する文書についてのプロトコル」みたいにあっても良い気がする

2024-05-03

anond:20240502234748

文化にはプロトコルとしての側面がある。 ある集団に属するために必要ということがあるということ。

個々の文化それ自体の良し悪しとは別にその文化を担う集団の色がついてしまう。

具体例を出すなら入れ墨はそれ自体文化の程度が低いということはないけれど、ヤクザプロトコルとして確立してる。


逆に集団から遠ざかるためには文化に対してアンチの態度を取るしかない。

入れ墨を入れてたらどうしたってヤクザ文化人間が寄ってくるから普通の人の文化の中に「入れ墨は悪」という価値観形成される。


大衆文化についてもそうで「大衆はいたくない」人たちがいるんだ。

ハイソサエティであるために大衆文化否定しなければならない (少なくとも大衆文化とは異なる文化の中に生きなければならない) という価値観が生じうる。

しかしその一方ではただ「違う」に過ぎずハイロウもないとも言える。

まあどうあがいたって全ての人間が同じ文化の中に生きることは出来ないのだし、現実には上流階級文化と下層民の文化の洗練度合いが違うのはしょうがない話ではあると思うがね。

2024-04-29

anond:20240429164203

はいブラウザ実装は確かに**コンピュータサイエンス**の一部です。以下に、その理由をいくつか挙げてみます

1. **アルゴリズムデータ構造**:ブラウザは、効率的検索ソートデータの格納と取得など、多くのアルゴリズムデータ構造使用します。

2. **ネットワーキング**:ブラウザは、HTTPHTTPSなどのプロトコルを通じてインターネット通信します。これらのプロトコル理解実装は、コンピュータサイエンスネットワーキングの分野に直接関連しています

3. **レンダリングエンジン**:ブラウザレンダリングエンジンは、HTMLCSSJavaScriptなどのコードを解析し、それをユーザーが見ることができる視覚的なウェブページに変換します。このプロセスは、計算理論グラフィックスプログラミング言語理解必要します。

4. **セキュリティ**:ブラウザは、ユーザーデータ保護するために、さまざまなセキュリティメカニズム実装します。これには、暗号化サンドボックス化、同一生成元ポリシーなどが含まれます

これらすべての要素は、コンピュータサイエンス基本的概念に基づいています。したがって、ブラウザ実装は、その「サイエンス」の部分を明確に示していますブラウザ設計実装は、これらの理論を実際の製品適用するための実践的なフレームワーク提供します。それらは、問題解決効率的設計、そして最終的にはユーザー価値提供するための方法を探求します。これが、ブラウザ実装コンピュータサイエンスである理由です。

2024-04-24

スプリント系HIIT(タバタなど)は一般人にはおすすめではない

なぜなら、例えばタバタは誰でもやれる代わりに誰がやっても吐くほどキツすぎるのと、ケガのリスクがあるのと、カロリー消費が少ないから。

一般人有酸素運動系のHIITをやろう。

有酸素運動に近いと言っても4x4などタバタ並につらいプロトコルは山程ある。

以下、有名なプロトコル

3x3 3分全力2分休息を3周 合計15分

2x5 2分全力1分休息を5周 合計15分

10x1 1分全力1分休息を10周 合計20

8s-12s 8秒全力12秒休息を60周 合計20

他にも研究されてるプロトコルはたくさんあるので調べて実践してみよう。

2024-04-11

英国青少年トランス薬物治療を中止 欧州における大きな転換(NYT)

https://www.nytimes.com/2024/04/09/health/europe-transgender-youth-hormone-treatments.html

ヨーロッパ5カ国は最近性別に悩みを抱える青少年に対するホルモン治療制限した。

英国の今回の変更は、独立した小児科であるヒラリー・キャス博士火曜日夕方に発表した4年間のレビューによるものである。「ほとんどの若者にとって、医学的な治療法は性別に関連した苦痛管理する最良の方法ではない」と報告書結論づけた。医学雑誌掲載された関連論説の中で、キャス博士は、若者ジェンダー治療有益であるという証拠は "不安定な基礎の上に成り立っている "と述べた。

NHSは今後、臨床研究登録された患者を除いて、思春期を阻害する薬を提供しない。そして報告書は、テストステロンエストロゲンのような永久的な身体的変化を促すホルモンは、"細心の注意 "をもって未成年に処方するよう勧告した。

英国の動きは、北欧におけるより広範なシフトの一部であり、保健当局は近年、思春期性別治療需要が急増していることに懸念を抱いている。

12月ノルウェー地方保健当局は、青少年性別医療を「試験中の治療」に指定し、臨床試験に参加している青少年にのホルモン剤が処方されることになった。デンマークでは、今年最終決定される新ガイドラインにより、ホルモン治療幼児期から性別違和を経験したトランスジェンダー青少年限定されることになる。

若者に対するジェンダー治療先駆者ヨーロッパである1990年代アムステルダムのあるクリニックは、幼少期から自分は違う性別だと感じていた青少年思春期抑制剤を投与し始めた。

世界中のクリニックがオランダプロトコルに倣うようになった。これらのクリニックへの紹介は2014年から急増し始めた。例えばスウェーデンのクリニックでは、2014年には約50人だった紹介患者が、2022年には350人にまで増加した。英国では、その数は2014年の470件から2022年には3,600件に増加している。

そして、オリジナルオランダ研究参加者とは異なり、新しい患者の多くは思春期まで性別苦痛経験せず、うつ病自閉症を含む他の精神健康状態を持っていた。

現在オランダで発表された当初の知見が現在患者にとって妥当なのか疑問が呈されている。

フィンランド2011年から青少年ジェンダープログラムを率い、この治療を声高に批判するようになった精神科医、リイッタケルトゥ・カルティアラ博士は、「世界中が、何千、何万もの若者に対して、1つの研究に基づいて治療を行っている」と述べた。

カルティアラ医師自身調査によると、フィンランドのクリニックに入院している患者の約80%は女性として生まれ思春期の後半に性別の悩みを経験するようになった。多くの患者心理的問題も抱えており、ホルモン治療では改善されないことがわかった。2020年フィンランドは薬の使用を厳しく制限した。

同じ頃、スウェーデン政府は厳密な研究レビューを依頼し、青少年に対するホルモン療法には「不十分な」エビデンスしかないことを発見した。2022年スウェーデンは「例外的なケース」のみにホルモン療法を推奨し、その理由ひとつに、どれだけの若者がこの先、医学的移行(脱移行と呼ばれる)の中止や逆戻りを選択する可能性があるかという不確実性を挙げている。

2021年、タヴィストック臨床医たちは、思春期阻害剤を服用した44人の子供たちを調査した結果を発表した。

薬によって自傷行為異和感の程度が軽減されることはなかった。2020年、NHSはキャス博士治療法の独立レビューを依頼した。彼女科学レビューを依頼し、国際的ケアガイドライン検討した。また、若者とその家族トランス成人、離脱者、擁護団体臨床医と面会した。

レビューの結果、NHSのケア水準は不十分であり、性別による苦痛の原因となりうる精神衛生上の懸念対処するルートほとんどないと結論づけられた。NHSは先月タヴィストックセンターを閉鎖した。

キャス医師は、火曜日に発表された『ブリティッシュメディカルジャーナル』誌の編集者とのインタビューの中で、「子供若い人たちは、実にお粗末な扱いを受けてきました」と語った。小児医療において、若い人たちに取り返しのつかない治療を施し、大人になったときにどうなるのか全くわからないというようなことは、他に考えられません」。

今月、NHSによって制定された変更は、「私たち懸念が実際、妥当であったことを認めたものです」と、2018年懸念を表明したタヴィストックスタッフの一人であるロンドン臨床心理学者、アンナハッチンソンは言う。"これらの子供たちに関連する決定について、より強固でエビデンスに基づいた道筋に戻ろうとしていることは心強い。"

フランスでは今年、医師思春期阻害剤やホルモン剤を処方することを禁止する法案が提出され、懲役2年、罰金30,000ユーロを科した。そして月曜日バチカンは性転換を人間尊厳を脅かすものとして非難した。

2024-04-02

なんでいつも音だけ変わるんだ?

ディスク時代

デジタルでも音は変わる。エラー補間、回転数の変化、偏心、ジッターDA変換時のノイズで音が変わる。

配信時代

デジタルでも音は変わる。ルータハブLANケーブルプロトコル、あらゆるところにノイズがあるので音が変わる。

音が変わるなら動画(絵)も変わるんじゃないの???

艶の有無とか解像度とか、音に対して芸術的表現してる変化が動画に対して起きないのおかしくないか???

絵に対する評価場合と音でなんでこんなに違うの???

2024-03-31

嫌なら辞めろ」は!辞めろ!

それを言う奴が増えたゲームは!

間違いなく!衰退するんだよ!ましてや!

それでなくても過疎っているブループロトコルで!

課金ユーザーに対してそれをやって!

何をしたいんだ!

俺達が支えなくてどうするんだ!

いつか再び羽ばたく日まで!戦い続けるんだ!

2024-03-26

anond:20240326164935

SCP-0349-HT

オブジェクトクラス: Euclid


特別収容プロトコル: SCP-0349-HTは、インターネットから隔離された標準的人間収容セル内に収容されます対象者との面会は、厳重な監視の下で行われます収容中は、対象者発言内容を常にモニタリングし、記録する必要があります

説明: SCP-0349-HTは、20代後半のアジア人男性です。対象者は、自身意見に反する主張をする人々(主にインターネット上で活動する集団)に対して、現実改変能力行使する異常性を持っています

SCP-0349-HTが自分意見に反する主張を目にすると、その主張を完全に間違ったものにするために無意識対象者意見を改変します。

客観的現実に影響を及ぼした例は確認されていません。

SCP-0349-HTの異常性が発覚したのは、20■■年■■月■■日、SCP-0349-HTが参加するインターネット上の議論においてでした。SCP-0349-HTは、自分に反対する意見を述べるユーザーに対し、「お前の意見は間違っている。なぜなら、お前の言っていることは現実では起こり得ないからだ」と主張し、異常性を発動しました。

その直後、そのユーザー意見を改変されましたが、■■■■■■を施された財団職員がその議論を目撃し通報したため、SCP-0349-HTは財団収容されました。

財団は、SCP-0349-HTの現実改変能力が、意見の書き換えに留まっている間は、大規模な影響を及ぼす可能性は低いと評価していますしかし、対象者能力客観的現実にも影響を及ぼすようになる可能性を完全に排除できないため、引き続き収容研究を続ける方針です。

2024-03-25

ブループロトコル終了の日が近そう

CS版始まってちょっとやってみたけど、すぐにレベル上限引き上げと装備の更新のアプデが来てもういいやって思ってやらなくなった

頑張って作った装備がすぐゴミなっちゃった

ずっと続けてる人ってこの作業ずっとやってるのかー

頑張って装備作ってもすぐにゴミになるから厳選とか凸とかするの虚無すぎる

インストリーが完結して最強装備が出揃ってから最強装備だけ強化すればいいじゃんってなる

課金する要素がないので完全無課金で高難度コンテンツも余裕でできるという点だけはいいと思う

でも時間無駄なのでわざわざやらなくてもとも思う

お金使いたくなくてただ同じ作業をひたすらやりたいって人にはおすすめできるのかな?

でも他に無料もっと面白そうなゲームありそうだけど

アクションRPGなんだけど、アクションがつまらないんだよね

やればわかる

2024-03-22

もうパターン化された"CS学生"羨ましすぎるんだよ,NAND回路でtetris,RustでRDBMS実装する,CPU自作OS自作コンパイラ自作TCP/IPプロトコル自作エミュレーター自作キーボード自作計算機プログラム構造解釈,長いこと大学いたけど,全然出来なかった やりたい

から修士2年で,今はまだ就活中だがそのうち終わるし,授業ももう無いしで,なんか純粋知的好奇心を満たすやつをやりたくなってきた

この一年で徐々に徐々に,回路触りたいとか,低レイヤやりたい欲求が再燃しつつあった

奨学金も借りて経済的に少し余裕ができたせいもある

本や部品を買うためにバイトを増やすと,肝心の活動に避ける時間がなくなってしまうし

もちろん,研究でもある種の好奇心は満たせるし,就活で停滞していたぶんを早く取り返したい気持ちもある

自分の受け止め方は,

研究

→ググっても出てこないことを調べて,ググったら出てくる情報にする,新規性客観的な正しさが重要

好奇心も満たされ,場合によっては就活アピールにもなる

進学しない人でも実績増やせば奨学金免除も狙える(大学院の話)

趣味ソフトウェア開発

車輪の再開発OK

でもまあ,一発ネタでもなんでもいいけど,解決したい課題とかテーマ必要な感じ,独自性があるといろいろと受けがよい

チーム開発したとか,身近な人に使ってもらったWebサービスとかだと,エンジニアでない人事担当者にも伝わりやすそう

自分場合就活でとてもいいアピールになっている

アルバイト

→金が儲かる,なんか社会の役に立つ(たぶん),なんか金儲けに役立つスキルが身に付く

上司や先輩から色々教われるのがよい

動機(金が儲かる,人の役に立つ)があるおかげで,もともとそんなに興味が無いようなことでも,調べて勉強したりするきっかけになって面白い

みたいな感じなんだけど,

ArduinoLEDをチカチカさせる,CPU作る,みたいなことはわかる人にはそれなりに評価されるのかもしれないが,短期的に対外的評価に繋がりにくいように思うし,すぐには自分生活をよくしないので,学生自分ですら後回しにしがちだったと気づいた

でもクラフト系(?)でしか満たせない何かがある

ポジティブな側面では知的好奇心だし,

ネガティブ意味ではよくわかっていないコンピュータシステムの上でいろいろやっている負い目とか,

コンプレックスだったり,インプットが足りていないままアウトプットに偏った活動をしている劣等感とかだろうか

就活就活向けの思考に疲れ始めているせいで,そうゆうコンピュータクラフト系に癒しを求めている部分もあると思う

自分のこれまでの活動をうまく利用して,有利に就活を進められる場を提供してくれたサポーターズなどのサービスイベント

自分を高く評価してくれる企業には大いに感謝もしているが,

品定めするような目線を受け続けているとアンチ金儲け主義のような意識が芽生えてくる

会社が金儲けのために使う道具として自分がどれだけ優れているかばかりアピールしていると,そうではない側面が盛んに自己主張をはじめる

就職活動念頭にあるので,自分経験をわかりやす就活で有利になるパッケージにしよう,みたいな考えにいつのまにか陥ってしまっていた

年代経済的な豊かさを手に入れ,どんどん人生の次のステージに進んでいくのを見ていて,焦りもあった

パンだけじゃ 生きていけねえ,し,

せめて高収入だったり,他人にすごいと思われるような職について,自分を慰めてやりたかったのかもしれない

あと一ヶ月もしたら,これまでの活動内定承諾という形で一旦精算されそうなので,

残りの時間研究と,別に新しい何かを生み出さないかもしれないただ好奇心を満たすための活動に使いたいと思い始めた

(面接では,一日も早く御社活躍できるような人材になれるように勉学に励みます,みたいな顔をしているが)

別に社会人になっても,休日に自室で一人で自作CPU半田付けしていてもいいし,多分やってると思うんだけど,

終わりが見え始めたら,周りに興味をもってくれそうな人がたくさんいる今の環境は尊く得難いものであると気づいてきた

そんなことを考えながら,いろいろググっていたらCPU自作手芸に例えたとても秀逸な投稿を見かけた

自分コンピュータ裁縫編み物も好きなのでとても共感した

裁縫編み物商業的にはほとんど機械化していて,実用品を手に入れる目的なら買った方がはるかに早く安く性能もいいが,

まさに手を動かして作る楽しさを味わうために取り組む趣味的な活動として残り続けている

自作CPUとかは短期的には対外的評価を得にくい活動かもしれないが,それ自体純粋自分好奇心を満たし,

達成感や充足感を与えてくれるので精神的な意味では「すぐに自分生活をよくしてくれる活動」と言えるかもしれない

ロシア語では趣味のことを「魂のためにやっていること」と表現するそうだが,まさにそういう癒しを求めているんだろう

2024-03-08

ジャッポスはMSに行くようなのでもキモいんだな

2024-03-01

AI絵師ってAI狩野派とかAI琳派みたいなのが出てくるのかな

その中で優れた出力をするプロトコルが持ち上げられてシャロン・アップルみたいになるの

2024-02-21

[] 数学は量子物理学と同様に観察者問題がある

量子力学における観測問題についてはよく知られるように、人間主観性が量子実験の結果に重要役割果たしている。

ドイツ物理学者ヴェルナー・ハイゼンベルクによる有名な引用がある。

私たちが観察するのは現実のものではなく、私たち質問方法さらされた現実です。」

例えば有名なダブルスリット実験では、スリットの後ろに検出器を置かなければ電子は波として現れるが、検出器を置くと粒子として表示される。

したがって実験プロトコル選択は、観察する行動パターンに影響する。これにより、一人称視点物理学の不可欠な部分になる。

さて、数学にも一人称視点余地はあるか。一見すると、答えは「いいえ」のように見える。

ヒルベルトが言ったように、数学は「信頼性真実の模範」のようである

それはすべての科学の中で最も客観的であり、数学者は数学的真理の確実性と時代を超越した性質に誇りを持っている。

ピタゴラスが生きていなかったら、他の誰かが同じ定理発見しただろう。

さら定理は、発見時と同じように、今日の誰にとっても同じことを意味し、文化、育成、宗教性別、肌の色に関係なく、今から2,500年後にすべての人に同じ意味があると言える。

さて、ピタゴラス定理は、平面上のユークリッド幾何学の枠組みに保持される直角三角形に関する数学声明であるしかし、ピタゴラス定理は、非ユークリッド幾何学の枠組みでは真実ではない。

何が起こっているのか?

この質問に答えるには、数学定理証明することの意味をより詳しく調べる必要がある。

定理真空中には存在しない。数学者が正式システムと呼ぶもの存在する。正式システムには、独自正式言語付属している。

まりアルファベット単語文法は、意味があると考えられる文章を構築することを可能にする。

ユークリッド幾何学正式システムの一例である

その言語には、「点」や「線」などの単語と、「点pは線Lに属する」などの文章が含まれる。

次に正式システムのすべての文のうち、有効または真実である規定した文を区別する。これらは定理である

それらは2つのステップで構築されれる。まず、最初定理証明なしで有効である宣言する定理選択する必要がある。これらは公理と呼ばれる。

これらは正式システムの種を構成する。

公理から演繹は、すべての数学コンピュータで実行可能な印象を生む。しかし、その印象は間違っている。

公理選択されると、正式システム定理構成するもの曖昧さがないのは事実である

これは実際にコンピュータプログラムできる客観的な部分である

例えば平面のユークリッド幾何学と球の非ユークリッド幾何学は、5つの公理のうちの1つだけで異なる。他の4つは同じである

しかしこの1つの公理(有名な「ユークリッドの5番目の仮定」)はすべてを変える。

ユークリッド幾何学定理は、非ユークリッド幾何学定理ではなく、その逆も同様。

数学者はどのように公理を選ぶのか。

ユークリッド幾何学非ユークリッド幾何学場合、答えは明確である。これは、単に説明したいもの対応している。

平面の幾何学であれば前者。球の幾何学であれば後者

数学は広大であり、どのように公理選択するかという問題は、数学の基礎に深く行くと、はるかに感動的になる。

過去100年間、数学集合論に基づいてきた。

すべての数学オブジェクトは、いくつかの追加構造を備えたセットと呼ばれるものであるということだ。

たとえば自然数のセット1,2,3,4,...は加算と乗算の演算を備えている。

一般的なセットとは、数学で正しく定義されたことがない。

集合論特定正式システムによって記述される。Ernst ZermeloとAbraham Fraenkelと、選択公理と呼ばれる公理の1つに敬意を表して、ZFCと呼ばれる。

今日数学者は、すべての数学を支える集合論正式システムとしてZFCを受け入れている。

しかし、自分自身を有限主義者と呼ぶ少数の数学者がいる。

彼らは、無限公理と呼ばれるZFCの公理の1つを含めることを拒否する。

言い換えれば、有限主義者正式システムは、無限公理のないZFCである

無限大の公理は、自然数の集合1,2,3,4,...が存在すると述べている。すべての自然数に対してより大きな数があるという声明(「ポテンシャル無限大」と呼ばれる)よりもはるかに強い声明である

有限主義者は、自然数リストは決して終わらないことに同意するが、いつでも自然数の集合の有限の部分集合のみを考慮することに限定する。

彼らは一度にまとめたすべての自然数の合計が実在することを受け入れることを拒否する。

したがって、彼らはZFCから無限公理を削除する。

この公理を取り除くと、有限主義者証明できる定理はかなり少なくなる。

正式システム判断し、どちらを選択するかを決定することができるいくつかの客観的基準...なんてものはない。

主観的には、選ぶのは簡単である

時間空間を超越した何かを象徴しているので無限大が大好きだ」と言えば無限大の公理を受け入れることができる。

ゲーデルの第二不完全性定理は、十分に洗練された正式システム(ZFC等)は、自身一貫性証明することができないと述べている。

数学者は、今日のすべての数学の基礎であるZFCが確固たる基盤にあるかどうかを実際に知らない。

そしておそらく、決して知ることはない。

なぜなら、ゲーデルの第二の不完全性定理によって、より多くの公理を追加することによってZFCから得られた「より大きな」正式システムにおけるZFCの一貫性証明することしかできなかったから。

一貫性証明する唯一の方法は、さらに大きな正式システム作成することだけだ。

数学を行うためにどの公理選択すべきかについて、実際には客観的基準がないことを示唆している。

要するに、数学者が主観的に選んでいるというわけである自由意志に任せて。

公理のための主観的基準というのは、より豊かで、より多様で、より実りある数学に導くものを選ぶという人は多い。

これは自然主義と呼ぶ哲学者ペネロペ・マディが提唱する立場に近い。

自分自身制限する必要がないので、無限公理を受け入れる。

特定公理のセットを選択する行為は、量子物理学特定実験を設定する行為に似ている。

それには固有の選択肢があり、観察者を絵に導く。

これが、一人称視点とそれに伴う自由数学において正当な場所を取る方法である

2024-02-20

ぐぬ管 (GNU social JP管理人) を好む人間存在するのであろうか

MastodonやらMisskeyやらは、ActivityPubというプロトコルを通して複数サーバーが繋がり「Fediverse」というある種の「世界」を形成している。この世界においても現実世界と同様に好まれている人物そうではない人物がおり、それは人々によって異なっている。しかし多くの人間から嫌われている人物として挙げられるのは「ぐぬ管 (GNU social JP管理人)」であろう。2chの末期ひろゆきと同程度に嫌われていると思っていただいて構わない。

尤も、Fediverseという狭い世界のいざこざであるというのは疑いの無い内容であるしかしながら彼の行動はこの狭い世界の印象を破壊するレベル迷惑不名誉でかつノイジーものである

代表的な例として、ちょうど1年ほど前に発生したmstdn.maud.ioの管理人(hota氏)とのドメインブロック問題(に限らないが)を見てもらうのが良い。

poem:gnusocialjp | mordiford

https://wiki.maud.io/ja/poem/gnusocialjp

GNU Social JP管理人に対する非難声明 (他のサーバー管理人による非難声明

https://www.giraffe.beer/2023/02/gnu-social-jp.html

告知: mstdn.maud.ioからドメインブロック対抗措置 (解決済) | GNU social JP Web

https://web.gnusocial.jp/post/2023/02/12/5284/

要するに誤解と妄想いちゃもんを同時に他人押し付け粘着した後に中身の薄いまとめサイト一方的視点でまとめ上げることを行っている(しかも新しい記事は有料)。

一応GNU Socialの名誉のために言っておくと、GNU Social(ソフトウェア)とGNU social JP(ぐぬ管の巣)は別物である。「IEのもの」と、「IEを使っている1ユーザー」が全く別物であるのと似たような関係であるIEが素晴らしいと思っているからといって、Google Chromeカスオタクが使っているゴミで、当然ながら利用者情弱キッズであると罵り、反論され彼らがIEを使わなくなったり喧嘩を吹っかけてきた人間と関わりを閉ざすと「差別である(参考: https://riq0h.jp/2023/06/26/195759/)」と大声で触れ回るのである

こんな人間を誰が好むのであろうか。

なお、これは言論の自由範囲文章であり、事実を基にした個人の感想である。恐らく憲法にも反していない(ぐぬ管氏の解釈によれば国民憲法を守る必要があるらしいため)。

2024-02-12

anond:20240212010623

アメリカマジで日本なんか目じゃないくらい建前と空気読みとプロトコルの国だからな。そういうのちゃんと知り尽くして遵守しないと白人クラブの仲間には入れないよ(正確に言うとたとえ遵守してもアジアンモンキーは仲間に入れてはもらえないが、守らないとマジのサル扱いをされるので遵守した方がよい)。

2024-02-09

普段は気にしないけど考えると不思議ファンタジーの設定

映画アニメ漫画等で見てる時はそういうものだと思って見てるけど、改めて考えると不思議だなと思うファンタジーの設定ない?

そんなの真剣に全部描写してたらスピード感も無くなるだろうし、余計に疲れそうだしで描写を望んではいない。

地面、屋根等への衝撃

凄い高さにジャンプしたり、そのまた逆に凄い高さから着地、凄いスピードダッシュしたりした場合

接地してた箇所にすんごい衝撃ないの?って不思議

ドラゴンボールみたいなのは空飛ぶレベルなので脳内ではセーフ判定。

時間停止

分子とか停止してるレベルだと真っ暗にならないの?って不思議

固さも気になる。呼吸すら辛そう。

ワープ、瞬間移動

元いた場所の事後って物質まるまる消え去ってるので、移動する物体の大きさによって偉い事起きるんじゃないかなって不思議

何らかのプロトコルで移動後の地点の担保取らないとウィザードリィになるのはたまに見るけど。


中には設定き理由付けされてるものとかあるのかな。

2024-02-07

anond:20240207095638

性別が、というよりそれを含めた二者間の不均衡がそうさせるんだろうと思う

でもまあマンスプレイニングよな

20歳そこそこの女性たちが、本当の趣味は信頼できる同好の士以外に言わない

(利いた風にごちゃごちゃ言われるのウザいから)のは正解なんだろうな

 

増田が挙げてるものの8割方は一般的には「匂わせ」に分類され、ネタバレではないので

そのリスト家族に見せて「こういう匂わせもやめてくれ」って言うしかない

匂わせに対してネタバレやめろと言っても「俺ネタバレしてないし(キョトン)」となるだけだから

 

追記の「それも噛みつくのかよって感じのも多い」は別に気にしなくていい

ゲーム配信者でリスナールールに匂わせ禁止指定してる人は結構いるから 

 

―ここからは余談というか勝手独り言

 

もしかして「やめろ」って表明するとき角立てないようにギャグっぽく言ってるとか

顔が無意識笑顔困り顔になってたり、発声だるい感じとか困ったトーンになってるとかない?

繰り返しやられるのは「やめろ」がじゃれあいの「フリ」として処理されてんのかもなと思った

本気で怒った顔を作って短く強く発声する、それで通じないならテーブル叩いてデカい音出すくらいやっていい

女の多い環境で育ってない奴には女の(言外に情報を含む)プロトコルは通じないのでヤンキーを憑依させよう

増田別に謝ることないのに謝ってるの見て書いたけど、いらんお節介だったらすまん

ログイン ユーザー登録
ようこそ ゲスト さん