タグホーア論理が登録されている動画： 1 件中 1 - 1 件目

種類:

対象:

検証系ホーア式【アミノ式と初音ミク】

初音ミクの燃焼系アミノ式を聞きながら、プログラムがn番目のフィボナッチ数を計算することのホーア論理による証明でも眺めていってね。■しかし意味不明すぎる。今は反省している。