State MonadでWriter Monadを実装する - めもめも
似たものを比較することで、いままで気づかなかった新しい知見が得られることがあります。 などと、小難しい言い方をしなくても、１つ１つ勉強していてもよく分からなかったものが、２つ並べて勉強すると、よく分かったりすることありますよね。 Monadの応用例でよく出るState MonadとWriter Monadですが、よ〜く考えると似ています。この2つを比較すると、Writer MonadはState Monadの特殊な場合と理解することができてしまいます。 State MonadとWriter Monadを見比べる まずは、比較しやすいように表記を工夫した俺々実装です。 newtype MyWriter a = MyWriter { runWriter :: ( a, [String] ) } instance Monad MyWriter where return a = MyWriter
Arrowの話をしよう (2)不動点と再帰 - haxis_fxの日記
今回圏論の話は出ません。 関数型言語勉強の中に、不動点コンビネータは避けては通れない道ですね。不動点とかなんとなく難しい印象がありますが、意外に簡単です。以下は定義(Wikipediaから)： 関数 f の不動点とは、関数 f(x) = x を満たすような x のことという。 不動点コンビネータ fix とは、下記のように関数 f の不動点を返すような高階関数 fix のこと。 fix(f) = f(fix(f)) 不動点は中学の連立方程式の知識さえあれば誰でも計算できるんだろう： f(x) = x f(x) = 42 => x = 42 f(x) = x f(x) = x^2 => x^2 - x = 0 => x(x - 1) = 0 => x = 0 or x = 1 そして不動点コンビネータはこの不動点を計算してくれる関数のこと。全然難しくないでしょう？ Haskellでは遅延評価
放射線不安、福島市の小中学生３１０人市外転校 : 社会 : YOMIURI ONLINE（読売新聞）
東京電力福島第一原子力発電所の事故による避難区域に指定されていない福島市で、放射線の健康影響を懸念して市外へ転校する小中学生が１学期終了時点で３１０人に上ることが、同市教育委員会の調査で分かった。 父親を残したまま、母子で県外の親戚や知人宅へ自主避難するケースが多いという。 福島市が、原発事故による放射線への不安を理由に、市内に住民票を置きながら市外へ転校手続きをとった児童生徒数を集計したところ、今月２２日現在、小学生が２７４人、中学生が３６人と、全体の約１・３％にのぼった。転校先は大半が県外で、小学校では山形県５７人、北海道２０人、新潟県１５人、中学校では埼玉県や山形県などが多かった。避難区域以外で放射線の不安から転校している実態が明らかになるのは初めて。 同市中心部は原発から約６０キロ離れており、福島県が６月に学校を対象に行った放射線量の調査では、政府が屋外活動を制限する基準としている
本名を知ってびっくりした芸能人｜ぴろり速報２ちゃんねる
本名を知ってびっくりした芸能人 2011年07月26日芸能・エンタメ コメント(18) つぶやく 1：以下、名無しにかわりましてVIPがお送りします：2011/07/21(木) 00:19:36.18 ID:7/893s4NO スガシカオ まさか菅 止戈男だとは 3：ラプラスのジーザス☆ゼロ ◆ZwzTRF3Nd2 ：2011/07/21(木) 00:20:13.54 ID:UseTwFhP0 石田純一 まさか石田太郎だとは 4：以下、名無しにかわりましてVIPがお送りします：2011/07/21(木) 00:20:46.75 ID:kn+Nftxj0 hyde まさか土井八郎だとは 17：以下、名無しにかわりましてVIPがお送りします：2011/07/21(木) 00:24:08.58 ID:qkI77GE10 >>4 懐かしいなｗｗｗ 18：以下、名無しにかわりまして
UbuntuでIPv6を有効にする方法 - 備忘録などいろいろ
Ubuntuでipv6を使う必要性が生じたのだが、ifconfigで表示されるのはローカルリンクipv6のみ。 sudo sysctl -w net.ipv6.conf.eth0.accept_ra=1 としても、つながらない。 どうもちゃんとipv6が有効になってないらしいのだが、ググッても出てくるのはipv6無効化に関するものばかり。 その中で見つけた稀有な良記事がこれ。 [title:http://www.sonorilo.net/2010/05/10/2730] これに従い、ipv6を有効にした。 まず、/etc/ufw/ufw.confの末尾に IPV6=yes を追記。 それから、 ネットワーク接続の編集で ipv6の設定 「自動」 に。再起動。 ipv6が割当てられた! ちなみに、MacOSではtraceroute6に -I オプションをつけることで、ICMPでtracero
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Bloomberg.com
not found