1983年、芦ヶ原の考案した難解なパズル「ノナ」をcray-1を使って全解を得たことがある。