  |
はてなキーワード: spacesとは
;;; ~/.emacs --- Development settings -*- lexical-binding: t; -*- ;;; Package management (require 'package) ;; Keep the built-in GNU ELPA archive and add NonGNU ELPA and MELPA. (add-to-list 'package-archives '("nongnu" . "https://elpa.nongnu.org/nongnu/") t) (add-to-list 'package-archives '("melpa" . "https://melpa.org/packages/") t) (package-initialize) (defconst my/required-packages '(web-mode js2-mode typescript-mode php-mode cython-mode jinja2-mode cyberpunk-theme) "Packages required by this configuration.") ;; Install only missing packages. A network failure must not prevent Emacs ;; from starting; the failed package is simply reported in *Messages*. (let (missing-packages) (dolist (pkg my/required-packages) (unless (package-installed-p pkg) (push pkg missing-packages))) (when missing-packages (condition-case err (package-refresh-contents) (error (message "Package archive refresh failed: %s" (error-message-string err)))) (dolist (pkg (nreverse missing-packages)) (unless (package-installed-p pkg) (condition-case err (package-install pkg) (error (message "Package installation failed (%s): %s" pkg (error-message-string err)))))))) ;;; Cyberpunk theme (when (package-installed-p 'cyberpunk-theme) (condition-case err (progn ;; A theme is global, so this applies to every major mode. (mapc #'disable-theme custom-enabled-themes) (load-theme 'cyberpunk t)) (error (message "Could not load cyberpunk theme: %s" (error-message-string err))))) ;;; Python and Cython (defun my/call-formatter (program arguments file log-buffer) "Run PROGRAM with ARGUMENTS on FILE, writing output to LOG-BUFFER. Signal an error when the process does not exit successfully." (let ((exit-code (apply #'call-process program nil log-buffer nil (append arguments (list file))))) (unless (and (integerp exit-code) (zerop exit-code)) (error "%s failed with exit code %s; see %s" program exit-code (buffer-name log-buffer))))) (defun my/replace-buffer-from-file (file) "Replace the current buffer contents with FILE." (let ((formatted-buffer (generate-new-buffer " *python-formatted*"))) (unwind-protect (progn (with-current-buffer formatted-buffer (insert-file-contents file)) (if (fboundp 'replace-buffer-contents) (replace-buffer-contents formatted-buffer) ;; Compatibility fallback for older Emacs versions. (let ((old-point (point))) (erase-buffer) (insert-file-contents file) (goto-char (min old-point (point-max)))))) (kill-buffer formatted-buffer)))) (defun my/python-format-buffer () "Format the entire Python/Cython buffer with isort and autopep8. Each formatter is used only when its executable is present in `exec-path'. The autopep8 E501 rule is ignored, so autopep8 does not enforce the 79-character line-length limit. Changes are applied only after every available formatter exits successfully." (interactive) (let ((isort-program (executable-find "isort")) (autopep8-program (executable-find "autopep8"))) ;; Missing commands are deliberately ignored. (when (or isort-program autopep8-program) (save-restriction (widen) (let* ((source-directory (and buffer-file-name (file-name-directory buffer-file-name))) (temporary-file-directory (if (and source-directory (file-writable-p source-directory)) source-directory temporary-file-directory)) (suffix (if (derived-mode-p 'cython-mode) ".pyx" ".py")) (temp-file (make-temp-file "emacs-python-format-" nil suffix)) (log-buffer (get-buffer-create "*Python formatter*")) (coding-system-for-write buffer-file-coding-system) (coding-system-for-read buffer-file-coding-system)) (unwind-protect (progn (with-current-buffer log-buffer (erase-buffer)) (write-region (point-min) (point-max) temp-file nil 'silent) ;; Import sorting first, then PEP 8 whitespace cleanup. (when isort-program (my/call-formatter isort-program '("--quiet") temp-file log-buffer)) (when autopep8-program (my/call-formatter autopep8-program '("--in-place" "--ignore=E501") temp-file log-buffer)) (my/replace-buffer-from-file temp-file) (message "Python formatting completed")) (when (file-exists-p temp-file) (delete-file temp-file)))))))) (defun my/python-editing-setup () "Common setup for Python and Cython buffers." (setq-local indent-tabs-mode nil) (when (boundp 'python-indent-offset) (setq-local python-indent-offset 4)) (local-set-key (kbd "C-c C-r") #'my/python-format-buffer)) (add-hook 'python-mode-hook #'my/python-editing-setup) (add-hook 'python-ts-mode-hook #'my/python-editing-setup) (add-hook 'cython-mode-hook #'my/python-editing-setup) (autoload 'cython-mode "cython-mode" "Major mode for Cython." t) (add-to-list 'auto-mode-alist '("\\.pyx\\'" . cython-mode)) (add-to-list 'auto-mode-alist '("\\.pxd\\'" . cython-mode)) (add-to-list 'auto-mode-alist '("\\.pxi\\'" . cython-mode)) ;;; Web development modes (autoload 'web-mode "web-mode" "Major mode for web templates." t) (autoload 'js2-mode "js2-mode" "Major mode for JavaScript." t) (autoload 'typescript-mode "typescript-mode" "Major mode for TypeScript." t) (autoload 'php-mode "php-mode" "Major mode for PHP." t) (autoload 'jinja2-mode "jinja2-mode" "Major mode for Jinja2 templates." t) ;; Add the generic PHP rule first. More specific *.blade.php and template ;; rules are prepended afterwards and therefore take priority. (add-to-list 'auto-mode-alist '("\\.php\\'" . php-mode)) (add-to-list 'auto-mode-alist '("\\.phtml\\'" . web-mode)) (add-to-list 'auto-mode-alist '("\\.tpl\\.php\\'" . web-mode)) (add-to-list 'auto-mode-alist '("\\.blade\\.php\\'" . web-mode)) (add-to-list 'auto-mode-alist '("\\.html?\\'" . web-mode)) (add-to-list 'auto-mode-alist '("\\.xhtml\\'" . web-mode)) (add-to-list 'auto-mode-alist '("\\.shtml\\'" . web-mode)) (add-to-list 'auto-mode-alist '("\\.css\\'" . css-mode)) (add-to-list 'auto-mode-alist '("\\.scss\\'" . web-mode)) (add-to-list 'auto-mode-alist '("\\.less\\'" . web-mode)) (add-to-list 'auto-mode-alist '("\\.js\\'" . js2-mode)) (add-to-list 'auto-mode-alist '("\\.mjs\\'" . js2-mode)) (add-to-list 'auto-mode-alist '("\\.cjs\\'" . js2-mode)) (add-to-list 'auto-mode-alist '("\\.ts\\'" . typescript-mode)) ;; React: web-mode handles JSX and TSX. (add-to-list 'auto-mode-alist '("\\.jsx\\'" . web-mode)) (add-to-list 'auto-mode-alist '("\\.tsx\\'" . web-mode)) ;; Other common web-template/component files supported by web-mode. (add-to-list 'auto-mode-alist '("\\.vue\\'" . web-mode)) (add-to-list 'auto-mode-alist '("\\.svelte\\'" . web-mode)) (add-to-list 'auto-mode-alist '("\\.twig\\'" . web-mode)) ;; Explicit Jinja2 suffixes. Files such as page.html.j2 are also covered. (add-to-list 'auto-mode-alist '("\\.j2\\'" . jinja2-mode)) (add-to-list 'auto-mode-alist '("\\.jinja\\'" . jinja2-mode)) (add-to-list 'auto-mode-alist '("\\.jinja2\\'" . jinja2-mode)) (with-eval-after-load 'web-mode (add-to-list 'web-mode-engines-alist '("blade" . "\\.blade\\.php\\'")) (add-to-list 'web-mode-content-types-alist '("jsx" . "\\.\\(jsx\\|tsx\\)\\'"))) (defun my/insert-two-spaces () "Insert exactly two spaces." (interactive) (insert " ")) (defun my/web-editing-setup () "Disable automatic indentation and make TAB insert two spaces." (setq-local indent-tabs-mode nil) (setq-local tab-width 2) (setq-local standard-indent 2) (setq-local electric-indent-chars nil) ;; web-mode also has its own auto-indent-on-yank switch, independent of ;; Emacs electric indentation. (when (boundp 'web-mode-enable-auto-indentation) (setq-local web-mode-enable-auto-indentation nil)) ;; Keep any manually invoked indentation command at two spaces, even though ;; TAB itself is deliberately changed into literal space insertion. (dolist (variable '(sgml-basic-offset css-indent-offset js-indent-level js2-basic-offset typescript-indent-level c-basic-offset web-mode-markup-indent-offset web-mode-css-indent-offset web-mode-code-indent-offset web-mode-attr-indent-offset)) (when (boundp variable) (set (make-local-variable variable) 2))) (when (fboundp 'electric-indent-local-mode) (electric-indent-local-mode -1)) (when (fboundp 'electric-layout-local-mode) (electric-layout-local-mode -1)) ;; php-mode is based on CC Mode, which has another independent electric ;; indentation mechanism for characters such as ; and }. (when (derived-mode-p 'php-mode) (when (fboundp 'c-toggle-auto-newline) (c-toggle-auto-newline -1)) (when (fboundp 'c-toggle-electric-state) (c-toggle-electric-state -1))) ;; Prevent mode-specific RET commands from indenting the next line. (local-set-key (kbd "RET") #'newline) (local-set-key (kbd "<return>") #'newline) ;; TAB must insert two literal spaces, not run an indentation command. (local-set-key (kbd "TAB") #'my/insert-two-spaces) (local-set-key (kbd "<tab>") #'my/insert-two-spaces)) (dolist (hook '(web-mode-hook html-mode-hook mhtml-mode-hook css-mode-hook css-ts-mode-hook js-mode-hook js2-mode-hook js-ts-mode-hook typescript-mode-hook typescript-ts-mode-hook tsx-ts-mode-hook php-mode-hook jinja2-mode-hook)) (add-hook hook #'my/web-editing-setup)) ;;; .emacs ends here (custom-set-variables ;; custom-set-variables was added by Custom. ;; If you edit it by hand, you could mess it up, so be careful. ;; Your init file should contain only one such instance. ;; If there is more than one, they won't work right. '(package-selected-packages nil)) (custom-set-faces ;; custom-set-faces was added by Custom. ;; If you edit it by hand, you could mess it up, so be careful. ;; Your init file should contain only one such instance. ;; If there is more than one, they won't work right. )
午前7時。起床。日曜日なので朝食はフレンチトースト、紅茶、ゆで卵。
曜日ごとに朝食を固定している。これは強迫観念ではない。周期境界条件である。
ルームメイトは以前、「日曜日くらい気分で決めればいい」と言った。
気分とは、制御不能な内部自由度に意思決定を委譲することだ。却下した。
今日も one-loop p-adic string theory。
正確には、Schottky uniformization された Bruhat–Tits quotient geometry と Tate elliptic curve 上の arithmetic Green theory、それを thermal p-adic AdS/CFT の holographic dictionary とどう統合するかを考えている。
tree-level p-adic string では、非アルキメデス局所体に付随する Bruhat–Tits tree を worldsheet geometry とみなし、その graph Laplacian と boundary 側の Vladimirov-type pseudo-differential structure を対応させる。
しかし genus one では、単なる regular tree では足りない。rank-one Schottky subgroup で quotient を取り、閉じた geodesic を持つ graph geometry に移行する。
その conformal boundary に現れるのが Tate curve だ。ここから突然、string theory が arithmetic geometry に侵入する。
bulk degrees of freedom を integrate out して induced boundary action を作ると、Tate curve 上に nonlocal pseudo-differential operator が得られる。
その Green kernel が Néron–Tate local height と一致する。
つまり、one-loop p-adic string の propagator と、楕円曲線の arithmetic intersection theory で使われてきた local height が同じ対象になる。
さらに spectral side を見る。
Tate curve 上の induced operator は character decomposition によって diagonalize でき、非自明な spectral gap を持ち、高エネルギー領域では two-dimensional Laplace-type Weyl asymptotics を示す。
ここが重要だ。microscopic geometry は locally finite ultrametric tree である。
smooth Riemann surface ではない。それでも spectrum の漸近構造には二次元 worldsheet の dimensional signature が残る。
つまり continuum worldsheet geometry を捨てたはずなのに、spectral data の中から continuum-like dimensionality が戻ってくる。
finite-temperature quotient を取った non-Archimedean holographic geometry の boundary も Tate curve として理解できる。
そこで boundary primary operator の thermal two-point function を scaling dimension の特殊極限に analytic continuation し、universal divergence を renormalize すると、finite part から再び Néron–Tate local height が現れる。
しかも単に Green function の singularity structure が一致するだけではない。
arithmetic normalization に対応する additive information まで holographic correlator が保持している。
したがって現在、one-loop p-adic string worldsheet、thermal p-adic holography、Tate elliptic curve の arithmetic intersection theoryという三つの領域が、同じ local height data を共有している。
これを理解するには string perturbation theory、non-Archimedean harmonic analysis、rigid analytic geometry、elliptic uniformization、local heights、Bruhat–Tits theory を同時に扱う必要がある。
午後1時。日曜日なので昼食は同じ店の同じ席。隣人が偶然同じ店にいた。
「かわいそう」
午後2時16分。研究再開。
問題は partition function である。固定された Schottky quotient 上で one-loop determinant を計算するだけなら、かなり理解が進んでいる。
しかし quantum gravity と呼びたいなら固定 geometry では不十分だ。
modulus の異なる quotient graph、closed geodesic length の異なる worldsheet、さらにはより一般の Schottky data を持つ non-Archimedean geometry 全体に対して sum over geometries を構成する必要がある。
つまり本当の問題は、どの moduli measure が自然なのかということだ。
ad hoc な measure を導入することは簡単だ。そのあと理由を考えるのも簡単だ。
そしてそれを「第一原理」と呼ぶことすらできる。人類はそういうことを何度もしてきた。僕はしたくない。
さらに genus を上げれば Tate curve ではなく Mumford curve が自然に出てくる。
そうなると rank-one Schottky group の比較的単純な quotient graph では済まず、高 genus Schottky uniformization、skeleton geometry、Berkovich analytic space、tropical degeneration、arithmetic Green function の相互作用を理解しなければならない。
ここで one-loop の local-height correspondence が higher genus でも Arakelov-type data として残るのか。
次は bulk geometry の一般化。
standard p-adic AdS/CFT では PGL(2) の Bruhat–Tits tree を使う。
regular tree なので、vertex valency は一様で、bulk propagator は radial variable だけでかなり整理できる。
そこで SU(3) に由来する biregular Bruhat–Tits geometry を考える。
unramified quadratic extension に付随する building では、二種類の vertex が交互に現れ、bulk は semihomogeneous tree になる。
これにより scalar propagation は単純な radial eigenmode problem ではなくなり、vertex type、parity sector、local branching data が propagator に入る。
さらに boundary three-point function には、三本の geodesic が合流する branching vertex の homogeneity class が残る。
つまり boundary OPE data が bulk sublattice information を完全には忘れない。
これは holography 的にはかなり重要だ。
通常の AdS/CFT では bulk locality が boundary conformal data にどう符号化されるかを議論する。
non-Archimedean holography では、それに加えて local-field arithmetic と building combinatorics が boundary operator algebra にどう埋め込まれるかを問える。
そして OPE structure の中に local zeta data まで出てくる。
ここまで来ると「p-adic AdS/CFT は toy model」という表現はかなり乱暴だ。
toy model にしては、reductive groups over local fields、Bruhat–Tits buildings、representation-theoretic harmonic analysis、local zeta functions、rigid analytic spaces、tensor-network reconstruction、arithmetic geometry が一つの部屋に集まりすぎている。
p-adic CFT の correlator structure は Bruhat–Tits tree 上の tensor network によって再構成できる。
さらに CFT fixed point を deformation すると、tensor data から emergent edge geometry を読み取り、その consistency condition から graph Einstein dynamics に相当する方程式が現れる。
ここが今日の核心。僕が知りたいのは、Schottky quotient sector に現れる arithmetic Green data、Tate/Mumford curve の local height structure、tensor-network sector に現れる emergent graph gravity、biregular building で現れるnonuniform bulk geometryを、一つの non-Archimedean quantum geometry として記述できるかどうかだ。
言い換えれば、現在バラバラに見えるp-adic string perturbation theory、arithmetic intersection theory、discrete holography、tensor-network gravity、Bruhat–Tits building geometryが、実は同一の categorical あるいは spectral-arithmetic structure の異なる realization なのではないか。
ここから先は論文を検索しても答えは出てこない。検索結果が終わるところから研究が始まる。
午後6時12分。隣人が部屋に来た。
モニターを見て言った。
「また木？」
「これは biregular Bruhat–Tits building の rank-one skeleton だ」
「木でしょ」
「君は人体を肉と呼ぶのか？」
「呼ぶことあるよ」
議論を打ち切った。
午後7時。友人Aが来た。
「その p進弦理論って、宇宙がシミュレーションだって証明できる？」
できない。なぜ工学系の人間は高度な数理物理を渡すと、最終的にシミュレーション宇宙かタイムマシンか兵器の三択に収束するのだろう。
友人Bは Mumford curve と Tate curve の違いを聞いてきた。まともな質問だったので23分説明した。18分目から目が死んでいた。
宇宙船がワームホールに入った直後、登場人物が「量子情報だから時空の制約を受けない」と発言。
停止。
ノートを開く。no-signalling、entanglement entropy、causal structure の三点から誤りを整理する。
再生。
今度はブラックホールの event horizon 内部からリアルタイム通信を始めた。
再停止。
https://x.com/ThePosieParker/status/1990283629394821498
@Li_Kotomi
He thinks he passes as a woman 🤣🤣🤣🤣🤣🤣🤮🤮🤮🤮🤮🤮🤮 he’s actually suing
@WomenReadWomen
Stay out of women only spaces
これは @Li_Kotomi。
彼は自分のことを女性に見えると思っているらしい🤣🤣🤣🤣🤣🤣🤮🤮🤮🤮🤮🤮🤮
そして @WomenReadWomen が「彼は男性だ」と言ったことに対して訴えている最中。
誰も彼のことを女性だなんて思っていない。
数学の最も抽象的な核心は、structured homotopy typesをファンクターとして扱い、それらの相互作用＝dualities・correspondencesで世界を説明することに集約できる。
ここでいう構造とは、単に集合上の追加情報ではなく、加法や乗法のような代数的構造、位相的・解析的な滑らかさ、そしてさらにsheafやstackとしての振る舞いまで含む。
現代の主要な発展は、これらを有限次元的な点や空間として扱うのをやめ、∞-categoricalな言葉でfunctorial worldに持ち込んだ点にある。
Jacob Lurie の Higher Topos Theory / Spectral Algebraic Geometry が示すのは、空間・代数・解析・同値を一つの∞-topos的な舞台で同時に扱う方法論。
これにより空間＝式や対象＝表現といった古典的二分法が溶け、全てが層化され、higher stacksとして統一的に振る舞う。
この舞台で出現するもう一つの中心的構造がcondensed mathematicsとliquid的手法だ。
従来、解析的対象（位相群や関数空間）は代数的手法と混ぜると不整合を起こしやすかったが、Clausen–Scholze の condensed approach は、位相情報を condensed なファンクターとしてエンコードし、代数的操作とホモトピー的操作を同時に行える共通語彙を与えた。
結果として、従来別々に扱われてきた解析的現象と算術的現象が同じ圏論的言語で扱えるようになり、解析的/p-adic/複素解析的直観が一つの大きな圏で共存する。
これがPrismaticやPerfectoidの諸成果と接続することで、局所的・積分的なp-adic現象を世界規模で扱う新しいコホモロジーとして立ち上がる。
Prismatic cohomology はその典型例で、p-adic領域におけるintegralな共変的情報をprismという新しい座標系で表し、既存の多様なp-adic cohomology 理論を統一・精緻化する。
ここで重要なのはfieldや曲線そのものが、異なるdeformation parameters（例えばqやpに対応するプリズム）を通じて連続的に変化するファミリーとして扱える点である。
言い換えれば、代数的・表現論的対象の同型や対応が、もはや単一の写像ではなく、プリズム上のファミリー＝自然変換として現れる。
これがSpectral Algebraic Geometryや∞-categorical手法と噛み合うことで、従来の局所解析と大域的整数論が同一の高次構造として接続される。
Langlands 型の双対性は、こうした統一的舞台で根本的に再解釈される。
古典的にはautomorphicとGaloisの対応だったが、現代的視点では両者はそれぞれcategoriesであり、対応＝functorial equivalence はこれら圏の間の高度に構造化された対応（categorical/derived equivalence）として現れる。
さらに、Fargues–Fontaine 曲線やそれに基づくlocal geometrization の進展は、数論的Galoisデータを幾何的な点として再具現化し、Langlands 対応をモジュールcategorical matchingとして見る道を拓いた。
結果として、Langlands はもはや個別の同型写像の集合ではなく、duality of categoriesというより抽象的で強力な命題に昇格した。
この全体像の論理的一貫性を保つ鍵はcohesion と descent の二つの原理。
cohesion は対象が局所的情報からどのようにくっつくかを支配し、descent は高次層化したデータがどの条件で下から上へ再構成されるかを規定する。
∞-topos と condensed/lquid の枠組みは、cohesion を定式化する最適解であり、prismatic や spectral 構成は descent を極めて精密に実行するための算術的・ホモトピー的ツール群を与える。
これらを背景にして、TQFT/Factorization Homology 的な視点（場の理論の言語を借りた圏論的局所→大域の解析）を導入すると、純粋な数論的現象も場の理論的なファンクターとして扱えるようになる。
つまり数学的対象が物理の場の理論のように振る舞い、双対性や余代数的操作が自然に現れる。
ここで超最新の価値ある進展を一言で述べると、次のようになる。
従来バラバラに存在した「解析」「位相」「代数」「表現論」「算術」の言語が、∞-categorical な場の上で一つに融解し、しかもその結合部（condensed + prismatic + spectral）の中で新しい不変量と双対性が計算可能になった、ということだ。
具体例としては、prismatic cohomology による integral p-adic invariants の導出、condensed approach による関数空間の代数化、そして Fargues–Fontaine 曲線を介した局所–大域のgeometrization が、categorical Langlands の実現可能性をこれまでより遥かに強く支持している点が挙げられる。
これらは単なる技法の集積ではなく、「数学的対象を高次圏として扱う」という一つの理念の具体化であり、今後の発展は新しい種の reciprocity lawsを生むだろう。
もしこの地図を一行で表現するならばこうなる。数学の最深部は∞-categories上のcohesiveなfunctorialityの理論であり、そこでは解析も代数も数論も場の理論も同じ言語で表現され、prismatic・condensed・spectral といった新しい道具がその言語を実際に計算可能にしている。
専門家しか知らない細部（例えばprismの技術的挙動、liquid vector spaces の精密条件、Fargues–Fontaine上のsheaves のcategorical特性）、これらを統合することが今の最も抽象的かつ最有望な潮流である。
まず一言でまとめると、場の論理と幾何の高次的融合が進んでおり、境界の再定義、重力的整合性の算術的制約（swampland 系）、散乱振幅の解析的・代数的構造という三つの潮流が互いに反響しあっている、というのが現在の最前線の構図。
現在の進行は低次元の代数的不変量（モチーフ、モジュラーデータ）＋∞-圏的対称性＋コバーティズム的整合性という三つ組が、量子重力理論（および弦理論）が満たすべき基本的公理になりつつあることを示す。
これらは従来の場の理論が与えてきた有限生成的対象ではなく、ホモトピー型の不変量と算術的整合性を前提にした新しい分類論を必要とする。
dorawii represents a case of unprocessed grief over lost grandiosity (from psychotic episode) manifesting as compulsive boundary-testing and argument-seeking, where genuine neurological limitations are weaponized defensively to avoid confronting existential ordinariness, sustained by platform affordances that enable persistent identity within anonymity and rewarding provocative engagement.
A person who briefly experienced feeling god-like through psychosis, recovered to find themselves merely disabled and ordinary, and cannot bear this truth. They use real limitations as both explanation and shield, seek significance through online conflict, and remain trapped in a cycle where the behaviors meant to prove their worth actually demonstrate their difficulties - but acknowledging this would require grieving what was lost, which remains unbearable.
This reveals how recovery from severe mental illness isn't just about symptom remission - it's about psychological integration of what was experienced and what was lost. Medical model focuses on eliminating psychosis, but doesn't address the meaning-crisis created when extraordinary experiences are taken away and ordinary limitation remains.
It also shows how online spaces with ambiguous accountability structures can enable acting-out that serves defensive purposes while feeling like genuine engagement. The person suffering most is probably dorawii themselves, even as their behavior drives others away.
The most sophisticated theoretical vocabulary, the most detailed self-disclosure, the most elaborate arguments - none of it addresses the core issue. All of it is displacement. The real conversation dorawii needs to have is not with anonymous strangers about who won an argument. It's an internal conversation: "I am not who I was during that brief, terrible, extraordinary episode. I am ordinary, limited, and mortal. And somehow, that has to be enough."
Until that conversation can happen, everything else is noise.
https://x.com/jk_rowling/status/1909662082531787064
Men who choose to publicly ridicule the idea that there's any harm in women being forced to compete against men, or being imprisoned with males, or losing single-sex spaces, have ripped their credibility to shreds. If they'll lie about this, they'll lie about absolutely anything.
女性が男性と格闘することを強制されたり、男性と一緒に監禁されたり、男女別空間を失ったりすることに何らかの害があるという考えを公然と嘲笑する男性は、自分たちの信用をずたずたに引き裂いてしまった。この件で嘘をつくなら、絶対に何についても嘘をつくだろう。
”⼆年少々前に、イギリス政府はアダム・スミス・コナーを起訴しました。”
ちなみに22年前のunborn son.を「生まれぬ息子」と訳すのはいかがなものか。
英国の退役軍人であるアダム・スミスコナー氏（51歳）は、2022年11月、イングランド南部ボーンマスの中絶クリニック近くで数分間黙祷を捧げた際、公共空間保護命令（ Public Spaces Protection Order PSPO）に違反したとして起訴されました。
ttps://adfinternational.org/en-gb/news/guilty-army-vet-convicted-for-praying-silently-near-abortion-facility
このPSPOは、2022年10月にボーンマス・クライストチャーチ・プール（BCP）評議会によって導入され、中絶サービスに関連する問題について、抗議や賛否の表明を禁止するものでした。”
PSPOの全文はこちら ttps://www.bcpcouncil.gov.uk/Assets/Crime-safety-and-emergencies/PSPOs/Ophir-Road-and-surrounding-area-Public-Spaces-Protection-Order-PSPO.pdf
スミスコナー氏は、22年前に自身が関与した中絶で失った息子のために祈っていたと述べています。
ttps://www.standard.co.uk/news/crime/bournemouth-christchurch-uk-parliament-army-british-b1188699.html
ttps://www.independent.co.uk/news/uk/crime/christian-bournemouth-christchurch-uk-parliament-army-b2631603.html
2024年10月16日、プール治安判事裁判所は彼に有罪判決を下し、執行猶予付きの判決と9,000ポンド（約170万円）の裁判費用の支払いを命じました。
クリスチャントゥデイ（日本）2024年10月23日
”スミスコナーさんを弁護したキリスト教法曹団体「ＡＤＦインターナショナル」英国支部（英語）のジェレマイア・イグヌボル上級法律顧問は、「非常に大きな影響を持つ法的転換点」だとして、次のように述べた。
「今日、ある男性が有罪判決を受けましたが、それはイングランドの公の通りで彼が考えたこと、つまり神への祈りの内容を理由としたものでした。言論や思想の自由という基本的自由をないがしろにするという点において、英国はこれ以上ないほど落ちぶれてしまいました。私たちは判決をよく検討し、控訴するかどうかを検討しています。人権は全ての人に与えられているものであり、中絶に対する考え方とは関係ありません」”
”Human rights are for all people – no matter their view on abortion.”
じゃあタイムズ読む？
Sir Keir Starmer has said that “a woman is an adult female” as he hardened his stance on gender.
The Labour leader insisted that biological women needed single-sex spaces and ruled out introducing self-identification for changing gender.
キアー・スターマー首相は、「女性とは成人の身体女性のことである」と述べ、生物学的な女性には男女別のスペースが必要だと主張し、性別を変更するための自認の導入を否定した。
はじめに断っておくが、私はトランス女性への差別はあってはならないと思っている。
Rape crisis centre failed to protect women-only spaces（https://www.bbc.com/news/articles/clynyky7kj9o）
英語記事をブックマークしてもスターは集まらない、それ以前に３ブクマが集まらず新着に乗らないだろうから、日本語で解説する。
英エジンバラの「レイプ被害者緊急避難センター」が、国のサービス基準に不適格であるとして、レイプ被害者に案内される施設リストから除外された。
経緯はこうだ。
国の多様性促進政策を反映し、スコットランドのレイプ・クライシス・ネットワークは「トランスジェンダーを活用すべし」という方針を出している。
そのような動きの中で、2021年にエジンバラ・レイプ被害者緊急避難センター（以下ERCC）のCEOとしてトランス女性が着任した。
彼女はLGBT職員を積極採用し、その中に「ノンバイナリー」（男でも女でもないという性自認を持つ）の職員がいた。
ある日、ERCCに駆け込んだきたレイプ被害者が「女性職員に担当されたい」と希望を述べた。
希望を聞いたERCCの女性職員は、当該被害者を担当する予定だったノンバイナリー職員に「あなたは女性か？」と問うた。
ノンバイナリー職員は「自分は男でも女でもない」と応える。女性職員は「いや実際はどっちなんだ」と更に聞く。
このやりとりをみたトランスジェンダーCEOが、その女性職員を懲戒手続きにかけ、クビにした。
もともと当該女性職員をトランスフォビア（トランス嫌い）だと思って毛嫌いしていたらしい。
これが不当だと裁判になり、CEOは負けて辞任に追い込まれた。
弱者とされてきた人々が、弱者マインドのままで権力を持ってしまった事例だと思う。
本件で一番迷惑を被っているのは、緊急避難先を失ったレイプ被害者と、他のトランスジェンダー及びノンバイナリーの人々だろう。
トランスびいきの私でも、このニュースを読んだときは「この施設でトランスやノンバイナリーの性自認を受け入れるのは難しいだろう」と思ってしまった。
レイプ緊急避難センターが「シス女性に限る」「性別は明確に」と言い出したら、医療機関も、介護施設も、はたまた衣料品店も追随するかもしれない。
トランス女性はシス女性にとって有害なのだろうか。有害な場面があったとして、それは彼らの排除を正当化するほどのものなのだろうか。
Sir Keir Starmer has said that “a woman is an adult female” as he hardened his stance on gender.
The Labour leader insisted that biological women needed single-sex spaces and ruled out introducing self-identification for changing gender.
キアー・スターマー首相は、「女性とは成人の身体女性のことである」と述べ、生物学的な女性には男女別のスペースが必要だと主張し、性別を変更するための自認の導入を否定した。
まったく正しいよ
Sir Keir Starmer has said that “a woman is an adult female” as he hardened his stance on gender.
The Labour leader insisted that biological women needed single-sex spaces and ruled out introducing self-identification for changing gender.
In an interview with The Times, Sir Keir was presented with a question posed by author JK Rowling on whether people who are born male and have gone through a legal transition process should be able to use female-only spaces.
Writing on X, formerly Twitter, the Harry Potter author, who has said she would “struggle to support” Labour if he does not change his stance on trans rights, asked: “Do biological males with gender recognition certificates have the right to enter women-only spaces? It’s a simple yes/no question.”
In response, Sir Keir said: “No. They don’t have that right. They shouldn’t. That’s why I’ve always said biological women’s spaces need to be protected.”
タイムズのインタビューで、スターマー氏は、J.K.ローリングによって提起された、男性として生まれ、法的な性別移行プロセスを経た人が女性専用のスペースを使用できるべきかどうかという質問を受けました。
「X」（旧Twitter）で、「ハリー・ポッター」シリーズの著者であり、もしスターマー氏がトランスジェンダーの権利に関する立場を変えなければ「労働党を支持するのに苦労する」と述べているローリングは、「性別認識証明書を持つ生物学的男性には、女性専用スペースに入る権利があるのか？これは単純なイエス／ノーの質問です」と問いかけました。
これに対し、スターマー氏は「いいえ、その権利はありません。あるべきではありません。だからこそ、私は常に生物学的女性のスペースを保護する必要があると言ってきました」と答えました。
当り前だけど、トランス女性は身体男性だというのは事実であって侮辱ではないんだよね。
Sir Keir Starmer has said that “a woman is an adult female” as he hardened his stance on gender.
The Labour leader insisted that biological women needed single-sex spaces and ruled out introducing self-identification for changing gender.
フランスみたいにトランスアライすると負け、イギリスみたいにきちんとトランス批判するなら勝つんよ
Sir Keir Starmer has said that “a woman is an adult female” as he hardened his stance on gender.
The Labour leader insisted that biological women needed single-sex spaces and ruled out introducing self-identification for changing gender.
Sir Keir Starmer has said that “a woman is an adult female” as he hardened his stance on gender.
The Labour leader insisted that biological women needed single-sex spaces and ruled out introducing self-identification for changing gender.
キアー・スターマー党首は、「女性とは成人の身体女性のことである」と述べ、ジェンダーに対する姿勢を硬化させた。
労働党党首は、生物学的な女性には男女別のスペースが必要だと主張し、性別を変更するための自認の導入を否定した。
https://www.editage.jp/insights/when-to-use-woman-and-female-in-scientific-writing
生物学的相違に関わる場合か、生物学的相違が保護される必要がある場合だけ、female を使います。
たとえば、"in female secondary sexual characteristics"（女性における第二次性徴）、"female preferences that govern the choice of a mate"（配偶者の選択を支配する、女性側の好み）、 "calories required by nursing females"（授乳中の女性が必要とするカロリー）のように使います。
Sir Keir Starmer has said that “a woman is an adult female” as he hardened his stance on gender.
The Labour leader insisted that biological women needed single-sex spaces and ruled out introducing self-identification for changing gender.
キアー・スターマー党首は、「女性とは身体女性のことである」と述べ、ジェンダーに対する姿勢を硬化させた。
Sir Keir Starmer has said that “a woman is an adult female” as he hardened his stance on gender.
The Labour leader insisted that biological women needed single-sex spaces and ruled out introducing self-identification for changing gender.
イギリスもそうやで
Sir Keir Starmer has said that “a woman is an adult female” as he hardened his stance on gender.
The Labour leader insisted that biological women needed single-sex spaces and ruled out introducing self-identification for changing gender.
ところが世界ではすでに女性専用スペース保護に移行してるんだよね
Sir Keir Starmer has said that “a woman is an adult female” as he hardened his stance on gender.
The Labour leader insisted that biological women needed single-sex spaces and ruled out introducing self-identification for changing gender.
ところが欧米のリベラルはすでに女性専用スペース保護に移行してるんだよね
Sir Keir Starmer has said that “a woman is an adult female” as he hardened his stance on gender.
The Labour leader insisted that biological women needed single-sex spaces and ruled out introducing self-identification for changing gender.
ありり？
https://womansplaceuk.org/2023/06/26/european-network-of-migrant-women-publish-open-letter/
”It’s findings and recommendations are in line with Reem’s evidence, specifically in relation to the need for single-sex spaces and are a vindication of her submitted expert evidence.”
Sir Keir Starmer has said that “a woman is an adult female” as he hardened his stance on gender.
The Labour leader insisted that biological women needed single-sex spaces and ruled out introducing self-identification for changing gender.
Sir Keir Starmer has said that “a woman is an adult female” as he hardened his stance on gender.
The Labour leader insisted that biological women needed single-sex spaces and ruled out introducing self-identification for changing gender.
