- 推薦図書/必読書のためのスレッド 81 [無断転載禁止]©2ch.net
375 ：デフォルトの名無しさん[sage]：2017/03/18(土) 13:10:08.61 ID:tmgM3nCR - 独学はきついんじゃね？自分も聞いてみたい。
これから義務教育にプログラミングが入るんだっけ？閾値が下がっていいな。
|
- ドルオタワイ、1からプログラミングを学びたい [無断転載禁止]©2ch.net
114 ：デフォルトの名無しさん[sage]：2017/03/18(土) 13:11:58.11 ID:tmgM3nCR - 確かにww戒めだわな。
でも、Cを推しておくよ、他を下げることなく。
|
- 推薦図書/必読書のためのスレッド 81 [無断転載禁止]©2ch.net
390 ：デフォルトの名無しさん[sage]：2017/03/18(土) 20:43:57.37 ID:tmgM3nCR - >>388
そんなあなたは関数型、とくにHaskellを母語にしてからOOPに触れた方が良いと思われる。
普通に数学教育を経た人間にはあれが自然だわ。
|
- 次世代言語議論スレ[Go Rust Haskell Scala]第3世代 [無断転載禁止]©2ch.net
262 ：デフォルトの名無しさん[sage]：2017/03/18(土) 22:56:26.01 ID:tmgM3nCR - 流れ無視してすまない。
>>202
遅レスだが、ありがとう。
実はSFとCPDTを読みながらCoqを先にやってた。
でも、上で挙げたreflの感覚が分からないのは型理論の本質的なところを理解していないからだと気づいたので、
Coqよりも型理論寄りのAgdaに変えた。習得済みのHaskellにも近かったし。
今は、HOTTの教科書のChap.1の型理論を読み進めてる。なんか自分の違和感の答えが見つかりそうな雰囲気。理解してから書きこもうと思ったけど、情報への礼を先に言っておくべきと思って書いた。
|
- 次世代言語議論スレ[Go Rust Haskell Scala]第3世代 [無断転載禁止]©2ch.net
263 ：デフォルトの名無しさん[sage]：2017/03/18(土) 23:06:24.77 ID:tmgM3nCR - 流行りの人工知能の一領域は統計を利用して、モノの仕分けとかに利用されてるけど、
そこから先は、論理を扱えるCoq、Agdaなどに渡して処理することになると漠然と思ってる。
連続的なモノを統計で離散化して型に落とし込んで、型での議論に持ち込む。
人間が自然言語でやってるのって、まさにこういうことだと思う。
|