ZACKY's Laboratory 山崎 進 研究室 Page Topへ 第66回プログラミング・シンポジウムでの発表について 第66回プログラミング・シンポジウムで「コード最適化器の等価性と有効性の形式検証の研究構想」という口頭発表をしました． 第66回プログラミング・シンポジウムのプログラム researchmap(予稿ダウンロード可能) << 2025年の研究ヴィジョンについて 山崎進研究室紹介2025>>