Belugaとの公式化Belugaとの公式化義。プログラミングにおける証明とプロセスの定計算機科学における論理ベルーガでプロセスを正式化するBelugaを使ってプロセスや証明を定義する概要。2025-07-16T08:59:48+00:00 ― 1 分で読む