@kyamaz

I love reading OSS codes & arXiv papers. My interests: #QuantumComputing #Haskell #LEAN #LLVM #RISCV #p5 #q5mjs #OpenQL #processgraph #量子コンパイラ #未踏tg '18-'20.

Participating Organizations(1)

Following Organizations(2)See all

Following tags(29)See all

グラフ理論 GNN LangGraph n8n.io AIエージェント TypeScript GraphDB duckdb lean Haskell 数学機械学習 WebAssembly Blender データサイエンスデータ分析 R Julia wasm RISC-V

Contributions

article is Liked

Blender の Geometory Nodes で複素関数 sin(z) を描く

posted an article

次元解析をLeanで確かめる〜バッキンガムのπ定理とSI単位系

article is Stocked

Lean4で数学しよう〜ある可解な五次方程式の考察〜

article is Liked

Lean4で数学しよう〜ある可解な五次方程式の考察〜

article is Liked

ヤコビアン予想（n ≥3）が否定的に解決を確かめる

article is Liked

ヤコビアン予想（n ≥3）が否定的に解決を確かめる

article is Liked

ヤコビアン予想（n ≥3）が否定的に解決を確かめる

posted an article

ヤコビアン予想（n ≥3）が否定的に解決を確かめる

article is Liked

ウィルソン素数とウィルソンの定理

article is Liked

量子計算ライブラリ『q5m.js』【TypeScriptライブラリのご紹介】