 | 2008 |
|---|
| 9 |       | Shingo Ibuka,
Makoto Kikuchi,
Hirotaka Kikyo:
On Characteristic Constants of Theories Defined by Kolmogorov Complexity.
WoLLIC 2008: 218-225 |
| 2006 |
|---|
| 8 | | Mizuho Mishima,
Makoto Kikuchi:
Mathematical Models of Category-Based Induction.
Discovery Science 2006: 327-331 |
| 2003 |
|---|
| 7 |  | Ichiro Nagasaka,
Makoto Kikuchi,
Shinzo Kitamura:
A Formal Analysis of Classifier System and Interface between Learning System and Environment.
Applied Informatics 2003: 20-25 |
| 6 | | Makoto Kikuchi,
Ichiro Nagasaka:
On the Three Forms of Non-deductive Inferences: Induction, Abduction, and Design.
Applied Informatics 2003: 357-362 |
| 5 | | Shunsuke Yatabe,
Yuzuru Kakuda,
Makoto Kikuchi:
On a Set Theory With Uncertain Membership Relations.
HIS 2003: 458-467 |
| 1997 |
|---|
| 4 | | Makoto Kikuchi:
Kolmogorov complexity and the second incompleteness theorem.
Arch. Math. Log. 36(6): 437-443 (1997) |
| 1994 |
|---|
| 3 | | Makoto Kikuchi:
A Note on Boolos' Proof of the Incompleteness Theorem.
Math. Log. Q. 40: 528-532 (1994) |
| 2 | | Makoto Kikuchi,
Kazuyuki Tanaka:
On Formalization of Model-Theoretic Proofs of Gödel's Theorems.
Notre Dame Journal of Formal Logic 35(3): 403-412 (1994) |
| 1987 |
|---|
| 1 | | Tomio Sekiya,
Akira Watanabe,
Masao Saito,
Makoto Kikuchi:
2-D Vector Representation of Multi-Dimensional Symptom Space for Computer Aided Medical Diagnosis.
ASST 1987: 172-175 |
