人工知能作成 microscheme はんだ付けとプログラマーの抽象的な概念