BASE（ベイス） | ネットショップを無料で簡単に作成
0円 費用は売れたときの手数料のみ。初期費用・月額費用が無料だから今すぐネットショップをはじめられます。
AMBIENT definitive 1958-2013 | ele-king
好評『TECHNO definitive 1963-2013』に続く、「definitive」シリーズの第二弾、アンビエント・ミュージックのカタログ本、その決定版、お待たせしました。三田格監修の『AMBIENT definitive 1958-2013』、今週末26日（金曜日）に発売です。 1958年から2013年まで、この55年間に発表されたアンビエント・ミュージックの代表作、隠れ名盤を一挙紹介。2009年にインファスから刊行された『アンビエント・ミュージック』と『裏アンビエント・ミュージック』から332枚を厳選し、新たに407枚を加筆したもので、しかも、『TECHNO definitive』同様に全250ページカラー。700枚以上のアンビエント・ジャケットを眺めているだけでも気持ち良いですし、アンビエントに関しては本当に多くの隠れ名盤があるので、意外に聴いてないものが多く、ゆえに楽しみ
interview with OORUTAICHI | ele-king
OORUTAICHI 僕の楽しい仕事 Pヴァイン （８月７日発売予定 Amazon この厳しいご時世に、あまりにも無邪気なオオルタイチのリミックス・アルバムである。『僕の楽しい仕事』だと～、何を言ってやがるんだいと思いつつ聴いてみると本当に楽しいのだ。彼の音楽を僕なりに説明すると、ドリルンベース時代のエイフェックス・ツインとEY∃との幸福な出会いと言えばいいのだろうか。いや、しかし、彼は誰にも似ていないからこれでは説明になっていない。発想が自由だし、カリブーやNHK Koyxenやゴールド・パンダのように、特定のスタイルに囚われない、クラブと言うよりはライヴハウスのりのダンス・ミュージックである。 オオルタイチは、イルリメの『イるreメ短編座』や名盤『Live 08/Feb/2003』を出していた〈Moroheiya Records〉から2003年、アルバム『Yori Yoyo』を発表、2
IKEBANA | ele-king
この10年、お決まりの語法を無視したユニークな音楽の多くが北米から出て来ている。エクスペリメンタル・ミュージックと呼びうるものは、UKにシーンがないわけではないのだろうけれど、しかし、圧倒的に北米もしくはUK以外の欧州からのほうが目立っている。1980年代はOPNやローレル・ヘイロー、グルーパーやエメラルズのような音楽、いわゆるレフトフィールドな音と言えばUK以外からの方が珍しかったというのに、である。社会的、経済的な厳しさで言えば、北米もそれなりにきついはずだ。裕福だから実験、というわけではないだろう。 何にせよ、こうした豊かな多様性を持った、知覚の領域を拡張するための......か、どうかは知らないが、メインストリームに媚びることない実験精神旺盛なUSインディ・シーンと共鳴するような日本人アーティストがもっと出てきてもおかしくはない。前に紹介したイルハはそのひとつとに数えらるのだろうが
interview with Buffalo Daughter | ele-king
僕が1994年にele-kingを作ろうと思った動機には、テクノやダンス・カルチャーにハマったことも大きいが、それ以上に「こういう音楽もあるんだ」ということを主張したかったというのがある。多くのメディアは売れているものを中心に扱う。しかし、わずか100人しか聴かないような音楽にも賞賛に値する、素晴らしいものはある。少数派の意見にも耳を傾けよ。僕は変わり者が好きだ。そう主張したいだけで、ポップとアンダーグラウンドのどちらが優れているかなどを競いたいわけではない。 バッファロー・ドーターは20年前から今日にいたるまで、アウトサイダーとして存在し続けている。TR303と「アシッド・トラックス」に寄せる多大な愛情が、変わり者をこよなく愛するというこのバンドの性格を物語っているだろう。つまり、バンドの音楽には、クラウトロックにも似た、ロックに対する独自な解釈が加えられているわけだが、その独自なものと
interview with John Frusciante | ele-king
ジョン・フルシアンテは、ご存知のとおり、90年代の音楽シーンをいわゆる「ミクスチャー」と呼ばれた強烈なファンク・ロック・スタイルで風靡し、いまなお支持の衰えないモンスター・バンド、レッド・ホット・チリ・ペッパーズのギタリストだった男である。欠員を埋める形で中途から加入したフルシアンテは、しかし、バンドに叙情的でエモーショナルな「歌」の力を呼び込み、名ギタリストであるとともに名ソングライターとしての力量を遺憾なく発揮した。この時期からのファンも多いだろうし、バンドを出てソロになってからは多様なミュージシャンたちと関わりながら精力的にアルバム・リリースを重ねており、その求道的なまでの音楽活動に心酔する方も多いのではないだろうか。 ギタリストとして卓越した技術とセンスを持つ彼に、あくまでギターを弾いてほしいというのは多数の意見であるだろうけれども、昨年リリースされた2枚の作品は、そうした期待から
Ragnar Dahlén - Datomic in the Browser
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
Do Extraterrestrials Use Functional Programming?
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: 以下、名無し
Recommended libraries - School of Haskell | School of Haskell
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
Genius | Song Lyrics & Knowledge
Shawn Mendes Returns With New Songs “Why Why Why” and “Isn’t That Enough”
人気のリリック解説サイト"RAP GENIUS"で日本語も使えた！
ビッチ、リアルな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
サービス終了のお知らせ - NAVER まとめ
サービス終了のお知らせ NAVERまとめは2020年9月30日をもちましてサービス終了いたしました。 約11年間、NAVERまとめをご利用・ご愛顧いただき誠にありがとうございました。
Docker で Growthforecast をインストールする方法 - tokuhirom's blog
ちょいちょい GrowthForecast のインストールが perl だから難しいとかいってる人をみかけるけれど、Dockerfile が用意してあれば、セットアップは簡単になるんじゃないだろうか。 audreyt が Dockerfile で配布する方法で irc logger を配布していたし、それを真似してみるのもアリかもしれない。そんな風におもって僕もやってみることにした。 Docker をつかうと、アプリをふくんだイメージを簡単に配布することが可能となる。インストール手順をごちゃごちゃとブログに書いたりするのもいいけれど、Dockerfile を共有したほうがいいのではないだろうか。再現可能だし。chef でもなんでもいいけど、docker はインストールが簡単なのがいいし、覚えることがすくなくていい。 いらなくなったら、イメージごとポイすればいいだけで、簡単だしね。 さて本題
ロンドンの地下鉄の重層立体構造っぷりを見ながらぐりぐりと動かしまくれる路線図「Experiments 07」
ロンドンの地下鉄の路線図は公式サイトから手に入れることができますが、その路線図を立体アートのように見られるのが「Experiments 07」です。地下鉄の路線を平面ではなく立体的に表現することで、路線がどれくらい複雑に入り組んでいるかがわかり、実際に走行している電車もきっちり表現されているので、ボーッと見ているだけでも興味深い内容になっています。 bruno imbrizi : experiments 07 http://brunoimbrizi.com/experiments/07/index.html 上記のURLにアクセスすると、赤い玉が等間隔で並んでいる画面が表示されます。赤い玉が地下鉄の駅を表しており、その玉がつながってロンドンの地下鉄路線の1つ「Central」を表現。また、線内にある小さな直方体は電車で、ゆっくりとしたスピードで走行中です。 右上に表示されているコントロール
「日本エクストリーム出社協会」の出社ニストがすごい 早朝から登山や海水浴→定時に会社へゴー！
出社までにどれだけ遊べるか!? そんなテーマを追求した「エクストリーム出社」がとても面白そうです。 早朝から観光や海水浴、登山などのアクティビティを満喫し、そこから華麗に定時出社をキメるエクストリーム出社。日本エクストリーム出社協会の@amayanさんと@shiinanekoさんが考案したスポーツ（？）です。彼ら通勤者ならぬ“出社ニスト”たちの活動はハッシュタグ「#エクストリーム出社」で実況され、Togetterにまとめが作られています。 まず初回は、始発で鎌倉へ向かい、観光と海水浴を楽しんでから、喫茶店で優雅に朝食。それから出社するというコースでした。第2弾では、前日夜に箱根温泉街をぶらり訪ね、旅館の露天風呂にじっくりと浸かります。そして、グリーン車で駅弁を食べながら通勤していました。第3弾は、山頂での日の出観賞にチャレンジ。午前1時（！）に高尾山口駅に集合して登山していました。 第1弾
最近起こったサンプリングにまつわる音楽事件2つ - The WeekndとJulio Bashmore : matsu & take
16bit事件簿。 両方とも海外のサイトではちょっと前に話題になっていた事件なのですが、日本でもどこかの音楽ニュースサイトとかで取り上げられるだろうと思って放置していたら、自分の観測内ではどこも取り上げていないようなので、軽く取り上げてみます。アフィリエイト収入にもアクセス増加にもつながらないタイプの音楽事件です。 ■ The WeekndとPortisheadのケース - サンプリングされたくない場合 先月アメリカのR&B系アーティストThe Weekndが新アルバム「Kissland」からの先行シングル「Belong To The World」を発表、これがPortisheadの2008年の曲「Machine Gun」のビートをサンプリングしているということで話題となりました。 これに対してPortisheadのGeoff Barrowは、以前The Weekndからサンプリングの許可
LINEでは接待及び贈答品の受け取りを禁止としました : 起業家 森川亮ブログ
この度LINE株式会社及びグループ会社においてパートナーの皆様からの接待及び贈答品の受け取りを禁止することに致しました。 この目的ですが、1つはLINEのプラットフォームとしての責任が問われる中、様々なパートナー様とのお付き合いの中でのお誘いも増えており、その関係において互いに誤解が生じないようにするということがあります。プラットフォームにとって最も大事な事はユーザーの皆様に愛されるサービスを提供し続けることだと思っています。そのためにはそこで提供するコンテンツやサービスの選定判断においてパートナーの皆様との関係の深さや長さではなく、あくまでユーザーの皆様からの評価重視であることが求められると思っています。そのためにオープンでフェアな関係を続けることがかえってパートナーの皆様との関係を継続するためにも重要だと考えました。 またもう1つはパートナーの皆様からのお誘いの中で役員や社員が勘違いし
数学は何の役に立つのか？ ユークリッドから数学を取り返したエンジニアの答え
今日では、「数学は役に立つ」という表現は、ほとんど冗語である。 しかし20世紀に入ってもまだ、そう口にすることは、上品な人たちの怒りを買い嘲笑を受ける危険があった。 数学は蔑まれていたのではない。 むしろ《役に立つ》以上のものとして扱われていた。 誤解を恐れずに言えば、数学は、ラテン語や古代ギリシア語と同様に、古典古代の精華を今に引き継ぐ《古典科目》のひとつであった。 実利性を欠くが故に、エリートが学ぶべきもの、エリートしか学べないものとしての地位を保っていた。 イギリスでは19世紀の半ばになっても、オックスフォードやケンブリッジといった大学では、数学、ラテン語、古代ギリシア語の三つを身につければよかった。 そのかわり、大学に残り自分の研究をやろうとするならフェローとなる必要があったが、それには、難関であったトライポス（優等卒業試験）をパスし、しかも優秀な成績（おおよそ上位３人まで）をとら
企業システムとノイラートの船 - 勘と経験と読経
覚え書き。以下のブログエントリで使われている「ノイラートの船」という例えを私は知らなかったので調べてみたこと、考えたこと。 ベンダーとユーザーの最大のポジションの違いはこれになります。つまり大海原のど真ん中で自分で自分の乗っている船を修理して長い航海をしていく必要があるということです。これは内製化という側面に焦点をあてると、その様な物理的なたとえのみならず、積み重ねてきた基盤・経験・知識・人材を、を作り直しながらやっていかねねばならないという意味で、「まさにノイラートの船」でしょう。 絶えず自力で作り替える、それも人も物も組織も含めて、その上その作業そのものが常に政治リスクに晒される、こういったバランスを保つことが内製化のなのでしょう。非常にコストが高いですね。とはいえ、いままでノーリスク思考で、リスクをSI屋さんに丸投げしていたツケですよ、と言われてしまえば、そうですが。 内製化を巡る議
bashのプロセス置換機能を活用して、シェル作業やスクリプト書きを効率化する - 双六工場日誌
@hirose31 さんが「シェルスクリプトでハマった件→【募】ステキな回避方法」でお題を出されていて、それに回答してみました。 その内容はリンク先を見てもらうとして、回答の中で使ったbashのプロセス置換について書かれた記事をあまり見ないので、回答で使ったプロセス置換のことをエントリにしてみたいと思います。 最初に注意点ですが、プロセス置換の機能は、bashやzsh*1の機能でPOSIX互換の機能ではありません。そのため、使用時には、対応していないシェルでは使えませんし、bashで使う場合も /bin/sh ではなく /bin/bash を明示的に指定する必要があります。たとえば、プロセス置換を使ったスクリプト「script.sh」に対して"$ bash script.sh" というコマンドは成功しますが、"$ sh script.sh" というコマンドは失敗します。この辺りの違いは「/
Vagrantで仮想マシンの一覧を簡単に取得する方法
全国1000万人のVagrantユーザーのみなさんこんにちは。 Vagrantを普段から多用していると、知らないうちに仮想マシンが沢山起動していて母艦に負荷がかかったり、止めるの面倒くさい～といったことがよくあります。 VirtualBoxの場合は以下のようにVirtualBoxの画面で起動中の仮想マシンの一覧を把握できますが、どこのパスで起動した仮想マシンなのかもよく分からないため十分ではありません。 そこで今日は起動中のVagrantの仮想マシンの一覧を簡単に取得する方法を紹介します。 プラグインのインストール 今回使うのはvagrant-global-statusというプラグインです。 インストールは vagrant plugin install vagrant-global-status でOKです。 実行するには、好きな場所で vagrant global-status -a と
わたモテ黒木智子が激しくＳＡＤであることについて | 社会不安障害と向き合う
下の画像は世界のＳＡＤ（Social Anxiety Disorder：社会不安障害）当事者達の間で今話題になっているアニメの第一話のワンシーン。 主人公の女子高生黒木智子が学校の門を出たところで、先生に「気をつけて帰れヨ」と声をかけられ、硬直。声が出なくなり、挨拶もできなくなり、焦っているシーンである。 日本のアニメであり現在放映中らしいが（オフィシャルページ）、このアニメについて知ったのは私がゆるく繋がっている日本国外のＳＡＤ達からの情報だった。 なにしろＳＡＤという精神疾患を舞台の中央に置いた初めての漫画であり、大変画期的であると当事者たちに称賛されている。ＳＡＤに悩む世界の多くの人々がこのアニメを見て「共感した」、「泣いてしまった」とネット上に書いている。 漫画として有名になったのは海外でのことで、いわば逆輸入的に日本でも広まったらしい。 観て思った。この主人公は激しくＳＡＤである
Online Python Tutor - visualize, debug, get AI help for Python, Java, C, C++, and JavaScript
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
Get Started | Docker
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
New Tweets per second record, and how!
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
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
VimShellが動的プロンプトに対応しました（やばい） - かなりすごいブログ
VimAdventCalendar 2012 228日目VimAdventCalendar 2012 228日目の記事になります。昨日227日目は@manga_osyoさんの「Vim script でもラムダを使いたい！」でした。 VimShellが動的プロンプトに対応しました結構要望が多かったと思われます、動的プロンプト。これがついに実装されました。 動的プロンプトとは状況によって内容が変わるプロンプトのことで、例えば現在のディレクトリを表示させたり、現在のユーザー名を表示させたり、といった用途が一般的です。 これまでプロンプトの位置特定などの事情から動的プロンプトはサポートされず、代わりにユーザープロンプトや右プロンプトといった手段が用意され、それらのプロンプトは動的に内容を変更できるようになっていました。しかし、この場合プロンプト全体がどうしても複数行になってしまうため、やはり単一行
Yes, virtualization is faster (sometimes) than native hardware
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
ほげめも: 最近の買い物: ThinkPad Edge E130
先日 Lenovo ThinkPad Edge E130 という安いノート PC を買いました。 Debian の GNOME デスクトップをインストールして使っています。格安ながらなかなかいい感じに仕上がったのでちょっと紹介したいと思います。 購入まで いまさらこんな普通のノート PC を買った理由は、このごろ自宅で Mac OSX ばかり使うのに飽きてきたので、 Linux 専用機とするための手頃なノート PC がほしかったということがあります。 機種選定においては MacBook Air や Ultrabook が理想だけど高すぎるし Netbook じゃ性能悲惨だしといったこだわりがあり、結構難航しました。まあいちばんの問題は間違いなく英語キーボードが必須という条件でしたが。 国内では条件に合うものがなかなか見つからず、海外の安い PC の個人輸入を試みるなどなどかなり思いつめてし
ほげめも: Debian vs Ubuntu: 電源を切る
Debian と Ubuntu を両方使って気づいた些細な違いをその経緯も含めて深追いすることで、ディストリビューションの多様性について考えてみます (ほとんどは自分がはまったことの覚え書きですが)。 最初は電源を切ることについて。この記事では x86 の PC ベースのハードウェアを前提とします。 2013/07/03 追記: 仮想化環境について加筆しました。 halt コマンド Ubuntu では halt コマンドでシステムを終了させると System halted とコンソールに出した時点で停止し、ホストの電源は切れません。電源を切るには poweroff コマンドまたは halt -p を使用します。 なにをあたりまえのことを、と言われるかもしれませんが、私の過去の経験から halt して電源が落ちない Linux ホストはすなわち APM とか ACPI とかハードウェアに問題
Coq庵 - rfなブログ
8/29 に、Coq庵 に行ってきました。 資料等はこちら。 行き道で祭りやってた。 一部道が通れなかったりして、少し迷うなど。 初めてのCoq 仕様記述言語 Prolog ACL2, HOL/Light 完全自動証明 自動で証明してくれるが、表現力がやや低い Isabelle/HOL, Coq, Agda 手動証明 表現力が非常に高い Coq の特徴 高階論理 表現力最強 自動証明機能 (tactic) 対話的に人間が証明を与えるが、部分的に自動証明を使うこともできる プログラムと連携 証明したものをそのまま実行できる OCaml, Haskell, Sheme に出力できる Coq の中身 関数型プログラム的 Vernacularコマンド (プログラムの文) Gallina式 (プログラムの式) 内部はラムダ式 論理学的 tactic 証明、証明を含む式 小文字で始まって . で終わる
Isabelle Tutorial その0 - caeruiro
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は使用していません。
Isabelle
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
Ltacを知りcrushを読む - chiguriの生態（嘘や誇張アリ）
これはTheorem Proving Advent Calendarの15日目の記事である。 二回目じゃないのかって？人数不足だ。気にしてはいけない。 さて、今日の記事が何に関する記事かは見れば一目瞭然。 Coqの中のtactics記述用言語Ltacについてであり、目標はあの有名なcrushを読み解くことである。 ・・・と書いたが、正直まじめに説明すると長さの関係上やっていられないので、crushの動きを簡単に知る程度にする。 なお、今回もまた内容の関係上背景をあまり長くかけないので、一通りCoqの知識を持っているものとする。 それでも無理なのだからもはやどうしようもない。 crushって何？ 有名な、といっておきながらそれか、といわれそうだが、一応説明する。 crushというのは、Coqの初級者以上*1が読むと勉強になること請け合いの、Certified Programming with
2013年8月現在のHaskell開発環境 - maoeのブログ
以前は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/
Kal - A Clean Alternative to JavaScript Without Callbacks
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
Introducing FuzzDB – Mozilla Security Blog
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ページを開く
Diamond Version | ele-king
Sewn Leather | ele-king
Various Artists | ele-king
Amazon.co.jp: How to Design Programs: An Introduction to Programming and Computing (The MIT Press): Felleisen, Matthias, Findler, Robert Bruce, Flatt, Matthew, Krishnamurthi, Shriram: 本
Helompo > Daftar Situs Robopragma Terpercaya No#1 Tanpa Download Apk
画像★検索プリ画像 - プリキャン革命!
GitHub - danomatika/ofxPd: (maintained) a Pure Data addon for OpenFrameworks using libpd
Tee Party FS Pimlico shirt | Fontsmith
tsenart/vegeta: HTTP load testing tool and library. It's over 9000!
ngrok - secure introspectable tunnels to localhost
第72回関西Debian勉強会「DebianとUbuntuの違いを知ろう」
Ballin' with my own Rap Genius API