アルゴリズムの特許って、どうやって検証するの？
形式的な検証方法があるのかな？

フリーソフト／オープンソースでも、ネットワークでプログラムを
ばら撒いただけで特許権侵害になるんでしょ？

果てしない禅問答に巻き込まれる様な気がする…。