  |
はてなキーワード:強制法とは
フェミニズムの分類が多すぎると聞いて
記述集合論（Borel階層, Projective階層, 汎加法族）
モデル理論（型空間, o-極小, NIP, ステーブル理論）
再帰理論/計算可能性（チューリング度, 0′, 相対計算可能性）
構成主義,直観主義,ユニバース問題,ホモトピー型理論（HoTT）
体論・ガロア理論
表現論
K-理論
初等数論（合同, 既約性判定,二次剰余）
解析数論（ゼータ/ L-関数,素数定理,サークル法, 篩法）
p進数論（p進解析, Iwasawa理論, Hodge–Tate）
超越論（リンドマン–ヴァイエルシュトラス, ベーカー理論）
実解析
多変数（Hartogs現象, 凸性, severalcomplex variables）
関数解析
バナッハ/ヒルベルト空間,スペクトル理論, C*代数, von Neumann代数
フーリエ解析,Littlewood–Paley理論, 擬微分作用素
確率解析
常微分方程式（ODE）
偏微分方程式（PDE）
非線形PDE（Navier–Stokes, NLS, KdV, Allen–Cahn）
幾何解析
リッチ流, 平均曲率流,ヤン–ミルズ,モノポール・インスタントン
エルゴード理論（Birkhoff, Pesin）,カオス, シンボリック力学
点集合位相,ホモトピー・ホモロジー, 基本群,スペクトル系列
4次元トポロジー（Donaldson/Seiberg–Witten理論）
複素/ケーラー幾何（Calabi–Yau, Hodge理論）
スキーム, 層・層係数コホモロジー, 変形理論, モジュライ空間
多面体, Helly/Carathéodory,幾何的極値問題
ランダムグラフ/確率的方法（Erdős–Rényi, nibble法）
加法的組合せ論（Freiman, サムセット, Gowersノルム）
彩色,マッチング,マイナー理論（Robertson–Seymour）
列・順序・格子（部分順序集合, モビウス反転）
測度確率, 極限定理, Lévy過程, Markov過程, 大偏差
統計学
ノンパラメトリック（カーネル法, スプライン,ブーストラップ）
時系列（ARIMA,状態空間, Kalman/粒子フィルタ）
非凸最適化
離散最適化
整数計画,ネットワークフロー, マトロイド, 近似アルゴリズム
Littleの法則, 重み付き遅延, M/M/1, Jackson網
エントロピー,符号化（誤り訂正, LDPC,Polar）, レート歪み
公開鍵（RSA,楕円曲線, LWE/格子）,証明可能安全性,MPC/ゼロ知識
計算複雑性
機械学習の数理
量子場の数理
相転移, くりこみ, Ising/Potts, 大偏差
数理生物学
数理神経科学
データ解析
税金だけでなく、社会保障費や民間による強制徴収も含む。むしろこれらのほうが「税」というラベルから逃れているので、「天才的」と呼ぶのにふさわしいかもしれない。
他になんかある？
算数障害とかどうでもいいよ。変数障害の数学的概念の理解に致命的に影響するから重要だよ。
ようは方程式が登場してからつまづくってパターンだとこの変数障害にあてはってる可能性が出てくる。
この障害だと数字同士の具体的計算じゃなくて変数になった途端に自分が何をやっているのか雲をつかむような感覚になるんだよ。
変数による一般化された証明なんてマジで意味不明。多変数になってくると変数同士がどのような関係で動くのか全然頭の中で追えなくなって証明も理解できなくなる。
とはいえこの障害も結局は相対的なものかもしれないね。だいたいの人間はコーエンの強制法を見ても変数に関する条件文が多すぎてなにがなんだかイメージできない。
-----BEGINPGP SIGNEDMESSAGE-----Hash: SHA512https://anond.hatelabo.jp/20250730182502# -----BEGINPGP SIGNATURE-----iHUEARYKAB0WIQTEe8eLwpVRSViDKR5wMdsubs4+SAUCaInk7wAKCRBwMdsubs4+SGaKAP4w9SVXdtbSThJgHoxyylIjMZoDsYjD1ViiD5QwmXtIHgEA0fNMIxW0qxXPGYTe06bbeh8aRyPBB0DaTIDjV1OqwQM==V3UF-----ENDPGP SIGNATURE-----
俺はね、やっぱり哲学も純粋数学も役に立たねぇなって思っちまうんだよな。
だが、その瞬間、パラドクスに陥る。この思考自体が哲学的命題であり、その論理構造は数学的基盤に依拠している。
クソッ、頭の中で超弦理論とカラビ・ヤウ多様体が交錯し始めやがった。
11次元の時空間で、プランク長のスケールでの量子重力効果を考慮すると、存在そのものが確率的な様相を呈し、ハイゼンベルクの不確定性原理が存在論にまで拡張される。
昨日なんざ、スーパーでリンゴ買ってて、突如としてペアノの公理系からZFC集合論に至る数学基礎論の系譜が脳裏に浮かんだ。
そして、ゲーデルの不完全性定理とコーエンの強制法を経て、continuum hypothesisの独立性にまで思考が飛躍。
これって、日常的現実と数学的抽象の境界の曖昧さを示唆してんじゃねぇのか？
帰り道、ガキどもがニーチェの永劫回帰について議論してんの聞こえてきて、思わず「お前ら、ウィトゲンシュタインの『論理哲学論考』読んだか？言語の限界が世界の限界だぞ！」って叫んじまった。
だが同時に、後期ウィトゲンシュタインの言語ゲーム理論も考慮に入れねぇとな。
あぁ、またフッサールの現象学的還元とハイデガーの存在論的差異の狭間で思考が揺れ動いてきやがる。
哲学者どもは、こんな認識論的アポリアの中でメシ食ってんのか。
数学者連中だって、ラングランズ・プログラムの壮大な構想の中で、数論幾何と保型形式の深遠な関係に魅了されてるんだろうな。
正直、俺もそんな純粋知性の探求に身を捧げられる連中が羨ましい。
日々の下らねぇ現実に囚われてりゃ、位相幾何学におけるポアンカレ予想の証明やら、P≠NP問題の解決なんて夢のまた夢だからよ。
ったく、人生ってのは、まるでリーマンゼータ関数の非自明な零点の分布みてぇだな。
複雑で、規則性を秘めてそうで捉えどころがねぇ。
でも、その美しさと深遠さに魅了されずにはいられねぇ。
くそっ、また「PrincipiaMathematica」と「存在と時間」を同時に読み返したくなってきやがった。
１６日に成立した女性の政界進出を後押しする推進法だけど、はっきり言ってザル法というか意味のない法律になると思う。
政党や政治団体に努力義務を課すだけで、罰則規定のある強制法になっていないという批判もあるけど、それ以前の問題として、政治家になりたい女自体が少ない。
恋愛や結婚をあきらめることが出来るような女でしか、積極的に政治家になりたいと思わないのではないのか。
そもそも日本の国会にいる女性政治家を見ていても、芸能人出身だったり世襲だったり、まともな政治家が少ない。
