k1mのブックマーク - はてなブックマーク

そもそもバージョン管理ツールの意義はあるのでしょうか - 数学猫の生活と意見

F’s Garage：ややこしいシステムを使わないソースコード管理これを読んで思ったのは、少なくとも個人用途に限っては、バージョン管理ツールの存在意義はないのではないかということです。作成日ごとにコピーにして何がいけないのでしょうか。私が思いつく限り、バージョン管理ツールの利点は履歴管理:ただ、どうも一般に過去のデータを取り出すのはWebインターフェースでも使わない限りかなり面倒ではないでしょうか。たとえば、darcsでは別途過去にさかのぼったリポジトリをgetしてそこからとってこなくてはいけません。(私の知らない方法があればご指摘ください)。コミットログ(あるいはdarscのパッチ名):いい加減になりがち差分管理:バイナリだと意味がないし、必ずしも意味のある差分が記録されるとは限らない(最近私がやってしまった例だと、WindowsマシンとLinuxで交互に編集していたため、dos行末

k1m 2007/04/01

コミットの粒度が落ちがちになる，とか

scm

リンク

ソフトウェアのバグの修正を誤り訂正符号で行うことは出来ないか - 数学猫の生活と意見

研究があれば面白いと思いますが、自明な障害としては、私の知ってる限りですが確率証明に対してカリーハワード同型が知られていないことだと思います。確率証明というのは証明といいながら普通の論理の意味での証明ではなくて、あるＸがＹであるかどうかを判定するのに使えるトークンのようなものに過ぎないので。

k1m 2007/01/31

cs

リンク

僻地 - Bayesian Setの種明かし

Bayesian Setとは集合D_Cが与えられたとき、そこから「類推」して、元の集合C⊃D_Cに入る元xを(「自信」の度合いを表す数値つきで)求めるというもの。ただし、D_Cの元やxは特徴データ{c_i}をもっているとする。で、原論文を読むとΓ関数がずらずらでてきておどろおどろしいのだけれど、実はやっていることは簡単だということに気がついたので、書いてみる。簡単のために、特徴はあるかないかの2値的とする。(一般的には連続量も扱える。)すると、Bayesian Setのアルゴリズムがやっていることは、xについて観測された特徴c毎に重みwを足していくだけである。重みwはハイパーパラメーターα、βを使って,と書ける。ハイパーパラメータというと難しいそうだが、α_t = (Nc:D_Cでcをもつ元の数) + α、β_t = (N-Nc:D_Cでcを持たない元の数) + βと定めるので、α、βは先

k1m 2007/01/13