SSブログ

オライリー 2割引でPDFが買える

O'Reilly Japan Ebook Store
http://www.oreilly.co.jp/ebook/

すこーし安いみたいです.欲しかったビューティフルコードは
http://www.oreilly.co.jp/books/9784873113630/
 書籍 3,990円
 EBOOK 3,192円
なので2割引ということですね.

印刷とか文字コピーとか検索とかできるのかな?
> このEbookは、印刷、テキストのコピー、ページの抽出、内容の変更を行うことが
> できません。また、各ページの欄外には、Ebookの購入者に関する情報が
> 埋め込まれます。あらかじめご了承ください。

とりあえずざっと試したところ,
 ・割引用の「企業コード」の入力はできない
 ・PayPalを利用して決済する
 ・メールにダウンロード用URLが降ってくる
 ・PDFのページにメールアドレスが記載される
ということのようです.



posted by exploit at nice!(0)  コメント(0)  トラックバック(0) 

Cryptol


http://www.galois.com/technology/communications_security/cryptol
> Cryptol is a language for writing specifications for cryptographic algorithms.
> It is also a tool set for producing high-assurance, efficient implementations
> in VHDL, C, and Haskell. The Cryptol tools include the ability to equivalence
> check the reference specification against an implementation, whether or
> not it was compiled from the specifications.

言語にHaskellが入っている点に超期待.非商用に限り,トライアルできるようです.
for Linux(rpm), MacOS10.4/5(tar.gz), Windows(msi)

http://www.galois.com/files/Cryptol/Cryptol_casestudy.pdf
> DSLs (domain specific languages) allow subject-matter experts
> to design solutions in using familiar concepts and constructs.
> Cryptol is an example of a DSL for expressing cryptographic
> algorithms. The capabilities include:
> - Create a reference specification and associated formal model.
> - Compile the implementation for multiple targets:
> C/C++, Haskell, and VHDL/Verilog are currently supported.

もうゴリゴリ組み込み用コード書かないからなぁ.


posted by exploit at nice!(0)  コメント(0)  トラックバック(0) 

巨人師匠の2008年M-1総評 新しい形


巨人師匠「M-1・寸評・総評?」
http://nikki-2006.seesaa.net/article/111579540.html

おぉぉぉぉー.すごく丁寧に今年のM-1について書いて下さってます.
ひとつひとつ誤解のないように.

最後のくだりに
> ただこの両者の漫才の形は、今までの漫才の基本から外れている
> のですが(悪い意味では無いですので・新しい形かな)
> さて何処が外れているのか??それは両者とも笑い待ちをしない

と,同じ言葉(形と型が違うけどね)を使っていらっしゃったので感動.
短いスパンというのも同感だったので嬉しい.

http://www.doblog.com/weblog/myblog/1514/2033860#2033860
http://www.doblog.com/weblog/myblog/1514/2033859#2033859
http://www.doblog.com/weblog/myblog/1514/2033852#2033852


posted by exploit at nice!(0)  コメント(0)  トラックバック(0) 

この広告は前回の更新から一定期間経過したブログに表示されています。更新すると自動で解除されます。