研究者らは、近傍場補正を用いて、特に航空機などの近傍場物体からの電波妨害（RFI）源を特定する新しい手法を開発しました。この手法は、遠方場位相調整、近傍場補正、ビームフォーミングを組み合わせることで、曲線状の近傍場信号の干渉性を最大化し、RFI送信機の3次元位置を正確に特定します。これは従来のフラッギング法よりも効率的で、より多くの利用可能なデータを維持し、再電離時代の21cm信号検出の可能性を高めます。結果は、RFI送信機の高度を効果的に推定し、様々な観測条件下での性能の違いを示しており、将来的により正確なRFI除去のための基礎を築きます。
続きを読む
この論文は、リチャード・バードの著書『Thinking Functionally with Haskell』におけるエラトステネスの篩に関する誤った証明を修正します。バードは、循環的なリストベースの実装を示していますが、その証明のヒントは誤っています。著者らは、新しい補題を導入し、ベルトランの仮説の弱体化を利用することで、完全な正当性証明を提供します。このアルゴリズムと、デイビッド・ターナーの「完全関数型プログラミング」のビジョンとの関連性についても探求します。
続きを読む
本論文は、Fenwick木（バイナリインデックスツリーとも呼ばれる）の実装原理を深く掘り下げています。より理解しやすいセグメントツリーから出発し、関数型プログラミングと等式推論を用いて、Fenwick木の実装を段階的に導出し、一見謎めいたビット演算操作の裏にある論理を明らかにします。無限の2の補数2進数に作用するHaskell EDSLを巧みに用いることで、Fenwick木の効率的な実装の秘密を最終的に解き明かし、更新と範囲クエリ操作の対数時間計算量を証明します。
続きを読む
英国のプライマリケアデータを用いたマッチドコホートスタディによると、ADHDと診断された成人の平均寿命は、一般人口と比べて大幅に短いことが明らかになりました。2000年から2019年にかけて、792の開業医から得られた950万人以上のデータの分析から、男性では6.78年、女性では8.64年の寿命短縮が判明しました。この寿命の短縮は、ADHDと併存する精神疾患や身体疾患に対する、修正可能な危険因子や未充足の支援ニーズに起因すると考えられます。この結果は、ADHD成人のためのより良い支援と治療の必要性を浮き彫りにしています。
続きを読む
シベリア南部トゥバの、紀元前9世紀後半のトゥヌグ1号墳の発掘調査で、少なくとも18頭の馬と1人の人間の遺体が発見されました。その配置は、ヘロドトスが紀元前5世紀のスキタイの葬送儀礼で記述した犠牲の「幽霊の騎兵」を彷彿とさせます。馬具の発見は、この発見をモンゴルの初期の馬文化とさらに結び付けています。放射性炭素年代測定により墓の年代が確認され、これらの儀式はスキタイ時代の幕開けに位置づけられました。これは、スキタイ起源に関するこれまでの理解に挑戦し、ユーラシアステップにおける初期の文化交流を浮き彫りにしています。
続きを読む
英国サマセット州のチャートハウス・ウォーレンでの発掘調査で、青銅器時代初期の衝撃的な大虐殺が明らかになった。少なくとも37人の男女老若が残酷に殺害され、遺体はバラバラにされ、深さ15メートルの自然の竪穴に捨てられていた。骨に残された切痕や鈍器による外傷は、計画的な極端な暴力行為、そしておそらく人食いがあったことを示している。この発見は、英国における先史時代の暴力に対する独自の洞察を提供し、この時代の社会安定性に関するこれまでの理解を覆し、事件の動機と社会的背景に関するさらなる調査を促している。
続きを読む