認知交代機能の解析と非標準計算論を基盤とした人工意識モデルの研究（科研費 基盤(C)(1)）