ときどきの雑記帖'

■_

会社で興味深い話を聞いたのだけど書けない。

どこまで上がるかなあ… 送料無料！県立地球防衛軍/オリジナルサウンドトラック - ヤフオク!

読書会。 23章に突入。 実は22章でちょっと引っかかってたところは後回しにしてしまったり。 いろいろあるんですが、とりあえず 22.5.5 で

λz:ZZ. λy:YY. z (y true)

が

<fun> : (?X0→?X1) → (Bool→?X0) →?X1

になるのがわからない○|￣|＿ 次のも(if then else のやつ)アヤシイんだけども。 どなたか解説ぷりーず。

■_ coding convention

Plan 9 Coding Conventions for C | Hacker News から

Plan 9 /sys/man/6/style

*don't use // comments; some old Plan 9 code does, but we're converting it as we touch it. We do sometimes use // to comment–out a few lines of code.
*avoid gotos.
*no tabs expanded to spaces.
*surround a binary operator (particular a low precedence one) with spaces; don't try to write the most compact code possible but rather the most readable.
*parenthesize expressions involving arithmetic and bit–wise operators; otherwise don't parenthesize heavily (e.g., as in Pascal).
*no white space before opening braces.
*no white space after the keywords if, for, while, etc.
*no braces around single–line blocks (e.g., if, for, and while bodies).
*integer–valued functions return –1 on error, 0 or positive on success.
*functions that return errors should set errstr(2).
*variable and function names are all lowercase, with no underscores.
*enum or #defined constants should be Uppercase (or UPPERCASE).
*struct tags are Uppercase, with matching typedefs.
*automatic variables (local variables inside a function) are never initialized at declaration.
*follow the standard idioms: use x < 0 not 0 > x, etc.
*don't write !strcmp (nor !memcmp, etc.) nor if(memcmp(a, b, c)); always explicitly compare the result of string or memory comparison with zero using a relational operator.

まあそうだよねえ。という感じ? いや待て待て。 あ、変数名/関数名にアンダースコア使うななんてのがあるな。 自動変数を宣言時に初期化するなとか。これはなんでだろう。

if の条件のところで代入するなというのもないのか(if ((fp=func())==NULL みたいなあれね)。

no tabs expanded to spaces ってことはタブはタブのままってことか。 幅はどうするんだろう(8固定?)

う、if/for/while などの後ろにスペース置くなとかある。

■_

Backport #8431: File.read() crash on Win32SP3 32bit - Backport 200 - Ruby Issue Tracking System

■_

PHP の array_shift から考える、実体と名称の関係について - 頭ん中 これら四つの関数名はPerlから来たものじゃないだろか。 んで、shitft はシェルスクリプトの shift から来たものじゃないかと (サブルーチンの引数やARGVを「shift」するのはまさにそれだし)。

■_

A closer look at a recent privilege escalation bug in Linux (CVE-2013-2094) at time to bleed by Joe Damato まだ細かいところまで読んでいないんだけど、 要するに原因(少なくとも一つには)は int を不用意に使ってしまった/ているところにあったという ある意味「経年劣化」とも言えるようなものだったと。

で、結論のところ

A closer look at a recent privilege escalation bug in Linux (CVE-2013-2094) at time to bleed by Joe Damato

Conclusion

    Dealing with integers in C code is tricky. Be careful and get people to review your code.
    Hijacking IDT entries to scan kernel memory to find and overwrite kernel data structures to elevate privileges of a user process so it can then execute a bash shell as root is pretty nuts.
    MAP_FIXED is actually much more useful than I had previously imagined.
    Hijacking IDT entries to scan kernel memory to find and overwrite kernel data structures to elevate privileges of a user process so it can then execute a bash shell as root is pretty nuts.
    Reading exploit code is fun and interesting. You should do it more often than you probably do right now.
    I'm tired from writing this much.

Dealing with integers in C code is tricky. Be careful and get people to review your code. こうなると。

■_

pbook→ebookと、ebook→pbbok

「プログラマの考え方がおもしろいほど身につく本」の電子書籍も達人出版会さんから出ています！tatsu-zine.com/books/thinklik…

— ASCII_bookstechさん (@ASCII_bookstech) 2013年5月22日

2013-06-21　きつねさんでもわかるLLVM ~コンパイラを自作するためのガイドブック~　柏木 餅子・風薬著　インプレスジャパン　2,520円　amzn.to/12tnywB

— 書籍新刊情報だよもんさん (@amazonitbookbot) 2013年5月22日

■_

くそう、クレーンが縮んで行くのをみたかった

クレーンお疲れさまでした^^ RT @tsubo2_hts: パークシティ武蔵小杉 ザ・グランド・ウィング・タワーのタワー・クレーン、下に降りてきて、解体中なのかな。ということは、躯体が完成したということなんだろな。 #武蔵小杉 twitpic.com/cscmuo

— はつしも（武蔵小杉ライフ）さん (@musashikosugi) 2013年5月22日

■_

• ASCII.jp：70年代のロータスF1マシンを超忠実に再現したミニカー (1/3)
• 人事部長「節電するからサーバルームのエアコン止めろ」→言質とって止めた まとめ - NAVER まとめ
• Javaの引数の引き渡しについて。 - Yahoo!知恵袋
• 僕の「勉強」に対する「姿勢」 - (define -ayalog ’())
• Ruby と exec と fd と - 自称すーじー。
• イベント運営の極意：ITコミュニティカンファレンス主催者のための参考書 - ＠IT
  また、参加者としてイベントに来ていたRubyKaigiの角谷信太郎氏は、RubyKaigiのチケット代値上げについて 「RubyKaigiは世界中から参加者が集まってきてしまう。1000人を超えると、会場を抑えるのが大変。だから値上げした。 また、海外の格が高めのカンファレンスと合わせたという面もある。高いと思った人には、 日本中で活動している地域のRubyコミュニティに参加してもらいたい。 無料やほぼ無料（50円）のイベントも多数あるため、そういったところからも活動を盛り上げていってほしい」と述べる。
• GNU Hackers Meeting 2013: August 22-25 in Paris, France ? Free Software Foundation ? working together for free software

■_

Springer さんから半額セールのお知らせが来たのはいいんだけど、 半額でなおこのお値段か…ぐぬぬ The Algorithm Design Manual - Hitchhiker's Guide to Algorithms Handbook of Floating-Point Arithmetic Experimentation in Software Engineering

■_

これ、どうなったのかなあ。 まあ発表したからってすぐ何か変わるというものでもないと思うけど。 朝日新聞デジタル：日立など、高信頼の車制御ソフト検査技術を開発－プログラム３５万行適用 - 日刊工業新聞ニュース - テック＆サイエンス 成果は、米デトロイトで１６日から１８日まで開かれる米国自動車技術会（ＳＡＥ）国際学会で発表される。

■_

マンガでわかる～は結構買ったのでもう買うのがないんじゃないかという気が… でもこーゆーの欲しいのだった。

今年もマンガでわかるシリーズノベルティグッズができたゾ！『マンガでわかる統計学』のルイちゃんクリアファイル。夏のオーム社フェアやってる書店でもらえるかもよ～シリーズ誕生9年で33冊。スゴイね！ twitter.com/comica_books/s…

— コミカさん (@comica_books) 2013年5月21日

■_

一人でやってるぽいけど、誰か分からない部分を解説できる人近くにおらんのだろか。 問題1.7 をやって。。 ではなくて写してみる；； - moremagicの日記 問題1.11 を半分写してみた - moremagicの日記 問題1.12 をやってみた。。。けどうまく動かなくて写経orz - moremagicの日記

わたしも他の本で聞きたいのがあったり以下略

■_

• ヴァルヴレイヴがネタアニメに見える層って何が見えてるの？ - Togetter
• ほげほげしてるふがふが - (define -ayalog ’())
  Ruby周りで特にハマったんでRubyを少し嫌いになりました。
• Is It Ever a Good Thing to Use a Nonfree Program? - GNU Project - Free Software Foundation
• ASICの代替需要：ディスコン対策はどこも大変: 組み込み技術者の単身赴任日記
• Safe Manual Memory Management - pcwalton
• You Are Not a Software Developer! - Simplicity in Practice
• Nimrod Programming Language
  2013-05-20 Version 0.9.2 released
• 『ネオ・ウルトラQ』BD＆DVD化決定! "伝説の怪獣絵師"開田祐治が描き下ろし | ホビー | マイナビニュース
  第1巻は6月21日に発売され、以降は毎月1巻ずつ、全6巻(各2話収録/BD:各巻7,140円、DVD:各巻6,090円)が予定されている。
• Scratchを中学校に導入すべきか - Togetter

■_

いやもーなんというか、咳をするにしてももう少し小さい音でやってくれと(ry

Yさんの新刊見かけなかった。

■_

perl v5.18.0 released! - Islands in the byte stream perl 5.18.0 is now available! : perl 変更点みているとなかなか面白いものが

perl5180delta - perl v5.18.0 での変更点 - perldoc.jp

置換のより厳密なパース

パーサが s///e を以下のようにパースすることを悪用することはもはや できなくなりました:

    %_=(_,"Just another ");
    $_="Perl hacker,\n";
    s//_}->{_/e;print

ヒヤドキュメントのパース

クォート風演算子の内側のヒヤドキュメントの本体は、常に "<<foo" マーカーの 次の行から
始まるようになりました。 以前は、クォート風演算子を含む行の次の行から始まると文書化されていましたが、
これは時々しか正しくありませんでした [perl #114040]。

英数字演算子は正規表現の閉じ区切り文字から分離されなければならなくなりました

もはや以下のようには書けなくなりました:

 m/a/and 1

代わりに以下のように書かなければなりません

 m/a/ and 1

演算子を正規表現の閉じ区切り文字と分けるための空白が必要です。 空白がないと、Perl v5.14.0 から廃止予定
警告が出ます。

qw(...) はもはやかっことして使えなくなりました

qw リストは、常にかっこで囲まれているとパーサが考えるように騙すために 使われていました。 これにより、実
際には foreach $x (qw(a b c)) {...} と書くべきところで foreach $x qw(a b c) {...} のような驚かされる構
文が可能でした。 これは時々構文解析器を間違った状態にするので、完全には動作せず、 許されると想定するか
も知れない似たような foreach qw(a b c) {...} は 全く動作しませんでした。

qw のこの副作用は撤廃されました。 これは Perl v5.13.11 から廃止予定でした。 文法が必要としているところで
はどこでも、実際のかっこを使うことが 必要になりました。

正規表現中の逆スラッシュのある種の稀な使用法は廃止予定になりました

Perl が正規表現パターンのメタ文字として認識する 3 組の文字があります: {}, [], () です。 これらは以下
のように区切り文字としても使えます:

  m{foo}
  s(foo)(bar)

これらはメタ文字なので、正規表現では特別な意味があります; そして これらの文字を区切り文字として使った
パターンの中で使うとき、逆スラッシュを 前置して通常の意味にすることで特別な意味をなくすということがで
きないことが 分かりました。 例えば、以下のものは

  m{foo\{1,3\}}

逆スラッシュは振る舞いを変更せず、これは "f o" に引き続いて 1 から 3 文字の "o" にマッチングします。

なるほどねえ。なんでそういう動作だったのかというのもなんとなくだけど 察しがつきそう。

■_

じっくりと言うほどではないけれども、斜め読みよりは気合い入れて読んでみた。 An Interview with Bjarne Stroustrup | | InformIT

特にここというのを抜き出し。

An Interview with Bjarne Stroustrup | | InformIT

Danny Kalev: Although it may be too early to assess the full impact of C++11 right now, which insights
and conclusions have you reached already regarding C++11? Are there new features that you have grown to
like more than before? Are there features that need further polishing or fixing?

Bjarne Stroustroup: Adding move semantics is a game changer for resource management. It completes what
was started with constructor/destructor pairs, the RAII ("Resource Acquisition Is Initialization")
idiom, and smart pointers to enable safe, simple, and efficient handling of general resources. A
resource is anything that must be acquired and (explicitly or implicitly) released. Examples are memory,
locks, file handles, threads, and sockets.

An Interview with Bjarne Stroustrup | | InformIT

The importance of move semantics is that we can basically eliminate complicated and error-prone explicit
use of pointers and new/delete in most code. Such direct manipulation of memory can disappear into the
implementation of handles, such as vector.

The move semantics is part of my general aim to make simple things simple – without loss of performance,
of course. Other features that support that theme is strongly typed constant (including constexpr
functions that can be evaluated at compile time), general type aliases (to clean up the syntax of generic
code), and uniform and universal initialization (base on the initializer list {} syntax). The code below
has examples. For a list of features, see my C++11 FAQ.

move semantics。と。

An Interview with Bjarne Stroustrup | | InformIT

Danny: Currently, the committee is working on a new C++ standard dubbed C++14. Can you tell us more about
it? Which new features are in line for example?

Bjarne: My definition of the aim of C++14 is “to complete C++11.” That is, to add things we simply
didn’t have time to do before shipping C++11 or things that we didn’t quite know how to design without
the experience of using C++. It is not the job of C++14 to add major new features or support significant
new programming techniques. That’s for C++17. C++14 is a “minor release.”

11→14→17 ですか。

■_

• PC時代のおわり、プログラマ時代のはじまり - Syoichi's Tumblr
• 実験で判明！ 忙しくてイライラしたら「他人のために時間を使う」と心に余裕が持てる - キャリア女性に役立つサイト｜cafeglobe
• 言葉をポッケに持ち歩こう: 関西ソーシャルゲーム勉強会は超熱い勉強会だった
• コーディングルール違反と不具合数の関係を調べた研究：森崎修司の「どうやってはかるの？」：ITmedia オルタナティブ・ブログ
• DConf 2013 Day 1 Talk 6: Concurrent Garbage Collection for D by Leandro Lucarella : programming
• ロシアの地名の「スク」 - Yahoo!知恵袋
設立趣意書 - 老神.py

■_

プログラマの考え方がおもしろいほど身につく本 問題解決能力を鍛えよう!

第二章まで読んだけどなかなか面白い。すでに書評を書いている人がいるので もっとつっこんだところを知りたいという人はそちらを。 重箱の隅的に気になったところがあったけどそれはまた。 L'eclat des jours(2013-05-06) プログラマの考え方がおもしろいほど身につく本 | OPC Diary - No Code, No Life. プログラマの考え方がおもしろいほど身につく本 問題解決能力を鍛えよう! 感想 V.Anton Spraul - 読書メーター

■_

Windows系からLinux系にスキルチェンジする方法、って本を書いたら売れないかな - ikeike443のブログ The dying platform: .Net | Hacker News この話題には気がつかなかったw そんなに密に見張ってるわけでもないからなあ。 などと言い訳(どこに?

The dying platform: .Net | Hacker News

Microsoft has too many developers and not enough innovation. They encourage a design attitude that
everything has to operate like the flight deck of a 747. Their culture has been incestuous so long
that any change is terribly unlikely.

There are some really, really sharp guys at Microsoft. Not only does the community deserve better
products from such a great company, the developers in many cases have an very unpleasant work
experience.

Google is not too far behind. I think they're pushing a lot of the things they are simply to keep
momentum building. In another 20 years, unless they start building time machines, it'll catch up to
them, too.

Apple is a strange case. They passed the "I wouldn't work for them for a million bucks" point
many years ago, but they're just better at slapping a better marketing image on it than the rest of
them.

Having said all of that, I like .NET, and I think combining it with Mono makes probably the most
full-featured free platform for development anywhere in the world. The effective targeting of the
business market by .NET may be waning, but the platform is nowhere near dying off.

Microsoft is so hit or miss. They're incredibly innovative in the research department, but business
tools are definitely overcomplicated (Dynamics, SharePoint). I use C#.NET daily, and it is the
programming tool I'm most in love with. There is no easier way to make business desktop apps, and
with the new MVC and Entity Framework libraries, there aren't many easier ways to make significant
web applications (i.e. beyond a to-do list or blog). Azure level of functionality makes other cloud
companies look almost archaic.

I think where they're losing is that they've stopped communicating. With customers, with developers,
even internally. They are proceeding down paths they imagined to be important. Some of them are, some
of them aren't, and thus the hit-or-miss nature of their current business. I think a lot of this is
Ballmer. He's trying to be a Jobs and failing miserably, when all he needs to do is allow his people
to actually communicate with the community.

Another part of it is that they can't do anything these days without a bunch of FUD from the media and
Anti-MS sheep. I actually like Windows 8 and appreciate the innovation even if there are some hiccups
to take care of. .NET is great, and I hope they make it easier to move forward and migrate existing
apps to whatever they do next. Will they die anytime soon? Probably not. But if they don't start
communicating soon and often, they'll lose some market share for sure.

747のフライトデッキで云々とは… 元記事もみときますかねー The dying platform: .Net | roundcrisis.Find<Solution>()

■_

情報のソフトウェア工学が学べる大学・大学院一覧 | 大学&大学院.net 通学制の情報のソフトウェア工学が学べる大学・大学院一覧（土日・夜間） | 大学&大学院.net

■_ Metzのルール

最初に Matz のと読んでしまったのはナイショ。 Sandi Metz’ rules for developers

■_

で。その中身

Sandi Metz’ rules for developers

1. Classes can be no longer than one hundred lines of code. クラスを100行より長くはできない
2. Methods can be no longer than five lines of code. メソッドは5行より長くはできない
3. Pass no more than four parameters into a method. Hash options are parameters. 一つのメソッドに4つを超える数のパラメータを渡せない。 ハッシュを使ったオプションもそれぞれパラメータとして扱う
4. Controllers can instantiate only one object. Therefore, views can only know about one instance variable and views should only send messages to that object (@object.collaborator.value is not allowed). コントローラーはオブジェクトをただ一つだけ instantiate できる。 したがってビューはただ一つだけのインスタンスのみ知り、また、そのオブジェクトに対してのみメッセージを send すべきである (@object.collaboraor.value のような書き方は許されない)

Hash options are がちと不安

各項目の詳細な説明と対処方法などは元記事でよろしく。

■_ Scheme について

なんとなく貼り付けておく

Scheme は好きな言語だが、処理系に恵まれてない。その原因の一つは call/cc だろうな。あれを維持するために、いろいろな最適化が犠牲になっている。

— Shinji Konoさん (@shinji_kono) 2013年5月18日

@shinji_kono call/ccが最適化戦略に大きな影響を及ぼしているのは確かですが、Schemeには「新たな言語機能の提案を記述する言語」という役割もあり、新たな制御プリミティブを「こういうものです」と書いて見せるのにcall/ccはしばしば不可欠なのですよね。

— Kilo Kawaiさん (@anohana) 2013年5月18日

■_

訳されるかな? An Interview with Bjarne Stroustrup | | InformIT

■_

読んでいる時間が 泳ぐやる夫シアター やらない夫が南北戦争を戦いぬくようです　第２回　【東部戦域】ブル・ランの戦い

■_

• Squareが新しいレジを発表：魅力的な最新レジの裏で、何が起きているのか « WIRED.jp
• Twitterでは、なぜあなたのフォロワーはあなたよりも人気があるのか？ « WIRED.jp
• Lua5.1 getfenv(), setfenv() 解説 - nyaocatのブログ
• Amazon.co.jp： 鉄道信号・保安システムがわかる本: 中村英夫: 本
• 「新しいプログラミング・パラダイム」の目次
• 「続 新しいプログラミング・パラダイム」の目次
• 2013-05-18 - 未来のいつか/hyoshiokの日記
  コメント欄
• エンジニアへ転職 | JavaのQ&A【OKWave】
• Hexenkessel, 「なぜ（米国で）端末が何百万と年間で売れているかはシンプル。一番喜んでいるのはお年寄りの方で、紙の本で...
• 時の羅針盤＠blog: 公用語が英語な会社
• 外国人教員を連れてきても、日本の大学の「国際的評価」は上がらない