computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ 思考支援システム ChatGPT 「未来都市(4) - 非専門的シンギュラリティー研究所」に続いて調べてみました。「思考支援システム」のカテゴリーではこのシステムの仕様を考えていきます。このシステムは基本的には証明支援システムにユーザーインターフェースを追加したものとします。 ただし、証明の他に システムの設計 プログラミング 文章を書く 絵を描く 作曲 などにも使えるものとします。 このシステムは基本的には以下の3機能があります。 「定理」合成 「定理」理解 「定理」検索 「定理」は各分野での定理に相当するものを表します。 このシステムの入力は基本的にはスワイプまたはジェスチャーで、必要があれば立体的な動作(たとえば立体的な… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2025%2F05%2F07%2F202807" title="思考支援システム(1) - 非専門的シンギュラリティー研究所" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://m.media-amazon.com/images/I/51QmpSzOqjL._SL500_.jpg Hatena Blog https://hatena.blog 2025-05-07 20:28:07 rich https://computeralgebra.hatenablog.com/entry/2025/05/07/202807 1.0 100%