アカウント名:
パスワード:
プログラミングより先にちゃんと数学教えてください将来、計算機科学分野の勉強の役に立つというなら幾何の証明問題とか、そこまでいかなくとも教科書には無いパズル的なものとか一つ一つは単純であっても、それらが連鎖した長い論理を考える勉強が一番です
coqで証明とプログラミングを同時に勉強するのですね
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
犯人は巨人ファンでA型で眼鏡をかけている -- あるハッカー
意味無い (スコア:0)
プログラミングより先にちゃんと数学教えてください
将来、計算機科学分野の勉強の役に立つというなら幾何の証明問題とか、そこまでいかなくとも教科書には無いパズル的なものとか
一つ一つは単純であっても、それらが連鎖した長い論理を考える勉強が一番です
Re:意味無い (スコア:0)
coqで証明とプログラミングを同時に勉強するのですね