[scheme] miniKanrenで画像処理

miniKanrenで画像処理する例

connected-component-labeling

• • https://github.com/niitsuma/Racket-miniKanren/blob/recursive/image-processing/connected-component-labeling.scm
  • 特殊な事はしていないのでcKanrenなどでも動はず
  • Racketに組み込みで入ってる画像描画機能とminiKanrenを組み合わせて使うためのサンプルになっています

texture-detection

• • https://github.com/niitsuma/Racket-miniKanren/blob/recursive/image-processing/texture-detection.scm
  • recursive miniKanrenの循環パターン検出機能の応用例。処理時間の関係で非常に小さい画像を使ってる。結果の画像は拡大しないと模様が見れないと思う　

こういう画像が

繰り返しあらわれる画像

から
元の繰り返し画像を抽出している

Link

• Image processing using miniKanren, Hirotaka Niitsuma , http://arxiv.org/abs/1403.3964