量子論中原幹夫「量子物理学のための線形代数 ＝ベクトルから量子情報へ」p.52 キャンベル-ポアンカレの公式の証明について
誤植部分 中原幹夫「量子物理学のための線形代数 ＝ベクトルから量子情報へ」の52ページ、命題3.5のキャンベル-ポアンカレの公式の証明について、誤植を（多分）見つけたので指摘しておく。 $$\frac{d}{dt}$$ $$=e^{-sY(...
量子論
数学ケーリー変換の使い方とその証明
ケーリー変換（Cayley Transform）とは、エルミート行列を用いてユニタリ行列を生成するための手法です。この記事では、まず、これら複素行列の定義や性質について解説します。その後、ケーリー変換の使い方を示し、それが成り立つことの証明を行います。
歴史・政治学ドイツの民主化 1870s～1920s
政治改革に先行して農業革命と産業の発展を達成したプロイセンは強国となり、ドイツ統一を主導した。このプロイセン政治の特色は「上からの改革」であり、これは官僚主義と軍隊に支えられた中央権力の強化と合理化をすべてに優先させるものであった。1871...
Pythonエニグマ（Enigma）暗号変換器の仕組みとPythonによる実装
第二次世界大戦でナチス・ドイツにより用いられ、解読困難なことで有名なエニグマ（Enigma）暗号変換器をPythonで再現しました。この記事では、エニグマ暗号について簡単に紹介し、Pythonコードを用いて暗号変換を行う方法を解説します。
数学臨界減速（Critical Slowing Down：CSD）とは？
複雑システムがもつ臨界減速（Critical Slowing Down：CSD）という性質について解説する。なお複雑システムとは、「多数の要素から構成され、要素間相互作用によって、予測不能な高次の秩序や機能を生み出しうるシステム」を指し、生体・生態系・経済などがその例である。
Python“The Separation Plot” in Python
Pythonで作成したプログラムに「The Separation Plot」を実装するコードを作成した。 ついでに「Brier Scores」と「Expected PCP（ePCP）」も導入できるようにした。 Brier Scores Ex...
数学The Separation Plot: A New Visual Method for Evaluating the Fit of Binary Models
Brian Greenhill, Michael D. Ward, Audrey Sacks. "The Separation Plot: A New Visual Method for Evaluating the Fit of Bina...
機械学習・AI【図解】ROC曲線・PR曲線の書き方と使い分け基準を解説
ROC曲線とPR曲線は、検査や機械学習の分類に対する性能を判定する方法です。この手法を用いることで、検査の感度や陽性的中率のトレードオフを考慮しながら、性能を判定・比較することができます。この記事では、具体例を用いてROC曲線・PR曲線の書き方を説明し、それぞれを状況別に使い分ける方法について解説します。
確率・統計ブラックスワン理論から見た、リスクの本質とは？【書籍要約あり】
ブラックスワン理論について解説し、書籍「ブラック・スワン――不確実性とリスクの本質」の内容を要約する。この記事を読むことで、未来のリスクは基本的に予測不可能である理由がわかり、そのような世界で、リスクに対しどのような戦略をとれば良いかを理解できる。
HotSoupProcessorオセロ”不”完全解析マシーンβ版
8x8盤オセロは未だ完全解析がなされていないらしい。 そこでなんとなく、自分も解析プログラムを組んでみた。 4x4, 6x6, (8x8)盤まで対応可能。 Scale変数に4, 6, 8のいずれかを入力すると解析を開始し、-1（後手勝ち）、...