コンパイラ最適化検証フレーコンパイラ最適化検証フレームワーク。コンパイラの最適化の正確性を確保することプログラミング言語SSAフレームワークを使ったコンパイラ最適化の検証新しいフレームワークが、コンパイラの最適化がプログラムの正しさを保つようにする。2025-07-19T02:18:12+00:00 ― 1 分で読む
DASTACがテンソル代数DASTACがテンソル代数を変革するのために手法を統合する。DASTACは、より効率的なテンソル計算プログラミング言語DASTAC: テンソル代数への新しいアプローチDASTACは、効率のために密な技術と疎な技術を組み合わせてテンソル計算を強化する。2025-07-11T04:26:24+00:00 ― 1 分で読む