マルマン、カバー付きファイルノート
ファイルノートは30穴のA4（3150円）、26穴のB5（2625円）、20穴のA5（2310円）の3サイズ。いずれもメタルバインダーのほか、柔らかな手触りのカバーや6色のインデックスを付けた。インデックスはラミネート加工を施した6山の数字入り。2カ所のカードポケットに加え、ペンホルダー、下敷きなども付属している。 ファイルノートに対応したルーズリーフは、メモリ入7ミリ罫のもの。中性筆記用紙で坪量は96.4グラム平方メートル。30穴のA4、26穴のB5、20穴のA5の3サイズでいずれも角穴。ジッパー付きホルダーを付属した。100枚でA4が735円、B5が630円、A5が525円。
ITmedia +D LifeStyle：クリエイティブ・コモンズに賭けた「コンテンツの未来」 (1/3)
いつかはこの問題に触れなければならないと思ってはいたのだが、次第にネットでの騒ぎが大きくなっていくにつれて、当事者であるこちらが気後れしてしまった。8月上旬に上梓した「CONTENT'S FUTURE ポストYouTube時代のクリエイティビティ」（以下CONTENT'S FUTURE）を巡るクリエイティブ・コモンズの扱いについてである。 この本は、日本の書籍としては珍しいクリエイティブ・コモンズライセンス（以下CC)を付けて発売された。それによる誤解や混乱などがあるようなので、もう一度ここら辺の意味や我々の思いというようなものを、整理してみたい。 CCをご存じの方も多いとは思うが、その定義付けや意味というのは実に多方面に渡っており、結構やっかいだ。筆者が考えるにCCとは、現時点での著作権法では認められていないような部分の許諾を、著作者自身が積極的に解放していくための意思表示手段である。
第14回 型＝命題，プログラム＝証明
MLの型と型推論 この連載でも何回か触れたが，MLやHaskellなど多くの静的型付き関数型言語には，「型推論」という機能がある。これは，プログラム中の変数や関数の型を省略しても，「もっとも一般的」な型を言語処理系が勝手に推論してくれる，という機能だ。 例えば，次のように，二つの引数xとyを受け取って，(x, y)という組を返す関数pairを定義してみよう。 > ocaml Objective Caml version 3.10.0 # let pair = fun x y -> (x, y) ;; val pair : 'a -> 'b -> 'a * 'b = <fun> # このように，pairは「何らかの型'aを持つ値と，何らかの型'bを持つ値を受け取り，'a型の値と'b型の値の組を返す」と推論される。一般に，t1 -> t2は，型t1の値を受け取って，型t2の値を返す関数の型であ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Web屋のネタ帳 - 刺身の上にタンポポのせる仕事を一生懸命やっている人のほうがよほど偉い
[video] Steve Jobs unveils latest iMac![[video] Steve Jobs unveils latest iMac](https://cdn-ak-scissors.b.st-hatena.com/image/square/eee30571f3e69b250b13dacd89bcd76ae51e1d65/height=288;version=1;width=512/https%3A%2F%2Fwww.cnet.com%2Fa%2Fneutron%2Fimages%2Flogos%2Fcnet.png)