ノートパソコンプログラミングの人工知能を研究するコンピュータ科学者