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

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

Read more »

Deep Learning?

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

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

Read more »

モーション計画

パーティクルフィルタ

カルマンフィルタ

AI for Robotics - localization

Udacityのロボットカーのクラス、昔途中までやったんだけど途中で放置してしまったので、もう一度やりなおしてみる。ブログにメモっとかないと、何をやったかひとつも覚えていないという記憶力の無さ。

Read more »

Fuun security Features

ICFP2007の続き。4405829ページ、”Fuun security features”を見てみる:

Read more »