備忘録 【GitHub】How to backup: 2025.7.15
Backing up a folder to GitHub is an effective way to securely store and manage files, with the added benefit of version ...
備忘録 
プログラム 【ono-piano.com】Xserver VPSでチャットボットを公開する手順（実録メモ１）: 2025/8/15
Windowsローカルで開発したFastAPIアプリを、Ubuntu 24/25 VPSで常時稼働化アプリ層：FastAPI（Uvicorn）を 127.0.0.1:8000 で待受プロセス管理：systemd によりOS起動時に自動起動・...
数学 【生成AIと数学】SymPy応用事例：2025.8.11
高度な数学的問題や生成AIとの統合シナリオに焦点を当て、SymPyの応用例を詳細に解説①競技数学（代数、幾何学、数論、組合せ論代数、幾何学、数論、組合せ論、他多岐にわたる）レベルの問題、②高度な微分方程式、③形式的な証明サポート生成AIとS...
数学 【生成AIと数学】SymPy全般：2025.8.11
SymPyは、Pythonで書かれたオープンソースのシンボリック計算ライブラリです。数学的な式を数値的に計算するのではなく、記号（シンボル）として扱い、代数的操作や解析的な計算を行うためのツールです。生成AIが数学的問題を解く際、特にシンボ...
数学 【生成AIと数学】手法全般：2025.8.11
生成AIに数学を学習させる手法は、AIのモデル構造や学習プロセスに深く関わるもので、さまざまなアプローチが存在します。以下に、生成AI（特に生成モデルや大規模言語モデルなど）に数学を学習させるための主要な手法を網羅的かつ体系的に解説します。...
数学 【生成AIと数学】形式証明ツール：2025.8.11
1. 形式証明ツールとは形式証明ツールは、数学的証明を形式論理（formal logic）に基づいて構築し、コンピュータがその正しさを検証できるようにするツール人間の証明はしばしば曖昧さやエラーを含む可能性があるが、形式証明は厳密なルールに...
AI活用 【ChatGPT】OpenAI APIによる音声文字起こしの実装：2025.8.2
OpenAI APIによる音声文字起こしの実装この記事では、OpenAIが提供するAPIを使って、リアルタイムの音声入力と音声ファイルからの文字起こしを実装する方法について、章立て形式で説明します。第1章：リアルタイム音声の文字起こしリアル...
DeepResearch 保護中: 【AgentResearch】製造業向けドメイン特化エージェント群の協調応答の公開事例：2025/8/2
このコンテンツはパスワードで保護されています。閲覧するには以下にパスワードを入力してください。 パスワード:
エージェント 【AutoGen0.7.1】 Swarm(１) : 2025/8/2
1. 概要と要点概要本稿では、Microsoft AutoGen の AgentChat API における Swarm パターンの設計思想・実装構造・動作原理について技術的に考察する。Swarm は、複数のエージェントが共通の会話コンテキス...
エージェント 【AutoGen0.7.1】 SelectorGroupChat(5) Sample CodeⅡ: 2025/8/2
1. 本実装の概要SelectorGroupChat の動作を３つのモードから選択3種類のAIエージェント（PlanningAgent, SearchAgent, DataAgent）と、人間の立場を代行するUserProxyAgent か...