@kusano_k

折り紙に、探索が難しくて検証が容易という性質があるのなら、折り紙認証とか折り紙ブロックチェーンとか作れないのかな。風流。
超難問を72時間で解く――過酷なプログラミング大会「ICFP-PC」、その魅力は 優勝チームに聞く
itmedia.co.jp/news/articles/…