Call-By-Push-Valueの不純な関数型言語 - 檜山正幸のキマイラ飼育記 (はてなBlog)
パウル・ブラ・レヴィ（Paul Blain Levy）による計算モデルにCall-By-Push-Value（CBPVと略記）があります。最近知ったのですが、昔（20世紀）から有名らしいです。 CBPVの理論には、ラムダ計算の拡張である項言語（term language）が登場するのですが、コレ気に入りました。最初から不純なプログラム（impure program）を視野に入れています。僕は不純が好きですからね。不純な計算モデルであるデカルト作用圏やフレイド圏と相性が良さそうです。それと、積分を入れたラムダ計算とも何か関係がありそうな予感。 レヴィのCBPV言語は、ラムダ計算の項言語の拡張ですが、かなり現実の言語に近いものです。そのまま実装しても実用になりそうです。どんな構文かを紹介します。僕の好みを入れて少し変形します。 内容： 前置き 文と式の区別 式の型付け 文の種類と型付け 文に対
レビューポエム “関数型プログラミングに目覚めた! IQ145の女子高校生の先輩から受けた特訓5日間” を読んで
レビューポエム “関数型プログラミングに目覚めた! IQ145の女子高校生の先輩から受けた特訓5日間” を読んで 大阪天満橋のジュンク堂書店で購入しました。本当は立ち読みですませる気だったんですが、買わないでレビューはフェアではないかなと思い……今は後悔しています。 僕はプログラミングをしてご飯を食べていますが、関数型プログラミングの領分はまったく未経験です。 関数型の説明が適切かどうかの判断についてはできません。その上で、なぜ評価を低くしたのか、技術書的な側面とラノベ的な側面について分けて記述していきます。 技術書としてまず、最初の「人物紹介」に記載されている、本書を通じての指南役である「サクラ」の説明に”プログラミング・スキルは、『神の目』と呼ばれる全能レベルにまで到達していると噂されるが、サクラのコードを読み解ける部員がいないため、真相は不明である”と記載があります。 他の人が読み解
ＪＡＳＲＡＣの曲使用料徴収、最高裁も「参入妨害」認定：朝日新聞デジタル
テレビなどで流れる楽曲の使用料を放送局から徴収するビジネスをめぐり、日本音楽著作権協会（ＪＡＳＲＡＣ）の徴収方式が独占禁止法違反（私的独占）にあたるかが争われた訴訟で、最高裁は２８日、「他の事業者の参入を著しく困難にしている」とする判決を言い渡した。独禁法に違反しないとした公正取引委員会の審決を取り消した。公取委は再び審決をやり直す。 ＪＡＳＲＡＣの方式は、曲が流れた回数や時間を問わず、各局の放送事業収入の１・５％を使用料として徴収する「包括契約」を結ぶ。この方式について、第三小法廷（岡部喜代子裁判長）は「ほぼすべての放送事業者が長期間にわたり、ＪＡＳＲＡＣ以外の事業者が管理する楽曲を利用しづらくなっている」と判断、「参入妨害」とした一審・東京高裁判決を支持した。小法廷は「市場での支配力を維持するための人為的なものだ」とも指摘した。 この問題では、公取委が２００９年、ＪＡＳＲＡＣの方式が独
ＮＨＫの訴え棄却 原作のドラマ化契約解除巡り東京地裁：朝日新聞デジタル
小説をドラマ化するための許諾契約を一方的に解除され、制作中止に追い込まれたとして、ＮＨＫが、原作者から著作権の管理委託を受けていた講談社に約６千万円の損害賠償を求めた訴訟の判決が２８日、東京地裁であった。岡崎克彦裁判長は「（原作者側から）脚本の承認がされていない以上、許諾契約が成立したとは言えない。（ＮＨＫは）小説の主題に関する理解が十分でなかったきらいがある」などとして、ＮＨＫの訴えを棄却した。 問題となったのは、直木賞作家、辻村深月（みづき）さんの小説「ゼロ、ハチ、ゼロ、ナナ。」。ＮＨＫは同作をドラマ化し、２０１２年に放送予定だったが、脚本に納得できない辻村さんの意向を受けた講談社が「白紙にする」と申し入れたため、制作を直前に中止した。 裁判では、原作の改変がどこまで許されるかが焦点となった。原作は「母と娘」がテーマで、主人公は母親との葛藤があり、物語の終盤まで会いに行けないという設定
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
