ODEのジョイントで角度ばねを実現する

Putting it all together

PID制御

HaskellでSATソルバを使ってスリザーリンクを解く

HaskellでSATソルバを使って数独を解く

Project Euler の96問目が数独を解く問題で、手筋を調べて解くプログラムを書こうかと思ったが、SATソルバを使うとゲームのルールごとに解法を考えてプログラムを作らなくても、制約を与えれば解を求めることができる、ということを知ったので使って見ることにした。

Read more »

Deep Learning?

正規分布の乱数の生成方法

正規分布(ガウス分布)の乱数を作り出す方法として、Box-Muller法というものがあるらしい。XとYを一様乱数として

Read more »

モーション計画