技術情報
知能コンピューティングに関わる技術情報を公開していく予定です。
-
- 量子アニーリング入門
-
量子アニーリングとは、組み合わせ最適化問題などの NP 困難問題を量子効果を用いて解く解法です。量子アニーリングを説明し、スケジューリング問題への適用方法を解説します。
-
- Stan で多分割 多相 Rasch モデルを推定する
-
確率的プログラミング言語 Stan による Polytomous Multi-facet Rasch モデルの推定方法を説明しています。
-
- 形式手法 (ソフトウェアの信頼性を数学的に保証するテスト手法) の案内
-
単体・結合テストに代わる新しいテスト手法である形式手法の紹介です。 形式手法とはどのようなものであるか、またどのような効果があるかを説明しています。
