ラムダ計算で代数的データ型を表現する方法 - @syamino はてなダイアリー
ラムダ計算でEither Either型の値をパターンマッチする状況を考えます。 「データコンストラクタのパターンマッチ」は，下図のようにしてラムダ計算で表現できます。 ラムダ計算でBool 今度は，Bool型の値をパターンマッチする状況を考えます。 TrueやFalseには引数が無いので，(3)や(4)はλで囲みません。 パターンマッチ = 「データコンストラクタを他の関数に置き換えること」 パターンマッチによって，Leftがlに置き換わります。以下同様です。 「データコンストラクタを置き換える」という概念について，もう少し詳しく考えていきます。 データコンストラクタの置き換え方は2種類ある リストのような再帰的なデータ型では，データコンストラクタの置き換え方が2種類あります。 data List a = Cons a (List a) | Nil (1) 全てのデータコンストラクタを置
朝日新聞デジタル：能勢電鉄、開業１００周年 当時のカラー再現車両も登場 - 社会
昭和２０年代から１９８１年まで走っていた塗装の車両＝１３日午前１１時半、兵庫県川西市の能勢電鉄川西能勢口駅 兵庫県川西市と同県猪名川町、大阪府能勢町を結ぶ能勢電鉄（本社・川西市）が１３日、開業１００周年を迎えた。川西市の川西能勢口駅で記念式典があり、鉄道ファンが集まった。 この日は開業時や昭和の時代の塗装を再現した車両がホームに止まり、沿線で収穫された野菜や記念グッズが車内販売された。式典で岸本和也社長は「本日から新たな１００年に向かって出発します」とあいさつした。今後、１１月まで様々な記念イベントを催す。 同社は、能勢地域の農産物輸送と妙見山参拝を目的に１９０３年に設立。１９１３年から川西能勢口―一の鳥居（川西市）間で営業運転を始めた。現在では主に大阪に向かう通勤、通学客が利用する鉄道線のほか、妙見山へのケーブルカー、リフトを運行している。 関連リンク能勢電鉄開業１００周年 兵庫、
【コラム】たった５００円なのにCD(-R)音源が売れない事に嘆いてるミュージシャンの皆様へ
Sleepyhead Jaimie Blog (スリーピーヘッド・ジェイミー ブログ) キャンピングカーで全国を旅歌うアコースティックデュオ、Sleepyhead Jaimie(スリーピーヘッド・ジェイミー)のブログです。※現在活動休眠中 僕のライブハウス時代からのバンド仲間がツイッターで 「ライブハウスで５００円のビールやジュースみんな呑んでるのに、５００円の音源すら売れないってキビしすぎるよね。」「音源の価値低すぎるだろっ」「ビール以下、という現実」 ってつぶやいてました。 でもそれは音楽や音源の価値が低いのではなく、 「音源を買ってもらう際のハードルを高くし過ぎてる」 からだと思うから、全然嘆くような事じゃ無いと感じます。 自分も似た経験を経ているので、色々思う事があって綴ってみようかと思いました。 長くなりますが、興味ある方はぜひお付き合い下さいね！ まずはその「ハードル」を、１つ
Microsoftの更新プログラムに不具合、アンインストールを勧告
日本時間10日に配信された月例セキュリティ更新プログラムの中の1件が原因で不具合が発生。Microsoftは配信を停止し、全ユーザーにアンインストールを呼びかけた。 米Microsoftが4月9日（日本時間10日）に配信した月例セキュリティ更新プログラムの中の1件が原因で、一部のコンピュータにブルースクリーンと呼ばれるエラーメッセージが表示されるなどの不具合が発生しているという。Microsoftは11日、問題の更新プログラムをアンインストールするようユーザーに呼びかけた。 問題になっているのは、Windowsのカーネルモードドライバに存在する権限昇格の脆弱性に対処した更新プログラム「MS13-036」（KB2823324）。Microsoftによれば、これを適用したWindows 7で再スタートから復旧できなくなったり、アプリケーションが読み込めなくなったりするなどの不具合が一部のユーザ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
