11/05/12 21:26:21.33
>>29
> Coqは日本語の資料もあるし、それほど厳しくないと思われ
どれのことですか？
教えてプリーズ。
自分は、高校数学の範囲は大人が思い出すよりかなり狭いと思うけどね。
述語論理、微分方程式の数値解法、品質管理に使う統計解析など、どれも高校数学には含まれない。
11/05/12 21:26:21.33
>>29
> Coqは日本語の資料もあるし、それほど厳しくないと思われ
どれのことですか？
教えてプリーズ。
自分は、高校数学の範囲は大人が思い出すよりかなり狭いと思うけどね。
述語論理、微分方程式の数値解法、品質管理に使う統計解析など、どれも高校数学には含まれない。