You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
きわめて抽象度が高く、それゆえに近寄りがたい印象がもたれている圏論。その圏論のもわーっとしている入口へ案内します。とはいえ、圏論のきちんとした定義をわずかな文章で示してもわかりにくいばかりなので、ここではまず小さな例で雰囲気をつかんでください。興味がわいたら、最後に紹介する文献をどうぞ。 矢印ばっかり描いているのだ 数学では普通、「集合 A があって、その元 a ∈ A があって……」というように、集合ベースで話が進みます。圏論というのは、代わりに対象と射を使う数学のコトバです。ぱっと見でいえば、「矢印ばかり描いている」という印象になるでしょう。 次の図を見てください。 X、Y、Z、X ⊔ Y というのが対象で、その間に描いてある矢印が射です。 圏論ではこの図を、 X、Y が与えられたとき、 特別な X ⊔ Y と、κ1、κ2 がとれる。 どう特別かというと、ほかに Z とf、g というも
Welcome to TiddlyWiki created by Jeremy Ruston; Copyright © 2004-2007 Jeremy Ruston, Copyright © 2007-2011 UnaMesa Association <!--{{{--> <link rel='alternate' type='application/rss+xml' title='RSS' href='index.xml' /> <!--}}}--> Background: #fff Foreground: #000 PrimaryPale: #8cf PrimaryLight: #18f PrimaryMid: #04b PrimaryDark: #014 SecondaryPale: #ffc SecondaryLight: #fe8 SecondaryMid: #db4 Seco
ネットワークの計測と解析 インターネットの使われ方やネットワークの挙動を把握する事は、ネットワークを運用し、その技術開発を行う ために欠かせません。しかし、観測で得られるデータ量は膨大ですがノイズが多く、また、観測できるのは極めて限られた部分でしかありません。そこで、膨大なデータから意味のある情報を抽出したり、部分的な観測からより一般的な傾向を推測する事が必要となります。... インターネット基盤技術 速くて、安全で、信頼性が高く、使いやすく、など、インターネットサービスへの要求はますます高まっています。これらの要求に応えるために、インターネットの 基盤技術も日々進歩しています。いまやインターネットはつながるだけのサービスではなく、高度で複雑な機能を備えた社会基盤となりました。IIJ技術研究所は、インターネットの基盤として実現が期待される機能を提供するために、さまざまな技術課題に取り組んで
Yesod is a Haskell web framework for productive development of type-safe, RESTful, high performance web applications. September 3, 2013By Michael SnoymanView source on Github I recently had an email thread with Greg Weber and Max Cantor about classy-prelude. We ended up focusing on classy-prelude's implementation of map. Currently, classy-prelude defines a CanMap typeclass as follows: class CanMap
両親が結婚しているかどうかで子どもが相続できる遺産に差を設けている民法の規定について、最高裁判所大法廷は「憲法に違反する」という初めての判断を示しました。 憲法違反とされたことで、明治時代から100年以上続く民法の規定は、改正を迫られることになります。 民法では、結婚していない両親の子ども、いわゆる「婚外子」は、結婚している両親の子どもの半分しか遺産を相続できないと規定されています。 これに対して、東京と和歌山のケースで遺産相続の争いになり、婚外子の男女が「法の下の平等を定めた憲法に違反する」と訴えて、ことし7月に最高裁判所の大法廷で弁論が開かれていました。 これについて、最高裁判所大法廷の竹崎博允裁判長は、決定で「相続を差別する民法の規定は憲法に違反している」という初めての判断を示しました。 大法廷は、平成7年に「憲法に違反しない」という決定を出しましたが、今回は18年前の判断を見直しま
SummaryLiberating. Guix is a distribution of the GNU operating system developed by the GNU Project—which respects the freedom of computer users. Dependable. Guix supports transactional upgrades and roll-backs, unprivileged package management, and more. When used as a standalone distribution, Guix supports declarative system configuration for transparent and reproducible operating systems.Hackable.
Ceh - power user environments to share Gergely Risko () FP Afternoon in Zurich - August 29th, 2013 Agenda Nix terminology (http://nixos.org/) Nix, the package manager and programming language Nixpkgs, the package collection NixOS, the operating system Ceh (http://github.com/errge/ceh/) the Git synchronized, sharable and reproducible power-user environment based on Nix and Nixpkgs Nix details. Nix
はじめに Redisの開発者である@antirezが一昨日投稿したブログポストにとても共感したので翻訳しました。 English has been my pain for 15 years - <antirez> 世界一わかりやすい英文法の授業 作者: 関正生出版社/メーカー: 中経出版発売日: 2008/02メディア: 単行本購入: 14人 クリック: 99回この商品を含むブログ (31件) を見る 僕が@antirezの文章を翻訳するのは今回が初めてではありません。RedisのドキュメントをまだRedisがバージョン2.0になったばかりの頃に日本語訳したのが最初でした。Redisドキュメント日本語化をしていた当時は翻訳しながら「ドキュメントが整っているなぁ」と感じたと同時に「独特の英語を使うなあ」という印象を受けました。その当時は彼が英語に苦労していた過去のことなど知らなかったので、こ
数学における順序対(じゅんじょつい、英: ordered pair)は、一口に言えば対象を「対」にしたものである。二つの対象 a, b の順序対をふつうは (a, b) で表す。ここで、「順序」対において対象の現れる順番は重要であることに注意しなければならない、すなわち a = b でない限り (a, b) という対と (b, a) という対とが相異なる[注 1]。 順序対 (a, b) において、対象 a を第一成分 (first entry, first component), 対象 b を第二成分 (second entry, second component) などと呼ぶ。場合によっては、第一、第二座標や、左射影・右射影ともいう。 順序対のことを二つ組とか長さ 2 の列(計算機科学方面ではリスト)とも呼ぶ。あるいは、スカラー(数量)の順序対は二次元の(数)ベクトルである。順序対の成
モナド (英:monad) モナド (哲学) - ライプニッツが著書『モナドロジー』(『単子論』とも)において提唱した哲学上の概念。 モナド (超準解析) - 数学の超準解析において、ある与えられた超実数に対して無限に近い全ての超実数の集合。 モナド (圏論) - 圏論における特定の性質を満たす圏代数<T ; μ , η>のこと。 モナド (プログラミング) - プログラミング言語の意味付けにおける完備な意味領域をモジュール性を持たせた形で分割するための枠組み。 モナド (レコードレーベル) - テイチクのかつてのレコードレーベル。 任天堂より発売されたWii用ゲームソフト『ゼノブレイド』(開発:モノリスソフト)の仮称時のタイトル(Monado: Beginning of the World)、および同ゲームに登場する重要アイテム(武器)。 このページは曖昧さ回避のためのページです。一つの
ツチノコブログのWEBサーバベンチマークツール比較の記事で紹介されていた。WebサーバのG-WAN。この記事によると凄く速いようです。 Intel Xeon E5-2640 (6コア/12スレッド 2.50GHz) を2つというサーバで gwan 334944 req/s nginx 111842 req/s と、速いと言われているnginxの3倍の速度を出しています。 このベンチマーク結果がとても気になったので、なぜG-WANが速いのか、自分でも検証してみました。 結論から言うと以下の2つ。 1) G-WANはデフォルトで物理CPUに合わせた数のスレッドを起動する 2) HTMLファイルも一度読み込んでキャッシュする という事です。 今回はAWSのcc2.8xlarge(E5-2670 8コア/16スレッド 2.60GHz *2)を使ってベンチマークを行いました。OSはAmazon L
Takayuki Shimizukawa @shimizukawa @masa_edw コネクションプールが無い場合、使い終わったコネクションが即解放されない(解放まで多少遅延する)ので実際に使っているコネクションの数より多く存在する。その分メモリを圧迫して効率が悪い。っていう話は聞いたことがあるよ(要出典 2013-09-04 09:27:28 ハイパーむとう @masa_edw @voluntas 現状で必要な状況は理解していますが、なぜそうなるのか理解していないということです。他にもたとえば、bitlyの呼び出しはコネクションプールを使うべきか?なぜ(べき、べきでない)のか?どういう要請でそうなのか?と言う問いに僕は答えられません。 2013-09-04 09:31:22
Amazon SageMaker Geospatial Capabilities Now Generally Available with Security Updates and More Use Case Samples At AWS re:Invent 2022, we previewed Amazon SageMaker geospatial capabilities, allowing data scientists and machine learning (ML) engineers to build, train, and deploy ML models using geospatial data. Geospatial ML with Amazon SageMaker supports access to readily available geospatial dat
An autonomous pod. A solid-state battery-powered sports car. An electric pickup truck. A convertible grand tourer EV with up to 600 miles of range. A “fully connected mobility device” for young urban innovators to be built by Foxconn and priced under $30,000. The next Popemobile. Over the past eight years, famed vehicle designer Henrik Fisker…
このレベルのスキンシェーダが実現可能なAssetが$20で販売されています。 Asset Store - Pre-Integrated Skin Shader https://www.assetstore.unity3d.com/#/content/7238 DirectX 11の機能も活用されているみたいなのでDirectX 11対応ビデオカードを搭載されたWindowsマシンで観た時が一番綺麗に表示されます。 【Macで表示したとき】 【Windowsで表示したとき】 こちらのURLにてWeb Playerで体験出来ます。 http://dl.dropboxusercontent.com/u/71674067/Unity3DPISS/WebPlayer_1_1/WebPlayer_1_1.html 関連情報 Skin Shading in Unity | Ten24 http://ww
機能紹介 PDFとZIPフォーマットに対応 Bookmanは、国際標準の電子文書ファイルフォーマットPDFと、オープンスタンダードのアーカイブファイルフォーマットZIPで作られた電子書籍に対応しています。PDFファイルの場合は、全文テキスト検索や、URLのリンク機能を使用できます。また、OCRによってテキスト情報が付加されているPDFファイルに対しても通常のPDFファイルと同じく検索を行うことができます。その他、コミック用のアーカイブファイルフォーマット(CBR,CBZ,RAR)に対応しています。ePubファイルには今後対応予定です。 最速の描画エンジン搭載 Bookmanでは大きなファイルサイズの電子書籍でも快適な速度で閲覧することができます。高度に最適化された描画エンジンを搭載し、一般的な電子書籍リーダーではページをめくるのに数秒かかってしまう場合でも、Bookmanでは0.2秒以内に
bREADERは青空文庫などの電子書籍を読むためのiPhone/iPod touchアプリケーションです。 縦書き、横書き、オートスクロール表示など自由なスタイルで本を読むことができます。 Ver.1.0では青空文庫形式の他ePub形式もサポートし、暫定的に縦書き表示にも対応しています。 bREADER公式サイトはこちら おまけツールbrcダウンロードページへ brcは自分でスキャンした文章の画像などをbREADERで読みやすくする処理を行うツールです。 iPhoneの画面に合わせて版面を再構成するピクチャリフローができるようになります。 ※bREADER Ver.1.1専用 ※スペック・動作条件など詳細はダウンロードページで 機能 対応ファイル 青空文庫形式のテキストファイル テキストを1つ含むZIPファイル ePubファイル PDFファイル ダウンロード、ファイル転送などの機能 「青空
2013-09-02 面白いエントリーが誰かに届く仕組み 面白いエントリーが誰かに届く仕組み、重要な課題。What we’re trying to do with Medium — About Medium — MediumMediumというサービスにも、まったく同じ問題意識が書いてある。(翻訳は適当) While it continues to be more and more efficient to put media-type stuff out there, we think there are big improvements to be made in a particular type of media “stuff”: That which is not necessarily personal and not necessarily news. That which w
2625 public repos1128 private repos1178 users without public repos792 users with public repos:thielema (165)pointfree (103)vmchale (66)simon (47)ganesh (42)enum (40)fr33domlover (39)hu.dwim (39)jcast (37)dino (36)dragonmaus (33)tg-z (31)gh (27)dolio (26)stepcut (25)imz (24)alexdarcy (20)byorgey (20)oschwand (19)jeltsch (17)esz (16)ertes (15)ertes-ag (15)wlangstroth (15)nand (14)squirrel (14)ETB (1
An autonomous pod. A solid-state battery-powered sports car. An electric pickup truck. A convertible grand tourer EV with up to 600 miles of range. A “fully connected mobility device” for young urban innovators to be built by Foxconn and priced under $30,000. The next Popemobile. Over the past eight years, famed vehicle designer Henrik Fisker…
ProductTwo-factor AuthenticationToday we're adding two-factor authentication to GitHub. When you enable this feature, it adds an additional layer of security to your account. When logging in to GitHub, after providing your… Today we’re adding two-factor authentication to GitHub. When you enable this feature, it adds an additional layer of security to your account. When logging in to GitHub, after
例の「今後の経済財政動向等についての集中点検会合」に「有識者」として出席した古市憲寿さん。ネット上では誰の代表のつもりだ・・・とかなりな言われようでしたが、公開されたその議事録を読んでみると、実にまっとうな議論を堂々と展開しています。 冒頭「今日は、若いというだけで呼んでいただいたと思うので、できるだけ若者とか現役世代目線の利害を代表したようなことを言いたいと思う」と、謙遜めいた言い方をしていますが、どうしてわかってない下手な大人よりもずっと立派にまともなことを言ってますよ。 http://www5.cao.go.jp/keizai-shimon/kaigi/special/tenken/01/gijiyoushi.pdf ・・・そもそもなぜ消費税を上げるのかという議論に対して、余り根本的な議論がされていないように思う。すごく後ろ向きの意見が目立つと思う。 ・・・3点目が一番重要だと考える
airman @a7a7a7m <li><a class="js-nav" href="/following" data-element-term="following_stats" data-nav='following'><strong>353</strong>フォロー</a></li> 2013-09-03 17:19:24 airman @a7a7a7m <li><a class="js-nav" href="/followers" data-element-term="follower_stats" data-nav='followers'><strong>781</strong>フォロワー</a></li> </ul> 2013-09-03 17:20:03
技術関係の本などKindle版が安いのでiPhoneアプリで読んだりするのですが、App StoreにMac版のKindleアプリがあったので落としてみました。 パソコンで読めるなら、わざわざ画面の小さいiPhoneで読まなくて良いですからね。 落としたKindleアプリを早速起動してアマゾンのアカウントを入力してみましたが、ログインできません。どうやら、amazon.co.jpでは対応していないようです。 Webで探してみると、amazon.comのアカウントであれば使えるらしいとあったので、amazon.comに新規にアカウントを作ってみました。 そして、アカウントの統合をすれば、amazon.co.jpで買ったコンテンツもKindleアプリで読めるようだったので、「Your Account」の「Manage Your Kindle」から、画面の指示に従ってアカウントの統合をや
インターネット通販大手のアマゾンジャパンは神奈川県小田原市に物流センターを新設し、3日、稼働を始めた。同社の物流拠点としては国内最大。約1千人の雇用を創出するという。 「小田原市は関東と関西の物流ネットワークの中心地。広大な敷地もあった」。アマゾンジャパン(東京都目黒区)の関連会社でアマゾンジャパン・ロジスティクスのジェフ・ハヤシダ社長は3日、記者会見で小田原を選んだ理由をそう語った。国内9カ所目の物流拠点で、県内は初めて。埼玉県の狭山、芳野台、愛知県の常滑にある3カ所は14年3月以降をメドに閉鎖するという。 センターは5階建てで延べ床面積は東京ドーム約4・3個分の約20万平方メートル。本や家電製品、食料品など多様な商品がそろう。注文した品物が、当日に届く「当日配送サービス」のカバー率は約77%に上がるという。 続きを読む関連記事電子書籍、安売り合戦 「無料サイト」との競争迫られ7/2
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く