2017-01-01から1年間の記事一覧
久しぶりにいくつか記事を書いたけど, tkhshyt.hatenablog.com tkhshyt.hatenablog.com tkhshyt.hatenablog.com そもそもScalaで型クラスをシミュレートする方法は,Scalaに関する基本的な知識なのだろうか? (ここで挙げた記事ではまだ型クラスを使ってい…
前回の記事の続き. tkhshyt.hatenablog.com 既に記事として書くのが面倒になってきた. 世間の関数型プログラミング言語を使っているプログラマは,Catamorphisms,Anamorphisms,Hylomorphisms,Paramorphisms くらい知っているのでは?(錯乱)
前回書いた記事の補足. tkhshyt.hatenablog.com
Functional Programming with Banas, Lenses, Envelopes and Barbed Wire という論文を読んだので,そこで書かれている内容を Scala で実装してみる.
今日受けていた講義があまりにも暇理解できなかったので,Brainfuckについて調べていた.
今日の英語の講義で学んだこと. ユークリッドが,素数が無限個存在することの証明に用いた手法. 自分は,オイラーの証明の方は前にどっかで見たことがあったけど,ユークッドの方の証明は記憶になかった. 証明は,すごい簡単で,高校数学の美しい物語 か…