好評『TECHNO definitive 1963-2013』に続く、「definitive」シリーズの第二弾、アンビエント・ミュージックのカタログ本、その決定版、お待たせしました。三田格監修の『AMBIENT definitive 1958-2013』、今週末26日(金曜日)に発売です。 1958年から2013年まで、この55年間に発表されたアンビエント・ミュージックの代表作、隠れ名盤を一挙紹介。2009年にインファスから刊行された『アンビエント・ミュージック』と『裏アンビエント・ミュージック』から332枚を厳選し、新たに407枚を加筆したもので、しかも、『TECHNO definitive』同様に全250ページカラー。700枚以上のアンビエント・ジャケットを眺めているだけでも気持ち良いですし、アンビエントに関しては本当に多くの隠れ名盤があるので、意外に聴いてないものが多く、ゆえに楽しみ
OORUTAICHI 僕の楽しい仕事 Pヴァイン (8月7日発売予定 Amazon この厳しいご時世に、あまりにも無邪気なオオルタイチのリミックス・アルバムである。『僕の楽しい仕事』だと~、何を言ってやがるんだいと思いつつ聴いてみると本当に楽しいのだ。彼の音楽を僕なりに説明すると、ドリルンベース時代のエイフェックス・ツインとEY∃との幸福な出会いと言えばいいのだろうか。いや、しかし、彼は誰にも似ていないからこれでは説明になっていない。発想が自由だし、カリブーやNHK Koyxenやゴールド・パンダのように、特定のスタイルに囚われない、クラブと言うよりはライヴハウスのりのダンス・ミュージックである。 オオルタイチは、イルリメの『イるreメ短編座』や名盤『Live 08/Feb/2003』を出していた〈Moroheiya Records〉から2003年、アルバム『Yori Yoyo』を発表、2
僕が1994年にele-kingを作ろうと思った動機には、テクノやダンス・カルチャーにハマったことも大きいが、それ以上に「こういう音楽もあるんだ」ということを主張したかったというのがある。多くのメディアは売れているものを中心に扱う。しかし、わずか100人しか聴かないような音楽にも賞賛に値する、素晴らしいものはある。少数派の意見にも耳を傾けよ。僕は変わり者が好きだ。そう主張したいだけで、ポップとアンダーグラウンドのどちらが優れているかなどを競いたいわけではない。 バッファロー・ドーターは20年前から今日にいたるまで、アウトサイダーとして存在し続けている。TR303と「アシッド・トラックス」に寄せる多大な愛情が、変わり者をこよなく愛するというこのバンドの性格を物語っているだろう。つまり、バンドの音楽には、クラウトロックにも似た、ロックに対する独自な解釈が加えられているわけだが、その独自なものと
ジョン・フルシアンテは、ご存知のとおり、90年代の音楽シーンをいわゆる「ミクスチャー」と呼ばれた強烈なファンク・ロック・スタイルで風靡し、いまなお支持の衰えないモンスター・バンド、レッド・ホット・チリ・ペッパーズのギタリストだった男である。欠員を埋める形で中途から加入したフルシアンテは、しかし、バンドに叙情的でエモーショナルな「歌」の力を呼び込み、名ギタリストであるとともに名ソングライターとしての力量を遺憾なく発揮した。この時期からのファンも多いだろうし、バンドを出てソロになってからは多様なミュージシャンたちと関わりながら精力的にアルバム・リリースを重ねており、その求道的なまでの音楽活動に心酔する方も多いのではないだろうか。 ギタリストとして卓越した技術とセンスを持つ彼に、あくまでギターを弾いてほしいというのは多数の意見であるだろうけれども、昨年リリースされた2枚の作品は、そうした期待から
Lately, I’ve been having a lot of fun using Datomic on a couple of projects. One of them is something we’re calling torch, a source code analysis and visualisation tool built on top of codeq. It’s mostly an experiment which will hopefully help us understand and visualise some aspects of our entire Clojure code-base at uSwitch. If you happen to be attending FP Days in Cambridge, you might get to se
Opening Keynote at YOW! Lambda Jam, Brisbane, 2013. Is functional programming just the result of clever language design? Are there deeper reasons for the effectiveness of the paradigm? Why has functional programming not caught on earlier? In this talk, we will have a look at the roots of functional programming, at their contribution to the success of the paradigm, and at the lessons we can draw to
実践を前提としたワークショップが中心。「デザイン思考」の考え方がわかりやすく学べ、身につきやすいのが特徴です。フレームワークを使った問題解決への進め方、アウトプットの仕方などを体験しながら、つまづきやすいポイントも確認でき、参加者が現場に戻った際に実践ですぐ役立つプログラムになっています。
1: 以下、名無しにかわりましてVIPがお送りします 2013/08/13(火) 15:22:39.65 ID:r/MY6oMf0 ガキの頃の妄想秘密道具を漫画にするの楽しすぎわろた 69: 以下、名無しにかわりましてVIPがお送りします 2013/08/13(火) 15:33:16.04 ID:mlIkV4bW0これは出来る>>1 3: 以下、名無しにかわりましてVIPがお送りします 2013/08/13(火) 15:23:33.05 ID:r/MY6oMf0 はじまりはじまり~ 6: 以下、名無しにかわりましてVIPがお送りします 2013/08/13(火) 15:24:00.53 ID:flOPfgMt0 期待 8: 以下、名無しに変わりましてVIPがお送りします 2013/08/13(火) 15:24:11.70 ID:+C1AE8lU0 面白そうだな 10: 以下、名無し
Interactive code snippets not yet available for SoH 2.0, see our Status of of School of Haskell 2.0 blog post Please check out the library list on haskell-lang, available at: https://haskell-lang.org/libraries This page is no longer maintained, and may be out of date. DEPRECATED CONTENT BELOW HEREFP Complete's development tools provide you with access to many libraries. A full and up-to-date list
Shawn Mendes Returns With New Songs “Why Why Why” and “Isn’t That Enough”
ビッチ、リアルなGは静寂の中で動く。ラザーニャみたいにな。 「Bitch, real G's move in silence like lasagna」 (ビッチ、リアルなGは静寂の中で動く。ラザーニャみたいにな。) これはLil Wayneというラッパーの"6 Foot 7 Foot"という曲の中の一部分です。 リアルなG??ラザーニャみたいに??静寂の中で動く?? 皆さんはどういう意味か分かりますか? 思わずゴキブリがラザーニャにたかっているシーンを思い浮かべてしまいそうです。(さすがにタイラーでも食べきれません)。 外国人はラップの意味を分かっているのかという話をたまに聴きますが、以下のようなツイートを見る限り、どうやら外国人も分かっていなかったようです。 "real g's moves in silence like lasagna" -lil wayne. #AmIGettinO
ちょいちょい GrowthForecast のインストールが perl だから難しいとかいってる人をみかけるけれど、Dockerfile が用意してあれば、セットアップは簡単になるんじゃないだろうか。 audreyt が Dockerfile で配布する方法で irc logger を配布していたし、それを真似してみるのもアリかもしれない。そんな風におもって僕もやってみることにした。 Docker をつかうと、アプリをふくんだイメージを簡単に配布することが可能となる。インストール手順をごちゃごちゃとブログに書いたりするのもいいけれど、Dockerfile を共有したほうがいいのではないだろうか。再現可能だし。chef でもなんでもいいけど、docker はインストールが簡単なのがいいし、覚えることがすくなくていい。 いらなくなったら、イメージごとポイすればいいだけで、簡単だしね。 さて本題
ロンドンの地下鉄の路線図は公式サイトから手に入れることができますが、その路線図を立体アートのように見られるのが「Experiments 07」です。地下鉄の路線を平面ではなく立体的に表現することで、路線がどれくらい複雑に入り組んでいるかがわかり、実際に走行している電車もきっちり表現されているので、ボーッと見ているだけでも興味深い内容になっています。 bruno imbrizi : experiments 07 http://brunoimbrizi.com/experiments/07/index.html 上記のURLにアクセスすると、赤い玉が等間隔で並んでいる画面が表示されます。赤い玉が地下鉄の駅を表しており、その玉がつながってロンドンの地下鉄路線の1つ「Central」を表現。また、線内にある小さな直方体は電車で、ゆっくりとしたスピードで走行中です。 右上に表示されているコントロール
出社までにどれだけ遊べるか!? そんなテーマを追求した「エクストリーム出社」がとても面白そうです。 早朝から観光や海水浴、登山などのアクティビティを満喫し、そこから華麗に定時出社をキメるエクストリーム出社。日本エクストリーム出社協会の@amayanさんと@shiinanekoさんが考案したスポーツ(?)です。彼ら通勤者ならぬ“出社ニスト”たちの活動はハッシュタグ「#エクストリーム出社」で実況され、Togetterにまとめが作られています。 まず初回は、始発で鎌倉へ向かい、観光と海水浴を楽しんでから、喫茶店で優雅に朝食。それから出社するというコースでした。第2弾では、前日夜に箱根温泉街をぶらり訪ね、旅館の露天風呂にじっくりと浸かります。そして、グリーン車で駅弁を食べながら通勤していました。第3弾は、山頂での日の出観賞にチャレンジ。午前1時(!)に高尾山口駅に集合して登山していました。 第1弾
16bit事件簿。 両方とも海外のサイトではちょっと前に話題になっていた事件なのですが、日本でもどこかの音楽ニュースサイトとかで取り上げられるだろうと思って放置していたら、自分の観測内ではどこも取り上げていないようなので、軽く取り上げてみます。アフィリエイト収入にもアクセス増加にもつながらないタイプの音楽事件です。 ■ The WeekndとPortisheadのケース - サンプリングされたくない場合 先月アメリカのR&B系アーティストThe Weekndが新アルバム「Kissland」からの先行シングル「Belong To The World」を発表、これがPortisheadの2008年の曲「Machine Gun」のビートをサンプリングしているということで話題となりました。 これに対してPortisheadのGeoff Barrowは、以前The Weekndからサンプリングの許可
この度LINE株式会社及びグループ会社においてパートナーの皆様からの接待及び贈答品の受け取りを禁止することに致しました。 この目的ですが、1つはLINEのプラットフォームとしての責任が問われる中、様々なパートナー様とのお付き合いの中でのお誘いも増えており、その関係において互いに誤解が生じないようにするということがあります。プラットフォームにとって最も大事な事はユーザーの皆様に愛されるサービスを提供し続けることだと思っています。そのためにはそこで提供するコンテンツやサービスの選定判断においてパートナーの皆様との関係の深さや長さではなく、あくまでユーザーの皆様からの評価重視であることが求められると思っています。そのためにオープンでフェアな関係を続けることがかえってパートナーの皆様との関係を継続するためにも重要だと考えました。 またもう1つはパートナーの皆様からのお誘いの中で役員や社員が勘違いし
今日では、「数学は役に立つ」という表現は、ほとんど冗語である。 しかし20世紀に入ってもまだ、そう口にすることは、上品な人たちの怒りを買い嘲笑を受ける危険があった。 数学は蔑まれていたのではない。 むしろ《役に立つ》以上のものとして扱われていた。 誤解を恐れずに言えば、数学は、ラテン語や古代ギリシア語と同様に、古典古代の精華を今に引き継ぐ《古典科目》のひとつであった。 実利性を欠くが故に、エリートが学ぶべきもの、エリートしか学べないものとしての地位を保っていた。 イギリスでは19世紀の半ばになっても、オックスフォードやケンブリッジといった大学では、数学、ラテン語、古代ギリシア語の三つを身につければよかった。 そのかわり、大学に残り自分の研究をやろうとするならフェローとなる必要があったが、それには、難関であったトライポス(優等卒業試験)をパスし、しかも優秀な成績(おおよそ上位3人まで)をとら
覚え書き。以下のブログエントリで使われている「ノイラートの船」という例えを私は知らなかったので調べてみたこと、考えたこと。 ベンダーとユーザーの最大のポジションの違いはこれになります。つまり大海原のど真ん中で自分で自分の乗っている船を修理して長い航海をしていく必要があるということです。これは内製化という側面に焦点をあてると、その様な物理的なたとえのみならず、積み重ねてきた基盤・経験・知識・人材を、を作り直しながらやっていかねねばならないという意味で、「まさにノイラートの船」でしょう。 絶えず自力で作り替える、それも人も物も組織も含めて、その上その作業そのものが常に政治リスクに晒される、こういったバランスを保つことが内製化のなのでしょう。非常にコストが高いですね。とはいえ、いままでノーリスク思考で、リスクをSI屋さんに丸投げしていたツケですよ、と言われてしまえば、そうですが。 内製化を巡る議
@hirose31 さんが「シェルスクリプトでハマった件→【募】ステキな回避方法」でお題を出されていて、それに回答してみました。 その内容はリンク先を見てもらうとして、回答の中で使ったbashのプロセス置換について書かれた記事をあまり見ないので、回答で使ったプロセス置換のことをエントリにしてみたいと思います。 最初に注意点ですが、プロセス置換の機能は、bashやzsh*1の機能でPOSIX互換の機能ではありません。そのため、使用時には、対応していないシェルでは使えませんし、bashで使う場合も /bin/sh ではなく /bin/bash を明示的に指定する必要があります。たとえば、プロセス置換を使ったスクリプト「script.sh」に対して"$ bash script.sh" というコマンドは成功しますが、"$ sh script.sh" というコマンドは失敗します。この辺りの違いは「/
全国1000万人のVagrantユーザーのみなさんこんにちは。 Vagrantを普段から多用していると、知らないうちに仮想マシンが沢山起動していて母艦に負荷がかかったり、止めるの面倒くさい~といったことがよくあります。 VirtualBoxの場合は以下のようにVirtualBoxの画面で起動中の仮想マシンの一覧を把握できますが、どこのパスで起動した仮想マシンなのかもよく分からないため十分ではありません。 そこで今日は起動中のVagrantの仮想マシンの一覧を簡単に取得する方法を紹介します。 プラグインのインストール 今回使うのはvagrant-global-statusというプラグインです。 インストールは vagrant plugin install vagrant-global-status でOKです。 実行するには、好きな場所で vagrant global-status -a と
下の画像は世界のSAD(Social Anxiety Disorder:社会不安障害)当事者達の間で今話題になっているアニメの第一話のワンシーン。 主人公の女子高生黒木智子が学校の門を出たところで、先生に「気をつけて帰れヨ」と声をかけられ、硬直。声が出なくなり、挨拶もできなくなり、焦っているシーンである。 日本のアニメであり現在放映中らしいが(オフィシャルページ)、このアニメについて知ったのは私がゆるく繋がっている日本国外のSAD達からの情報だった。 なにしろSADという精神疾患を舞台の中央に置いた初めての漫画であり、大変画期的であると当事者たちに称賛されている。SADに悩む世界の多くの人々がこのアニメを見て「共感した」、「泣いてしまった」とネット上に書いている。 漫画として有名になったのは海外でのことで、いわば逆輸入的に日本でも広まったらしい。 観て思った。この主人公は激しくSADである
Online Compiler, Visual Debugger, and AI Tutor for Python, Java, C, C++, and JavaScript Python Tutor helps you do programming homework assignments in Python, Java, C, C++, and JavaScript. It contains a unique step-by-step visual debugger and AI tutor to help you understand and debug code. Since 2010, over 15 million people in more than 180 countries have used Python Tutor to visualize over 200 mil
Products Docker DesktopContainerize your applicationsDocker HubDiscover and share container imagesDocker ScoutSimplify the software supply chainDocker Build CloudSpeed up your image buildsTestcontainers Desktop Local testing with real dependenciesTestcontainers Cloud Test without limits in the cloud See our product roadmapMORE resources for developers
Recently, something remarkable happened on Twitter: On Saturday, August 3 in Japan, people watched an airing of Castle in the Sky, and at one moment they took to Twitter so much that we hit a one-second peak of 143,199 Tweets per second. (August 2 at 7:21:50 PDT; August 3 at 11:21:50 JST) To give you some context of how that compares to typical numbers, we normally take in more than 500 million Tw
Fulyn - The Functional Language Presentation Transcript 'Fulyn' The Functional Programming Language 自己紹介 ➲ 佐藤雄太(さとう・ゆうた) ➲ 16さい ➲ 高校一年生 ➲ ライブラリやコンパイラを作るのが好き ➲ 好きな言語はC#とLispとML ➲ Monoのコミッターめざしてます Fulynとは? ➲ OSECPU用の初の高級言語 ➲ 関数型言語 ➲ シンプル ➲ 豊富な表現力 OSECPU ASKA is キモい ➲ ほぼアセンブラ ➲ 変数にレジスタを割り当てる必要有 ➲ 構文の使い勝手が悪い ➲ 関数呼び出しのネストができない こんな感じ beginFunc(L_print_board); do { int32s i:R00, x:R02, y:R03; junkApi_fil
VimAdventCalendar 2012 228日目VimAdventCalendar 2012 228日目の記事になります。昨日227日目は@manga_osyoさんの「Vim script でもラムダを使いたい!」でした。 VimShellが動的プロンプトに対応しました結構要望が多かったと思われます、動的プロンプト。これがついに実装されました。 動的プロンプトとは状況によって内容が変わるプロンプトのことで、例えば現在のディレクトリを表示させたり、現在のユーザー名を表示させたり、といった用途が一般的です。 これまでプロンプトの位置特定などの事情から動的プロンプトはサポートされず、代わりにユーザープロンプトや右プロンプトといった手段が用意され、それらのプロンプトは動的に内容を変更できるようになっていました。しかし、この場合プロンプト全体がどうしても複数行になってしまうため、やはり単一行
Yes, virtualization is faster (sometimes) than native hardware Three studies show that in some circumstances VMware vSphere can deliver faster performance than native computing. It's a computing truism that when it comes to delivering the fastest possible speeds with high-performance computing (HPC), you must use native computing instead of virtualization. Recent studies have shown that, in some c
先日 Lenovo ThinkPad Edge E130 という安いノート PC を買いました。 Debian の GNOME デスクトップをインストールして使っています。格安ながらなかなかいい感じに仕上がったのでちょっと紹介したいと思います。 購入まで いまさらこんな普通のノート PC を買った理由は、このごろ自宅で Mac OSX ばかり使うのに飽きてきたので、 Linux 専用機とするための手頃なノート PC がほしかったということがあります。 機種選定においては MacBook Air や Ultrabook が理想だけど高すぎるし Netbook じゃ性能悲惨だしといったこだわりがあり、結構難航しました。まあいちばんの問題は間違いなく英語キーボードが必須という条件でしたが。 国内では条件に合うものがなかなか見つからず、海外の安い PC の個人輸入を試みるなどなどかなり思いつめてし
Debian と Ubuntu を両方使って気づいた些細な違いをその経緯も含めて深追いすることで、ディストリビューションの多様性について考えてみます (ほとんどは自分がはまったことの覚え書きですが)。 最初は電源を切ることについて。この記事では x86 の PC ベースのハードウェアを前提とします。 2013/07/03 追記: 仮想化環境について加筆しました。 halt コマンド Ubuntu では halt コマンドでシステムを終了させると System halted とコンソールに出した時点で停止し、ホストの電源は切れません。電源を切るには poweroff コマンドまたは halt -p を使用します。 なにをあたりまえのことを、と言われるかもしれませんが、私の過去の経験から halt して電源が落ちない Linux ホストはすなわち APM とか ACPI とかハードウェアに問題
8/29 に、Coq庵 に行ってきました。 資料等はこちら。 行き道で祭りやってた。 一部道が通れなかったりして、少し迷うなど。 初めてのCoq 仕様記述言語 Prolog ACL2, HOL/Light 完全自動証明 自動で証明してくれるが、表現力がやや低い Isabelle/HOL, Coq, Agda 手動証明 表現力が非常に高い Coq の特徴 高階論理 表現力最強 自動証明機能 (tactic) 対話的に人間が証明を与えるが、部分的に自動証明を使うこともできる プログラムと連携 証明したものをそのまま実行できる OCaml, Haskell, Sheme に出力できる Coq の中身 関数型プログラム的 Vernacularコマンド (プログラムの文) Gallina式 (プログラムの式) 内部はラムダ式 論理学的 tactic 証明、証明を含む式 小文字で始まって . で終わる
Isabelleのチュートリアルを読みながらまとめていきたいと思います。 http://www.cl.cam.ac.uk/research/hvg/Isabelle/ http://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle/doc/tutorial.pdf 最新バージョンはIsabelle2009-1。バージョンが変わる前に最後までいけたらよいなと。 環境はMac(Snow Leopard)にMacPortsでIsabelleとProof Generalをインストールし、Carbon Emacsで動かしています。X-Symbolは使用していません。
What is Isabelle? Isabelle is a generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. Isabelle was originally developed at the University of Cambridge and Technische Universität München, but now includes numerous contributions from institutions and individuals worldwide. See the Isabelle ov
これはTheorem Proving Advent Calendarの15日目の記事である。 二回目じゃないのかって?人数不足だ。気にしてはいけない。 さて、今日の記事が何に関する記事かは見れば一目瞭然。 Coqの中のtactics記述用言語Ltacについてであり、目標はあの有名なcrushを読み解くことである。 ・・・と書いたが、正直まじめに説明すると長さの関係上やっていられないので、crushの動きを簡単に知る程度にする。 なお、今回もまた内容の関係上背景をあまり長くかけないので、一通りCoqの知識を持っているものとする。 それでも無理なのだからもはやどうしようもない。 crushって何? 有名な、といっておきながらそれか、といわれそうだが、一応説明する。 crushというのは、Coqの初級者以上*1が読むと勉強になること請け合いの、Certified Programming with
以前はHaskell Platformを使っていたのだけど、Cabalの依存関係ソルバがあまり賢くなかったこともあり、いわゆるdependency hellに陥ることが多かった。それからというものHaskell Platformを使わない環境を使っている。OS Xでは公式のインストーラやらHomebrewやMac Portsなど幾つかの方法が用意されているが、こんな方法もあるよということで紹介してみよう。 GHCのインストール GHCのリリース版は自分でビルドしない。時間が掛かるから。インストーラは使わずにtarball版を使う。これはインストール先を自分で指定したいため。 tar zxvf ~/Downloads/ghc-7.6.3-x86_64-apple-darwin.tar.bz2 cd ghc-7.6.3/ ./configure --prefix=/usr/local/ghc/
A powerful, easy-to-use, and easy-to-read programming language for the future View project onGitHub Kal is a highly readable, easy-to-use language that compiles to JavaScript. It's designed to be asynchronous and can run both on node.js and in the browser. Kal makes asynchronous programming easy and clean by allowing functions to pause and wait for I/O, replacing an awkward callback syntax with a
FuzzDB is an open source database of attack patterns, predictable resource names, regex patterns for identifying interesting server responses, and documentation resources. It’s most often used testing the security of web applications but can be useful for many other things. FuzzDB started off as years of my own personal documentation and research notes and gradually evolved into its current form.
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く