LLでmatzさんが話していた内容の事だと思う。 Rubyチップとかどうなんだろう。 LLは組み込み系で使わない事はないんだけど、やっぱりあまり合わない気がする。 LLで厭なのは実行時にエラーが出る部分。Cとかのコンパイラ系だと絶対チェックする部分もLLだと…

すこし前の記事だけどメモ。 これ証明されれば暗号系は安全ということかな。 でもやっぱり、簡単に解けない問題は残るので並列計算とか面倒くさい事もこれからも必要と。追記:8-17 P ≠ NPの証明で今週のインターネットは大騒動に, でも結局だめだったよう | …