開発ブログ

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

                        注目
                        · 2026-06-25
                        
                          · aria
                        
                          · oss
                        
                          · quantum
                        
                          · lean4
                        
                          · rust

Aria, open-sourced: a quantum language you can read, run, train, and prove

Aria — our small, readable quantum-circuit language — is now Apache-2.0 open source at github.com/Anzaetek/aria-quantum-language-oss-public. One source runs, trains, and exports to QASM or machine-checked Lean 4, on a pure-Rust runtime that needs no libtorch.

2026-06-25 quantum oss aria eval

Try the Quantum toolkit on real binaries in five minutes

We published quantum-examples — a self-contained, multi-platform evaluation bundle of the Anzaetek Quantum toolkit. Thirteen runnable demos, real shipped binaries, no host dependencies. Plus the Aria quantum language gets its own public home.

続きを読む →

2026-06-22 quantum lean4 proofs qsp

Quantum Signal Processing, formally: the converse theorem in Lean 4

The converse fundamental theorem of Quantum Signal Processing — every admissible polynomial pair is realized by a phase sequence — is now machine-checked, sorry-free, in the Quantum toolkit's Lean 4 proof root.

続きを読む →

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.

続きを読む →

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