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

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

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