  |
はてなキーワード: プラトとは
ZFC (Zermelo-Fraenkel set theory with the Axiom of Choice) の哲学は、数学基礎論における中心的な位置を占め、その含意は数理論理学、モデル理論、証明論にまで及ぶ。
ZFCの存在論的基盤は、von Neumann–Bernays–Gödel (NBG) 集合論との比較において明確になる。NBGがクラスの概念を導入するのに対し、ZFCは純粋に集合のみを扱う。この違いは、大規模基数の存在に関する議論において重要な意味を持つ。例えば、到達不能基数の存在は、ZFCでは公理として追加する必要があるが、NBGではより自然に扱える。
ZFCの哲学的重要性は、その一階述語論理に基づく形式化にある。これにより、完全性定理が適用可能となり、モデル理論的手法を用いた相対的無矛盾性証明が可能になる。特に、ゲーデルのL構造（構成可能全体）とコーエンの強制法は、ZFCの独立性結果を示す上で本質的な役割を果たす。
ZFCの公理系、特に置換図式の導入は、フレーゲの論理主義の崩壊後の数学基礎論の再構築において重要な役割を果たした。置換図式は、ラッセルのパラドックスを回避しつつ、十分な数学的対象の存在を保証する。
選択公理 (AC) の哲学的含意は特に深い。ACは、トポロジー的ベクトル空間におけるハーン・バナッハの定理や、測度論におけるバナッハ・タルスキのパラドックスなど、数学の広範な領域に影響を及ぼす。ACの非構成的性質は、直観主義数学や構成的数学との緊張関係を生む。
ZFCの哲学は、大規模基数公理の研究と密接に関連する。イナクセシブル基数、マーロ基数、超コンパクト基数などの大規模基数の存在は、ZFCの無矛盾性を強化し、数学的宇宙の階層構造を示唆する。これらの基数の存在は、プラトニズム的な数学観を支持するように見えるが、形式主義的解釈も可能である。
ゲーデルの不完全性定理のZFCへの適用は、数学的真理の本質に関する深遠な問いを提起する。特に、第二不完全性定理は、ZFCがその自身の無矛盾性を証明できないことを示し、ヒルベルトプログラムの限界を明らかにした。
ZFCの哲学的含意は、数学的構造主義との関連でも重要である。ブルバキ学派の構造主義的アプローチは、ZFCを基盤として数学的構造を定義し、分析する。一方、カテゴリー論的基礎づけは、ZFCに代わる代替的なアプローチを提供し、トポスの概念を通じて数学的宇宙の多様性を示唆する。
内部モデルの理論、特にゲーデルのL構造の研究は、ZFCの哲学に新たな視点をもたらす。V=L（すべての集合が構成可能である）という仮定は、連続体仮説や一般化連続体仮説を肯定するが、同時に多くの大規模基数の存在を否定する。これは、数学的宇宙の「薄さ」と「厚さ」の間の哲学的緊張を生む。
結論として、ZFCの哲学は、数学的存在論、認識論、真理論の交差点に位置し、現代数学の基礎に関する最も深遠な問題を提起する。その影響は、数学哲学にとどまらず、論理学、計算理論、量子力学の基礎にまで及ぶ。ZFCの哲学的探究は、数学的知識の本質と限界に関する我々の理解を深化させ、数学と哲学の境界を絶えず再定義しているのである。
数の概念は文化や歴史によって変化してきた。古代ギリシアでは、1は数ではなく単位とされていたが、現代では自然数の集合 N の最小の要素とされている。
数の概念は哲学的な問題を引き起こすことがある。無限や超準数といった数は直観に反する性質を持つ。例えば、無限は自分自身に加えても変わらないという性質を持つ（∞+∞=∞）。超準数もまた通常の数の演算法則が成り立たない（ω+1≠1+ω）。
数は実在するのか、それとも人間の心の産物なのかという存在論的な問いもある。数の実在主義は、数は客観的な実在であり、人間の心とは独立して存在すると考える。数の構成主義は、数は人間の心の産物であり、人間の言語や思考に依存して存在すると考える。プラトニズムは、数はイデア界に存在する普遍的な実在であると考える。ピタゴラス主義は、数は万物の根源であると考える。論理主義は、数は論理的な体系から導き出されるものであると考える。
数の概念は数学の基礎付けにも関わる。数学の公理や定理は、数の概念に基づいて構築されているが、その正当性や完全性には限界がある。ゲーデルの不完全性定理は、数の概念を用いた形式体系には矛盾しないが証明できない命題が存在することを示した。
数の概念は、かつて客観的な現実を表すものと考えられていたが、量子論の発展により、数はより複雑で主観的なものである可能性が高まった。古典物理学では、数は物理量と一致していたが、量子論では、数は物理量とは別の抽象的な概念として使われている。
自我や自由意識と同様に、数の本質はまだ解明されていない。しかし、量子コンピューターは数の概念を利用して作られており、数は物理システムを表現する有効なツールであることは、どのレイヤー、スケールにおいても明らかである。
数の概念は私たちの知識や理解を拡張するものであり、同時に私たちの疑問や不確実性を増やすものでもある。
数の概念は、私たちの世界に対する見方を変える力を持っている。(どやああああ)
————————-
子供が産まれて、当たり前というかそんなこともわかってなかったのかって言われるかもだけど、使用済オムツでめっちゃ可燃ゴミの発生量が増えた。あとくせえ。
こりゃたまらんぞということで身の回りの諸先輩方の意見を参考にいくつか対策したよ。
おむつが臭わない袋 | 驚異の防臭袋BOS 最強っすねこれ。
https://bos-bos.com/product/bos/baby/
それまではあの専用カートリッジ使うオムツゴミ箱を検討してたんだけど、この袋でオムツ周りのことは全てが解決した。
臭わない。Sサイズの200枚入りを毎回買ってる。ウンコオムツを躊躇いなく密閉できるのは本当にありがたい。
戸建てで、狭いが庭があるので、その端っこでコンポスターを始めた。市販の容器が高かったので、容器はプラスチックの鉢のデカいの買って底を切って自作。
蓋はプラ鉢の水受け皿が丁度良い。
卵の殻とか魚の骨とか堆肥化難しい生ごみ以外は、数日間干して乾燥させてから原則全部そこに放り込んでいる。上からちゃんと土を被せれば臭わない。
ちなみに乾燥工程は必要ないかもしれないけど、知り合いに聞いたら発酵→堆肥化が上手くいかないと腐敗してめっちゃカビが生えるという話だったので、なんとなく乾燥させている。
※乾燥方法は、百均のプラトレーに乗せて目の細かい洗濯ネットに入れて屋外に放置。洗濯ネットで虫がほぼ防げる。
地味に生ゴミ量を増やしていた麦茶とコーヒー豆をコンポスターに突っ込めるようになったのがけっこうデカいように感じている。
生ごみ乾燥処理器も検討したけど、意外と高いってのと動作音がうるさいってのと、あと乾燥にかかる電気代＞ゴミ袋の値段と知ってしまったので止めた。
ゴミを削減したいのは確かなんだけど、自分の手間暇以外の費用が常時かかるのはなんか面白くなかった。
捨てるまで冷凍することにした。
冷凍庫内に百均容器で専用スペースを設置し、ポリ袋に詰めてそこに置く。臭わないし袋に詰めて凍っちゃえば特に不潔な感じもしないのでOK。
臭い問題は完全に解決したが、子供の成長に伴うオムツサイズアップや使用量の増加によって可燃ゴミの総量は結局増えてしまった。
生ごみの堆肥化は上手く回っており、せっかく堆肥を作ったので花の鉢植えを庭に設置するなどしている。
というか作った堆肥をどう処理するねん！ という問題を最初考えていなかったので、容器がパンパンになって途方に暮れてしまったのだが、妻からの「花でも植えればいいじゃん」という一言で、なるほど！ となった。
花って良いっすね数百円でけっこう長期間心が和む。
あとコンポスター容器は二つ必要になるということを当初わかっていなかったので増やした。
生ゴミを突っ込む用と、熟成させて堆肥化してそっから使う用とを分けておかないといけないのよね。
そうしないと堆肥を使おうというタイミングで、まだ堆肥化してない生ゴミをより分けるという作業が発生するので大変。
子供がオムツを使わなくなったら、生ごみはほぼほぼ堆肥化しているので、可燃ゴミが主にティッシュや紙くずになりそう。
そうなったら、多分月に1回か2回捨てれば可燃ゴミについては十分になりそう。
Androidのアプリゲームで時間溶かしちゃったやつを紹介するよ 思考停止して進められる作業ゲーとアドベンチャーが多め
・プラトモ
掃除機や靴など身近な日用品をプラモデルみたいに組み立てるパズル。建物を修復する「ナオシーノ！」も似た感じのゲーム
砂漠化した星を復興して各地の街を発展させていく。ライフ制だったかもしれないけど覚えてない。「あの日は燃えるゴミの日だった」も似た感じのゲーム
アドベンチャーの超有名どころだけど一応。多少脱出ゲームっぽい要素があるけどそんな難しくはない
・SYUPRO-DXのRPGゲーム
「あなたってよく見るとドブネズミみたいな顔してるわね」「奴は四天王の中で最も金持ち」「どうして勇者様はそんなに弱いのですか？」など。ライトな遊び心地で、言葉や技のチョイスで戦う
・World for Two
生き物が死に絶えた世界で、アンドロイドにDNAを収集させ組み合わせて生き物をつくっていく。めっちゃ面白かったのでアプリは無料だったけど投げ銭した。SwitchとかSteamでも買える
ドット絵でダークな終末世界を舞台にしたゲームが多め。おすすめは脳みそだけのヒロインを再生する「My Love.」
・Hidden Folks
有料の探しもの系ゲーム。落描きみたいな絵がかわいいのと、SEが全部人の声なのが良くて何回もやってしまう。SteamやSwitchにもある
数学的実体が人間の思想的な部分とは独立に存在するという考え方は数学者がしがちな考えであり
哲学を専門とする人やかじってる人からは批判されがちな考えではあるが…
まだ人間たちに見出されてない数学的実体があってそれを見つけて性質を考えるという
そういうフレームワークで数学をみないと新しい定理を発見(発明と言う人もいるだろう)出来ないんよ…
研究時間の半分くらいは数学なんて全部人間が考えたものに過ぎないなんて考え方でいる事も出来るだろうが
常にそんな考え方でいてはまだ誰も考えた事の無いものを考えるのが面倒くさくて仕方ねえんだよ
自分の研究結果が自分の考えを述べたものに過ぎない事になるなら
卑小な自分が難しい問題を解決するという研究結果を為せたという現在が信じられないものになってしまうんだ
ラーン・ガイトーン・プラトゥーナム[Raan Kaithong Pratunam]
https://www.bangkoknavi.com › food
www.bangkoknavi.com からのガイトーンプラトゥーナム
2011/06/10 — ラーン・ガイトーン・プラトゥーナム[Raan Kaithong Pratunam]。「カオマンガイ」で有名なプラトゥナーム交差点近くにあるお店。
http://www.yglpc.com › uploads › 2018/08
今回取り上げる日本ガイダント事件（東京高. 判平成19年6月28日・判時1985号23頁）は，匿. 名組合に基づく分配金に係る租税条約上の所得.
ガイトナー回顧録 - Amazon.co.jp
プライム会員なら通常配送料無料。お急ぎ便が使い放題。ガイトナー回顧録を買うならアマゾン。 コミック、雑誌、単行本、新書、絵本、洋書まで豊富な品揃え。注目の新着アイテムをチェック。スマホアプリあり・ポイントが貯まる・PC、携帯でいつでも買い物。
投稿した後に気付いたことや、ブコメで指摘されたことがいろいろとあったのでまた調べた
前回（https://anond.hatelabo.jp/20220417203153）はトップページに表示される広告を調べたが、日記だと別の広告も表示されるようなのでそっちも調べた
また、ブコメで50回は少ないという指摘があったので100回に増やした
調査期間は13:00～13:20ごろ、PCのシークレットモードで前回の日記を閲覧
下段の広告は特に偏ることはなかったが、上段は連続で同じ広告が出るようである
Bizouxの広告が連続で27回表示された後にVILLAGE HOUSEの広告が連続で表示され（途中1回NTTデータスマートソーシングが挟まった）、その後はgraniphが3回表示された後、最後までBizouxが連続で表示された
たしかに50回では足りないのかもしれない
Wifiとキャリア回線ではIPが変わるのでキャリアごとの傾向が出る、とブコメに有ったので調べてみる
15:30～16:00ぐらい、前回の日記をスマホのシークレットモードで、スマホで見ると広告が多いので回数は20回
とりあえず今回調べた限りでは、Wifiでもキャリア回線でも広告はあまり変わらないように見える
前回は過激な広告は出なかったと書いたが、今回はそうでもなかった
16:30ごろ、スマホでシークレットモード、広告が少ないので50回で
前回1回しか表示されなかった占いの広告がやたらと出たのが気になるが、それはさておき過激な漫画やゲームの広告は表示されなかった
絶対に忙しそうになってる隣の会社の部署のお手伝いに借り出されそうなの間違いない説濃厚なので、
ぱぱぱっと書いておくわ。
昨日はしっかりお昼寝してたから、
逆になかなか寝付けなくて、
夜中に歩いたり走ってる人、
結構いるのねーって思ったわ。
真っ暗田舎もとい真っ暗い中よくみんな精が出るわねって。
私もその一人のうちの一人だけど、
おかげで目が逆に覚めちゃったので、
あっと言う間にまた1時間半経っちゃって、
ガチエリアの近くに潜伏して、
20人ぐらいやつけられちゃったりなんかして、
でもやっぱり賢い人は見抜くみたいで、
やつけられたらやつけた人がビューされるんだけど、
ペンキで殴られるって寸法よ。
でもみんなガチエリアを確保すべく、
潜伏している私に構う暇なんかないところがまたおかしいわ。
結構積極的にペンキ溜めて乗り込んでいくのもまあまあやってやれないこともないけど、
ペンキ浴びせられたら浴びせ返られるこのスプラトゥーン2の掟というか
銃系のものだと照準も自分で操作して狙って撃たないといけないので、
なかなか上手く敵チームにペンキを当てられないわ。
調子に乗ってスナイパー系のを装備して
後から襲撃されるという、
潜伏できなくて狙いも付けなくてはいけないってところが
むちゃくちゃ難しいわ。
やっぱり私は塗りが楽しいローラー系のブキを背負ってるのが性に合うみたいね。
もう1戦もう1戦とやっているうちに、
時間がどんどん経っていくのがもう恐ろしいわ。
平日は恐ろしくて時間が溶けすぎて出来ないわね。
ガチエリアで隠れた場所からロボットボムを投げまくるのが楽しくて楽しくて仕方が無いわ。
自分も敵チームのロボットボムを喰らうと潜伏先にも歩いて向かってくるので、
自分がやられたらなかなか厄介だし、
ロケットランチャーは射程なくどこにでも飛んでくるので、
それも喰らったら厄介だし
今日は忙しいのでたぶんもうこの辺にしておくわね。
うふふ。
しょっぱな休み明け頑張り景気を付けようって寸法よ！
今日を乗り切るわ。
今日もというか
ここすっかりずっと
なんか大雨降ったあと、
不意に涼しくなったりしてるから、
私だけかしら？
でもまたひと盛り上がり夏ありそうなので、
水分補給にはしっかり努めたいところね。
すいすいすいようび～
今日も頑張りましょう！
[内容物]
まずブラジリアンワックスを買って驚いたのはその成分。
てっきりオキシゲドンアポカリラプスとか、プラトロゲドロヒドロキシジルみたいな、毛根を溶かす薬剤がアメリカの比率で混入したゲルを想像していた。
本当に水飴。
成分表には、
クエン酸は腐らないようにするためなのかな？と思う。
そしてカラメル色素は着色のため。
つまり、ブラジリアンワックスは
が主成分なのである。
これには本当に驚いた。
複雑だと思っていたものがシンプルであることに気付く。こういうときが1番驚くんではなかろうか？
実は資産運用で稼いでいただけだったときと同じ質の驚きだった。
さて、
こんなに簡単にブラジリアンワックスが作れるなら、なぜ参入している会社が少ないのだろうか？
今回のセットは3千円。
ガリガリ君のハズレ棒、これはブラジリアンワックス(今後その呼び方をするのは腹が立つので以降は水飴と呼ぶ)を塗るときに使う。
こんなもん、100本で40円とかだろう。
となるとだ、この
と思う。
この紙は、ビリビリという紙が破ける効果音と縁がない。本当に何回力付くでやっても破れないのだ。
新聞紙を縛るビニールテープのほうがまだ破れる希望があると言える。
この紙が恐ろしく高いのだろうな。
そう思いながら、ハズレ棒で水飴を足に塗りたくり、謎の紙をそこに貼り付け、一気に引き剥がした。
そこには女性の脚があった。
チュルンチュルンの脚。
気付いたことがあった。
違う。
毛さえなければ、俺たちもあの脚なんだ。
毎日腰を曲げて脚を触り、
次第に腰を曲げることすら面倒になり、今度は腕の毛を水飴で絡め取った。
また毎日腕を組むようにして、スベスベの両手を触った。
1日1万回、感謝の両腕スベスベ。
1万回を1時間で終わるようになった頃、「スベスベ」が音を置き去りにした。
できれば50万人ともいわれる学生・就労ビザの在日中国人は全員母国に帰って頂きたい
習近平国家主席の目玉である巨大経済圏構想「一帯一路（ＢＲＩ）」の世界的規模の挫折は、プロジェクトに関連する国々に失望をもたらした。関与しているのは６８カ国である。
そのうえ、「中国製のワクチンはちっとも効かない」（中南米諸国）、「勝手に工事をして代金請求なんてトンデモナイ」（アフリカ諸国）、「えっ、あれ寄付じゃなかったの？ 条件という台湾と断交までしたのに」（南太平洋の某国）。
中国に弱腰だったフィリピンのテオドロ・ロクシン外相も５月３日、「友人である中国よ。どうすれば丁寧に言えるだろうか。そうだなぁ、消え失せろ」と怒りのツィッターを発信した。フィリピンが領有権を主張する南シナ海・スプラトリー（中国名・南沙）諸島周辺に、多数の中国漁船が居座っていることに反発したようだ。
東京五輪・パラリンピックが近い日本は中国批判を控えているが、武漢コロナの死者は日本でも１万３０００人を超えた（６月１日時点）。それでも、日本のメディアは中国に遠慮して「武漢コロナ」とは言わず、「新型コロナウイルス」と抽象的な語彙を使用している。台湾のメディアは断固として、「武漢肺炎」と表記している。
東南アジアの「中国経済圏」４カ国は感染がすごいことになった。
国境を越えて中国から入国がしやすいラオスは、首都ビエンチャンを封鎖。カンボジアも、プノンペン、シアヌークビルなどの都市を封鎖した。タイの首都バンコクでは外食を禁止し、ベトナムは「入国後の隔離期間」を２１日間に延長した。
ベトナムは、アジアで最も被害の少ない「優等生」と言われたが、カンボジアからの不法入国者が持ち込んだ。「在外ベトナム人は帰省するな」と出稼ぎの人々に呼びかけた。
ウイルスの奇種（変異種）で痛手を被ったインドでは、死者が１００万人を超えるのではないかと予測され、中国への怒りが渦巻いている。日本と米国、オーストラリア、インドによる戦略的枠組み「ＱＵＡＤ（クアッド）」を大きく宣伝し、インドは正面から中国に対峙（たいじ）して、「南アジアの覇者は俺だ」と態度で示している。
ミャンマーでも、中国の一帯一路プロジェクトが抗議活動の標的となった。インドネシアは、中国船を砲撃して沈めたり、なかなか挑発的である。インドネシアは、中国が建設する新幹線工事が５年も遅れていることにいらだち、不信感をあらわにした。
顧客満足度を求めた結果が過剰サービスにつながってるんじゃねぇのって話で
そこの線引きに関してもう少し多様な視点が必要なんじゃねぇのってこと。
これまで当然のようにやってきたサービスをコストの問題で取りやめたことなんて腐るほどあるし、
プラトレイ含む個包装や包装状態が変更されていく可能性だって当然ある。
