国内会議 証明可能安全ロジックロッ キング：安全性定式化の新たな枠組みとその実現 著者 渡邉 洋平, 淺野 京一, 平田 遼, 小野 知樹, 楊 明宇, 岩本 貢, 李 陽, 原 祐子 会議名 CSS 2025 ページ 1727–1734 発行年 2025 発表日 2025/10/30
