View the Qiita 15th anniversary article

@kyamaz

933Contributions

94
Posts 58
Followees 151
Followers

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

『Lean で証明できた』は何を保証するのか？〜 Lean の無矛盾性と信頼の根拠〜

article is Liked

『Lean で証明できた』は何を保証するのか？〜 Lean の無矛盾性と信頼の根拠〜

article is Liked

『Lean で証明できた』は何を保証するのか？〜 Lean の無矛盾性と信頼の根拠〜

article is Stocked

『Lean で証明できた』は何を保証するのか？〜 Lean の無矛盾性と信頼の根拠〜

article is Liked

『Lean で証明できた』は何を保証するのか？〜 Lean の無矛盾性と信頼の根拠〜

article is Stocked

『Lean で証明できた』は何を保証するのか？〜 Lean の無矛盾性と信頼の根拠〜

article is Liked

『Lean で証明できた』は何を保証するのか？〜 Lean の無矛盾性と信頼の根拠〜

article is Stocked

『Lean で証明できた』は何を保証するのか？〜 Lean の無矛盾性と信頼の根拠〜

article is Liked

『Lean で証明できた』は何を保証するのか？〜 Lean の無矛盾性と信頼の根拠〜

article is Liked

『Lean で証明できた』は何を保証するのか？〜 Lean の無矛盾性と信頼の根拠〜