プログラミングと問題解決を支援する人工知能