ニコつべは、アカウントがなくてもニコニコ動画が視聴できるサービスです。

使い方は簡単、上部のフォームにニコニコ動画のURLを入れて、「試聴」ボタンを押すだけです！

タグ：カリー=ハワード同型対応

カリー=ハワード同型対応とは、入力(引数)や出力(戻り値)の「型」が命題に、プログラムが命題の証明に対応するという理論である。定理証明によるプログラム検証の理論的根拠にあたる。