Pick up the 9th-gen iPad with two years of AppleCare+ for only $298
ポイント 「京」の全計算プロセッサを利用した世界最大規模の固有値計算に成功 半導体や新材料の開発などのシミュレーションがより大規模化・高速計算が可能に 大規模シミュレーションを実現するソフトウエア「EigenExa」を公開 要旨 理化学研究所(理研、野依良治理事長)は、大規模コンピュータシミュレーションや、ビッグデータにおけるデータ相関関係の解析などに必要な行列[1]の固有値を高速で計算できるソフトウエア「EigenExa(アイゲンエクサ)」を開発しました。EigenExaを用い、スーパーコンピュータ「京」[2]で100万×100万の行列での固有値計算を行った結果、これまで1週間程度必要だと考えられていた計算を、わずか1時間で計算することに成功しました。これは、理研計算科学研究機構(平尾公彦機構長)大規模並列数値計算技術研究チーム(今村俊幸チームリーダー)を中心とする研究チームによる成果で
If enabled, you will hear sound every time N bitcoins (called volume threshold below) are traded. If after these trades price is higher you will here "up" sound, if lower, "down" sound, and if it stays the same "no change" sound. If you set it to 0.1 and 10 bitcoins are traded at once, 100 sounds will be played one after another (so choose it wisely ;) ).
コロナウイルスが流行する前の2020年1月上旬、中国の杭州に行ってきたのでその記録を書いておく。 はじめに 自分はこれが中国へ行くの5回目。それなりに慣れている方だと思うけど、中国人と一緒に行ったほうが圧倒的に楽です。 数年前にキャッシュレスが普及して、その後も規制が変わったりして行くたびに状況が変わっています。なので、ここで書いてあることは半年後には参考にならないかも。 事前にやっておくこと WeChatPayのアカウントを作る、可能なら本人確認とチャージをやっておく Alipayのアカウントを作って、可能なら本人確認とチャージをやっておく 中国で使える香港SIMを買う WeChatPayとAlipayのアカウントは、外国人でも作れるときと作れないときがある。またお金もチャージできるときとできないときがある。 事前にググってできるかどうか試しておくのが重要。 また、中国はいわゆるGrea
というタイトルでbytestringパッケージの包括的ガイドを書こうと思ったけど、まさにそんな内容のスライドをbytestringのBuilderを書いた人が公開していたのを見つけてしまったので、是非そちらを見て欲しい。 A guided tour through the bytestring library 以上、Haskell Advent Calender 2013 22日目の記事でした。 と、これで終わらせてしまってはさすがに良くないので、今回は上のスライドが作られた時点から加えられた主な変更を二つ紹介する。これらの変更は最新のリリース版GHCにバンドルされているbytestringパッケージにはまだ含まれていないので、利用したい場合は適宜cabalファイルにバージョン指定する必要がある。 ShortByteString ShortByteStringはByteStringから使え
By Evan Miller November 16, 2012 (Corrections) The programming profession is blessed with a number of gifted essayists. Today I will pick on three of my favorites — Eric Raymond, Paul Graham, and Steve Yegge — because they all seem to disagree about why (and whether) mathematics is relevant to the practicing programmer. Their attitudes might be summarized as: Eric Raymond: Mathematics is unnecessa
free, distributed and user-friendly IRC client with Twitter, and XMPP/Jabber support for Linux, Windows and macOS based on GNOME / GTK+ And here we go again! We're proud to announce the new version of Smuxi, release 0.10 "Unexpected". During the development, 12 bug reports and 8 feature requests in 259 commits were worked on. Notable highlights in this release are: GNOME Frontend Enhancements Tabs
かつて図書館といえば、学習や調べ物をするための誰にでも開かれた空間(学校図書館など一部を除く)であり、学びの場だった。 しかし近年、飲食ができないことや、館内で携帯電話を使用できないことなどが利用者の不満を誘発し、さらに、限られた開館時間によって、働く人にとっては足が遠のく存在となった。働く女性が増えたいま、利用者のほとんどは子ども、学生、乳幼児連れの保護者となり、静かな空間という代名詞すら今は昔の話。 そんななか、今、少しずつ増えつつあるのが「会員制図書館」だ。2003年に、森ビルが運営する会員制図書館「六本木ライブラリー」が、六本木ヒルズ(東京・港区)にオープンした。10年が経過したいま、30代のビジネスパーソンを中心に約3,000名の会員が利用している。 森ビルは、10年7月には「平河町ライブラリー」(東京・千代田区)、今年7月には「アークヒルズライブラリー」(東京・港区)をオープン
hello mum");doc.close()}function findSlideNumber(uri){var i=uri.indexOf("#");if(i<0){return 0}var anchor=unescape(uri.substr(i+1));var target=document.getElementById(anchor);if(!target){var re=/\((\d)+\)/;if(anchor.match(re)){var num=parseInt(anchor.substring(1,anchor.length-1));if(num>slides.length){num=1}if(--num<0){num=0}return num}re=/\[(\d)+\]/;if(anchor.match(re)){var num=parseInt(anchor.sub
このときにやった可視化部分の話。急いで作ったのでいろいろ雑な部分が多い。 開発合宿でDockerとMesosを使っていい感じにリソース提供とデプロイするやつを作ってた - wtatsuru's blog はじめに 元のやつから内部情報を削ったサンプルを置いておきます。適当にサーバ名など修正すれば使えるかもしれません。 https://github.com/tatsuru/docker-sample-app 全体の仕組みについてはここの図がわかりやすいと思います Docker + Mesos + Marathon + Graphite + Fluentd + Sensuを組み合わせたデプロイ管理ツールの話 - ゆううきブログ やりたいこと 目的はアプリケーションの現状を俯瞰できるダッシュボードを作ること。 それぞれのDockerコンテナは短命なので、下記の情報をうまく集約してやる必要がある。
最近は担当システムが平和だけど俺が平和じゃない。疲れてる。忘年会の連チャンもきっついトシになっちまった。会社の制度で1週間くらい休みがとれるので、一人で温泉とスノボと開発合宿でもしに北海道にでも行こうかなって思ってる。1月か2月くらいに。 えーと、担当しているサービスにserverspecを導入した。それにあたってテスト項目を考えたので軽くまとめる。もちろんserverspec導入前もサーバ構築後は動作確認というか、テストらしいことはしていたっちゃしていたんだけど、テスト項目をまともに考えたのはこれが初めてかもしれない。serverspecのバージョンは0.13.2である。Rubyは2.0.0。 0. 環境 下記のような環境に導入した。ありふれた構成だと思う。60台くらいの規模。DBはマスタ3台に分割されていて、それぞれにスレーブがn台ぶらさがっている。LBの箱は二つあるが、物理的には1台
I’ve been playing around with making a dependently typed language. It’s based upon Martin-Löf Type Theory (commonly just called Type Theory, TT). Turns out that implementing a dependent type system is a great way to learn how to use one! I had written code to translate from my toy languages’ terms into TT - but I wanted a compiler, so that I could execute it somewhere outside of the evaluator/norm
As you start building larger web applications, it quickly becomes important how you deal with the site’s routing. Managing simple strings rapidly becomes limiting and a maintenance nightmare; we’re so used to type safety, it’s easy to forget how cumbersome it is to pass strings around. Furthermore, we need to ensure that the routes that we accept in are the same links that were placing on web page
※本記事は弊サイトで私が執筆して公開していたものを、加筆修正して転載したものです。 誤用が多い「タイポグラフィ」という言葉SNSを見てるとロゴやレタリングのデザインを投稿し、「タイポグラフィを作った」とかいう表現が見られます。が、タイポグラフィとは「作れるもの」ではありませんので、これでは意味が通りません。日本では「タイポグラフィ」の意味が広がりすぎているので、以下にちょっと解説させていただきます。 タイポグラフィ typographyタイポグラフィを一言で説明するのは難しいですが、すごくざっくり言うと、 既存のフォントを効果的に組む技法の総称 です。何を持って「効果」とするのかは当然ながらケースバイケースで、その時その目的に合っていればそれでいいのでは、と個人的には思います。例えば書籍の本文とB1サイズのポスターでは、同じ組み方でいいはずがありません。その時々で効果を考えて書体を選び、そ
cabalg is an alias for installing cabal package from a git source repository. E.g. $ git clone https://github.com/author/foo $ git clone https://github.com/author/bar $ cabal install foo/foo.cabal bar/bar.cabal baz.cabal could be abbreviated by $ cabalg https://github.com/author/foo https://github.com/author/bar -- biegunka.cabal It also supports arbitrary git revisions mentioning like $ cabalg ht
A toolkit to automate & enhance your workflowLeverage gulp and the flexibility of JavaScript to automate slow, repetitive workflows and compose them into efficient build pipelines. TypeScriptDevelop in any languagePNGCreate assets with any toolMarkdownWrite using any formatJavaScriptGet compiled codeWebPGet optimized imagesHTMLGet rendered content
【モスクワ=関根和弘】世界的に普及した自動小銃「AK47」を開発したロシアの銃器設計者ミハイル・カラシニコフ氏が23日、病気のため死去した。94歳だった。 第2次大戦でソ連の戦車部隊に所属し、ナチスドイツとの戦いに従軍。自動化された小火器で武装されたドイツ軍に衝撃を受け、新しい銃器の設計を決意した。戦後間もなく、使いやすくて壊れにくい自動小銃「AK47」の開発に成功。旧共産圏を中心に普及した。一方で、その銃の特徴からコピー製品も大量に出回り、多くの紛争地やテロリスト集団にも使われ、「史上最悪の大量殺害兵器」とも言われた。 かつて朝日新聞のインタビューに対し、カラシニコフ氏は「悲しい。私はナチスドイツから祖国を守るため、優れた銃をつくろうとしただけなのに」などと答えていた。
逆転サヨナラ満塁ホームランで打線組んでみた 2013年12月19日 18:00 打線組んだ コメント:48 ツイート 1 風吹けば名無し 2013/12/18(水) 21:25:52.16 ID:JZLHVMFi 1(遊)ボーリックナイト http://www.youtube.com/watch?v=Sco9EAlL8kE 2(右)藤井康 コバマサから 3(左)スレッジ CSで http://www.youtube.com/watch?v=J-xDe9H4XWM 4(捕)北川 優勝決定HR http://www.youtube.com/watch?v=YZG42fy9C5k 5(一)ハーパー クルーンから http://www.youtube.com/watch?v=j32Ec2LSoDg 6(三)清原 クルーンから http://www.youtube.com/watch?v=VmZBw
「物理キーボードなんていらない」――私物iPadを使いこなす女子中学生という記事がありました。中高一貫の女子校である山梨英和中学校でのお話です。こちらの学校では、生徒/保護者の負担で「iPad」導入を進めているそうです。 山梨英和中学校で私物iPadを活用しているのは、中学3年生の一部と中学2年生だ。中学3年生は、学年ごとに1クラスのみ設置している英語強化クラスの全20人が私物iPadを活用。中学2年生は、全クラス78人が利用している。教員についても、国の補助金制度を利用して全員分のiPadを確保しているという。 どんな風に授業でiPadを活用しているかというと、調査やプレゼンテーションで利用することが多いそうです。ぼくも古い人間なので、図書館で調べたり、模造紙で発表したりといったことも覚えた方が‥‥なんて、いかにも古い考えだなぁ、と思いました。「Dropbox」でのレポート提出をしたりも
この記事はC++ Advent Calendar 2013の15日目にエントリしています。 内容はC++標準ライブラリとスレッドセーフに関する解説になります。 flickr / rennasverden もくじ What's スレッドセーフ? スレッドセーフという幻想 基本型とデータ競合 C++標準ライブラリとデータ競合 C++標準ライブラリ:シーケンスコンテナ編 C++標準ライブラリ:連想コンテナ編 スレッドセーフ RELOADED 基本的なスレッドセーフ保証 std::shared_ptr<T> std::rand() std::cout (本文のみ約9000字) はじめに マルチスレッド対応の点では他言語に遅れを取っていたプログラミング言語C++ですが、C++11ではようやく標準ライブラリにスレッドサポートが追加されました。C++11スレッドサポートではスレッドクラスstd::thr
逆数学(ぎゃくすうがく)とは、数学の定理の証明に必要な公理を決定しようとする数理論理学のプログラムである。簡単に言えば、通常の数学が公理から定理を導くのとは逆に、「定理から公理を証明する」手法を用いることが特徴である。「選択公理とツォルンの補題はZF上で同値である」、というような集合論の古典的定理は、逆数学プログラムの予兆となるものだった。しかし、実際の逆数学では主に、集合論の公理ではなく、通常の数学の定理を研究するのを目的とする。 逆数学は大抵の場合、2階算術について実行され、定理が構成的解析と証明論に動機付けられた2階算術の部分体系のうち、どれに対応するのかを研究する。 2階算術を使うことで、再帰理論からの多くの技術も利用できる。実際、逆数学の結果の多くは、計算可能性解析学の結果を反映している。 逆数学は、Harvey Friedman (1975, 1976)によってはじめて言及され
I just uploaded singletons-0.9.2 to hackage. This is a significant upgrade from previous versions, and it gives me a good chance to explain some of its features here. This post is a literate Haskell file. Copy and paste it into a .lhs file, and you’re off to the races. But first, of course, a little throat-clearing: > {-# LANGUAGE TemplateHaskell, PolyKinds, DataKinds, TypeFamilies, > ScopedTypeVa
開発合宿でDevOps界隈やモニタリング界隈で流行りのツールを組み合わせてBlue Green Deploymentできる何かを作りました。 同じチームで開発したid:shiba_yu36 先生やid:wtatsuru 先生が既にブログを書いてますが、自分の視点で書いてみます。(13/12/24追記: より詳細な内容が新規に書かれたのでリンク先を入れ替えました) Docker, Mesos, Sensu等を利用したBlue-Green Deploymentの仕組み - $shibayu36->blog; Docker コンテナにアプリケーションを立てて Graphite でいい感じに可視化するまで - wtatsuru's blog 僕は主に、各ツールから得られる情報をまとめて管理し、デプロイを実行するデプロイ管理ツールを作成していましたので、それについて書きます。 普段は運用の修行をして
カーネル/VM Advent Calendar 2013 にさっき登録しました。需要の無さそうな NaCl について語ります。 https://qiita.com/advent-calendar/2013/kernelvm NaCl はグーグルが作ったものの中で一番好きくらいに好きなものです。理由は低レイヤコンポーネント集だから。概要としては安全に実行できる(ここでいう安全はブラウザが動いてる OS 上での任意コード実行ができない、という意味) Active X というか、 C/C++ でコードが書ける Java Applet というか、まぁそういう感じの。 NaCl はおおざっぱに言って、 検証可能なバイナリを出力するコンパイラツールチェイン (gcc, binutils, etc.) ユーザプログラムを検証して起動する service runtime service runtime と
fold_leftとfold_rightの結果が同じになるときが気になったので少し調べてみた。 例えば文字列のリストを連結して一つの文字列を生成する次の例はfold_leftでもfold_rightでも同様に定義できて同じ関数になる。Coqで書くと次のような感じ。 Definition xs := "foo" :: "bar" :: "baz" :: nil. Eval compute in (fold_left append xs ""). Eval compute in (fold_right append "" xs). fold_leftとfold_rightの定義はそれぞれ次のとおり Section Fold_Left_Recursor. Variables A B : Type. Variable f : A -> B -> A. Fixpoint fold_left (l:l
Personal memorandum for studying functional languages, theorem proving, and formal verification. But other topics might be included. Written in Japanese (Shift-JIS Encoding). 前にS-99: Ninety-Nine Scala Problemsというのを紹介しましたが、Coqでも入門者が勉強用に解く為の問題集というのを考えてみました。 まずは命題論理の証明の課題。勿論、tautoとかで一発だと思いますが、練習問題なので入門者は自力で解こう。 Admitted.を消して証明を書く事が期待されています。 Section Prop_Logic. Lemma Coq_01 : forall A B C:Prop, (A->B-
via The UNIX Programming Environment: KERNIGHAN & PIKE tumblr の回りをクルクル廻る人々の、インターネッツ生態系に関するアドベントカレンダーです ルール ルールは単純。 何か URL を貼るだけ! ##何を書く? あなたの拾った痺れる写真や引用を貼る → 最高のリブログを御見舞いする RAC2010 スタイル wedata.net の今後について あなたの開発した素敵なツールについて説明する あなたのイカした reblog 環境を紹介する リブログマンキーの24時間 オレたちは紫色には染まらないぜ、の話 ぐるぐる回ってバターになる話し tumblr とマネタイズについて tumblr と進化論について tumblr と量子論について tumblr と女の子について tumblr と本について などなど、ようはなんでもオーケーです。
プログラマーはソフトウェアを開発する際、無駄な処理や非効率的な処理を極力排除しようとする。この意味においてプログラマーは処理の効率化の専門家であると言える。ならば私たちプログラマーはソフトウェアだけでなく、自分自身の人生についてもパフォーマンスチューニングできるはずだ。 プログラムでしばしばパフォーマンスのボトルネックになるのは、「ループの中の処理」だ。例えば10万行10列のデータを1列ずつ処理していくようなループ処理の中身を1ミリ秒速くすれば、全体で約16分の速度向上が見込める。 人生においても、実行頻度の高い処理はパフォーマンスチューニングの効果を得やすい。 例えば職種を問わず毎日2回ずつ実行される処理として、通勤がある。通勤のチューニングにより、営業日が月に20日だとして、もし通勤を片道30分短縮できれば、月20時間の時間を得ることができる。具体例として私の場合、「通勤を徒歩10分以
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く