開発ブログ

Anzaetek チームのエンジニアリングノート

                        注目
                        · 2026-05-03
                        
                          · quantum
                        
                          · formal-methods
                        
                          · lean4
                        
                          · mathlib

Closing Lean 4 Proof Obligations on Quantum Circuits

How we closed the long-standing sorry stubs in the Quantum toolkit's Lean 4 export — QFT unitarity, block encoding, ECC, QPE and Grover witnesses — using mathlib v4.29.

2026-05-02 quantum omega formal-methods lean4

Omega Functions: Formally Verified Circuit Optimization Passes

The circuit optimizer in Omega Functions now comes with Lean 4 proofs of pass correctness, plus CMA-ES gradient-free optimization and mid-circuit measurement support.

続きを読む →

2026-04-25 rust finance timeseries

time_series_base: A Rust Time Series Engine

A 7-crate Rust workspace for time series storage, similarity search, and quantitative analysis — with an MCP server for LLM agent integration.

続きを読む →

2026-04-24 quantum announcement rust lean4

Anzaetek Quantum — 今日出荷されているもの

2026 年 4 月時点の Anzaetek Quantum スタックのスナップショット — オープンランタイム、その上のクローズドツールキット、そして顧客が今日実際に使えるもの。

続きを読む →

2026-04-24 omega quantum oss rust announcement

omega-functions をオープンソース公開

Sqetch プラットフォームの基盤である Rust 量子ランタイムを Apache-2.0 で github.com/Anzaetek/omega-functions-public に公開しました。

続きを読む →

2026-04-24 sqetch fintech announcement

Sqetch '26 Finance — デザインパートナー窓、2026 年後半

omega-functions の上で構築中の金融プラットフォームの開発プレビュー。2026 年後半のデザインパートナー窓を目標にしています。

続きを読む →

2026-04-20 finance quantum genai

Building a Synthetic Data Pipeline with QCBM and TimeGAN

How we combined Quantum Circuit Born Machines with Conditional TimeGAN to generate regime-aware synthetic financial data for risk management and stress testing.

続きを読む →

2026-04-15 quantum rust wasm

Omega Functions: A Quantum/Hybrid Computing Runtime in Rust

How we built an 11-crate Rust workspace that runs quantum circuits across statevector, tensor-network, Clifford, and photonic backends — with a WASM runtime for the browser.

続きを読む →

2026-03-01 sqetch fintech quantum

Announcing Sqetch '26

Sqetch '26 — our fintech platform for HFT and beyond, plus Omega-Functions for quantum/hybrid workloads.

続きを読む →

2026-02-01 quantum rust preview

Preview: Quantum Programming Toolkit in Rust

A preview of our quantum programming toolkit: circuit DSL, 12 optimizers, QML layer, formal verification export.

続きを読む →

2025-11-15 quantum web ml

QML Explorer: From Model Training to Web Deployment

How we built a web application that takes quantum machine learning models from research notebooks to deployed REST endpoints with a one-click training workflow.

続きを読む →

一部の旧記事は英語のみで提供されています。