自動改札機の運賃計算プログラムはいかにデバッグされているのか？ 10の40乗という運賃パターンのテスト方法を開発者が解説（前編）
自動改札機の運賃計算プログラムはいかにデバッグされているのか？ 10の40乗という運賃パターンのテスト方法を開発者が解説（前編） ふだん何気なく使っている鉄道。改札を降りるときにICカードを自動改札にかざすと、「ピッ」という音と共に一瞬のうちに運賃を計算してくれます。けれど、複数の路線を乗り継いだり、途中で定期券区間が挟まっていたりと、想像しただけでもそこには膨大な組み合わせがあります。それでも運賃計算プログラムはわずか一瞬で正しい運賃計算が求められ、バグがあったら社会的な一大事にもつながりかねません。 爆発的な計算結果の組み合わせがあるはずの運賃計算プログラムは、どうやってデバッグされ、品質を維持しているのでしょうか？ 9月12日から14日のあいだ、東洋大学 白山キャンパスで開催された日本科学技術連盟主催の「ソフトウェア品質シンポジウム 2012」。オムロンソーシアルソリューションズ 幡
23andMe API
23andMe is committed to ensuring the API program is accessed and utilized in ways that ensure our customers’ best interests, both in terms of rigorous privacy and scientific standards. To ensure such standards are met, we permit access to the API program through a developer arrangement, subject to set standards. Should your organization be interested in working with 23andMe to further permit our c
libcds | Compact Data Structures Library
Welcome to the libcds Web page! libcds implements low-level succinct data structures such as bitmaps, sequences, permutations, etc. The main goal is to provide a set of structures that form the building block of most compressed/succinct solutions. In the near future we are planning to add compression algorithms and support for succinct trees. The documentation is slowly progressing, if you have an
Set up Git - GitHub Docs
Using Git To use Git on the command line, you will need to download, install, and configure Git on your computer. You can also install GitHub CLI to use GitHub from the command line. For more information, see "About GitHub CLI." If you want to work with Git locally, but do not want to use the command line, you can download and install the GitHub Desktop client. For more information, see "About Git
Courses Taught by Hadley Wickham
Short courses Effective visualisation. September 2012. Applied Statistics 2012, Rigno, Slovenia. Data science in R. July 2012. OSCON, Portland, OR. R development master class. June 2012. Bay Area/New York City. Big data summer institute @ Rice University, Houston, TX. June 2012. Package development @ CSIRO, Canberra. October 2011. Data visualisation in R with ggplot2 and plyr @ Rice University. Se
コーディング規約をまとめてみた (Ruby編) - bojovs::blog
色々なところで見かけるコーディング規約を見て意識はしているのですが、 その時の気分で書き方を変えてしまうことが多々あったので、自戒を込めてコーディング規約をまとめてみました。 「なぜこの規約が存在するか」を明確にするために、できる限り理由も併記しています。 ただかなり主観的な部分があるので、あまり意味がないかもしれません…。 「この記事のこの規約は気に入らない。」と思うことがきっとあると思います。 その時はコメント欄などに理由も合わせて書いてくれると嬉しいです。 この記事ではRubyのコーディング規約をまとめています。 近いうちにRailsとCoffeeScriptのコーディング規約もまとめるつもりです。 Rubyのコーディング規約は以下のページを参考にまとめました。 https://github.com/styleguide/ruby https://github.com/bbatsov
言語処理100本ノック - 東北大学 乾研究室 / Inui Lab, Tohoku University
FrontPage / 言語処理100本ノック 3 秒後に NLP 100 Drill Exercises に移動します。 (移動しない場合は、上のリンクをクリックしてください。) © Inui Laboratory 2010-2018 All rights reserved. 研究室紹介/About Us 過去に在籍したメンバー Members 研究室環境 Lab Facilities ↑研究会/Research Meetings 概要 Overview 総合研究会 Research Seminar 意味研究会 SIG Semantics 談話研究会 SIG Discourse 知識獲得研究会 SIG Knowledge Acquisition Embedding研究会 SIG Embedding KIAI Knowledge-Intensive Artificial Intellige
Chapter 25 Deprecation Guidelines | Bioconductor Packages: Development, Maintenance, and Peer Review
ベアプログラミングと告白デバック - あんどコンサ
今時はやりのソフトウエア開発手法のひとつに「ペアプログラミング」という手法があります。その名の通り、二人ひと組でプログラミングすれば、お互いのチェックによりミスは減少、やる気は倍増、生産性は二倍以上になってお得、てな感じで夢のような手法です。 まぁ、人間のやることですから、実際にはそう上手くいくとも限らないのですが。 で、それの亜種（というかシャレ）で、「ベア(bear)プログラミング」というのがあるそうです。 これは、とある計算機センターのヘルプデスクに、テディベアのぬいぐるみが置いてあることに由来します。 どうしてもプログラムが上手く動かない。いったいどこが悪いのか、考えても考えても解決できない。……こんな時、一度煮詰まってしまった脳みそでは、それ以上いくら時間をかけても自分だけの力では解決できません。 でも、その悩みを他人に説明しようとした途端、自分自身の問題点に気づいてしまう場合が
How R Searches and Finds Stuff
Or…How to push oneself down the rabbit hole of environments, namespaces, exports, imports, frames, enclosures, parents, and function evaluation. MotivationThere are a few reasons to bother reading this post: Rabbit hole avoidance You have avoided the above mentioned topics thus far, but now it’s time to dive in. Unfortunately you speak English, unlike the R help manuals which speak “Hairy C” (imag
YAGNI - Wikipedia
英: You ain't gonna need it[1]、縮めて YAGNI とは、機能は実際に必要となるまでは追加しないのがよいとする、エクストリーム・プログラミングにおける原則である。 理由[編集] YAGNI原則を提唱する人々は、その理由として以下を挙げている。 後で使うだろうという予測の元に作ったものは、実際には10%程度しか使われない。したがって、それに費やした時間の90%は無駄になる[2]。 余計な機能があると、仕事が遅くなり、リソースを浪費する[2]。 予期しない変更に対しては、設計を単純にすることが備えとなる。そして、必要以上の機能を追加すると、設計が複雑になってしまう[2]。 人生の時間は、貴重である。したがって、人間の能力は、ただコードを書くためではなく、現実の問題に集中するために使うべきである[3]。 結局は、その機能は必要ないかもしれない。もしそうなったら、あなた
Writing Unit Tests for Sampling | Graham's Research Blog
One popular method for estimating statistical models is sampling, and in particular Gibbs sampling. As I’ve written before, sampling is based on randomness, which makes it somewhat difficult to debug. On the other hand, one popular way to ensure the quality of code is through arrays of unit tests, which are designed to test your code at a very fine-grained level (e.g. one test for each function in
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
【旧版】Google Chrome拡張機能入門 (全23回) - プログラミングならドットインストール
http://sat.scribd.com/doc/91645150/%E4%BD%9C%E3%82%8A%E3%81%9F%E3%81%84%E3%82%82%E3%81%AE%E3%83%AA%E3%82%B9%E3%83%88%E3%82%92%E4%BD%9C%E3%82%8D%E3%81%86
Chapter 14 Unit tests | Bioconductor Packages: Development, Maintenance, and Peer Review
http://kobitoapp.com/
【とらのあなWebSite】簡約! λカ娘
http://blog.kiftwi.net/2012/03/20/summary-of-pry-plugins/
Google Code Archive - Long-term storage for Google Code Project Hosting.
GitHub - Gunio/WhitespaceBot: Making GitHub Better.. With Robots
