前回はSTモナドの基本的な特徴やSTモナドとかかわりのある拡張機能について説明しました。今回はそれらの知識を基にして，「STモナドのインタフェースとして提供されている関数」と「STモナドのさらなる性質」を説明します。 runST関数の働き 前回の拡張機能に対する説明で，runST関数を考察のための材料が揃いました。こうした知識を基に，runST関数について考えましょう。 まずはそれぞれの型について確認します。 STモナドは型ST sに対して定義されています。 Prelude Control.Monad.ST> :i ST newtype ST s a = GHC.ST.ST (GHC.ST.STRep s a) -- Defined in GHC.ST instance Monad (ST s) -- Defined in GHC.ST instance Functor (ST s) --
冷戦中、米国では領土への攻撃が行われた場合、迅速に核弾頭ミサイルによる反撃が行えるよう準備をしていた。核弾頭ミサイルの発射にはPermissive Action Link（PAL）と呼ばれるデバイスに発射コード（暗証番号）の入力が必要だが、この発射コードは、「00000000」という数字に設定されていたそうだ（TODAY I FOUNDOUT、本家/.）。 00000000になった理由は「入力時間を最小化するため」らしい。このパスワードは約20年間ほど使われていたとのこと。
3. ソフトウェア工学とは • ソフトウェアの開発・運用・保守に ついて体系化、分析、研究する分野 • 高度で安全なソフトウェアを短期間 で設計するための研究を行う
高速に自転車投げ込んだ少年たち…容疑は殺人未遂、「悪ふざけ」など通じない 産経新聞 12月22日(日)9時0分配信 中国自動車道に架かる陸橋から自転車をロープでつるし、投げ込みを再現する現場検証。この後、少年４人が殺人未遂容疑で逮捕された。少年たちは「悪ふざけだった」などと話しているが、重大事故を招きかねなかった愚行をどう考えていたの（写真：産経新聞） 運転しているだけでも疲労困憊（こんぱい）し、睡魔に襲われる未明の高速道路。そんな状態で突然、空から自転車が降ってきたら、反応できるだろうか。とっさにハンドルをきってよけられるだろうか。一瞬のうちに「死」が頭をよぎるかもしれない−。兵庫県川西市の中国自動車道上り線で１０月、高さ１１メートルの陸橋から自転車２台が相次いで投げ込まれた。殺人未遂容疑で逮捕された少年４人は「殺そうと思ったわけじゃない」「悪ふざけだった」と話す。しかし、軽い気持ちでや
若い人たちは、「文字列型」があるプログラミング言語しか知らないかもしれない。だが、汎用的な文字列型が一般的になったのは、プログラミング言語の歴史の中でも比較的最近のことである。 たとえば、1972年に誕生したC言語には文字列型がない。1980年代に良く使われていたPascalの文字列型は最大255文字しか格納できなかった。 なぜか？ それはメモリが貴重なリソースだったから。 1980年代のPCの搭載メモリは多くて数メガバイト。これに対し、長編小説の長さは1MB程度に達する*1。 当時、メモリはとても貴重な資源であり、テキストを処理するプログラムを開発するにあたっては、文字列をどのようにメモリ内に展開するかプログラマが細かくコーディングする必要があった。 だから、汎用的な「文字列型」というのは「夢」にすぎなかった。CあるいはPascalにおける文字列（CのASCIIZ文字列あるいはPasca
工学と理学の違い 高校生や大学教養課程の学生の皆さんの中には、工学部に進もうか理学部に進もうかと迷っていらっしゃる方も少なくないことでしょう。 （私自身は、小学生の頃からラジオや無線機を作ってはこわすのを楽しむ無線少年でしたので迷わず工学部に進学したのですが、）私の考える工学と理学の違いを書いてみましょう。ただし、あくまでも私見です。 工学と理学の最大の違いは、学問のめざすところの究極の目標の違いにあります。 ややおおげさな言い方になるかもしれませんが、工学の目標は人類の幸福、理学の目標は真理の探求です。 時々耳にする「理学は基礎研究、工学は応用研究」という区別は、必ずしもあたっていません。基礎か応用かという意味では、工学と理学の境界はかなり曖昧です。工学部でもほとんど理学部とかわらない基礎研究も行われています。しかし、どんなに基礎に近い研究を行っていても、工学の研究者がめざしているのは、
この記事は yosida95.com に移動しました。 新しい URL は https://yosida95.com/2013/12/22/000222.html です。 お手数をお掛けしますが、ブックマークの付け替えをお願いします。
Why is everyone in such a rush? Walk into any bookstore, and you'll see how to Teach Yourself Java in 24 Hours alongside endless variations offering to teach C, SQL, Ruby, Algorithms, and so on in a few days or hours. The Amazon advanced search for [title: teach, yourself, hours, since: 2000 and found 512 such books. Of the top ten, nine are programming books (the other is about bookkeeping). Simi
An introduction to functional reactive programming.
新年おめでとうございます。2009年の最初のネタはプログラミングのネタにすることにしました。 Rubyについてのステキなエントリーがあったので、紹介します。 no title 私は翻訳能力がないばかりか、リーディング能力も貧相です。ぜひ、原文を読んでみてください。 はじめに Rubyのblock、Proc、lambdaはパワフルですが、解りにくい。Rubyはクロージャを使う方法が4つあって、それぞれチョットずつ違います。ここでは、そのへんを解説したいと思います。 Block もっとも簡単で、かつRubyっぽいと言えば、Blockですね。 array = [1, 2, 3, 4] array.collect! do |n| n ** 2 end puts array.inspect # => [1, 4, 9, 16] 何が起こっているか？ まず、block付きでArrayの"collect
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
