K線の動きの理論的時間論理のコアソフトウェア