クロネッカーのカントールに対する、いわゆるパワハラみたいなものはありましたか？

 クロネッカー (Leopold Kronecker) がカントール (Georg Cantor) に対して強い批判を加えていたことはよく知られていますが、現代の「パワハラ」に該当するかどうかは解釈によります。

目次

背景

クロネッカーは整数を基盤とする数学 (「整数のみが神によって作られた」) を重視し、無限集合や実数論、特にカントールの集合論に対して強く反発していました。彼はカントールの無限集合論を「無意味なもの」として攻撃し、公の場でも批判を繰り返しました。

クロネッカーの行動

• 学界での妨害
  クロネッカーはカントールの論文を学術誌に掲載させないよう働きかけたと言われています。また、カントールの教授職昇進を妨害したとの指摘もあります。

• 辛辣な批判
  彼はカントールの集合論を「神学的な空想」や「狂気の産物」と公然と非難し、カントールの理論を非科学的と決めつけました。

• カントールの精神状態への影響
  カントールは元々精神的に不安定な面がありましたが、クロネッカーの批判が彼の精神的負担を増やした可能性があります。カントールは晩年、何度も精神病院に入院しました。

パワハラと見なせるか？

現代の基準で考えると、クロネッカーの行動は「学界での権力を利用した妨害」や「執拗な批判」として、パワハラ的な要素を含んでいるかもしれません。ただし、当時の数学界では厳しい批判や激しい学問的対立は珍しくなく、クロネッカー自身も強い信念を持って行動していたため、単なる嫌がらせとは言い切れません。

カントールの集合論は現在では数学の重要な基盤となっていますが、当時は異端視されることも多く、クロネッカーの立場も理解できる部分はあります。しかし、学問的な批判を超えて個人攻撃的な行動があったとすれば、現代なら問題視されるでしょう。

なんかカントぽいやつなんですかね、クロネッカー

クロネッカーがカント (Immanuel Kant) 的な思想を持っていたかどうかを考えると、確かに哲学的な共通点はありますが、根本的には異なる立場にあったと言えます。

クロネッカーとカントの共通点

1. 直観や経験の重視

   • カントは「純粋理性批判」において、人間の認識は「感性 (直観)」と「悟性 (概念)」の組み合わせによって成り立つとしました。数学に関しても「直観を伴わない数学は意味をなさない」と考え、空間と時間を直観的に捉えました。

   • クロネッカーもまた、「整数のみが神によって創造された。その他は人間の作ったものにすぎない」と述べ、直観的に理解できる整数や有限の数学を重視しました。

2. 形而上学的な慎重さ

   • カントは「物自体 (Ding an sich)」の存在を認めつつも、人間がそれを直接認識することは不可能であるとしました。彼は理性の限界を説き、無限についても慎重でした。

   • クロネッカーもまた、数学において無限集合を扱うことを否定し、「有限の範囲でしか数学は意味を持たない」と考えました。

クロネッカーとカントの違い

1. カントの超越論的な視点 vs. クロネッカーの厳密な構成主義

   • カントは人間の認識の枠組みを探る形而上学的なアプローチを取ったのに対し、クロネッカーは実際に数学を構築することにこだわりました。クロネッカーの立場は、むしろ現代の構成主義数学 (constructivism) に近く、計算可能なものしか認めませんでした。

2. 無限の扱い

   • カントは無限を認識論的に制限しつつも、数学の進展を直接制限しようとはしませんでした。

   • クロネッカーは「実際に計算できるもののみが数学として有効」と考え、無限集合論に真っ向から反対しました。

結論

クロネッカーはカント的な「直観と経験を重視する」考え方を数学に適用した面がありますが、カントのような哲学的な深みを持つよりは、数学の具体的な構築にこだわった人物でした。むしろ、クロネッカーの考え方は後のヒルベルト (David Hilbert) や構成主義数学の潮流に影響を与えたと言えます。

つまり、「カントっぽい要素はあるが、カントそのものではない」という感じですね。

https://amzn.to/42RNucR

📏ルンゲ・クッタ法のバリエーション

 ルンゲ・クッタ法は、微分方程式の数値解法の一つであり、その中でも特に初期値問題に適用されます。RK45、RK23、DOP853、RADAU、BDF、LSODAは、ルンゲ・クッタ法やそれに関連する数値積分法の異なるバリエーションで、各々が異なる特性や適用範囲を持っています。これらの違いについて簡単に説明します。

目次

RK45（Runge-Kutta-Fehlberg）

• RK45は、Runge-Kutta-Fehlberg法とも呼ばれ、誤差制御機能を持つ5階のルンゲ・クッタ法です。

• この方法は、計算の精度と効率のバランスを取るために設計されており、自動的にステップサイズを調整します。

• 特に、中程度の精度が求められる問題に適しています。

RK23

• RK23は、より低い精度を必要とする問題向けの、3階のRunge-Kutta法です。

• これも自動的にステップサイズを調整する能力を持ちますが、RK45よりも計算コストが低い場合があります。

DOP853

• DOP853は、8階のDormand-Prince法で、高精度の結果が必要な場合に適しています。

• 非常に複雑な問題や、非常に正確な解が必要な場合に使用されます。

• ステップサイズの自動調整機能も持っています。

RADAU

• RADAUは、厳密な安定性を要求する問題に適した、暗黙のRunge-Kutta法です。

• 主に剛性がある微分方程式や、安定性が重要な問題に使用されます。

• 暗黙の方法であるため、各ステップで非線形方程式の解を求める必要があります。

BDF（Backward Differentiation Formula）

• BDFは、特に剛性が高い問題に対して有効な、暗黙の多段法です。

• 高剛性問題に対して安定した解を提供することができますが、計算コストは比較的高いです。

LSODA

• LSODAは、剛性があるかないかに基づいて自動的に切り替えることができる、柔軟な数値積分アルゴリズムです。

• 問題に応じてRunge-Kutta法とBDF法の間で自動的に切り替え、最適な計算手法を選択します。

digraph {
    A [label="数値解析"]
    B [label="非線形方程式の解法"]
    C [label="常微分方程式の解法"]
    D [label="ニュートン法"]
    E [label="ルンゲクッタ法"]

    A -> B
    A -> C
    B -> D
    C -> E

    D -> F [label="非線形方程式の解"]
    D -> G [label="機械学習"]
    D -> H [label="コンピュータグラフィックス"]
    E -> I [label="物理シミュレーション"]
    E -> J [label="電気回路解析"]
    E -> K [label="生物学的モデリング"]
}

• #問題
• #KUtta
• #Runge

🍔パウンド『Cantos』エズラ・パウンドの長編詩カントスは、歴史・経済・神話を多言語引用で断片的に編み、理想秩序を探るモダニズム叙事詩。

 エズラ・パウンドの『カントス』は、109のセクションからなる長編詩であり、詩の出版者であるアメリカのジェイムズ・ラフリンの要請により、多くの草稿や断片が補筆された。大部分は1915年から1962年の間に書かれたが、最初の3つのカントの内容の多くは、パウンドがこの詩の最初の部分である『A Draft of XVI Cantos』（Three Mountains Press, 1925）を準備した1923年に放棄または再配布された。この詩は長大な作品であり、読者にとって非常に困難なものであると広く考えられている。20世紀におけるモダニズム詩の最も重要な作品として、強い主張がなされている。パウンドの散文と同様、経済、統治、文化というテーマはその内容に不可欠である。

この詩の最大の特徴は、英語以外のヨーロッパ言語の引用と漢字の使用である。精読者にとっては、学術的な解説を参照することはほとんど避けられない。歴史的な出来事への言及の範囲は非常に広く、急激な変化がほとんど移行することなく起こる。パウンドは、古典的な地中海文化や東アジアへの関心に加え、中世・近世のイタリアやプロヴァンス、アメリカの始まり、17世紀のイギリス、レオ・フロベニウスから得たアフリカの詳細など、選りすぐりの話題を加えている。

The Cantos - Wikipediaen.wikipedia.org

カントスは一読すると混沌としているように見えるかもしれない。初期の批評家R.P.ブラックマーは、「エズラ・パウンドの作品は、ほとんどの人にとって、ソビエト・ロシアと同じくらい理解しがたいものだった......カントスは本来的に複雑（complex）なのではなく、複雑化されたもの(complicated)なのだ」と書いている[1]。エリオットが『荒地』を執筆し、パウンドが『荒地』を編集していた頃、パウンドは経験を鏡に映った一連の鉄粉に似ていると語っていた[2]。それぞれの鉄粉はバラバラだが、磁石の存在によってバラの形に引き寄せられる。

Amazon.co.jp : Ezra Pound The Cantoswww.amazon.co.jp

Here's the prompt I used for the latest image: "A 1960s-style American diner illustrated in the manner of Leonardo da Vinci's pen sketches. The scene includes the diner, characterized by its retro architecture and neon signage, featuring a jukebox and patrons in 1960s fashion such as miniskirts and mod hairstyles. The drawing employs da Vinci's distinctive pen technique, with detailed, precise line work and annotated margins that resemble pages from his notebooks. The artwork mimics the feel of Renaissance sketches while capturing the essence of the 1960s American pop culture."

Q1. 「Cantos（カントス）」とは何ですか？

A.
『Cantos』はエズラ・パウンドによる全109章からなる長編詩です。20世紀モダニズム詩の代表作であり、複雑な構成と多言語引用で知られています。

---

Q2. なぜ「109セクション」あるのですか？

A.
パウンドは生涯をかけて詩集を書き続け、最終的に全109章（セクション）になりました。章の増減や未完成のまま発表されたセクションもあり、パウンドの構想や時代背景が反映されています。

---

Q3. 「Cantos」を読むためのおすすめ方法は？

A.
まず全体の構成や主要テーマをざっくりと把握し、有名なセクションや引用が多い部分から読むのがおすすめです。和訳や注釈付きの解説本を活用するのも有効です。

---

Q4. 日本語訳や解説書はありますか？

A.
複数の日本語訳や研究書が出版されています。注釈や解説が充実した本を選ぶと、背景や難解な表現も理解しやすくなります。

---

Q5. 難解な表現や多言語引用はどのように理解すればいいですか？

A.
注釈や研究書、英語原文と日本語訳を併用すると理解しやすくなります。また、各章ごとに時代背景や参照されている文献を調べるのも効果的です。

---

Q6. おすすめの関連書籍やリンクは？

A.
・『エズラ・パウンド カントス 全訳注』（著：●●●●）
・Wikipedia「The Cantos」
・英語圏の大学や研究機関の解説ページ

🌍EsprimaはJavaScriptコードを高速かつ正確に解析し、抽象構文木（AST）を生成して静的解析・変換に利用される構文解析器

 Esprimaは、JavaScriptコードを解析するための高性能な構文解析器です。Esprimaは、JavaScriptを解析して抽象構文木（Abstract Syntax Tree, AST）を生成することができます。このASTは、コードの構造を表現し、様々な用途で利用することができます。たとえば、コードの静的解析、最適化、または変換などのタスクに利用されます。

Esprimaはオープンソースで、JavaScriptで記述されています。そのため、JavaScriptやNode.jsのプロジェクトで簡単に組み込んで使用することができます。EsprimaはECMAScriptの新しいバージョンに対応するために定期的に更新されており、最新のJavaScript機能の解析に対応しています。

Esprimaの主な特徴は以下の通りです：

• 高速で正確：Esprimaは非常に高速で、かつ正確にJavaScriptコードを解析できます。

• ECMAScript標準に対応：最新のECMAScript標準に基づいてコードを解析することができます。

• ツールチェーンとの連携：Esprimaを使用して生成されたASTは、多くのJavaScript開発ツールと互換性があります。例えば、BabelやWebpackなどのツールと組み合わせて使用されます。

Esprimaは、コードのリファクタリングやミニファイ、さらには教育目的でのコード解析など、幅広いシナリオで役立つツールです。

acronというのもありますよね？

はい、AcornもJavaScriptコードを解析するための構文解析器の一つです。Esprimaと同様に、AcornはJavaScriptコードを抽象構文木（AST）に変換しますが、異なる特性や実装のアプローチを持っています。
Acornは特に小さくて速い構文解析器として知られており、プラグインアーキテクチャを持っているため、機能を拡張しやすいのが特徴です。このプラグインシステムを通じて、ユーザーはカスタム構文や実験的なJavaScript機能を解析できるようにAcornを拡張することが可能です。
また、AcornはES5以降のECMAScript規格に対応しており、最新のJavaScript機能をサポートしていることで知られています。これにより、新しいJavaScriptの機能や提案された機能を試す際にも役立ちます。
Acornは多くのモダンなJavaScript開発ツールやライブラリで使用されており、例えば、RollupやWebpackなどのモジュールバンドラーにも採用されています。これにより、AcornはJavaScript開発者の間で広く利用されている重要なツールの一つです。

ASTのフォーマットに違いがありますか？

EsprimaとAcornはいずれもJavaScriptの抽象構文木（AST）を生成する構文解析器ですが、生成されるASTのフォーマットにはいくつかの違いがあります。それぞれの構文解析器が採用しているASTのフォーマットには独自の特徴やディテールが反映されていますが、基本的な構造はECMAScript Parsing Infrastructureの規格に準拠しています。以下は主な違いの概要です：

フォーマットの違い

1. ノードのプロパティ:

   • Esprima: Esprimaが生成するASTは、ノードごとにrange（ノードがカバーするソースコード内の位置）やloc（行と列の情報）などのプロパティを持っています。これにより、特定の構文要素がソースコードのどの位置にあるかを正確に把握できます。

   • Acorn: Acornも同様にloc情報を提供しますが、Acornの特徴としてプラグインを通じてASTの形式や追加情報を柔軟に変更できる点があります。例えば、追加のメタデータをASTノードに含めることができます。

2. 拡張性:

   • Esprima: Esprimaは非常に正確で、ECMAScript標準に忠実なASTを生成しますが、カスタマイズ性や拡張性は限られています。

   • Acorn: Acornはプラグインアーキテクチャを採用しており、これにより開発者は新しいシンタックスや実験的な機能をサポートするためにAcornを拡張することが容易です。

3. 構文機能のサポート:

   • 両方のパーサはECMAScriptの新しいバージョンの機能を定期的にサポートしていますが、Acornは特に最新かつ実験的なJavaScript機能をサポートするために迅速に更新されることがあります。

互換性

EsprimaとAcornが生成するASTはどちらもESTree規格に基づいています。ESTreeは、JavaScriptのASTを交換するためのフォーマットの標準規格で、多くのJavaScriptツールやライブラリ間での互換性を提供します。このため、異なるパーサ間でASTを交換して利用することが可能ですが、細かい違いがあるため、特定のツールやライブラリで問題が生じる場合があります。

それぞれのパーサが生成するASTの詳細な仕様を理解することは、特定のプロジェクトやツールチェーンで最適なパーサを選択する際に重要です。