数学の解説コラムの目次へ 圏論を学ぶ目的は,HaskellやScalaなどの関数型プログラミング言語をよく理解するため,としてよい。 モナドを実装するために必要という応用がある。 オンラインで圏論を学ぶための教科書: 役に立つ読み物 関数プログラミングと関連が深い とくに,モナドを考えるために圏論が必須! 本格的に学ぶには? オンラインで圏論を学ぶための教科書: 「圏と関手入門」 http://www.math.nagoya-u.ac.jp/~hasim... 100ページ以上あるオンライン入門書 圏論は面白い(1) メタグラフ : tnomuraのブログ 圏論は面白い(3) メタ圏 : tnomuraのブログ(2は存在しない) 圏論は面白い(4) メタ圏(2) モノイド : tnomuraのブログ 圏論は面白い(5) 関手 : tnomuraのブログ 圏論は面白い(6) 自然変換 :
「Haskellと数学とちょびっと音楽」なんていうシャレオツなサブタイをブログに付けてるのは誰ですか? 俺だよー! 大体、Haskell関連のコミュニティに顔を出していると、 数学科出ましたーとか、物理専攻ですー、とか、そーいう人がわりと多いのですが、 僕は「勉強なんて出来ないんジャー・レッド」だったので、サブタイトルに「数学」なんて入れつつも、 数学の話はほとんど出来なかったりとか出来たりとか・・・結局Haskellの記事しか書いてないですね、はい。 ただ、どちらかというと、Haskellでも処理系どうのとか、パフォーマンス云々とか、 そういう話より型システムでどうやって抽象化するかーみたいな、そういう話のほうがおもしれーとか思ったりしたので、 気づいたら圏論なんかはガジガジしてまして、多少の自己流の知識があったりとかなかったりとかしてるのです。 純粋関数型やらHaskellやらがメジャ
Riemann aggregates events from your servers and applications with a powerful stream processing language. Send an email for every exception in your app. Track the latency distribution of your web app. See the top processes on any host, by memory and CPU. Combine statistics from every Riak node in your cluster and forward to Graphite. Track user activity from second to second. Riemann provides low-l
rbenvでユーザーhome以下にrubyをセットしたSacchanは、sudo bundleが"sudo: bundle: command not found"と云う結果に至る事を知り、パスが…パスが…と電網のグルを訪ね歩く旅の中、 alias sudo='sudo env PATH=$PATH' とすれば好いと云う幾多もの文言を、引き攣りつつ通り抜け、sudoersでsudoの設定が様々に成される事を知るに至ったのでありました。上記のは、なんか…なんかイヤ……。 (冒頭の問題は、sudoの必要を無くして解決しました。必要無いなら無い方が好い。) $ sudo visudo で、さぁsudoersの編集へゆくのです。 Defaults env_reset Defaults secure_path = /sbin:/bin:/usr/sbin:/usr/bin:/usr/local/bin
Tip: ただ何かのプログラムが非ASCII文字を正しく処理しないという危惧だけでコードを読みにくくしてはならない。もしそのような事が起こる場合はそのプログラムが 壊れている のであってそちらが 修正 されるべきである。 3 ソースファイル構造 ソースファイルの内容は 以下の順序 であること。 1. ライセンスあるいはコピーライトの情報(もしあるならば) 2. package文 3. import文 4. ただ1個のトップレベルクラス。 ソースに書かれている内容それぞれの分離には ただ1行の空行 を使うこと。 3.1 ライセンスあるいはコピーライトの情報(もしあるならば) もしファイルにライセンスあるいはコピーライトの情報があるならばここに入る。 3.2 パッケージ文 パッケージ文は 改行してはならない。 文字数制限(4.4節 文字数制限は100文字 )はパッケージ文には適用されない。 3
Puma is Now the Recommended Ruby WebserverChange effective on 23 January 2015 Heroku now recommends using the Puma webserver. The previously recommended webserver, Unicorn, is susceptible to slow client attacks. If you are using Unicorn on Heroku please migrate to Puma. For more information read Deploying Rails Applications with the Puma Web Server.
The document describes various probability distributions that can arise from combining Bernoulli random variables. It shows how a binomial distribution emerges from summing Bernoulli random variables, and how Poisson, normal, chi-squared, exponential, gamma, and inverse gamma distributions can approximate the binomial as the number of Bernoulli trials increases. Code examples in R are provided to
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く