前回の続きです。２回で終われませんでしたorz 今回は、Stateモナドの値の説明と、returnの定義です。 モナド=Stateモナドとか、モナド=IOモナドなどと思うのは危険です。「Stateモナドは、モナドインタフェースの実装例」くらいに解釈するのがいいと思います。
前回の続きです。２回で終われませんでしたorz 今回は、Stateモナドの値の説明と、returnの定義です。 モナド=Stateモナドとか、モナド=IOモナドなどと思うのは危険です。「Stateモナドは、モナドインタフェースの実装例」くらいに解釈するのがいいと思います。
3年前に理解しようとして惨敗した*1HaskellのStateモナドの解説に、リベンジしようと思います。圏論をちょっとはかじったので、今度こそまともな解説ができるはず。 と言うことで、今回は前編です。圏論の知識は前提とはしてないですが、集合と写像にアレルギーがあるときついかもしれません。 *1:3年前の敗因は、圏をSetsだと思い込んでた上に関手を「写像を写像に移す写像」だと誤解してたことでしょうか。
State モナドの使い方がもうひとつよく分からなかったので、State Monad のチュートリアルを読んでいたら、Parsec と同じ使い方をすれば良いのだと気がついた。 Parsec ではパーサのモナドをプログラムしても、それだけでは何もしてくれない。たとえば、Parsec の(プリミティブ）関数の letter は、次のように parser 関数の引数にして実行しないとなにもしない。 Prelude Text.Parsec> parse letter "" "hello" Right 'h' また、要素的 (primitive) な関数はパーサーコンビネータと組み合わせることによって複雑なパターンに対応することができる。 Prelude Text.Parsec> parse (many1 letter) "" "hello world" Right "hello" さらに、パーサ関
求人SWITCH / フォトグラファー・クリエイターの求人情報 @cpq_genkosha こちら飯田橋の玄光社です。社内でも話題に．．．なんでしょうね？？ RT @fladdict: 飯田橋、空に雲で333って書いてあるけどなにこれ？ http://t.co/MnPvS3s9 2012-01-12 13:53:09
Decrease quantity for Halobet 🎀 Situs Slot Online Terpercaya Gacor 2024 Increase quantity for Halobet 🎀 Situs Slot Online Terpercaya Gacor 2024 Fasilitas Lengkap untuk Pemain Baru Bagi para pemain baru, Halobet menyediakan fasilitas lengkap untuk memastikan Anda merasa nyaman dan terhibur selama bermain di situs kami. Dari berbagai pilihan permainan slot hingga layanan pelanggan yang responsif,
東京電力福島第一原発事故で、原発から４０キロ離れた計画的避難区域内に生息するコオロギから１キロ・グラム（約５００匹）あたり４０００ベクレル以上の放射性セシウムが検出されたことが、東京農工大の普後一(ふごはじめ)副学長（昆虫生理学）の調査でわかった。 別の場所のイナゴからも最大２００ベクレルを検出した。 調査は、昨年１０月、原発から約４０キロほど離れた計画的避難区域の福島県飯舘村北部でコオロギ５００匹、６０〜８０キロ離れた本宮市役所付近や須賀川市北部、桑折町役場付近、猪苗代町の猪苗代湖付近の水田でイナゴ計２０００匹を採集した。 飯舘村のコオロギからは１キロ・グラムあたり平均４１７０ベクレルを検出。須賀川市のイナゴは同１９６ベクレル、桑折町と本宮市は、それぞれ同８２ベクレルと７５ベクレルだった。
【要旨】（編集部作成） 放射線の基準は、市民の不安を避けるためにかなり厳格なものとなってきた。国際放射線防護委員会（ICRP）は、どんな被曝でも「合理的に達成可能な限り低い（ALARA:As Low As Reasonably Achievable）」レベルであることを守らなければならないという規制を勧告している。この基準を採用する科学的な根拠はない。福島での調査では住民の精神的ストレスが高まっていた。ALARAに基づく放射線の防護基準は見直されるべきである。 科学的知見ではなく、政治的に決まった放射線の国際基準 ある特定の場所、特定の時間において、再生可能な資源はエネルギー供給に重要な貢献を果たす事ができる。しかし、それらは完全なエネルギー問題の答えとしては高価であり、信頼性のあるものとはいえない。原子力発電は大規模に石油に代替できる唯一の有効なエネルギー源であるが、放射線への懸念により
http://practical-scheme.net/chaton/gauche/a/2010/10/28#entry-4cc8dc54-745c3 Gaucheでも、GTkだとどうしてもクロスプラットフォームが面倒なので、wxの方がいいかなあということは前から思ってるんだけど、GUIツールキットとしての使い勝手はどうなんだろう。 個人的には10年ちかくWin32をやってるので、Win32感覚の命名規則やイベント機構はなじみやすい気がする。ただ、一般的に見たときは微妙。多くの仕事をマクロでやっていて、通常の人間には使いづらいと感じられそう。 (以下は http://0xcc.net/pub/uu-2004-08/ の内容と近い気がする。） というわけで、選択の理由の大部分は政治的理由で : ライセンス wxWidgets自体はLGPLだが、ライセンスに例外条項をつけて独占的アプリケーショ
娘が持ち帰ってきたテスト。この問題をやらせる意味がよく分からない。なんていうか、国語の問題ですらないと思うんだけど。しかも「活用する力をみる」って・・・。 #掛算
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く