〈PPU〉のスリーヴ・デザインや映像作家として人気のルーク・ワイアットがこれまで使ってきたトーン・ホーク名義のセカンド・アルバムを自身のレーベルから、そして、本人名義のデビュー・アルバムをニック・ナイスリーのレーベルからほぼ同時にリリース。いずれもクラウトロックを基本としたもので、非常にフレッシュな感性を縦横に展開している。リーヌ・ヘルやエメラルズのようにノイズ・ドローンを起源に持つ世代とは明らかに咀嚼の仕方が異なり、ヴェイパーウェイヴのような抜け殻モードでもない。クラウトロック・リヴァイヴァルからコニー・プランク的な人工性を抽出し、しっかりと現在のシーンに定位置を見定めている。 イーノ＆クラスターにクラウス・ディンガーが加わったような『ティーン・ホーク』はこれまでの集大成といえるだろう。シャキシャキとしたパッセージで穏やかなメロディを引き立てるあたりは往年のクラウトロック・マナーそのまま
Koka is a strongly typed functional-style language with effect types and handlers. The core of Koka consists of a small set of well-studied language features, like first-class functions, a polymorphic type- and effect system, algebraic data types, and effect handlers. Each of these is composable and avoid the addition of “special” extensions by being as general as possible. Koka tracks the (side)
Coqは、証明支援システムの一つ。Coqの核はプログラミング言語Gallina（英語版）を用いる。フランス国立情報学自動制御研究所のPI.R2チーム(PPS研究所内にある)が、エコール・ポリテクニーク、フランス国立工芸院、パリ第7大学、パリ第11大学と(かつてリヨン高等師範学校とも)共同して開発している。Hugo Herbelinが事実上の開発代表者である。 CoqはCalculus of constructions（英語版）という高階型システム(Thierry CoquandとGérard Huetが1984年に創始したもので、英語ではCoCと略せてシステム名Coqに至る)に基づく。正しい証明は正しく型がつくラムダ式であるというカリー＝ハワード同型対応を利用しているので、Coqの証明言語は型付きラムダ計算の一種である。1991年以降Coqが用いているCalculus of Constru
圏論において、Catamorphism(ギリシャ語: κατά = 下方へ または ～に従って; μορφή = 形式 または 形)は、始代数から他の代数への唯一の準同型射を意味する。この概念は関数型プログラミングへfoldとして応用されている。 Anamorphismはこの双対となる概念である。Hylomorphismも参照。 Catamorphismは関数型プログラミングにおいてリストの fold と呼ばれる操作を、始代数として表現できる任意の代数的データ型に一般化したものである。 プログラミングにおいて Catamorphism の概念を導入した最初の出版物の一つは、“Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire”, by Erik Meijer et al.[1]で、Bird-Meert
リクエスト予約希望条件をお店に申し込み、お店からの確定の連絡をもって、予約が成立します。 1 予約の申し込み ご希望の条件を当サイトよりご入力ください。 2 お店からのメール ご予約が承れるか、お店からの返信メールが届きます。 3 お店へ来店 予約が確定した場合、そのままお店へお越しください。
歌手・藤圭子が8月22日、西新宿のマンションから飛び降り自殺を図り、大きなニュースとなった。いまでは宇多田ヒカルの実母として語られることのほうが多かった彼女だが、デビューアルバムの『新宿の女/”演歌の星”藤圭子のすべて』、続くセカンドアルバム『女のブルース』の2作品がオリコンチャートで37週連続1位という前代未聞の記録を打ち立てたほどの歌手。この記録は宇多田をもってしても破れていない。なかでも彼女の最大のヒット曲は「圭子の夢は夜ひらく」。若い読者にはピンとこないかもしれないが、実はこの曲、新たなロックシーンを切り拓いた名曲としても誉れ高いのだ。 もともとこの「夢は夜ひらく」は、1966年に園まり、緑川アコ、藤田功と愛まち子、バーブ佐竹の4者がレコード会社を超えた”競作”というかたちで発売。これを70年に石坂まさをが”圭子バージョン”で詩を付け直し、不朽の名曲「圭子の夢は夜ひらく」は誕生した
2013年08月06日23:55 【閲覧注意】見たら怖いホームページ教えろ Tweet 1：以下、名無しにかわりましてVIPがお送りします：2012/11/10(土) 06:53:44.10 ID:AMQtFxs40 http://sai-zen-sen.jp/works/fictions/gamekids2013/01/01.html これ流行ってるけど、こういう見ると怖いホームページ教えろください 【閲覧注意】この漫画怖すぎワロタ http://blog.livedoor.jp/nwknews/archives/4104531.html 4：以下、名無しにかわりましてVIPがお送りします：2012/11/10(土) 06:56:05.94 ID:NQqIwDjt0 怖くてふめないんだけど 5：以下、名無しにかわりましてVIPがお送りします：2012/11/10(土) 06:56:29.
当サイトが最も参考にさせて頂いている 小野田博一先生の新刊が出版されます！ 『話す・聞く・考える 「論理力の基本」トレーニングブック』 ７月３１日発売。予約受付中！ 【論理的思考力と議論】 第１章 論理的な主張の仕方 第２章 論理的な反論の仕方 第３章 詭弁！誤謬！レトリック！ 第４章 現実のパワーゲーム おまけ やる夫で学ぶ議論のしかた（AA） まとめ 毎日読む論理思考ノート 【上級者の実戦を観察する】 Twitter勢 配信サイト勢 競技ディベート勢 【心理と対話】 思考を歪める心理効果 ゴードン心理学 【その他】 管理人の議論ログ 更新履歴(Twitter) 厳選したリンクと書籍 やる夫で学ぶ議論のしかた（AA）－サブメニュー 第一章 「議論の種類」 第二章 「議論の精神」 第三章 「発言の自由」 第四章 「正しさの問題」 第五章 「意見の述べ方と結論」 第六章 「応用編と総まとめ」
README.mdWelcome to Kumofs NG. Overview kumofs-ng はオリジナル版の kumofs の性能を保ちつつ、実用性をさらに強化した分散 KVS です。 データは複数のサーバーにレプリケーションされます データは複数のサーバーに分散して保存されます 単体のサーバーでも非常に高速です サーバーを追加すると読み・書き両方の性能が向上します サーバーを追加してもアプリケーションには影響しません 一部のサーバーがダウンしても正常に動き続けます システムを止めずにサーバーを追加できます システムを止めずにダウンしたサーバーを復旧できます 追加や復旧時に発生するデータの再配置処理は、パフォーマンス影響を与えずに実行できます 2台から60台程度までスケールします（60台以上はまだ検証されていません） 小さなデータを大量に保存するのに適しています memcached
Interactive code snippets not yet available for SoH 2.0, see our Status of of School of Haskell 2.0 blog post bound provides a powerful but simple toolbox for dealing with capture-avoiding substitution in your code. It lets you use classes you already know: Monad, Foldable and Traversable to manipulate your syntax tree, and it factors out issues of name capture into a reusable monad transformer na
Description Abella is an interactive theorem prover based on lambda-tree syntax. This means that Abella is well-suited for reasoning about the meta-theory of programming languages and other logical systems which manipulate objects with binding. For example, the following applications are included in the distribution of Abella. Various results on the lambda calculus involving big-step evaluation, s
Explanation of (a small portion of) Abella proof assistant in Japanese.Read less
iPhoneのSDKの条項に変更が加わり、Flashのクロスコンパイルを含む 純正開発ツール以外で作成されたバイナリの配布が禁止となるようです。 世間でも散々言われていますが、この変更は正直とても残念です。 Apple的には「製品のクオリティーが保てないから」という理由だそうですが、 Windows版iTunesが意味もなくQuickTime入れたり、Windows非標準のUIを 使いまくっていて、お世辞にもクオリティーが高いとは言えないのを棚にあげて、 クオリティー云々と言い訳できるのでしょうか。アプリなんて所詮 玉石混淆。決めるのはユーザです。 MeCabは以前GPL/LGPLでした。Appleを含む複数の方からこのライセンスでは 使いにくいと言う指摘をうけ、前職の同僚と協議をしながらBSD/LGPL/GPL のトリプルライセンスにしたという経緯があります。結果としてこの変更は うまく
Googleが抜けた後のWebKit
Life with Web Browser Engine (Gecko, WebKit and etc), Mobile and etc. 久々にwebkit-dev見てたら、こんなメールがあったりしてウケた。差出人はAppleの中の人ね。 Hi WebKittens, I’d like to propose removing the Pointer Lock API code from WebKit. The code hasn’t been touched for 12 months, and AFAICT no ports are building with ENABLE(POINTER_LOCK). Is anyone currently building (and shipping / planning to ship) this API? Other thoughts? -Kl
『ドイツのシミュレーションでは福島の汚染水で太平洋は終り』という記事について
『ドイツのシミュレーションでは福島の汚染水で太平洋は終り』 （http://kaleido11.blog.fc2.com/blog-entry-2309.html）という記事があります。この記事で引用している「ドイツのシミュレーション」が、実際には何を示しているかを知るために、研究所の公式サイトからのリンクにある英語の解説記事を翻訳しました。 オープンアクセスの原著論文へのリンク（http://iopscience.iop.org/1748-9326/7/3/034004/article） ドイツの研究所の（ヘルムホルツ協会傘下GEOMAR）公式サイトから該当ページ（http://www.geomar.de/en/news/article/fukushima-wo-bleibt-das-radioaktive-wasser/） 解説記事（http://environmentalresear
2. 自己紹介 n 名前：奥 一穂 n 経歴： n モバイルウェブブラウザ「Palmscape」「Xiino」の開発 (1996-2003) n IPA未踏スーパークリエータ (2004) n サイボウズ・ラボ (2005-2010) n Japanize, Pathtraq, Q4M, mycached, … n ディー・エヌ・エー (2010-) n R&Dに従事 Aug 24 2013 JSX - 公開から１年を迎えて 2 3. altJS とは? n JavaScript に変換して実行される言語 n 背景: JavaScript の普及 n ウェブブラウザで動くのは JavaScript だけ n ベンダー間の競争の結果、実行速度が高速に n ウェブブラウザ以外でも JavaScript を使うように n サーバサイド: node.js n クライア
日本ソフトウェア科学会第30回大会
日本ソフトウェア科学会第30回大会をご案内するとともに参加申し込みの方法についてご案内いたします． 本大会は日本ソフトウェア科学会創設30周年を記念して，さまざまな企画が準備されています．また，30周年記念の特別措置として，懇親会を除く企画の参加費は無料となっております． 大会の予稿集はネット越しにダウンロードいただけます． 場所 東京大学本郷キャンパス工学部2号館，JSSSTxFTDは小柴ホール 参加費用 大会本体 (9/11-13)，PPLサマースクール (9/10)，WISS TOKYO (9/10)，JSSSTxFTD (9/11) 無料 懇親会 (9/12) 3,500円（懇親会の申し込みは締め切りました） 申し込み 会場2階にて受付を開いております． 大会の企画一覧 招待講演１ 関数型言語SML#の開発 講演者 大堀 淳（東北大学 電気通信研究所） 招待講演２ New Era
はじめに Webサイトの高速化について調べてみるとCSSの@import url();は使わない方が良いという指摘をよく見かけます。 問題となるのはパラレルロード（複数のリソースを同時にロードする）ができなくなる場合があることと、CSSの読み込み順序が変わってしまうことがあるようです。 実際にどれだけ読み込み速度に問題があるのか、3つの読み込み方で試してみたいと思います。 比較する3つの読み込み方 今回はこの3つで読み込みを比較してみます。 CSSの@import url();で読み込む HTMLのlink要素で別々に読み込む Sassで@importして1つにまとめてlink要素で読み込む 対象ブラウザ 今回の検証ブラウザはChromeとInternet Explorerです。 どちらも備え付けの開発者ツールで検証します。 今回計測したサンプル サンプルはこちらに公開しているので問題があ
../ _darcs/ 15-Feb-2019 07:57 - benchmarking/ 15-Feb-2019 07:57 - buttons/ 15-Feb-2019 07:57 - files/ 15-Feb-2019 07:57 - imgs/ 15-Feb-2019 07:57 - 2010-03-30-proof-milestone-take-2.shtml 15-Feb-2019 07:57 3380 ads.html 15-Feb-2019 07:57 657 ads_bottom.html 15-Feb-2019 07:57 657 ads_top.html 15-Feb-2019 07:57 654 buttons.shtml 15-Feb-2019 07:57 676 camp.css 15-Feb-2019 07:57 1041 camp.svg 15-Feb-2
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
