形式科学

統計的機械学習

セル状態

ウォーレン・マカロック

模糊逻辑

論理プログラミング

プログラム検証

メタ学習

コネクショニズム