いうプログラムの場合、項がどのように定義されるかによって、結果の項は当然変わるし、計算量も変わる。transparentが向いている。証明の場合、2つの異なる証明項は同じ役割を果たすので、その存在しか興味がない。よって、opaqueが向いている。定義される場合はopaqueとなる。»Author大学院で数学とか型理論とか定理証明支援系をやっていました。11歳ごろにチャットサイトをクラッキングしてWebを独学で勉強したりしていました。読者になる@mizukami234をフォローこのブログについて引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。