北海道大学デジタルリスキリングプログラム

ジェネラルプロブレムソルバー（ジーピーエス）
定理証明に留まらず幾何学問題・パズルやゲームに適用可能な汎用的な問題解決機構を備えた一般問題解決器。
1959年にアレン・ニューウェルとハーバート・サイモンによって開発された。「GPS」＝位置情報システム（Global Positioning System）とは異なる。