最近AIって流行ってるらしいな

[0001 以下、5ちゃんねるからVIPがお送りします 2022/02/13(日) 10:44:36.028 ID:IrGmegvg0]

Abstract Interpretationな

[0002 以下、5ちゃんねるからVIPがお送りします 2022/02/13(日) 10:45:17.273 ID:zBxvxsd20]

要約解釈ってなんぞ？

[0003 以下、5ちゃんねるからVIPがお送りします 2022/02/13(日) 10:45:37.120 ID:zQfq/6cm0]

Anal Insert

[0004 以下、5ちゃんねるからVIPがお送りします 2022/02/13(日) 10:46:32.696 ID:IrGmegvg0]

>>2
抽象解釈は、コンピュータプログラムの意味論の健全な近似の理論であり、順序集合における単調関数に基づいている。全ての計算を実施することなく、プログラムの部分的な実行をするものと見ることができ、それによりプログラムの意味に関する情報を獲得する。

[0005 以下、5ちゃんねるからVIPがお送りします 2022/02/13(日) 10:49:33.021 ID:zBxvxsd20]

逆アセみたいなもん？

[0006 以下、5ちゃんねるからVIPがお送りします 2022/02/13(日) 10:54:11.652 ID:ex5RO+nM0]

ナンバーワンじゃなくても