In our seminar on formal methods, we contrasted induction with co-induction to explain bisimulation.
形式手法のゼミで、帰納法と共帰納法を対比してバイシミュレーションを説明しました。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
