arephのブックマーク / 2012年10月30日

areph id:areph

2012年10月30日のブックマーク (5件)

2009-07-10
内容はまた後で。なんか違う本が混じってる？気のせいです＞＜取消線が入ってるのは「読むな危険」、タイトルしかないものは「他にいい本があるか古いか興味の対象外」、それ以外はそれ以外です。もうちょっと詳しく知りたければコメントかなんかで聞いてくれれば答えます。左の山なんか場違いな本たち AJAX Webアプリケーションアイデアブック Ajaxハッカーズ・プログラミング―基礎からprototype.js、Yahoo!UIライブラリ、HTML_AJAXの活用までWebアプリケーション制作のプログラミング・テクニック JavaScript ハッカーズ・プログラミング?Webエキスパートが知っておきたい基本から応用まで JavaScript 第5版作者: David Flanagan,村上列出版社/メーカー: オライリー・ジャパン発売日: 2007/08/14メディア: 大型本購入: 52人
areph 2012/10/30
book
リンク
Foundation of Software: Winter Semester 2004
講義内容(シラバスより) 数理論理学的手法を用いたソフトウェア科学の基礎理論について講述する．特に、プログラミング言語の形式化と意味論、形式化を用いてプログラムの性質 (型システムとプログラムの安全性など)に関する議論する．お知らせ 10/19までの分の配布資料を置きました (10/19) 休講予定が 1/18 から 1/11 に変更になりました (10/20) 10/26までの分の配布資料を置きました (10/27) 11/9までの分の配布資料を置きました (11/15) 11/16の配布資料を置きました (11/18) 中間レポート課題を出しました．締切は 11/30 です．(11/18) 12/7までの分の配布資料を置きました (12/8) 1/18までの分の配布資料を置きました (1/19) 試験問題に誤りがありましたので，設問5は20点中一律5点加えます． Subject R
areph 2012/10/30
プログラミング言語

lambda
リンク
マルチコア時代に備えて本気でメモリモデルを理解しておこう - メモリバリア編 - - じゅんいち☆かとうの技術日誌
このエントリを読む前提条件として、マルチコア時代に備えて本気でメモリモデルを理解しておこう - リオーダー & finalフィールド編 - - じゅんいち☆かとうの技術日誌を読んで、リオーダーとは何かを理解していることとします。前回のおさらいをすると、プログラムの実行順序は、リオーダーが許可される場合と禁止される場合がある。並行処理ではリオーダーを想定しなければ、処理結果の整合性が確保できない。(特にマルチプロセッサ環境) リオーダーを禁止して、可視性を保証する。(finalフィールドはコンストラクト時に完全に初期化され、コンストラクト後はスレッドから見えるようになる) でした。リオーダーについて理解できたら、今度はメモリバリア命令でスレッド毎に扱うメモリと、大域のメインメモリとのメモリI/Oについて見ていきたいと思います。メモリバリアが理解できれば、以下のソース*1のスレッドがな
areph 2012/10/30
Java

マルチコア

並列処理
リンク
マルチコア時代に備えて本気でメモリモデルを理解しておこう - リオーダー & finalフィールド編 - - かとじゅんの技術日誌
長い文章になってしまったので、概要だけ先に書きます。以下のJavaプログラムは、常に上から下に順番に命令が実行されると思いますか？つまり、aに1が格納された後に、bに2が格納されると思いますか？実は場合によってはこの実行順序が入れ替わる場合があります。これはJavaの言語仕様として定義されていることです。これを考慮しないと信頼性のある並行処理は実装できません。気になる人は以下を読んでみてください。 a = 1; b = 2; すでにインターネットは社会インフラ化しています。ソーシャルネットワークで多くの人とコミュケーションやコラボレーションできる時代で、個人が情報を作り消費することは当たり前になってきています。そして、インターネット上のコンテンツは増加の一途を辿っています。「情報爆発」なんて言葉も耳慣れた言葉になりましたが、その問題解決のためにMapReduceなどの分散処理技術に注
areph 2012/10/30
java

マルチコア

仕様

並列処理
リンク
ペアプログラミングホントのところ
SonicGarden Study #11で放送された資料から一部スライドを抜いたものになります。 http://sonicgarden.doorkeeper.jp/events/13229 ----- 優れたプログラマだけが優れたソースコードを書くことができます。では優れたプログラマになるにはどうすれば良いでしょうか。自分の書いたコードを、優れたプログラマに指摘してもらうことが一番の近道です。それがコードレビューです。たった一人でコードレビューも受けずに、ただ書き続けてもクソコードはクソコードのままなのです。そこで今回は、良いコードが書けるプログラマになるための、コードレビューを上手に実践する秘訣を話します。
areph 2012/10/30
ペアプログラミング
リンク
- 2012年10月31日
- 2012年10月30日
- 2012年10月29日