Rebirth AI Club

Windows 11で始めるWSL入門：Linux環境はどうなっているのか？はじめにWindows上でLinux環境を動かす仕組みとして、WSL（Windows Subsystem for Linux） が注目を集めています。特にWindo...

概要Remote-SSHによる方法がベスト（githubcopilotを使える）、以下立ち上げ手順Local VSCode：Ctrl＋Shift＋PRemote-SSH: Connect to Host... と入力接続先として onopi...

概要開発環境: FastAPI + Uvicornプロセス管理: systemdWebサーバー: Nginx（リバースプロキシ）公開方法: サブドメイン（chatbot.ono-piano.com） + Let’s Encrypt でHTT...

要点GitHub 接続には 2つの方式 があるHTTPS（トークン）方式簡単に使い始められるが、毎回トークン入力が必要定期的にトークンの更新が必要SSH 鍵認証方式公開鍵認証で毎回のパスワード入力不要一度設定すれば VPS や Window...

Backing up a folder to GitHub is an effective way to securely store and manage files, with the added benefit of version ...

Windowsローカルで開発したFastAPIアプリを、Ubuntu 24/25 VPSで常時稼働化アプリ層：FastAPI（Uvicorn）を 127.0.0.1:8000 で待受プロセス管理：systemd によりOS起動時に自動起動・...

高度な数学的問題や生成AIとの統合シナリオに焦点を当て、SymPyの応用例を詳細に解説①競技数学（代数、幾何学、数論、組合せ論代数、幾何学、数論、組合せ論、他多岐にわたる）レベルの問題、②高度な微分方程式、③形式的な証明サポート生成AIとS...

SymPyは、Pythonで書かれたオープンソースのシンボリック計算ライブラリです。数学的な式を数値的に計算するのではなく、記号（シンボル）として扱い、代数的操作や解析的な計算を行うためのツールです。生成AIが数学的問題を解く際、特にシンボ...

生成AIに数学を学習させる手法は、AIのモデル構造や学習プロセスに深く関わるもので、さまざまなアプローチが存在します。以下に、生成AI（特に生成モデルや大規模言語モデルなど）に数学を学習させるための主要な手法を網羅的かつ体系的に解説します。...

1. 形式証明ツールとは形式証明ツールは、数学的証明を形式論理（formal logic）に基づいて構築し、コンピュータがその正しさを検証できるようにするツール人間の証明はしばしば曖昧さやエラーを含む可能性があるが、形式証明は厳密なルールに...