Kazuyuki Tanaka Linear Response Formula in Generalized Belief Propagation for Probabilistic Inference. [Citation Graph (0, 0)][DBLP] CIMCA/IAWTIC, 2005, pp:669-675 [Conf]
Nobuyuki Sakamoto, Kazuyuki Tanaka The strong soundness theorem for real closed fields and Hilbert's Nullstellensatz in second order arithmetic. [Citation Graph (0, 0)][DBLP] Arch. Math. Log., 2004, v:43, n:3, pp:337-350 [Journal]
Kazuyuki Tanaka Weak Axioms of Determinacy and Subsystems of Analysis II (Sigma02 Games). [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 1991, v:52, n:1-2, pp:181-193 [Journal]
Kazuyuki Tanaka The Self-Embedding Theorem of WKL0 and a Non-Standard Method. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 1997, v:84, n:1, pp:41-49 [Journal]
Kazuyuki Tanaka Automatic hyperparameter estimation in probabilistic image restoration algorithm based on Gibbs microcanonical distribution. [Citation Graph (0, 0)][DBLP] Systems and Computers in Japan, 2005, v:36, n:1, pp:68-78 [Journal]