nikezonoのブックマーク (891)

  • レポートや修士論文の作成に際して

    文章を書く時には、約束ごとがあります。また、生物学関係の学術的な文書を書く時にも、その分野に特有の約束ごとがあります。それらは歴史の中で習慣として定着してきたことで、たとえつまらないことのように思えても、文書を作成する時にはある程度決まった形式に従って書くことが一般に行われています。ところがこのところ、レポートや修士論文の原稿を見ると、文書の形式などの基的なことができていないことがあり、その修正に時間をとられることが思いのほか多くなっています。そのようなことを少しでも減らすために、生物学関連の文書を書く時の基的な留意点を思い付くままにここにまとめておくことにしました。ここに書いてあることは自然科学や生物学の公的な文書を紙ベースで書く時に常識的に知っておかなければならないことで、来は、論文や総説などを読んでいるうちに自分で気付き、学んでいかなければならないことです。論文や総説を読む時に

    nikezono
    nikezono 2019/03/18
  • 筋トレしない人も「鶏むね肉とブロッコリーのレンチンチーズ蒸し」を食べるのが大正義な3つの理由【筋肉料理人】 - メシ通 | ホットペッパーグルメ

    こんにちは~筋肉料理人です! 今日は旬のブロッコリーを使ったパワーフード「鶏むね肉とブロッコリーのチーズ蒸し」を紹介させていただきます。鶏むね肉は皮を外せば、ささみと同じカロリーになり、高タンパク&コスパ良しの、トレーニー(トレーニングする人)御用達の材です。そして今からが旬のブロッコリーも、じつはトレーニー御用達の野菜なんです。 その理由は? というと、 第一に野菜としてはタンパク質が豊富。 第二にビタミン類がバランス良く豊富に含まれている。 第三に常していると男性ホルモンの働きを良くする効果が期待できる。 だから、筋トレ後に鶏むね肉とブロッコリーべるのは、筋トレ大好きな人には大正義なんです! この栄養価の高さ、もちろんトレーニーじゃない人にもおすすめです。 それに、ブロッコリーは大量の水でゆでて料理すると水溶性のビタミン、ミネラルが流れ出てしまいますが、今回のようにレンジ蒸しに

    筋トレしない人も「鶏むね肉とブロッコリーのレンチンチーズ蒸し」を食べるのが大正義な3つの理由【筋肉料理人】 - メシ通 | ホットペッパーグルメ
    nikezono
    nikezono 2019/03/07
  • 論文英語 : kei@sodan

    フィンランドで取った授業のまとめです。 先生(Ken Pennington)の母語はアメリカ英語だけど、語法の専門家らしくて、国や分野ごとの語法の違いも指摘したとても含蓄のある授業でした。 構成を考える。内容的には situation (現状) problem (問題点) solution (解決策) evaluation (評価) となる。 構成としては、 introduction(導入) methods (方法) results (結果) discussion (議論) 記述上の特徴としては、 Introduction : 現在・引用(citation)・注釈 (commentary) Method : 過去・受け身 Result : 過去 Discussion : 現在・引用(citation)・譲歩(qualification) 現在形・現在完了が使われる例が多い。 Recentl

    nikezono
    nikezono 2019/03/05
  • ドワンゴを退職しました - ytanaka's blog

    2019/2/28をもって株式会社ドワンゴを退職しました。 ドワンゴにエンジニアとして新卒入社して今年で約4年になります*1。色々と注目度の高い会社で様々な経験をさせてもらいました。ここでは備忘録の役割も込めて、何をやってきたか・どんなこと感じたかを書いていきたいと思います。 何をやってきたか 初年度はドワンゴの教育事業であるN予備校の企画開発とAndroidアプリの開発、2年目以降はN予備校やniconareといった新規サービスのインフラ構築やSREを担当していました。AndroidからSREに転向したのは一度フロントエンドから離れたところで経験を積んでみたかったというのがあります(当時人数が少なくて大変そうだったというのもある)。 結果的にネットワークなどの基礎的な部分から負荷対策、例外やアクセスログ監視、オンコール対応、パフォーマンスの改善といった、今でいうところのSRE的なものの最

    ドワンゴを退職しました - ytanaka's blog
    nikezono
    nikezono 2019/03/05
  • https://tokyodebian-team.pages.debian.net/pdf2012/debianmeetingresume201211.pdf

    nikezono
    nikezono 2019/02/25
    5. perfでパフォーマンスチューニング
  • perfの使いかた

    概要 Linuxのパフォーマンス解析ツールであるperfの使いかたの紹介 背景 個人的にperfよくできてると思うので紹介したいというのと、 パフォーマンスカウンタの読み方ってあんまり知られてないみたいなので、 それの解説を書きたい。 構成 perf について説明したあと、パフォーマンスカウンタの読みかた、見かた、を説明する。 perfとは何か Linuxに付いてくるプロファイラ。 man perf によると、 NAME ---- perf - Performance analysis tools for Linux と、書いてある。名前がひどいのでなんとかしてほしい。 perf の特徴 個人的には、手軽に使えるのが素晴らしいと思う。 2.6.31以降カーネルに標準で付いてる。(Ubuntuだとlinux-tools-common(TODO:あとで確認)で入るはず) 特殊な設定が必要無く、

    nikezono
    nikezono 2019/02/25
  • ロングスケートボード・エクストリーム

    ロングスケートボードのカテゴリ別リスト・ブランク・ローデッド・レイン・ドレッグス・セクターナイン他 ロングスケートボード(ロンスケ)は当店で組み上げた完成品です。商品単価の差額で各パーツをお好みにカスタムして出荷も可能です(工賃無料)。ウィールの種類や硬度やトラックのカラー、ベアリング等、注文時に変更希望とご連絡ください。一部のメーカー既製品コンプリートは差額カスタムができない場合があります。 商品一覧 ロングスケートボードの一覧です。 フレックスデックス ファットダディ ガルウィングチャージャー10 ブラッドオレンジ70mm FLEXDEX FAT DADDY CHERGER10 BloodOrange70mm 59.75 x 10.25 フレックスデックス60インチサイズのファットダディーにチャージャー10ブラックとブラッドオレンジモーガン70mmでセット... ¥36500 [LBF

    ロングスケートボード・エクストリーム
    nikezono
    nikezono 2019/02/22
  • 「四川料理のスゴイ人」に、 辣子鶏(ラーズーチー)の自宅用レシピを教わってきた【ハマる辛さ】 - メシ通 | ホットペッパーグルメ

    すごく辛そうな料理ですが 辣子鶏と書いて「ラーズーチー(ラーズージー)」。 聞き慣れない料理かもしれませんが、実物はこれです。 うへえ、辛そう。 だが、これがうんまいのである。 辛さに中毒性があって、ビールと一緒にべたりすると、箸が止まらなくなる。 すごく辛いけど、べられないほど辛いってわけじゃない。ていうか、唐辛子そのものはべない部分だから大丈夫。唐辛子に埋まってる鶏肉べる料理なんですね。 この辣子鶏について、四川料理の伝道師・人長良次(ひとおさ・よしつぐ)さんに聞いてきました。 四川料理の達人・人長良次さんについては、こちらの記事が記憶に新しいかと。 www.hotpepper.jp こちらが人長さんのプロフィールです。このお店で料理長を務められています。 ribayonattack.com 場では日常的にべられてるポピュラーな味 人長:辣子鶏は、もともと四川省の重慶が発

    「四川料理のスゴイ人」に、 辣子鶏(ラーズーチー)の自宅用レシピを教わってきた【ハマる辛さ】 - メシ通 | ホットペッパーグルメ
    nikezono
    nikezono 2019/02/22
  • 【酸菜白肉鍋】野菜をモリモリ食べたい時は「白菜たっぷり鍋」がスッパうまい - メシ通 | ホットペッパーグルメ

    白菜って、なにげに鍋料理の「センター」だと思う この季節といえば鍋。そして、鍋の具材といえば白菜。 残念なのは、ひとり暮らしの身の上ゆえ、特売で買った白菜を、けっこうな頻度で無駄に余らせてしまうことだ。 これ、身に覚えのある独身の読者は少なくないのでは? そんな悩みを一気に解消してくれるウマーなレシピを、以前、誌でも取材させていただいた、東京・代々木八幡にある「煮込みとお惣菜スタンド ウエトミ」の大野清和(おおの・きよかず)さんに教えていただいた。 ちなみに、大野さんは料理好きが高じて居酒屋さんを始めてしまった『メシ通』の読者でもある。 www.hotpepper.jp 大野:白菜の浅漬けって、サラダなんじゃないかって思うんですよ。だから山盛りでシャキシャキべられる、サラダ感覚の浅漬けを考えてみました。それよりなにより、余った浅漬けは鍋にするとマジでうまいです。旅行台湾に行ったときに

    【酸菜白肉鍋】野菜をモリモリ食べたい時は「白菜たっぷり鍋」がスッパうまい - メシ通 | ホットペッパーグルメ
    nikezono
    nikezono 2019/02/20
  • PostgreSQLは20年間どのようにfsyncを間違って使っていたか - 聴講メモ -

    TL;DR 聴講メモ Intro into durability PostgreSQLのCHECKPIONT CHECKPOINT中にエラーが発生したら? fsyncへの2つの間違った期待 なぜ今になって問題が明らかになってきた? そもそもなぜBufferd I/Oなのか? どうやって直すかか 参考リンク 質疑 最後に 先日PostgreSQLの新しいマイナーバージョンがリリースされました。このマイナーリリースでメインとなる修正は「fsync周りのバグ修正」で、このバグは間違ったfsyncに対する間違った認識から約20年間存在してたバグということで注目されていました。 このバグについてPostgreSQLのコミッタ(Tomas Vondra氏)が解説しているセッションが、先々週開催されたFOSDEM 2019でありました。私もFOSDEM 2019に参加していたのですがその際は裏セッション

    nikezono
    nikezono 2019/02/19
  • C++11 std::atomicの速度調査 - Qiita

    C++11から、C++は言語仕様としてマルチスレッドプログラミングをサポートするようになりました。 C++を使うからには、スレッド間の通信も高速化したいものです。 というわけで、スレッド間通信の速度(レイテンシ)を測ってみます。 想定しているのは、仕事の完了を通知したいなどの状況で、以下の条件を満たす場合です。 通信のレイテンシを隠蔽する仕事が残っていない。 一つのスレッドが書き込み、他のスレッドは読み込むだけである(※)。 スレッド数の管理は他で行っているため、スピンロックを行っても安全である(スピード狂)。 (※)このような場合でも、C++では同じ変数を同時に読み書きした場合は未定義動作であるので、正しくプログラムを書く必要があります。 環境 Intel Core i7-4771 @ 3.5GHz bash on Windows g++-7 (Ubuntu 7.2.0-1ubuntu1

    C++11 std::atomicの速度調査 - Qiita
    nikezono
    nikezono 2019/02/19
  • 「大聖堂・製鉄・水車―中世ヨーロッパのテクノロジー」 | Call of History ー歴史の呼び声ー

    ヨーロッパの中世を「暗黒時代」、すなわち「暴力と狂信と無知と停滞の時代」とする見方はすでに否定されている。確かに絶え間なく続く戦争と、キリスト教的世界観の浸透と、ローマ教会の支配が築かれ、ギリシア・ローマ時代の知識が少なからず一時的ながら失われた時代ではあったけれども、後に近代を切り開く土台となる様々な技術のささやかながら着実な革新が繰り返された、ゆっくりと着実な進歩の時代であった。その中世ヨーロッパのテクノロジーとイノベーションはどのようなものであったのか、緩やかな技術革命の千年を振り返る一冊である。 別に中世ヨーロッパが栄光の時代であったとか、産業革命に比肩する技術進歩の時代だったなどと言う訳ではなく、ただただ、後進地であったヨーロッパで中世の千年間で起きていた地道な技術的革新の歩みを描いているに過ぎないが、そこにドラマがあり、面白さがある。ジャレッド・ダイアモンドとかウィリアム・H・

    「大聖堂・製鉄・水車―中世ヨーロッパのテクノロジー」 | Call of History ー歴史の呼び声ー
    nikezono
    nikezono 2019/02/18
  • https://www.inpit.go.jp/blob/katsuyo/pdf/business/t1-5.pdf

    nikezono
    nikezono 2019/02/14
  • C++ gRPC thread number configuration

    It depends whether you are using sync or async API. For a sync client, your RPC calls blocks the calling thread, so it is not really relevant. For a sync server, there is an internal threadpool handling all the incoming requests, you can use a grpc::ResourceQuota on a ServerBuilder to limit the max number of threads used by the threadpool. For async client and server, gRPC uses CompletionQueue as

    C++ gRPC thread number configuration
    nikezono
    nikezono 2019/02/13
    gRPCでスレッドプールのスレッド数上限を定数として与えたい
  • Carving skis explained by Ski Lebanon | SKILEB.com

    nikezono
    nikezono 2019/02/12
  • https://arxiv.org/pdf/1902.00609.pdf

    nikezono
    nikezono 2019/02/05
    4.2 Beyond Conflict Serializability で VSR
  • Javaスクールの危険 - The Joel on Software Translation Project

    Joel Spolsky / 青木靖 訳 2005年12月29日木曜 近頃の若い者ときたら。 勤勉はいったいどこへ行ってしまったんだ? 「近頃の若い者」は我慢がないと不平を言うようになったのは、私も年を取ったということなのかもしれない。 そりゃ恵まれてるね。私は3ヶ月汚水浄化槽の中の茶色い紙袋に住んでいたよ。朝6時に起きて、袋を掃除し、固くなったパンの耳をべ、工場まで歩いて行くと、1日14時間、毎週毎週働きつづけ、家に帰ると親父にベルトでたたかれて寝床についていたんだ。 ——モンティ・パイソンの空飛ぶサーカス 4人のヨークシャー人 私は若い頃、パンチカードでプログラムを作る方法を学んだ。ミスをしたら、それを訂正するためのバックスペースのような近代的な機能は存在しなかった。カードを捨ててはじめから打ち直すのだ。 私は1991年にプログラマの面接をするようになった。コーディングの問題に答える

    nikezono
    nikezono 2019/01/29
  • MapReduceの本質 - 中しまのメモ

    また一つ、『計算機プログラムの構造と解釈』から面白いネタが飛び出してきた。 計算機プログラムの構造と解釈 一見なんでもないようなschemeの例題から、GoogleのIndex生成アルゴリズムとして名高いMapReduceの概要を理解するための機会を得た。 あの例題の質は何だったのか? きっかけは、先日の「プロセスの抽象化(シーケンスへの作用)」というエントリーに関して、会社の先輩から興味深い指摘をいただいたことだった。エントリーの内容は、抽象化によって「木構造の要素に対して作用する手続き」を改善するという話だが、その改善前後の手続きをもう一度掲載する。 【A】改善前の実装 (define (sum-odd-squares tree) (cond ((null? tree) 0) ((not (pair? tree)) (if (odd? tree) (square tree) 0))

    MapReduceの本質 - 中しまのメモ
    nikezono
    nikezono 2019/01/29
  • The Shanghai Soup Dumpling Index

    nikezono
    nikezono 2019/01/25
    上海の小籠包情報をまとめたガイド.
  • http://www.vldb.org/pvldb/vol4/p783-jung.pdf

    nikezono
    nikezono 2019/01/25
    RSSI(Replicated serializable snapshot isolation).Definition 3.1が偽陽性を削る定理で,VLDB'16のBCCと近い.