I'd just be the catcher in the rye and all. I know it's crazy, but that's the only thing I'd really like to be. I know it's crazy.

The catcher in the rye
J. D. Salinger



このページの内容は日々更新されます。 そのため、検索エンジンに引っかかったものがここに残っているとは限りません。

最新エントリ (何日分あるかは不定)



transcompile。 という言葉を知った今日このごろ。


Those Who Say Code Does Not Matter | blog@CACM | Communications of the ACM By Bertrand Meyer Meyer 先生の記事。 C のように、if の後なんかに「単文」か「複文」(compaund statement) が来るという構文は問題なんじゃないの? というお話。

Those Who Say Code Does Not Matter | blog@CACM | Communications of the ACM

The proper language solution is to do away with the notion of compound instruction as a separate concept, but
simply expect all branches of composite instructions to consist of a sequence, which could consist of several
instructions, just one, or none at all. In Eiffel, you will write

if  c then
    x := y


if  c then
    a := b
    x := y
    u := v


from i := 1 until c loop
    a := b
    i := i + 1


across my_list as l loop
    l.add (x)

ふと、 null参照の考案は10億ドル単位の過ち? | スラッシュドット・ジャパン デベロッパー と対比してどうなのかなあと思った。 まあさすがにこれを越えるってこたあないだろうけども。




エンジニアリングの真髄―なぜ科学だけでは地球規模の危機を解決できないのか この本を読み始めたのですが面白いです。 んが、科学と工学じゃなくて、科学とエンジニアリングみたいに書いているのがちょっと気になる。 タイトルにも使ってるからそうしてるのかなあ。 いやまあサイエンスとエンジニアリングみたいに書かれても色々むずがゆくなりますが。 ところでこの本、原題は Essential Engineer なんですね。 そのまま訳すと「理想のエンジニア」あたり? つまりは、原題では人(=エンジニア)を表すものなのに翻訳書のタイトルがこうなるのは面白いなあ。と。 ここまで読んだところでは翻訳書のタイトルでも悪くはないと思います。



R で。

> 1:10
 [1]  1  2  3  4  5  6  7  8  9 10

↑これを、このように↓書けるとは知らなかった (':' を関数として呼び出しているということらしい)

> ':'(1,10)
 [1]  1  2  3  4  5  6  7  8  9 10


セーフウェアの著者の最近の本なのだけど、 PDF が Free Download って。 ありがたやー Engineering a Safer World | The MIT Press

セーフウェア 安全・安心なシステムとソフトウェアを目指して (IT Architects’Archive)
セーフウェア 安全・安心なシステムとソフトウェアを目指して (IT Architects’Archive)



第1回 「データ解析のための統計モデリング入門」 読書会 - connpass この本買って読んではいるんだけどなかなか頭がついていかないんだよな ○| ̄|_ まあ会社に置きっぱなしで、会社でしか(必要なときに必要そうなところだけを) 読まない ってのもあるんだけど。 大学で統計学やったけどそんなに深いところまでやってないし。

色々知識不足(と能力不足)を感じるのだけどどうしたものやら。 特に数学 ○| ̄|_


久しぶりに SRGM 関連。 なんというかうまいキーワードがなかなかないんだけど、 それでも英文記事をあたった方が面白そうなのが多いのはどうにかならないのかねえ。 IEEE Xplore Abstract - On the Trend of Remaining Software Defect Estimation

IEEE Xplore Abstract - On the Trend of Remaining Software Defect Estimation

Software defects play a key role in software reliability, and the number of remaining defects is one of most
important software reliability indexes. Observing the trend of the number of remaining defects during the
testing process can provide very useful information on the software reliability. However, the number of
remaining defects is not known and has to be estimated. Therefore, it is important to study the trend of the
remaining software defect estimation (RSDE). 以下略

これだけ見ると読みたくなるんだけど「payment wall」の向こう側なんだよなあ


日本語のも一つ。 CiNii 論文 -  傾向曲線に基づいたソフトウェア信頼性モデルに対するパラメータ推定(システム評価・管理技術)

CiNii 論文 -  傾向曲線に基づいたソフトウェア信頼性モデルに対するパラメータ推定(システム評価・管理技術)


なんというか、発見される(「摘出」などとは意地でも言ってやらない)バグの数の 収束状況の(ある程度の) 判断、判定には使えるかもしれないけど 「バグ総数の推定」とかは当てにできないんじゃないかなあ。 というか世間一般(てなんですか)で SRGM がどれだけどのようにつかわれているか疑問に感じるんですが。


「Design-Challenged」ってのは Design の方面に才能がないとかいうことですよね。たぶん。

10 Resources for Design-Challenged Programmers

10 Resources for Design-Challenged Programmers
Posted on August 29, 2010 by dhirschl —

When it comes to design, why do programmers tend to have difficulty in creating a simple and user-friendly
user interface?

Perhaps because programmers are traditionally left-brained and more focused on logic, analytics, objectivity,
etc. This type of thinking is encouraged in academics.

で、10個紹介されてると。「left-brained」ってのは「左脳型」かな。 この後の文章に Designer は right-brained だとかでてくるし。

■_ 解析機関

History of computing part 1 | Linux Voice 「階差機関」の方は「プログラムする」ようなものじゃないと思うんだよなあ。やっぱり。 それはさておきこの記事のコメント欄

History of computing part 1 | Linux Voice

I saw a TedEd video a few months ago on the Analytical Engine. It was a good watch and I recoment people search
for it on the TedEd YouTube channel. This artical does go a little further in explaining the operation very well.


おー、なんかたくさんあるぞ charles babbage analytical engine - YouTube





会社のトイレの手洗い場。 目を覚ますためかなんか分からんけど、 顔洗うのはいいんだけどさあそこら中を 水浸しにしといて放置ってはどういう了見だ。

数セミ買った。 数学セミナー 2014年 05月号 [雑誌]
数学セミナー 2014年 05月号 [雑誌]

■_ GNOMEも?

The Gnome Foundation has run out of money reserves : technology

[Phoronix] The GNOME Foundation Is Running Short On Money

While GNOME has been riding high lately with driving the development of its Wayland-based compositor and being
the first major desktop getting there natively for most of its applications, and the overall work on the recent
GNOME 3.12 release being fairly exciting, on the foundation side they are running into a budget shortfall and
funds are becoming very tight within the GNOME Foundation.

The GNOME Foundation has run into cash flow problems and as a result is freezing non-essential expenses. The
GNOME Foundation has eliminated their cash reserves leading to this dire situation, but should be recoverable
in the months ahead. The GNOME Foundation got into this situation through its Outreach Program for Women (OPW)
and managing the program (and funds) for a number of other participating organizations. The GNOME Foundation
staff and board fell behind in their processes with being overwhelmed by administering OPW. GNOME's Outreach
Program for Women is explained as "The Outreach Program for Women (OPW) helps women (cis and trans) and
genderqueer get involved in free and open source software." They've had around 30 interns for their most
recent cycle. 




数学全般怪しいです ○| ̄|_


Smalltalk (と Scratch も) は良くわからんのですが、 こういうのを考えるのはわりと好きだったりします。




吉祥寺の人混みは辛かった(謎) 実物大イングラム登場に吉祥寺騒然!あまりの人気に警察からデッキアップ中止要請 - シネマトゥデイ 鬼才・押井守総監督が明かすその裏側「今、なぜ実写でパトレイバーなのか?」 | ニコニコニュース


電子辞書。 どうにも英和辞典でイディオムがひきづらくてかなわない。 イディオム丸ごと入れてぐぐった方がいいくらいなんだけど どうにかならないものか。 最近の機種とか上位機種だと違うのかねえ

ぐはっ。いつの間にか翻訳出てたーーーっ (原著買って途中までしか読んでない奴) ○| ̄|_ フロッグデザイン創設者 ハルトムット・エスリンガー 形態は感情にしたがう
フロッグデザイン創設者 ハルトムット・エスリンガー 形態は感情にしたがう

とりあえず wishlist に載せておこう






古本で購入 岩波講座 ソフトウェア科学〈〔理論〕11〉ソフトウェア科学のための論理学
岩波講座 ソフトウェア科学〈〔理論〕11〉ソフトウェア科学のための論理学 このシリーズで偉く高い値段がついてるのがあったと思うんだけど どれだっけか。 ああ、金のあるときに全巻揃えておくんだった○| ̄|_ (それでもわりと買ってはいたと思う)

んでまあ新学期に入っての番組を見てて、毎週見るのはこれですかねえ。 放送大学 授業科目案内 記号論理学('14) ということで扱ってるところで買って来ねば 記号論理学 (放送大学教材)
記号論理学 (放送大学教材)

他にも面白そうなのあるんだけどなあ 放送大学 授業科目案内 共通科目 一般科目(自然系) 放送大学 授業科目案内 専門科目 情報コース

■_ OpenBSD

「2014年度」分が。ということですよね。これ。 'OpenBSD Foundation 2014 Fundraising Campaign.' - MARC

'OpenBSD Foundation 2014 Fundraising Campaign.' - MARC

Subject: OpenBSD Foundation 2014 Fundraising Campaign.

The OpenBSD Foundation is happy to report that the $150,000 goal of the 2014 fundraising campaign has been reached. 

We wish to thank our contributors large and small. We will continue our fundraising efforts both in the current
year and next year.






  1. 2014年4月(中旬)
  2. 2014年4月(上旬)
  3. 2014年3月(下旬)
  4. 2014年3月(中旬)
  5. 2014年3月(上旬)
  6. 2014年2月(下旬)
  7. 2014年2月(中旬)
  8. 2014年2月(上旬)
  9. 2014年1月(下旬)
  10. 2014年1月(中旬)
  11. 2014年1月(上旬)
  1. 2013年
  2. 2012年
  3. 2011年
  4. 2010年
  5. 2009年
  6. 2008年
  7. 2007年
  8. さらに前

メールの宛先はこちらkbk AT kt DOT rim DOT or DOT jp