「ブログ感覚で作れる電子書籍」の快進撃～「パブー」吉田氏に聞く（前編）
ブログ感覚で電子書籍を作成でき、そのままオンラインで販売までできてしまうpaperboy&co.のサービス「パブー」。最近ではプロ作家の利用も増えるなど、成長著しいが、その企画当初から今日に至るまでのエピソードを、同社の取締役副社長で、パブーの責任者を務める吉田健吾氏が明かした。 ブログ感覚で電子書籍を作成でき、そのままオンラインで販売までできてしまうpaperboy&co.のサービス「パブー」。iPadの国内発売から1カ月後の2010年6月にスタートした同サービスは、現在までに6000冊を超える電子書籍が登録され、さらに最近ではプロ作家の利用も増えるなど、運営側も当初想定していなかった動きを見せ始めている。 実はこのサービス、決してiPadの発売に合わせて開発がスタートしたわけではなく、社内で企画が出されたのはその1年前、2009年の春にさかのぼる。企画当初から今日に至るまでのエピソード
ICFP 2010 実況など
kinaba @kinaba #WMM Appelの招待講演：静的解析器で不変条件を挿入→（以下Coqで）検証→公理的意味論から操作的意味論から双模倣で証明しやすい操作的意味論からLeroyのCompCertで抽象マシン語にコンパイルしてからPPCへ、という、並列性を扱えるCコンパイラツールチェインについて。 kinaba @kinaba #WMM システムコールやpthreadはオラクルとして抽象化してやる。"この量の証明は機械化証明なしでは無理"、"証明のモジュール化(module,依存型,型クラス)重要"/(感想)それでもまだモジュール化機構が"足りてない"感を感じるけど証明言語は将来どうなるかなー
岡崎市立中央図書館事件についての雑感 - たぬきん貧乏日記 〜No Worry, No Hurry. Eat Curry!〜
岡崎市立中央図書館事件 議論と検証のまとめというサイトを作った。今月18日にアカウントを取得して，まる1日かけて原型を作り，以後3日を費やして各方面からの指摘や要請，Tweet などを反映しつつ，協力者と共に内容を拡充していった。 議論のまとめサイトを作るために，それまでに行われた取材，検討，検証，議論，そういった様々なものを，librahack氏が逮捕された当時からのログを紐解いて全て読んだ。 当然，関連する法令にも目を通した。 それを踏まえての雑感を書き残しておこうと思う。 一番悪いのは誰だ はっきり，明言できる。証拠も揃っている。議論も尽くされた。 愛知県警が最も罪深い。 なぜか。 愛知県警が最も多くの過ちを犯したからだ。 過ちとは何か。 捜査に入る前の予断，捜査課程での検証不足，捏造された自白調書，不当な逮捕，20日間におよぶ勾留，検察に対して嫌疑不十分としないよう要請。 全て警察
予言と預言／与言、あるいは集合論 #prophecy
@ke_ta ベン図使って集合の和積計算してOKなのってベン図を（普通１～３個の生成元を持つ）自由ブール代数とみなすことができるから、という説明はあり？
Librahack ： 容疑者から見た岡崎図書館事件
出来事の詳細 3/13 新着図書データベースを作るためクローリング＆スクレイピングプログラムを作成した ちょうどその頃、市場調査を行うためにECサイトのスクレイピングプログラムを作っていた。そのついでに、前々から構想していたLibra新着図書Webサービスを作ろうと思った。市場調査プログラムの一部をカスタマイズして、新着図書データベース作成プログラムを作った。この時、市場調査プログラムと新着図書データベース作成プログラムは同じプログラム内にあり、パラメータでアクションを指定して振り分けていた。 Webサービスを作ろうと思った動機は「なぜプログラムを作ったか」の通り。 Webサービスの概要は「どんなプログラムを作ろうとしていたか」の通り。 普段読む本を入手する流れ：1. Amazonの各カテゴリの売れ筋をチェックしてレビューを確認し読むかどうか決める（または、書評ブログや新聞などのメディアで
Encyclopedia of Compactness - Encyclopedia of Compactness Wiki*
注意 このページの説明です。 このページの収集対象 ここは「ナントカコンパクト」という用語の定義を集めたページです。 基本的に位相空間またはその部分集合の性質として数学の文献に載ったナントカコンパクトという用語を集めています。 例えばfunctional analysisにおけるcompact operatorや、order theoryにおけるcompact elementなどは対象外です。そういったものはOther Compactnessへ。 あくまでcompactがついているものだけ載せてください。 Lindeloefなどは、compactと関連の強い概念ですが「compact」がつかないので対象外です（ただし、「Lindeloef compact」は有りです）。 compactumは対象に入ります。 数学の公的なジャーナル、書籍などに記載されたものに限ります。 プレプリントやWik
魔王「この我のものとなれ、勇者よ」勇者「断る！」まとめサイト
SINCE：2009年9月8日 作品最終更新日：2009年11月22日 - 追加。 サイト最終更新日：2009年11月26日 - 追加。 ○初めて来訪した方○ このまとめサイトは2chのニュース速報VIP板及び、パー速VIP＠VIPServiseの 魔王「この我のものとなれ、勇者よ」勇者「断る！」スレの ママレードサンドさんによる小説をまとめているサイトでした。 ママレードサンドさんお疲れ様でした。素晴らしい物語をありがとうございました。 意見や要望・修正等はこちらへ(したらば) ※TOPイラストは5スレ目82レス目のID:WCSb/AU0さんによるものです。 ※携帯の方で閲覧に支障のある方は７xまとめさんでの閲覧お勧めします。 Created by ママレードサンドさんとスレ住人のみんな。
Ｒｅ：原発がどんなものか知ってほしい
ＥｉＦＹＥ原子力発電所ＦＡＱ特別編 ●『Ｒｅ：原発がどんなものか知ってほしい』● （超長文注意／文章のみ約130kB） こちらには、とあるサイトに掲載されている「原発がどんなものか知ってほしい」というタイトルの記事について、私なりの見解とコメント、訂正事項などを取り纏めたものを配置しています。 なお、文章の性質上、どうしても全体的に堅い真面目な文章になっています。 また、今後新しい情報の入手によって文章が改定される可能性があります。 あしからず御了承願います。 さて、既にご存知の方もいらっしゃるかもしれませんが、原発反対意見を記述するページの一つに【原子力発電がなくても暮らせる社会をつくる国民連合】様のページがありまして、その記事の中の「原発がどんなものか知ってほしい」というタイトルのページで「原発技師のお話」として原発の実態についての話が書かれています。 原子力に関する見
タカタカFX｜FXで暮らす元大手食品メーカー営業マンのブログ
ボーナスがもらえるのは1人につき1回だけ GEMFOREXではトレード手法などに応じて口座を使い分けられるように最大で5つの口座が開設できるもののボーナスが受け取れるのは1口座だけとなります。 ボーナスの付与は1人につき1回だけとなっており複数のオールインワン口座を開設してもボーナスが付与されるのははじめの1口座だけです。 口座開設ボーナスの使用条件 口座開設ボーナスの利用にはいくつかのルールが設定されています。 ルールを知らないとボーナスがなくなってしまうこともあるので、ここでしっかり確認しておきましょう。 ボーナスは出金不可、利益は出金可能 ボーナスはあくまでもGEMFOREXでの取引に使用することを前提としておりボーナス自体の出金は認められていません。 ただしボーナスを利用したトレードで得た利益についてはすべてのポジションを清算後に出金が可能です。 一度でも出金するとボーナスが消滅す
ゲーデルと思想まわりの用語について
『ゲーデル問題』という用語について、林さんと蔓葉さんの議論のまとめ。 ゲーデルの不完全性定理以外の業績についてのつぶやきも収集しました。
マンガの威力 - hiroyukikojima’s blog
息子が、どうしても見たいというので、映画版『ライアーゲーム』を観てきた。あの論理的な戦略バトルが楽しいのか、それとも実は戸田恵梨香ちゃんにやられちゃったのか定かではないが、(実はぼくはこっそり恵梨香嬢にやられている)、親としては「アバターのほうに行きてえ」と密かに思いながらも仕方なく観に行った次第。いや、ところがどっこい、映画版『ライアーゲーム』はとてつもなく面白かった。ゲームの構造が、完全に協力ゲームなんだね。しかもコア解が存在しないタイプの。意味分からない人は以前にぼくがwiredvisionでライアーゲームと協力ゲームの関係を説明したhttp://wiredvision.jp/blog/kojima/200706/200706191246.htmlを参考にしてちょ。映画版は、戦略的なトリックもさることながら、エンディングの意味深な結末がすばらしい。ここでは詳しくは述べないけど、横矢の
「第21回 パラダイム論以後の科学哲学——伊勢田哲治インタビュー其の三」 日刊！ニュースな本棚｜Excite エキサイト ： ブックス（文学・書評・本のニュース）
1968年生まれ。京都大学大学院文学研究科博士課程単位取得退学。メリーランド大学よりPh.D.（philosophy）取得。現在、名古屋大学大学院情報科学研究科助教授。科学哲学・倫理学専攻。社会認識論、科学と技術の倫理、メタ倫理学など、哲学と倫理学を架橋する逸材として注目を集めている。著書に『哲学思考トレーニング』（ちくま新書）、『疑似科学と科学の哲学』、『認識論を社会化する』（ともに名古屋大学出版会）など。 公式サイト：伊勢田哲治のウェブサイト ――伊勢田さんの著書や論文は、『哲学思考トレーニング』以外のものでも、白か黒かの正解ではなく、「よりマシな答え」に近づくための方法を論じたものが多いですよね。 たとえば、「科学と疑似科学の間に線は引けるか」という線引き問題について考察した『疑似科学と科学の哲学』でも、明確な線引きではなく、統計的な考え方による「程度」思考を取り入れることを提唱
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Blogging to Improve Student Learning: Tips and Tools for Getting Started
Twitter / masumi＿K: 原発は確かに電気を作っています。しかし、私が二〇年間 ...
魔王「この我のものとなれ、勇者よ」勇者「断る！」の拡散まとめ
Ultrafilters and automorphisms of the complex field
http://www.journalarchive.jst.go.jp//japanese/jnlabstract_ja.php?cdjournal=sugaku1947&&cdvol=48&noissue=4&startpage=418
少子化と教養の瓦解は同じ根ではないか - researchmap
researchmap
GoogleのChromeブラウザの構成モジュールのそれぞれのバイナリ・サイズの表 - [モ]Modern Syntax