Zennta

Qiita一覧

Zenn一覧

Anthropic社のPrompt Improverを使ってみた

Anthropic社、開発者コンソールでのプロンプト改善機能(Prompt Improver)を発表

Lean Prover で Cantor の対関数に逆写像があることを示す

Actixの開発 (Rustrover on Windows)

Rustrover on Windows without MSVC

Lean Prover コマンド紹介

選択ソートと，それがソートアルゴリズムであることの証明を Lean Prover で実装する

if 式で定義された関数の性質を Lean Prover でどう証明するか

量子アルゴリズム Grover Adaptive Search でポートフォリオ最適化問題を計算する方法の紹介

Grover アルゴリズムを微分幾何学的に調べた研究の紹介