(1)Coq証明支援系Coqの遊び方の入門を書いてみるよ。世の中に何個も入門記事ありますけど、増えて困ることはなかろう...ということで。最...2009-02-09充足と恒偽のあいだSATあるいは、ランダムなSAT問題の答えを分ける不思議な数字、4.27。調べたり実験したりしてたら面白くなってきたので、まとめておきます。(1)SAT適当にまったりと。今回は下準備みたいなものだけです。形式と揃えておこうかと思いました。出せるようなものはとても作れないですけど、比較する時にその方が便利そう。Norma...2009-01-30次回予告など雑談すっごく遅いけどあけましておめでとうございます!忙しくて他のことをする余裕がないときほど突然に他のことをやりたくなるものです。いざ忙しさのピークが過ぎる頃には情熱が冷めていたりして結局何もやらないまま過ぎてしまう。(1:終)XRRealLibの実装がどういう原理になってるのか解明しようシリーズです。普通にかっこよすぎるので紹介しまくりたくなりましたので紹介記事です。(完全精度実数計算?定番の訳語ってなんだろう?)」のお勉強をはじめます。ブログを報告する引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。