知の欺瞞 アンチパターン 集合や命題と 0/1 の混同

型をそろえた書き換え（パターン2：集合や命題と 0/1 の混同）

1. まず型をはっきり分ける

「命題そのもの」「真偽の値」「0/1 実数」「あいまいな程度」を混ぜないように、 それぞれ別の集合として定義します。

• 命題の集合： P = { p, q, r, ... }
• 真偽値の集合： B = { ⊥, ⊤ } （⊥ = 偽, ⊤ = 真）
• 真理値関数（論理の評価）： v : P to B （各命題に真または偽を対応させる）
• 0/1 実数への埋め込み： e : B to {0,1}、 e(⊥) = 0、 e(⊤) = 1

ここで初めて、「命題 p の 0/1 表現」として x = e(v(p)) と書くことができます。 p 自体は数ではなく、x だけが 0/1 の実数です。

2. 論理演算と実数演算をつなぐ

ブール代数側の演算（∧, ∨, ¬）と、 実数側の演算（掛け算や 1 − x）を、対応づけておきます。

• 命題の論理積： p ∧ q
• その真理値： v(p ∧ q)
• 0/1 実数としての像： e(v(p ∧ q))

適切な同型をとると、 e(v(p ∧ q)) = e(v(p)) × e(v(q)) のように、 論理積が実数乗算に対応することがあります。 重要なのは、 「∧」と「×」は別物であり、 e と v を通して対応づけられていることを明示することです。 p に直接 × を掛けない、というのがポイントです。

3. 「程度」や「あいまいさ」を入れたい場合

「半分真」「0.7 くらい真」などの程度を扱いたいなら、 さらに別の写像を用意します。

• 程度（グレード）を表す実数： [0,1]
• 命題から程度への写像： μ : P to [0,1] （確率やメンバーシップ度など）

例えば μ(p) = 0.7, μ(q) = 0.5 として、 あいまい論理の規則に従い μ(p ∧ q) = min(μ(p), μ(q)) や μ(p ∧ q) = μ(p) × μ(q) などのルールを先に決めることができます。 ここでも、 命題 p, q と 0.7, 0.5 は別物であり、 μ を通じて結びついているという構造を崩さないことが大事です。

4. アンチパターンとの対比

クリステヴァ型の誤用では、

• p, q を「命題」と呼びながら、途中で勝手に 0.3 や 0.8 のような実数として扱う
• p &land; q と p × q を区別しないまま計算する
• 再び p を「テクスト」や「主体」として読み直し、数か論理かが曖昧になる

これに対して上の書き換えでは、 P（命題）, B（真偽）, {0,1}, [0,1], v, e, μ を別々に定義し、 どの記号がどの世界に属しているかを固定しています。 こうしておけば、 「命題なのに 0 や 1 と同じように足したり掛けたりしている」 型のバグを、型レベルで防ぐことができます。

知の欺瞞 アンチパターン ラカン Sの型不一致

型をそろえた書き換え（数式バージョン）

1. まず型を決める

言語学的な対象と数学的な対象をきちんと分けて定義します。

• 記号の集合： Σ = { 言語的な能記 }
• 意味の集合： M = { 意味内容や命題 }
• 能記から意味への写像（意味作用）： f : Σ → M

ある能記 S ∈ Σ に対して、 その意味 s を s = f(S) と書きます。 これで「S に対応する意味 s」が型付きで表現できます。

2. S が意味に作用する構造として書く

ラカンがやりたかったのは「能記 S が意味 s に作用して別の意味を生む」という構造だと解釈できます。

• 意味空間上の作用： T_S : M → M
• ある意味 s ∈ M に対して、 s' = T_S(s)

例えば「意味が変形されない状況」は T_S(s) = s、 「意味が反転するモデル」を入れたいなら あらかじめ M をベクトル空間に埋め込み、 反転を T_S(s) = -s のように定義します。

3. どうしても √−1（虚数 i）を使いたい場合

「ある意味が虚数 i に対応する」と言いたいなら、 直接 s = i と書かず、別の写像でつなぎます。

• 意味から複素数への埋め込み： g : M → ℂ （ℂ は複素数全体の集合）

ある意味 s₀ ∈ M に対して g(s₀) = i と定めれば、 「意味 s₀ を複素平面に写したとき、その像が i になる」 という関係を持たせることができます。 ここで重要なのは、 s₀ 自体と i は別物であり、 写像 g を通じて対応づけられているという点です。

4. まとめ

ラカンの元の書き方では、 S や s の型が曖昧なまま 1/s や s² が計算されていました。 上のように Σ（能記）, M（意味）, f, T_S, g を明示すれば、 やりたかった「能記と意味の対応」「意味への作用」「虚数との対応」を すべて型付きの計算手続きとして書き直すことができます。

横溝正史について、チャットできたらと思いますー

 テ）横溝正史について、チャットできたらと思いますー

北村

ありがとうございます

テ）読んでる人と、まだ読んだことない人向けで

テ）北村さんから横溝正史が好きだと聞いて、1冊読んでみて、それから人魚を読むと、結構影響を受けたんだなと思って

テ）そのあたりをお聞かせいただけたらと思います

北村

わかりました。お願いいたします

北村

もともと、テレビシリーズから入った口ですけども、高校の時に学校の図書室に置いてあった『髑髏検校』という小説を手に取ってしまって読んだのがきっかけだったと思います。

テ）おお、検校ってのは、あの琴をひくひとの称号ですよね？

北村

検校の意味は、お恥ずかしいことに意味を知らなかったのですが、このお話は江戸時代に起こった吸血鬼の騒動というお話でした。→その正体は九州のあの人という設定

北村

実は元祖『魔界転生』のお話でして。

テ）盲目の人が琴を生業とするんですが、その称号が検校ですね。そういう人が出てくる話ですか？

北村

今となっては人物設定までは覚えていないのですが、この『検校』として立ち回っている人物が実はキリスト教のつながりの吸血鬼というお話です。

テ）へー、なんかモダンかつ日本風で、おもしろそうな設定ですね！

テ）

北村さんにとっての横溝正史の魅力みたいな所をお聞かせください！

北村

まず、戦前から戦後までを駆け抜けた作家さん、ということもあり古びれた家の陰を描いていたかと思えば、都会の団地の影を描いていたりする（『白と黒』）

北村

あとは独特の言葉遣いといったところでしょうか。男女の縮められない距離感（といっても男の側が、なんですが）もちょっと共感できたりします。

北村

でも、やっぱり横溝正史の原型みたいなところは短編に描かれている幻想性のようなところにあると思います。『かいやぐら物語』

テ）言葉遣いのあたりは北村さんの「人魚」でも楽しんでもらえそうですね。横溝正史の近い世代で、似たアプローチの作家としては江戸川乱歩がいると思いますが、北村さんは江戸川乱歩も好きだったりしますか？

北村

昔は読み始めていました→乱歩　これから読んでみたいと思っています。

北村

どっちかというと推理小説ではない短編とかあったら入手して読んでみたいですね。

テ）なるほど、横溝正史は我々世代だと角川映画とか、金田一シリーズがやはり有名ですね。金田一シリーズでオススメや影響を受けた作品はありますでしょうか？

北村

金田一シリーズを読むとしたらなんといっても『夜歩く』です。→金田一耕助が出てくるのは最後の4分の1なのですが

北村

『悪魔の手毬歌』もプロット的には似たようなところがありますが。スケールが大きいですね。

テ）

なんか、狂言回し的に主人公が出てくる系ですかね。ルパン三世の最終回とかも、最後まで出てこないみたいな展開でしたね。

北村

あれは衝撃的でしたけれど、登場の意味合いは近いような気がします→ルパンの最終回

テ）最後に、初めて読む人用に横溝正史ブックガイドいれたいので、他にも横溝正史でオススメがあれば、タイトルだけでいいので、ぜひ教えてください！！

初期の横溝の世界の『恐ろしきエイプリルフール』『空蝉処女』金田一耕助の敗北ともとれる後味の悪い『仮面舞踏会』あなたの知っている横溝正史でない横溝の世界をどうぞ！

北村

もちろん『悪魔が来りて笛を吹く』『悪魔の手毬唄』『犬神家の一族』『本陣殺人事件』と、いっぱいありすぎておススメにリンダこまっちゃう

テ）お茶目にありがとうございます！いただいた本をしらべてみますね！！本日はありがとうございました！当日↑をフリーペーパーにして配りマース

北村

はい！ありがとうございました！

 

北村さんおすすめの横溝正史ブックガイドはこちら！↓

 

https://note.com/rodz/n/n9bb629b35137

 

オートマトンの歴史

 

時期	系統・代表例	概要（約200字）
1940–60年代	ノイマン型自己複製オートマトン	ジョン・フォン・ノイマンとウラムが提案。生命の自己増殖を形式的に再現する試みで、後の人工生命研究の源流。複雑なルールで自己複製構造を生成し、情報と形の自己維持を数理的に示した。後にコッドが簡略モデルを開発。
1960年代	L-system（リンダンメイヤー）	植物の成長過程を記号列として再帰的に記述する文法モデル。枝分かれや葉の配置などを規則で生成でき、フラクタル幾何やCG植物モデルの基礎となる。ライフゲーム以前に形態生成オートマトンとして影響大。
1970年代	コンウェイのライフゲーム	グリッド上のセルが誕生・生存・死の簡単なルールで進化。自己組織的に複雑なパターンが生まれ、計算能力も持つ。メディアで広まり、一般に「オートマトン＝ライフ」という認識を定着させた。
1980年代	ウォルフラムの一次元CA／ラングトンのループ	ウォルフラムはRule 30やRule 110で秩序と混沌の境界を分類。ラングトンは自己複製ループを開発し、単純ルールから生命的構造が生まれることを実証。可逆CAや格子ガスも物理モデリングに発展。
1990年代	発火型・可逆・物理系CA	Brian’s Brain、Cyclic CA、Greenberg–Hastingsなど発火と拡散のリズムを再現。トッフォリ＝マルゴラスの可逆CAや格子ボルツマン法は流体・熱伝導を近似し、物理シミュレーションや材料科学に応用。
2010年代以降	SmoothLife／Lenia／Neural CA	SmoothLifeやLeniaは連続空間で擬生命パターンを生成。Neural CAはニューラルネットでルールを学び、形態形成や自己修復を実現。近年は学習とオートマトンの融合で「進化するルール系」へ展開。

The History of Automata

 

Era	System / Example	Summary (≈200 characters each)
1940s–1960s	Von Neumann Self-Replicating Automaton	Proposed by John von Neumann and Ulam, it modeled self-reproduction in formal logic. This became the foundation of artificial life, showing how information and structure can replicate through rule-based construction. Later simplified by Codd.
1960s	L-system (Lindenmayer System)	A grammatical model expressing plant growth as recursive symbol rewriting. It generates branching and leaf structures via simple rules, forming the basis of fractal geometry and procedural modeling—an early form of morphological automaton.
1970s	Conway’s Game of Life	A grid-based system where simple birth/survival/death rules yield complex emergent patterns. Demonstrated how simple local rules create global order and even universal computation. It popularized “cellular automata” worldwide.
1980s	Wolfram’s 1D CA / Langton’s Loop	Wolfram classified CA behaviors (Rules 30 & 110) and explored order-chaos boundaries. Langton’s self-replicating loop showed lifelike growth from minimal rules. Reversible CA and lattice-gas models extended automata to physical simulation.
1990s	Excitable, Reversible & Physical CA	Systems like Brian’s Brain, Cyclic CA, and Greenberg–Hastings reproduced excitation and wave propagation. Toffoli–Margolus reversible CA and lattice-Boltzmann methods modeled fluids and heat, influencing physics and materials science.
2010s–present	SmoothLife / Lenia / Neural CA	SmoothLife and Lenia introduced continuous-space life-like forms. Neural CA learned their own rules via neural networks, enabling self-repair and morphogenesis. These merge learning and automata, creating evolving rule-based systems.

テリー・ライリー《In C》の演奏指針要約

 テリー・ライリー《In C》の演奏指針要約。全員が同一譜面の53のパターンを順番に演奏し、編成や楽器数は自由（理想は約35名）。声部は任意の母音・子音で参加可。各奏者は各パターンを好きな回数だけ反復して次へ進む。公演は45〜90分程度が目安で、1パターンの滞在はおおむね45〜90秒以上。互いをよく聴き、ときに休んで聴くこと。強弱の幅を大きく取り、合奏でクレシェンド／ディミヌエンドを合わせる。ユニゾンやカノン的重なりを任意に行い、ポリリズムの相互作用を楽しむが、常に2〜3パターン以内で歩調を保ち、先走りや遅れを避ける。高音Cの8分音符パルス（ピアノやマレット、慎重な打楽器）で合図可。全員が厳密なリズムで正確に弾くこと。テンポは任意だが無理のない範囲で。休止中も周期的アクセントを意識し、再入時の効果を配慮する。必要に応じて1オクターブ移調（特に上方）、長音には下方移調も有効。リズムの拡大も可。弾けないパターンは省略可。増幅や電子鍵盤の使用も可。終結は全員が第53番に到達してから大きなクレッシェンドとディミヌエンドを数回行い、各自の判断で順次抜けて終わる。

https://thirdcoastpercussion.com/downloads/2015/04/Terry-Riley-In-C-concert2.pdf

Shenは、Lisp系の関数型言語で、パターンマッチ、マクロ、遅延評価、型系（シーケント計算に基づく）、組込みProlog、コンパイラコンパイラなどを単一環境で提供する“多段”言語です。

 Shenは、Lisp系の関数型言語で、パターンマッチ、マクロ、遅延評価、型系（シーケント計算に基づく）、組込みProlog、コンパイラコンパイラなどを単一環境で提供する“多段”言語です。2021年以降はSシリーズの軽量カーネルに集約され、部分適用ベースの実装、型付きYACC、GC付きProlog、パッケージ/入出力/ハッシュ表など基盤が刷新。学習は「Shen in 15 minutes」と『The Book of Shen』が入口。配布は最新S系カーネル、標準ライブラリ2系、Shen/tk（Tcl/Tk連携GUI）、Yggdrasil（スタンドアロン生成）。2025年はOpen Shenとして大規模な無料資料を公開予定。Shenは多くのホスト言語上で動作し、同一ソースで移植性を確保。REPLと型推論、パターン指向の関数定義、例外/ストリーム/マップ等の抽象を備え、小さな核＋豊富な標準で、DSL設計や定理証明的型検査、ロジック/関数/命令の横断が容易。Yggdrasilで単一バイナリ化、Shen/tkで簡易GUI、サンプルとチュートリアルも整備。研究から実務まで、短いコードで強い表現力を狙う人に適した言語です。