黄金比から導出された新しい複素定数ΛG1とその超越性予想

2025-06-22

Tristen Harrによる研究論文では、黄金比φの逆数の累乗から導出された新しい複素定数ΛG1を紹介し、分析しています。ΛG1 = T + iJ(T = 1/(2φ)、J = 1/(2φ²))と定義され、1より小さい大きさの代数的数であることが証明されており、多重対数関数Lis(z)の引数として適しています。対数関数(s=2)と三対数関数(s=3)に対する高精度数値評価に基づき、論文では、得られた値Lis(ΛG1)がすべての整数s≥2に対して超越数であり、体拡大Q(π, ln(2), φ)内に存在しないという予想が立てられています。この研究は、黄金比が基礎となる準結晶の研究における潜在的な応用を部分的に動機としています。

続きを読む
数学

Deputy:Clojure上に構築された従属型プログラミング言語

2025-05-20

Deputyは、Clojure上に構築された実験的な従属型プログラミング言語であり、帰納的データ型を備えています。LispベースのREPL駆動型インタラクティブ開発ワークフローが、プログラミングと型チェックの両方にどのような影響を与えるかを調査しています。Clojureライブラリとして実装されているため、型レベルでプログラミングしながら、ホスト言語Clojureの機能を利用できます。これにより、値に依存する型レベルの計算が可能になり、強力なプログラミングパターンが実現します。重要なのは、型の豊富な動的セマンティクスにもかかわらず、型チェックは純粋にコンパイル時に行われる操作であるということです。

続きを読む
開発