Algebraic Topology: A guide to literature
Your language? Dec, 2018 Sun Mon Tue Wed Thu Fri Sat 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 Algebraic Topology: A guide to literature この サイト の 目 的 使 用 上 の 注 意 目 次 基 本 文 献 の 探 し 方 使 い 方 ホモロジ ー と コホモロジ ー ホモトピ ー 群 と ホモトピ ー 集 合 各 種 空 間 と 空 間 に 対 する 操 作 様 々 な 写 像 トポロジ ー の 歴 史 重 要 な 道 具 や 概 念 圏 と 関 手 スペクトル 系 列 代 数 的 な 道 具 コホモロジ ー 作 用 素 の 理論 K 理論 コボルデ ィ ズム と 関
The n-Category Café
Recent Entries Skew-Monoidal Categories: Logical and Graphical Calculi Jul 15, 2024 This blog post applies rewriting methods to the study of skew monoidal categories. Double Limits: A User’s Guide Jul 12, 2024 This post introduces limits in double categories An Operational Semantics of Simply-Typed Lambda Calculus With String Diagrams Jul 10, 2024 The aim is to use string diagrams to represent sim
What's new
What's new Updates on my research and expository papers, discussion of open problems, and other maths-related topics. By Terence Tao I’ve just uploaded to the arXiv my paper “Dense sets of natural numbers with unusually large least common multiples“. This short paper answers (in the negative) a somewhat obscure question of Erdös and Graham: Problem 1 Is it true that if is a set of natural numbers
数学に近い分野の情報収集 - Preferred Networks Research & Development
はじめに 大野です。今回は数学に関する情報入手方法について、自分が知っている範囲でお話をしようと思います。特に4月に大学や大学院に入学した方や、数学の勉強を始めたいけれど何から始めればよいかわからないという方などを想定して紹介していこうと思います。 数学に限らないかもしれませんが、勉強をしようとすると解決すべき問題が色々と生じます。 そもそも文献（本・講義録・雑誌）はどこにあるのか 文献はあるけれど、どれから調査・勉強を始めればよいか 勉強を始めたけれどわからなすぎる。誰かに質問したいけれどどこで聞けば良いのだろうか 以下では大体この流れに沿って情報源などを紹介していこうと思います。 文献を探す 本 図書館 私の地域の公共図書館は比較的数学の本が充実しており、数学の本もよく借りています。どの分野でも専門書は通常の本よりも高額で、購入するのに躊躇するかもしれません。ですので、まず試しに図書館
ニューラルネットの逆襲 - Preferred Networks Research & Development
岡野原です。Deep Learningが各分野のコンペティションで優勝し話題になっています。Deep Learningは7、8段と深いニューラルネットを使う学習手法です。すでに、画像認識、音声認識、最も最近では化合物の活性予測で優勝したり、既存データ・セットでの最高精度を達成しています。以下に幾つか例をあげます。 画像認識 LSVRC 2012 [html] 優勝チームスライド [pdf], まとめスライド[pdf] Googleによる巨大なNeuralNetを利用した画像認識（猫認識として有名）[paper][slide][日本語解説] また、各分野のトップカンファレンスでDeep Learningのチュートリアルが行われ、サーベイ論文もいくつか出ました。おそらく来年以降こうした話が増えてくることが考えられます。 ICML 2012 [pdf] ACL 2012 [pdf] CVPR
区間木 - Wikipedia
区間木またはインターバル木（英: Interval tree）は、区間を保持するための木構造のデータ構造の一種。計算幾何学のアルゴリズム。特に、指定された区間や点にオーバーラップする全ての区間を探すという問題を効率的に解くことができる。例えば、表示されている地図内に見えている全ての道路を求めるとか、3次元のシーンで見えている全てのオブジェクトを求めるといった用途に使われる。似たものに区分木（英: Segment tree, segtree）があるが別物である。 単純なケースとして、区間が互いにオーバーラップしないなら、単純な2分木で表すことができ、クエリにかかる時間は O(log n) となる。しかし、区間同士がオーバーラップするなら、始点でソートする場合と終点でソートする場合で順序が異なることになるので、挿入時に2つの区間をどう比較すべきかが問題となる。素朴な方法としては、同時に2つの木
Building High-level Features Using Large Scale Unsupervised Learning
3. ILSVRC 2012 大規模物体認識のコンテスト http://www.image-net.org/challenges/LSVRC/2012/ Classification Localization Team name Error Team name Error 1 Super Vision 0.15315 1 Super Vision 0.335463 2 Super Vision Deep LearningVision 0.16422 2 Super 0.341905 3 ISI 0.26172 3 OXFORD_VGG 0.500342 4 ISI 0.26602 4 OXFORD_VGG 0.50139 5 ISI 0.26646 5 OXFORD_VGG 0.522189 6 ISI 0.26952 6 OXFORD_VGG 0.529482 7 OXFORD_VGG
アンプレース40｜マックパック
さまざまな領域のクリエイターとの協業によって、先進的かつ実験的に、人と自然がともにある未来を構想するプロジェクト
Dist::Zilla - Maximum Overkill for CPAN Authors
Dist::Zilla is a program to make it easier to write, package, manage, and release free software. It's targeted at libraries written in the Perl programming language and released to the CPAN. If you release software to the CPAN, Dist::Zilla can probably save you a lot of work. It has plugins to automate dozens of boring steps including: adding copyright and license notices determining prerequisites
Array allocation in C++ - Red Hat Customer Portal
September 2004 (1) March 2005 (1) June 2006 (1) January 2007 (1) May 2007 (1) June 2007 (2) November 2007 (1) January 2008 (1) February 2008 (1) May 2008 (1) December 2008 (1) January 2009 (1) September 2009 (1) February 2010 (1) April 2010 (1) November 2010 (1) January 2011 (1) May 2011 (2) July 2011 (1) August 2011 (1) December 2011 (1) February 2012 (1) August 2012 (1) September 2012 (2) Octobe
「さくらのクラウド」SSDプラン提供のお知らせ | さくらインターネット
お客様各位 さくらインターネット株式会社 平素よりさくらインターネットに格別のご愛顧を賜り、誠にありがとうございます。 弊社では「さくらのクラウド」において、現在提供しているディスクプランに「SSD プラン」を追加し、本日（2012年11月1日）より提供を開始いたします。 今回新たに提供する「SSDプラン」は、ストレージにSSDを利用しており、通常のディ スクプランよりも高速な処理が可能です。ディスク容量は100GB、月額料金は3,675円、 日割料金は184円となります。（ご利用期間が20日を超過した場合、自動的に月額料金が 適用されます。） さくらインターネットでは、今後もよりよいサービスをご提供できますよう精一杯努 めてまいりますので、引き続き変わらぬご愛顧を賜りますようお願い申し上げます。 ＜記＞ ■対象サービス さくらのクラウド ■提供開始日 2012年11月1日 ■新ディスクプ
いまさら聞けない？Webディレクターも触っておいて損はない“VPS”概論 : LINE Corporation ディレクターブログ
こんにちは、データホテルでwebサイト開発を担当している松本です。 データホテルでは「インフラで世界を変える。」というスローガンのもと、まるで一流ホテルに滞在しているかのような質の高いデータセンターサービスをご提供しています。 今回はディレクターにとってもサーバーの知識を蓄えるのにぴったりなVPSについてご紹介します。 ディレクターにとって悩ましい存在のサーバー 仕事柄、ディレクターの方とお話をする機会も多いのですが、その際によく感じるのは、最新の技術やトレンドについては勉強されていても、それらを足元で支えるサーバーについては敬遠されている方が多い、ということです。しかしながら、サーバーがらみで大変な目にあったという経験を持っている方は予想以上に多いのではないでしょうか。 よく聞く失敗に、 サイト全体を別のサーバーに引っ越す場合などに、元のサーバーでは動いていたスクリプトが引越し先では上手
RTed Email::MIME's multipart handling problem - tokuhirom's blog
https://rt.cpan.org/Ticket/Display.html?id=80538 This test case is failing. use strict; use warnings; use utf8; use Test::More; use Email::MIME; use Devel::Peek; subtest 'multi part' => sub { my $src = Email::MIME->create( 'header' => [ 'From' => '[email protected]', 'To' => '[email protected]', 'Subject' => "Test mail", ], parts => [ Email::MIME->create( 'attributes' => { 'content_type' => 'text/
リクルートを退職しました - Kawanet Blog III
昨日10月31日付で、株式会社リクルート HD を『卒業』しました。 リクルートに在籍したこの６年間、社内外の皆様から多大なるご協力を賜りながら、 様々なことにチャレンジすることができました。本当にありがとうございました。 今はサンフランシスコにおります。 時差の関係で、こちらは今日が最終日 10月31日でした。 来週いっぱいまで、US におります。 今後は、しばらく充電期間を頂いてから、再起動する予定です。 リクルートでは、たくさんの出会いがありました。 2006年に入社した当時は、ローカルサーチの新規事業のドコイク？を担当しました。 工藤くん（今はアドテクのベンチャーとして急成長注目されているジーニーの社長）や、 けんすう（今は nanapi 社長）が新卒社員として頑張っていたのを始めとして、 とても優秀なメンバーに囲まれました。明るく前向きなメンバーが多いのに驚きました。 「すごい地
ユーザビリティの評価手法
UIの開発では、UIの具体的な問題点の発見と改善のため、ユービリティを定性的に評価する方法が多く用いられます。代表的な方法としては、「ユーザビリティテスト」と「ヒューリスティック評価」があります。 ユーザビリティを評価する方法 ユービリティを向上させるためにはどうしたらいいのでしょうか。そのためには、まずその製品・サービスの「ユーザー」「状況」「目的」を明確にして設計した上で、本当にうまくいくのか、そのユーザーと状況で目的を達成できるのか評価（検証）する必要があります。 ユーザビリティの評価手法としては、評価の目的や実施の制約条件に応じていくつかの選択肢があります。 ユーザビリティテストはリアルなユーザー行動を観察する方法で、狭く深く評価します。比較的、期間やコストがかかります。一方、ヒューリスティック評価は経験則やガイドラインに基づいて評価する方法で、浅く広く評価します。ユーザービリティ
さくらのVPSにchef-serverをインストール - kikumotoのメモ帳
久しぶりのブログ更新！！ サーバを増やすときに各種パケッケージのインストールだけでなく、必要な設定も含めて自動化していきたいと思い、最近はChefを勉強中。 chef-serverをさくらのVPSにインストールしたときの作業をメモしておく。さくらのVPSへのchef-serverインストールについては、id:masa_to さんが、さくらVPSにchef-serverをインストールする - happytanの足跡 で「Manual Chef Server Configuration」に従ってインストールしたものを記述されていますが、とりあえず試してみたい（よくわかってなくて、手を抜きたい）私は「Bootstrap Chef RubyGems Installation」に従ってインストールしてみた。 インストール先は、さくらのVPS 512 の CentOS 5.5 i386。 Ubuntu
How WebKit Works
How WebKit Works Adam Barth (abarth) October 30, 2012
数学ガール - Wikipedia
『数学ガール』（すうがくガール）は、結城浩による、数学を題材にした小説の書名であり、その後のシリーズ名でもある。2007年に第1作『数学ガール』が刊行され、その後、第2作『フェルマーの最終定理』、第3作『ゲーデルの不完全性定理』、第4作『乱択アルゴリズム』、第5作『ガロア理論』、第6作『ポアンカレ予想』が続いた。2010年12月時点でシリーズ累計10万部[1]。2014年日本数学会出版賞受賞[2]。 関連作品に「数学ガールの秘密ノート」シリーズ[3]、講演集『数学ガールの誕生』[4]がある。 概要[編集] 数学が趣味の高校2年生「僕」と同じく数学を趣味とするクラスメイトのミルカ、そして数学に興味を持つ後輩のテトラ、「僕」の従妹の中学生ユーリの4人が高校数学の延長から過去の超難問まで様々な問題を解きながら数学の世界を旅していく。小説のように話が展開していくが実際は数学の問題を解く部分が大半で
Gone Fishin': LiveJournal Architecture - High Scalability -
« Cost Analysis: TripAdvisor and Pinterest costs on the AWS cloud | Main | Sponsored Post: Zoosk, Aerospike, Server Stack, Wiredrive, NY Times, CouchConf, FiftyThree, Percona, ElasticHosts, ScaleOut, New Relic, NetDNA, GigaSpaces, AiCache, Logic Monitor, AppDynamics, CloudSigma » This was the first architecture profile on HighScalability. IMHO LiveJournal was really the start of the openness on ho
chefのログ出力を制限する方法 / 劇的ビフォーアフター ver.0.10.6+ (verbose_logging) - さよならインターネット
chefのログが出すぎだなー、実際これ影響あるのかないのか 出力結果見るのにターミナルでスクロールバックしないといけないし これだけの出力されたログの中で、影響があるのかないのか、ひとつひとつ 目grep警部してたら取りこぼし多そうだなー やだなやだなー、こわいなこわいなー と思ってたんですが Chef 0.10.6 Released 「optionally disable the verbose logging」という表記があるじゃないですか！！ リンク先を覗くと The "processing" INFO message for every resource on a normal run looks nice but is probably too verbose. The messages are great if you're running chef-client in you
今更聞けないCapistranoでリリースの自動化 - プログラマでありたい
ここ数年で開発の現場でAgile開発の文化や手法が、ずいぶんと取り入れられるようになってきているようです。アジャイル開発はその根底に文化が大事ですが、それを支えるツールというのも重要になってきます。ソース管理やビルド管理、テストの自動化と色々ありますが、今回はリリースの自動化のお話です。その中で主にRails使われることが多いCapistranoの設定と使い方です。 環境の説明 ・Ruby 1.9 ・Rails 3.2 ・Passenger ・Git ・SQLite3 目指す構成 今回は単純化する為に、1サーバの中にGitのリポジトリもApache+PassengerもDBも入れておきます。また複数の環境（開発、ステージング、本番）にデプロイ出来るように、それぞれの構成を別けて記述するようにします。（capistrano-extを使用） 設定 必要モジュールのインストール $gem ins
「ニフティrクラウドユーザーブログ」は、移転しました。
「ニフティクラウドユーザーブログ」は、移転しました。 自動でページを移動しない場合は、下記のリンクをクリックし、 新しい「ニフティクラウドユーザーブログ」をご覧ください。 今後とも「ニフティクラウドユーザーブログ」をよろしくお願いいたします。 ＞ ニフティクラウドユーザーブログ
少ない手間と知識でそれなりに見せる、ズルいデザインテクニック// Speaker Deck
少ない手間と知識でそれなりに見せる、ズルいデザインテクニック with Sass / Compass (English Version) https://speakerdeck.com/ken_c_lo/zurui-design-technique-english-version 第一回…
Change The Game - Go ahead!
知ってる人はもう知っているとは思いますが，10月をもって1年と10ヶ月勤めた謎のベンチャーPreferred Infrastructure, Incを去りました．PFIの方々，本当に有り難うございました！ エントリを書けと色々な人に脅されているので，てきとうに書きます． 環境 インターンで飛び込み，そのテンションのまま大学を辞めて入社．俺みたいな機械学習や情報検索の基礎すらなかった人間が，今では機械学習プロジェクトで開発をやっていたわけですから，岡野原さんを筆頭に本当濃い社員の人達には感謝しかありません． 学習の高速道路という言葉がありますが，間違いなく超高速，時には事故るんじゃないかという環境でした．右を見ても左を見ても怪物だらけであるこの魔窟で，エンジニアとして勤めることが出来たのは本当に良い経験でした． 俺が入社した時は正社員は15人くらいだった気がしますが，今では既に26人で，もう
ナムコ×劇場版 魔法少女まどか☆マギカキャンペーン PV第一弾
キャンペーン半ばですが「ナムコ×劇場版 魔法少女まどか☆マギカキャンペーン PV第一弾」を公開！ うまい棒少女達の大活躍により、在庫が無くなってしまったというお店も・・・ お店へご確認のうえ、遊びに来てくださいませ！ http://www.namco.co.jp/ar/event/madoka-magica/
parson
About Parson is a lighweight json library written in C. Features Full JSON support Lightweight (only 2 files) Simple API Addressing json values with dot notation (similiar to C structs or objects in most OO languages, e.g. "objectA.objectB.value") C89 compatible Test suites Installation Run: git clone https://github.com/kgabis/parson.git and copy parson.h and parson.c to you source code tree. Run
jQueryの未来に備える - Cybozu Inside Out | サイボウズエンジニアのブログ
こんにちは、kintoneを作っているエンジニアの佐藤鉄平(@teppeis)です。先日10/24に発売されたWEB+DB PRESS Vol.71のJavaScript連載で「プログラマのためのjQuery再入門」という記事を書かせて頂きました。 ワンランク上のjQuery使いを目指す方のために、こんな内容になっています。 パフォーマンスアップの秘訣 Sizzleの仕組みとセレクタの高速化 on/offによる新しいイベント制御API Deferredを使った非同期処理 最新版の1.8.2をもとに書いたので、1.4あたりでjQueryに入門した方の知識のブラッシュアップにもオススメです。是非ご覧ください。 これでもう「jQueryは甘え」なんて言わせません！ jQuery 1.9で削除されるかもしれないAPIたち さて、jQueryの次期バージョン1.9が来年前半に計画されています。 1.
JSONを使った開発のお供にどうぞ·jq MOONGIFT
jqはターミナル上で使えるJSONパーサーです。 JavaScriptの台頭に伴ってJSONを共通のファイルフォーマットに使うことが増えてきました。システムから取得したJSONファイルの内容を調べる時に使いたいコマンドがjqです。 元のJSONです。 resultsの1つ目だけを出力。 2つ目だけ。 一つ目、さらに項目を指定して出力。 全ての結果、ただし項目を指定して出力。 さらに情報を追加して出力もできます。 jqはMac OSXやLinux向けのコマンドであり、標準出力されたJSONファイルを読み込み、加工した上で出力できます。かつインデントを含めて成形してくれるのでデータの見やすさが格段にあがるはずです。プログラミング言語のライブラリから扱うよりも手軽ではないでしょうか。 jqはC製、MIT Licenseのオープンソース・ソフトウェアです。 MOONGIFTはこう見る Web AP
リーナス曰く「2560x1600がラップトップの標準になってるべきだろボケ」
Linus Torvalds - Google+ - So with even a $399 tablet doing 2560x1600 pixel displays,… リーナス・トーバルズがGoogle+で、ラップトップの解像度だけが全然向上していない現状に吠えてる。 399ドルのタブレットですら2560x1600ピクセルのディスプレイなんだぜ。ラップトップの解像度の標準もそれぐらいにしてくれよマジで頼むし。もちろん11インチでもだ。頼むし、"retina"とかいうクソな名前で呼ぶのはやめれ。単に、「まともな解像度」と呼べ。ラップトップがここ10年ほど、あんまり進化してないのは残念すぎるだろ。 俺は弁当箱みたいなラップトップは欲しくないが、1366x768とかいうのは旧世紀の遺物だろ。マジで、じきに携帯電話すらラップトップのクソな解像度を笑うようになるぜ。 もし自称技術ジャーナリスト
worker MPMの設定(後編)
日本最強の看板を下ろしたミラーサーバftp.jaist.ac.jpの管理者の一人が、 このサーバにまつわるよしなしごとを語ります。 English versions of some posts on another blog. 前回の話で何がいけなかったのかというとMaxSpareThreadsが小さすぎたのです。MaxSpareThreadsはクライアント数の変動幅より十分大きくないと、プロセスの終了と起動の頻度が高くなり、結果として終了待ちプロセスの数が増えてしまいます。 MaxSpareThreadsをMaxClientsに合わせてしてしまえば、MaxSpareThreadsが理由でプロセスが終了することはなくなります。しかし、不要なプロセスを起動したままにするのも気持ちが悪いので、できることなら適切に終了させたいものです。 ではいくつぐらいにするといいのでしょうか？ このメールには
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://www.image-net.org/challenges/LSVRC/2012/supervision.pdf
http://atnd.org/events/33751
partake.in
【Incompatible Change】Web::Query 0.10 contains incompatible change. - tokuhirom's blog
ニールセンのユーザビリティ10原則 « TheDesignium
Jubatus
How to do Painless MySQL Server Backups with AutoMySQLBackup - Linux.com