Papers - KUKITA Minao
-
タイプ理論の起源と発展 Reviewed
池田真治,伊藤遼,久木田水生
哲学論叢 Vol. 38 page： S49-S60 2011.8
-
数学における公理，証明，定理の役割――検証主義的意味論の観点から Reviewed
久木田水生
アルケー Vol. 19 page： 87-98 2011.6
-
総合倫理学（synthetic ethics）に向けて
久木田水生
PROSPECTUS Vol. 12 page： 96-105 2009.12
-
ロボット倫理学の可能性
久木田水生
PROSPECTUS Vol. 11 page： 1-10 2008.12
-
表示的意味論 Reviewed
久木田水生
哲学論叢 Vol. 35 page： 189-198 2008.9
-
人工知能の人工生命への接近
久木田水生
PROSPECTUS Vol. 10 page： 45-57 2007.12
-
フレーゲの論理主義再考――数学的帰納法の導出を例として Reviewed
久木田水生
人文知の新たな総合に向けて page： 167-191 2007.3
-
パースと人工知能
久木田水生
大航海 Vol. 60 page： 131-139 2006.9
-
帰納論理プログラミング
久木田水生
哲学論叢 Vol. 33 page： 103-113 2006
-
ラッセルの論理主義における非基礎付け主義 Reviewed
久木田水生
哲学研究 Vol. 581 page： 54-69 2006
-
フィクションの中のロボット――ホワイダニットのジレンマとロボット工学三原則
久木田水生
PROSPECTUS Vol. 8 page： 52-64 2005
-
ラッセルの記述の理論とタイプ理論の関係について Reviewed
久木田水生
哲学論叢 Vol. 32 page： 48-59 2005
-
数学者は自由か？――G・カントールの無限論と形而上学 Reviewed
久木田水生
アルケー Vol. 38 page： 82-92 2003
-
無限と再帰 Reviewed
久木田水生
哲学論叢 Vol. 27 page： 62-73 2000