nikezonoのブックマーク (891)

  • OceanVista 再読 - 急がば回れ、選ぶなら近道

    OceanVista http://www.vldb.org/pvldb/vol12/p1471-fan.pdf的アーキテクチャは、DC間クラスターをインフラにおいて、高遅延・耐障害性を前提にした分散transactionの仕組みになっている。 どう見てもAlibabaのOceanBaseそのものではない。が、同じAlibabaグループでかつ、Oceanの名前をつけているので、関係はなくはないと思う。少なくとも同じグループまたは情報交換はしているのではないか。技術的な方向性を模索するプロトタイプに見える。 バックグラウンド的な与太話をすると、Alibabaは、というか中国的には、ITでの米国からの依存脱却(ポーズだけなのか、実際なのかは置いておいて)を目標として掲げているのは周知の通り。んで具体的な話としては、Alibaba的には脱Oracleが一つの目標になっている。この目線で見た

    OceanVista 再読 - 急がば回れ、選ぶなら近道
    nikezono
    nikezono 2020/03/03
  • 椅子を本気で選ぶときに役立つサイトまとめ - 彼女からは、おいちゃんと呼ばれています

    4月になりました。新生活をはじめられた方もたくさんいらっしゃると思います。一方でこの時期は、3月の決算を超えられずに倒産した会社のオフィス家具が大量に入ってくる時期でもあるそうです(先日、中古オフィス家具店オフィスバスターズの店員さんから伺いました)。 ということは、自宅の椅子(ワーキングチェア)を見直してみるのなら、格安中古品が大量に出回る今がチャンス!なわけで、椅子選びに役立つサイトをまとめてみました。 会社の椅子は長時間座っても疲れないのに、自宅の椅子だと1時間で腰が痛くなる、首や肩が凝る という方にぜひ見てもらいたいエントリーです。 1. 何はともあれ、まず見ておくべき金字塔エントリー 椅子を買った、こうだった、というブログのエントリーはたくさんあるのですが、おそらく金字塔を打ち立てたのは下記のエントリーです。椅子に対する考え方が変わると思います。僕にとっても、椅子を見直すきっかけ

    椅子を本気で選ぶときに役立つサイトまとめ - 彼女からは、おいちゃんと呼ばれています
    nikezono
    nikezono 2020/02/27
    “イス選びで絶対に失敗しないために覚えておきたいポイントまとめ - いいモノ紹介ブログ”
  • セグメント機構とCPUの動作モード(Linux(64bit)との関係性) - 人生は勉強ブログ

    この記事はsfc-rg Advent Calendar 2018 5日目の記事です. 遅くなってしまいました.ごめんなさい. 概要 セグメント機構とそれに付随するCPUの動作モードに関する記事. あとで自分が見るときのために,CPUのセグメント機構について大雑把に説明し,32bit版と64bit版の違いなどについて触れていきたい. また,セグメント機構をLinuxが32bitと64bitの場合で,それぞれどのように使われているかをまとめていく. この記事で扱うLinuxは,x86およびx86-64アーキテクチャにおけるLinuxとする. セグメント機構とページング機構 前回の記事からの引用, blog.ishikawa.tech x86アーキテクチャおよびx86-64アーキテクチャには,その上に乗るOSのアドレス変換機構をサポートする機能がある. それが,セグメント機構と,ページング機構で

    セグメント機構とCPUの動作モード(Linux(64bit)との関係性) - 人生は勉強ブログ
    nikezono
    nikezono 2020/02/15
  • tldr pages

    Simplified and community-driven man pages The tldr pages are a community effort to simplify the beloved man pages with practical examples. Try the live demo below, have a look at the PDF version, or follow the installation instructions. § Installation As of now, our most mature client is the Node.js one, which you can easily install from npm: npm install -g tldr There are many more clients that ha

    nikezono
    nikezono 2020/01/23
  • 国母問題についてのスノーボードチームコーチの説明

    雨にも負けず、風にも負けず、日差しの強くなるまでに畑仕事を終え、ゆったりと緑の中で朝飯を楽しみ、しばし電子的なあるいはグーテンベルグの銀河系を彷徨い、軽い昼飯をいただき、日差しが和らぐ頃に畑仕事に精を出し、汗を流した後の一杯の赤ワインを楽しみに生きてゆきたい。そんな暮らしの中心にFarmingがあることが生き甲斐になっている。道法自然に生きたいと願っている。 以前僕は高校生がズボンずり下げてパンツまで見える格好に不愉快さを禁じえませんでした。最近もう慣れっこになっています。大した問題ではない、というよりそんな抵抗が懐かしき若さの象徴だと思えるのです。いろんな事がうまくいかない日で昔は良かったみたいな危険な考えが広まってるように感じる。それがオリンピックという一極集中に親方日の丸で向かっていくマスコミの餌になった。かつてのスノーボードチームのコーチの発言はとても大切だと思う。見出しクリッ

    nikezono
    nikezono 2020/01/14
  • Computer Science from the Bottom Up

    A PDF version is available at https://www.bottomupcs.com/csbu.pdf. A EPUB version is available at https://www.bottomupcs.com/csbu.epub The original souces are available at https://github.com/ianw/bottomupcs Copyright © 2004, 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016, 2017, 2018, 2019 Ian Wienand This work is licensed under the Creative Commons Attribution-ShareAlike Li

    nikezono
    nikezono 2020/01/11
  • 魯山人のすき焼きが平成の世に蘇える! « 湯浅醤油有限会社|世界一の醤油をつくりたい 湯浅醤油有限会社|世界一の醤油をつくりたい

    数多くのの逸話を残した北大路魯山人。かなりの通として名を残しているが、すでに昔のことなので、同じものを味わったという人の話を聞くことが少ない。しかし、彼がどんな嗜好を持っていたのか誰しも興味津々で、可能なら同じものを味わってみたいと考えるのは人の常であろう。今回、「名料理、かく語りき」の取材から魯山人のすき焼きを再現してみようとの話が出た。再現するのは「北新地湯木」の湯木尚二さん。文献を熟読し、彼なりのアレンジを加えながらも蘇った魯山人風すき焼きとはどんなものだろうか。 筆者紹介/曽我和弘廣済堂出版、あまから手帖社、TBSブリタニカと雑誌畑ばかりを歩いてきて、1999年に独立、有)クリエイターズ・ファクトリーを設立した。特に関西のグルメ誌「あまから手帖」に携わってからはに関する執筆や講演が多く、ブームの影の仕掛け人ともいわれている。編集の他に飲店や品プロデュースも行っており、2

    魯山人のすき焼きが平成の世に蘇える! « 湯浅醤油有限会社|世界一の醤油をつくりたい 湯浅醤油有限会社|世界一の醤油をつくりたい
    nikezono
    nikezono 2020/01/08
    “の人が氏のやり方を模倣して作っていかねばなりません。だから店では一人のスタッフがこれにかかりっきりにならねばいけないのです。そのため予約を受けてからでないと対処できないんですよ」と話している。「魯山
  • Set-builder notation - Wikipedia

    The set of all even integers, expressed in set-builder notation. In set theory and its applications to logic, mathematics, and computer science, set-builder notation is a mathematical notation for describing a set by enumerating its elements, or stating the properties that its members must satisfy.[1] Defining sets by properties is also known as set comprehension, set abstraction or as defining a

    nikezono
    nikezono 2020/01/08
  • AUTOMATONライター陣が選ぶ「ゲーム・オブ・ザ・イヤー 2019」 - AUTOMATON

    今年2019年を振り返る、AUTOMATONの年末企画第4弾。これまで、一番やりこんだ作品、ベスト短編、アイデア賞と企画を分けて掲載してきた。そして稿では、1年の総括としてライター各自の個人的な「ゲーム・オブ・ザ・イヤー 2019」を発表する。2019年に発売されたタイトルのうち、各ライターのゲーミングライフにおいて特別な位置を占めた作品だ。 『リングフィット アドベンチャー』 ――「健康」という崇高なミッション 開発: 任天堂 販売: 任天堂 発売日: 10月18日 対応機種: Nintendo Switch 2014年1月30日。任天堂経営方針説明会にて、岩田聡社長(当時)は「娯楽の定義拡大」のため、「人々のQOL(Quality of Life)の向上」を目標に掲げた。その際、QOL向上の第一ステップとされたテーマが「健康」だった。周知のように、その翌年に岩田氏は胆管腫瘍のため急逝

    AUTOMATONライター陣が選ぶ「ゲーム・オブ・ザ・イヤー 2019」 - AUTOMATON
    nikezono
    nikezono 2020/01/06
  • What is an alternative way to say "Note that" in academic writing?

    nikezono
    nikezono 2019/12/25
  • Glossary of graph theory - Wikipedia

    This is a glossary of graph theory. Graph theory is the study of graphs, systems of nodes or vertices connected in pairs by lines or edges. Square brackets [ ] G[S] is the induced subgraph of a graph G for vertex subset S. Prime symbol ' The prime symbol is often used to modify notation for graph invariants so that it applies to the line graph instead of the given graph. For instance, α(G) is the

    nikezono
    nikezono 2019/12/23
  • すべてのプログラマーが試すべき挑戦的なプロジェクト

    Austin Z. Henleyのブログより。 更新12/14: この投稿は、Hacker NewsとRedditに関する多くの議論に拍車をかけました。 提案されたプロジェクトのいくつかを収集し、この投稿の最後にリストに入れました。 私はよくサイドプロジェクトを始めたいが、何を作るべきか分からない多くの学生やプロの開発者と話します。以下は、私に多くを教えてくれたいくつかのソフトウェアプロジェクトです。実際、それらは何度も作ることができ、毎回新しいことを学ぶことができるので素晴らしいです。従って、何を作るのか分からない場合、または新しいプログラミング言語またはフレームワークを学びたい場合は、私は次のいずれかから始めます。 テキストエディタ 2Dゲーム - スペースインベーダー コンパイラ - Tiny BASIC ミニ・オペレーティング・システム スプレッドシート (難しい!) ビデオゲーム

    すべてのプログラマーが試すべき挑戦的なプロジェクト
    nikezono
    nikezono 2019/12/20
  • getwisdom.io

    This domain may be for sale!

    getwisdom.io
    nikezono
    nikezono 2019/12/18
  • Database Internals | Hacker News

    nikezono
    nikezono 2019/12/17
  • https://musicforprogramming.net/?one

    nikezono
    nikezono 2019/12/16
  • ジェイク・バートン・カーペンターを偲んで

    2019年11月20日、Burton Snowboardsの創設者、ジェイク・バートン・カーペンターが安らかに旅立ちました。癌の再発による合併症が原因でした。ジェイクはBurtonの生みの親であり、スノーボーディングのソウル、そして何よりも私たちが愛するスノーボーディングを与えてくれた人です。 さかのぼること数ヶ月前、ジェイクは自分の人生を振り返っていました。ここで、ジェイク自らが綴った年表を共有します。 1960年代1961年冬 家族で初めてのスキー旅行へ行きました。場所はバーモント州のブロムリーマウンテン。このときから、雪や山が大好きになりました。 1967年2月17日 兄のジョージ・ホイットニー・カーペンターが、海兵隊の伍長として従軍していたベトナムで戦死しました。彼は、銀星章と名誉負傷章を授与されました。 1968年秋 マサチューセッツ州ノースアンドーバーのブルックススクールに入学

    ジェイク・バートン・カーペンターを偲んで
    nikezono
    nikezono 2019/12/04
  • Chris Harrison | PulpNonfiction

    nikezono
    nikezono 2019/11/26
  • 背理法と数学的帰納法はなぜ嫌われるか?

    背理法と数学的帰納法はなぜ嫌われるか?真鍋 和弘(札幌篠路高校)1.ぱじめに 証明法の中での背理法と数学的帰納法は日では高校1年生(数学A)で学ぶことになっているが,これは少し早すぎるような気がしている.伝統的に日では,数学は計算ができることが重視され,論理性を重んじるヨーロッパなどとは事情が異なるからである.しかし高校では背理法と数学的帰納法は必要ないかというと決してそうではなく,大学レベルの数学を学ぶ際には,これらのことに少しでも触れた経験がある学生とそうでない学生との間には相当の差が生じると思われる. 大学入試にあまり出題されないからという理由で,背理法と数学的帰納法をカットしている進学校も多いと思われるが,彼らが将来必要とする数学的素養はきちんと学ばせるべきだと思う.さらには,理工系の大学に進まない高校生にとっても,①背理法と数学的帰納法の考え方は面白く誰にでも理解できる内容で

    nikezono
    nikezono 2019/11/11
  • Chris Harrison | Welcome

    While mechanical buttons are ubiquitous, their haptic response is fixed, reducing interface flexibility and precluding an avenue for rich feedback. In this work, we describe a new type of dynamic button that can vary its visual and haptic response via rapid shape change. To achieve this, we made several advances in the performance of embedded electroosmotic pumps: we increased core pump speed >300

    nikezono
    nikezono 2019/11/10
  • ICDE 2015 Study (R24-4, R27-3)

    nikezono
    nikezono 2019/11/08