| 2006 |
|---|
| 7 | EE | Mizuho Mishima,
Makoto Kikuchi:
Mathematical Models of Category-Based Induction.
Discovery Science 2006: 327-331 |
| 2003 |
|---|
| 6 | | Ichiro Nagasaka,
Makoto Kikuchi,
Shinzo Kitamura:
A Formal Analysis of Classifier System and Interface between Learning System and Environment.
Applied Informatics 2003: 20-25 |
| 5 | | Makoto Kikuchi,
Ichiro Nagasaka:
On the Three Forms of Non-deductive Inferences: Induction, Abduction, and Design.
Applied Informatics 2003: 357-362 |
| 4 | | Shunsuke Yatabe,
Yuzuru Kakuda,
Makoto Kikuchi:
On a Set Theory With Uncertain Membership Relations.
HIS 2003: 458-467 |
| 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 |
