フェルマーの小定理パズル(1) フェルマーの小定理は「平方剰余の相互法則(8) - 非専門的シンギュラリティー研究所」でも取り上げましたが、ここでは「中国の剰余定理パズル」を改造してフェルマーの小定理を証明するプログラムを完成させるパズル作りたいと…

中国の剰余定理パズル(10) 公開しました。 https://github.com/hikakankan/VisualCodeChoice疑似コードを表示するためのクラス CodePanelMaker を書き換えると他の問題にも使えるようになる予定です。以下はこのクラスの説明です。 CodePanelMaker クラス コ…

中国の剰余定理パズル(9) ChatGPT でアイコンの作り方を教えてもらいました。一つの画像のアイコンはできましたが複数の画像を持つアイコンの作り方はまだわかりません。今回は一つの画像のアイコンを使うことにしました。アイコンは以下のようにしました。…

中国の剰余定理パズル(8) いろいろ書き直して動くようになりました。アイコンを設定しようと思ったのですが、まだやり方がよくわかっていません。アイコンができれば公開する予定です。 パズルの説明 と を互いに素な自然数、 を である自然数、 を である自…

中国の剰余定理パズル(7) もう少し質問してみます。 オンラインゲームをやっていたら新しい定理の証明ができるというシステムは作れますか と入力すると以下のような結果になりました。定理の証明に対応した生成AIとゲームの操作に対応した生成AIを組み合わ…

中国の剰余定理パズル(6) オンラインゲームについてもう少し質問してみます。 オンラインゲームからデータを集めることは行われていますか と入力すると以下のような結果になりました。 はい、非常によく行われています。 むしろ現代のオンラインゲームは、>…

中国の剰余定理パズル(5) もう少し質問してみます。 定理の証明やゲームの操作に対応した生成AIはありますか と入力すると以下のような結果になりました。資源の少ない環境で証明のすべてのことを行うのは難しいので、ゲーム的にしようということでやってい…

中国の剰余定理パズル(4) 続いて、ChatGPT に以下のように入力しました。 定理の証明を考えるときの人間の考え方をシミュレートするようなゲームはありますか 以下のような結果になりました。生成AIは人間が考えるということをモデル化したものらしいので、…

中国の剰余定理パズル(3) 直せば使えそうな感じになってきました。続いて、ユーザーの入力をビッグデータとして使えるか調べるため ChatGPT に以下のように入力しました。 ユーザーの入力を集めたものをビッグデータとして使って、定理の証明をすることはで…

中国の剰余定理パズル(2) 少し意図したものと違うので直してもらいます。以下のように入力しました。 以下のように変更してください: ExtendedGcd 関数(と関連する部分)を以下のように変更し(後に書きます) GUI はこのコードの形になるように配置してくださ…

中国の剰余定理パズル(1) Unity をインストールしている途中で Visual Studio 2026 をインストールするようになっていたので、ここからは Visual Studio 2026 を使っていきます。「中国の剰余定理」(Wikipedia での表記)をパズル風にしたものを ChatGPT で作…