検索内容:
メモリリークをデバッグしていたところ、値が割り当てられた変数が解放されておらず、プログラムが肥大化してクラッシュしてしまうことが分かった。
教授は、述語論理において量化子によって束縛された変数が作用域にどのように影響するかを説明した。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★