[B! programming][科学・技術] vanbraamのブックマーク

vanbraam id:vanbraam

programmingと科学・技術に関するvanbraamのブックマーク (14)

bliki: Two Hard Things
There are only two hard things in Computer Science: cache invalidation and naming things. -- Phil Karlton Long a favorite saying of mine, one for which I couldn't find a satisfactory URL. Like many good phrases, it's had a host of riffs on it. A few of them I feel are worth adding to the page There are 2 hard probl ems in computer science: cache invalidation, naming things, and off-by-1 errors. --
vanbraam 2018/07/09
"only"ではない,たくさんの"two" hard things

programming

科学・技術
リンク
今学ぶべき技術 by deeeet
今学ぶべき技術 by deeeet 会津春の大LT大会 26 May 2018 Taichi Nakashima About me @deeeet / @tcnksm (GitHub) https://deeeet.com Tech lead at Mercari microservices platform team (We're hiring!) 2 今学ぶべき技術 3 今学ぶべき技術英語 4 英語かよ！引っ込め👎 学ぶべき技術は何かを知るには「英語」が必要技術を深く学ぶには「英語」が必要 5 英語で学ぶべき技術を知る 6 そもそも何を学ぶべきかは自分で知る必要がある学ぶべき技術は個人の趣向によって異なる学ぶべき技術は所属する組織や環境によって異なる学ぶべき技術は立場によって異なる 7 英語で日々の情報収集をする多くの技術トレンドやプラクティスは英語圏から現れる日本語
vanbraam 2018/05/27
"会津春の大LT大会"は,https://www.facebook.com/events/575057802865840/によると,大学生の"僕・私たちが今年度学ぶべき技術"を語る場なので,内容はこれでOKでは.Computer science基礎は重要;Microservices実用時の課題/解決情報が少ない,は不同意

programming

科学・技術

教育
リンク
http://www.pllab.riec.tohoku.ac.jp/education/lectures/compiler/compilerSlides.pdf
vanbraam 2018/04/05
あとで読む

科学・技術

programming

言語
リンク
研究者からエンジニアに転生して1年経ちました
昨年の1月にDeNAに転職し、研究者からエンジニアに転生してから1年経ちましたので、色々振り返ってみたいと思います。ついでにMediumとやらを始めてみました。書いていて気持ち良いです。前置き転職前は、KDDI研究所にて10年ほど画像検索・画像認識の研究をしていました。その間に、Stanford Research Instituteに共同研究で半年間滞在させてもらったり、事業部でスマホの企画開発やったり、同時期に博士課程に進学したり、育児休職を取ったりしました。その辺りについては下記に書きました。
vanbraam 2018/01/28
"アルゴリズムを考案する一流セキュリティ研究者は一握りで良いが、それを実際に適用・運用していくセキュリティエンジニアはいくらでも必要"<同意."セキュリティ"抜いても通じる話

programming

仕事

企業・組織

科学・技術
リンク
GPUコンピューティング脱落者から見たNVIDIA GPUの利用規約騒動｜暗黙の型宣言
一週間ほど前から，NVIDIAがGeForceのデータセンタ利用を制限した話がネットを賑わしはじめた．おもしろいことになってるなと感じたので，私の経験と，それに照らし合わせて今回の騒動に感じた事を語りたくなった．記憶も記録も曖昧であるため，年寄りの昔話程度に読んでもらいたい．ここでいうおもしろいとは，滑稽という意味ではなく，興味深いという意味合いである．この件で色々な対応を迫られている方々を蔑む意図は微塵もないことはご理解いただきたい．今回の騒動に抱いた感想俗っぽい言い方をすると﹁恋人がこちらをフって乗り換えた相手が意外に曲者で，元恋人が困っているのを眺める気持ち﹂だろうか．そのような経験をしたことはないし，恋人というほどNVIDIA社に固執しているわけでもないが．事の発端NVIDIAが規約変更によりGeForceのデータセンター利用を制限。大学などの研究活動にも大ブレーキこれが最
vanbraam 2017/12/26
programming

科学・技術

企業・組織
リンク
Michael Feathers - 10 Papers Every Developer Should Read
(This is a requested repost of a lost blog I wrote in 2009. I'd change a few things, but not many) I spent most of yesterday afternoon working on a paper I’m co-writing. It was one of those days when the writing came easy. I was moving from topic to topic, but then I realized that I was reaching too far backward – I was explaining things which I shouldn’t have had to explain to the audience I was
vanbraam 2017/11/16
古典も含まれてるのか.だったら面白そう;各論文の発表年次があるととても嬉しいのだが..

programming

software

development

科学・技術
リンク
TechCrunch | Startup and Technology News
We could be entering a renaissance for human spaceflight research, as a record number of private citizens head to space — and as scientists improve techniques for gathering data on…
vanbraam 2017/05/21
翻訳が酷いので原文b:id:entry:338319710を参照した方がいい;実際のコードとその視覚化の例を見ないと何とも.動画の0:13辺りにそれらしきものがあるが,フローチャートの文言がどう見てもコードから導出された様に見えない

programming

software

development

科学・技術
リンク
Deep Algo offers simple code visualization for people who don’t know how to code | TechCrunch
vanbraam 2017/05/21
b:id:entry:338201581の原文;"a sort form"がわからなかった."a sort of form"の誤記?

programming

software

development

科学・技術
リンク
ペパボ研究所キャリアキーノート2017 技術者と研究者の狭間で得たたったひとつの教訓 / pepaken career keynote 2017
ペパボ研究所キャリアキーノート2017 技術者と研究者の狭間で得たたったひとつの教訓 / pepaken career keynote 2017
vanbraam 2017/05/13
他はともかく"オープンな研究開発"を実践したのは素晴らしいと思う

科学・技術

programming

企業・組織

仕事
リンク
スタンフォードのコンピュータサイエンスの授業の感想｜Rui Ueyama
いまのところ25単位分︵マスター修了に必要な単位数の約半分︶の授業を取ったので感想を時系列でちょっとまとめたい。昔のやつは記憶が曖昧になっているけど。 CS243 プログラムの解析と最適化 (2014Q4)要するにコンパイラの最適化の授業。前半はデータフロー解析とかでかなり実用的な感じがしたが、後半は行列計算の命令の依存関係を抽出してベクトル最適化とか、ItaniumみたいにレジスタのたくさんあるCPUでループアンローリングするみたいな話で、実際に役に立つのかはよくわからなかった。と、そのときは思ったが、巨大な行列の計算はよくあるので、興味を持てなかった僕がダメだっただけかもしれない。とにかく難易度が高かった。かなりがんばって夜中までやっていたつもりだけどもっと真剣に取り組むべきだったかもしれない。なにせこれが最初の授業だったのでレベル感がよくわかっていなかった。教授がドラゴンブックの
vanbraam 2017/04/06
凄い科学的かつ実用的な授業.計算機科学は最も理論と実践を両立させ易い学問だと思うので,日本でももっとこういう講義をやればいいのにと思うが,日本の教授はコードが書けない人が多いから難しいんだろうな

programming

科学・技術

教育

国際
リンク
SQL実行時のブルームフィルタ(Bloom Filter)アルゴリズム | フューチャー技術ブログ
1. 初めにDBにおける処理はSQLによって記述しますが、データの取得するために具体的にどのような内部処理を行うかという点までは記述しません。ここでいう内部処理とは﹁SQLの書き換え﹂﹁インデックスの使用﹂﹁結合アルゴリズムの選択﹂などがDBMSのオプティマイザによって選択されて実施されることを指します。 SQLのパフォーマンスを見るにあたっては上記の内部処理について正しく理解する必要があります。本 Blogでは、重要なアルゴリズムであるにもかかわらず、まとまった情報が少ないSQL実行時におけるブルームフィルタ(Bloom Filter)についてOracleをもとに紹介を行います。 Bloom Filterは結合処理を効率化するために、結合の前段階で利用される技術になります。公式なドキュメントとしては以下になります。 Oracle Database SQLチューニング・ガイド 12cリ
vanbraam 2016/11/01
Bloom filterのDBMSでのjoinにおける活用の効果の分析.自分では余りやりたくない類の測定なので助かる;Bloom filter自体についてはb:id:entry:180602638

DBMS

programming

科学・技術
リンク
ブルームフィルタ - Wikipedia
この項目では、確率的データ構造について説明しています。画像にぼかし効果を付加する画像フィルタについては﹁川瀬のブルームフィルター﹂をご覧ください。ブルームフィルタ︵英語: Bloom filter︶は、1970年に Burton H. Bloom が考案した空間効率の良い確率的データ構造であり、あるデータが集合の要素である︵集合に含まれている︶かどうかの判定に使われる。ただし判定は正確ではなくて、含まれていないのに含まれていると誤って判定すること偽陽性︵false positive︶の可能性がある。しかし含まれているものを含まれていないと誤判定すること偽陰性︵false negative︶はない。なお集合に要素を追加することはできるが、集合から要素を削除することはできない︵ただし、拡張をした counting filterであれば削除もできる︶。集合に要素を追加していくにつれて偽陽性の
vanbraam 2016/11/01
Mutually ExclusiveではないがCollectively Exhaustiveな検出が行えるfilter.一度filterを作ってしまえば元データを(メモリ上から)捨てられて,極めて小さなデータ量で検出が行えるのが利点,という理解

programming

科学・技術
リンク
過去に発生した「京」のCコンパイラのバグについて | 理化学研究所計算科学研究センター(R-CCS)
「京」を利用したユーザによる2014年度の利用報告書に「Cコンパイラのバグがあり、計算結果の整合性を確認する必要があった」という主旨の記述がありました。本障害については、2013年10月に認識した後、翌月には修正を行い、問題は解決済みです。また利用者に対しても同月に状況説明を行っております。現状において「京」の計算結果について問題があるとは認識しておりません。 (2016/7/29 20:25、2016/7/30 19:00 追記)
vanbraam 2016/07/30
バグ＊隠し＊と書かれていた点についてはどう説明するのだろう.それも含めこういう税金を使ったプロジェクトの場合,どういうバグがあって,どういう経緯で見つかって,どう修正したのかくらいの説明責任はあるのでは

programming

科学・技術

犯罪・事件・トラブル
リンク
特殊エンジニア向け数学ガイドツアー本『グッド・マス』の話
6月25日、つまり今週末、﹃グッド・マスギークのための数・論理・計算機科学﹄という本が発売されます。話せば長い事情があって、発売前だけど訳者の次くらいに書籍の内容を熟知しているので、私的な紹介を書いてみました。計算機のプロが書いた現代数学ガイドツアー世に数学系の読み物はたくさん出版されています。純粋数学のプロが書いたものもあれば、そうでない人が書いたものもあります。﹃グッド・マス﹄は、後者です。著者のマークさんは計算機科学のプロであり、数学のプロではありません。そのため、本書でいう﹁数学﹂も、コンピュータエンジニア的な目線で描かれます。たとえば、連分数の話をするときはScalaで実装し始めるし、論理学の話をすれば﹁Prologはいいぞ﹂って始まるし、計算といったらチューリングマシンとBrainfuckでありλ計算です。本書を一言で表すと、﹁コンピュータエンジニア、とくにプログ
vanbraam 2016/06/20
ちょっと読んでみたいかも;記号論理を使って集合(体とか群とか含む)を扱う的なアプローチが中心なのかな?だとすると圏論も入って良さそうな気もするが

数学

科学・技術

programming
リンク
1