http://en.wikipedia.org/wiki/Bicycle_and_motorcycle_dynamics こんなん真面目に考えた人がおるんだなぁ、と。自転車の(まあバイクとかでも)面白いとこは、静止状態より走ってる状態の方が安定なとこで、類似した現象としては、転がるコインの方が静止して…

existential typeとTypeableを組み合わせれば {-# OPTIONS -fglasgow-exts #-} import Data.Typeable data HsVal = forall a.(Typeable a)=>HsVal a integerP :: HsVal -> Bool integerP (HsVal z) = if (typeOf z)==(typeOf (1::Integer)) then True else F…

とりあえず、MLのモジュール・システムでもfunctorという用語が使われてること、そいつが何か圏論に由来するらしいことは分かった。OcamlのmoduleとMLのmoduleって多分一緒なんかな〜 MLモジュールシステムを圏論的に理解しようとしてる論文 A Category-Theo…

http://www.haskell.org/haskellwiki/Libraries_and_tools/Theorem_provers 一杯ありすぎですそんな中で、唯一スタンドアローンなアプリケーションではなく、ライブラリであるIvor(なんて読むんだ)が楽しそうな http://www.dcs.st-and.ac.uk/~eb/ivor.php EC…

知りもしない言語(ML,Ocaml,Clean)について書きすぎな件