Slim3 1.0.0 Released - ひがやすを技術ブログ
Slim3 1.0.0をリリースしました。 リリースノートはこちら http://sites.google.com/site/slim3appengine/release-notes ダウンロードはこちら http://code.google.com/p/slim3/downloads/list Slim3の主な特徴は次のとおりです。 Global Transactions Faster than JDO/JPA Fast spin-up HOT reloading Type safe query 詳しくはこちらをどうぞ http://slim3.org Seasar2譲りのHOT reloadingやS2JDBC譲りのType safe queryなどもありますが、最大の特徴は、Global Transactionsを実装していること。 http://d.hatena.ne.jp/hig
報道発表資料 : 「ドコモマーケット」の提供開始について | お知らせ | NTTドコモ
NTTドコモ（以下ドコモ）は、ドコモ スマートフォン XperiaTMの販売開始にあわせてドコモのスマートフォン向けポータルサイト「ドコモマーケット」を2010年4月1日より提供開始いたします 。 「ドコモマーケット」では、数多くあるスマートフォン向けコンテンツの中から、ドコモが人気のサイトやおすすめのアプリケーションを紹介します。また、スマートフォンで楽しめるドコモオリジナルコンテンツなど、初めてスマートフォンをご利用いただくお客様にとっても、より手軽で便利にスマートフォンをご利用いただけるようになります。 ドコモは、より多くのお客様にスマートフォンをご利用いただけるよう、ラインナップの充実・使いやすい料金・ドコモマーケットの提供など、各種取組みを強化してまいります。 「ドコモマーケット」概要 サービス概要 「ドコモマーケット」はスマートフォン向けポータルサイトです。スマートフォンでお楽
NoSQL登場の背景、CAP定理、データモデルの分類
その例としてBeck氏自身が過去に取り組んできた生命保険会社のアプリケーションを例に挙げます。そのアプリケーションでは毎日のようにスキーマが変化するため、SQLとORM(Object-Relational Mapping）では対応できず、オブジェクトデータベースのGemstoneを利用することで対応できたと述べています。 こうしたSQLだけでは満たせないさまざまな要件、上記の図にあるようにスキーマの可塑性、スケーラブルなデータ読み込み、書き込み、処理の柔軟性などを満たすために、リレーショナルデータベース以外のNoSQLな製品が開発された。これがNoSQLの登場の背景にあるとBeck氏は解説します。一方で、こうしたさまざまなNoSQLを、NoSQLという言葉で表すのは適当ではないという憂慮も示しています。 Here is where the futility of defining NoSQ
[Java]Javadocを印刷したい - 新・たけぞう瀕死の日記
まあ正直Javadocは印刷してどうこうするものではないと思いますが、やんごとなき事情により印刷したいケースというのもあるわけで、そんなときのためのツールとしてPDFDocletというものを教えてもらいました。 http://pdfdoclet.sourceforge.net/ その名の通り、JavadocをPDFとして出力するDocletです。すべてのJavadocが1つのPDFファイルに出力されるので、できたPDFを印刷するだけで済むというシロモノです。 Antで使う場合はこんな感じで。 <javadoc doclet="com.tarsec.javadoc.pdfdoclet.PDFDoclet" docletpath="pdfdoclet-1.0.2-all.jar" classpathref="classpath" additionalparam="-pdf javadoc.pd
![[Java]Javadocを印刷したい - 新・たけぞう瀕死の日記](https://cdn-ak-scissors.b.st-hatena.com/image/square/06a15c64ba0ceec233d86d71001ebb29a9dcbf5d/height=288;version=1;width=512/https%3A%2F%2Fcdn.blog.st-hatena.com%2Fimages%2Ftheme%2Fog-image-1500.png)
ＣＯ２が２０分の１、過熱水蒸気式ごみ処理システム開発 - MSN産経ニュース
財団法人「関西文化学術研究都市推進機構」（京都府精華町）は１７日、ごみを高温の水蒸気で分解することでＣＯ２排出量を通常の２０分の１程度に抑える処理システムの実証実験に成功したと発表した。発生する可燃ガスも発電に利用し、ごみ収集の電気自動車に供給できる。機構によると、水蒸気によるごみ処理システムは世界初で、実用化にもめどがついたという。 システムでは、ごみに無酸素状態で８００度の水蒸気を吹き付け、可燃ガスと炭化物に分解する。 実験では、精華町の４５世帯に協力してもらい、生ごみなどの可燃ごみ４５キロを利用。３０立方メートルの可燃ガスと４・５キロの炭化物に分解された。ガスからは９キロワットの電力が得られ、太陽光電力と合わせて計１０・５キロワット（走行距離約３０キロ分）をごみ収集車に供給した。炭化物は土壌改良材や吸湿剤などに利用される。 設備を拡大するなどすれば、各自治体での実用化も可能。施設整備
「イモリ」になれなかった人間
「トカゲの尻尾切り」などと言われるが、トカゲは尻尾が切られてもまた生えてくる。イモリにいたっては同じ形の手足が生えてくる。人間はなぜそのような再生機能を持っていないのだろうか。言われてみると不思議な話だが、先日、iPS細胞研究の第一人者である京都大学の山中伸弥教授の話を聞いて、目からうろこが落ちる思いだった。 山中氏は、2009年11月23日にNHKが放映した「立花隆 思索ドキュメント がん 生と死の謎に挑む」の中で、立花氏のインタビューに答えてこう語ったのである。 「再生能力というのは、がんになるのと紙一重だと思うんです。高い再生能力を持っているということは、同時にがんがすごくできやすいということなんじゃないか。だからどっちをとるかという究極の選択が進化の過程であった。（その結果）やっぱりがんはだめだと…。（中略）再生能力はなくてもなんとかなるが、がんになれば間違いなく死んでしまう。人間
オタク化ではなく、紛争処理 - Freezing Point
ひきこもりは関係当事者にとって紛争として体験されている*1。 「病気・障碍」枠は、紛争処理のツール。 それを性急に持ち出すことは紛争の内実を理解することにならない。 本人に必要なのは、自前で維持できる紛争処理活動。 委縮して孤立するため、どの手続きにもアクセスできていない*2。 つねにいっぱい一杯。 それがまた紛争を激化させる悪循環。 紛争処理において、裏社会はぜったい無視できない。 ひきこもりほど私秘的な揉め事を、どうして表向きの言葉だけで論じられるか。 ていねいに話そうとすれば自分が民事刑事のグレーゾーンに立たされる。 いま必要なキーワード 適切な復讐 嗜癖的固着に対する、形式的な禁止 *1:論点の身体的実存としての引きこもり。 居直りは紛争の激化。 *2:家族にとって必要な紛争処理と分けて考察する必要がある。
Isabelle Tutorial その1 - caeruiro
1. The Basics 1.1 Introduction Isabelleは汎用的な証明支援器であり、高階論理に特化させたものがIsabelle/HOLです。私は数学屋さんではないので、高階論理って何？とかは深く考えず進みます。 1.2 Theories Isabelleを使用して理論を構築していきます。理論とは、型、関数、定理の集まりです。理論Tを定義するには次のように書きます。 theory T imports B1, ..., Bn begin 宣言、定義、証明などなど end B1, ..., Bnは既存の理論で、Tをこれらの上に構築していきます。オブジェクト指向プログラムのクラスの継承みないなものです。名前が衝突する場合は、T.fやB.fなどと書いて回避します。ファイル名はT.thyとします。 既存の理論ファイルは次のページで探すことができますし、Isabelleをインストー
タコだってHDがいいんだもん！
チューチューHDかいな。 タコの生態を研究する施設で研究に使われている機材がCRTからHDTVにアップグレードされたそう。それによってタコだってHDTVの方が数段好きと言う事が判明！ おいしそうなカニの映像。CRTでこの映像を流し続けてはや10年！ この間タコはあまり芳しい反応を示してくれませんでした。しかしHDTVに変えると映像に対して生き物に興味を示すように反応したそうです！ 研究者達は、CRTの画面はタコにとって不完全で面白みのない映像として写っていたのではないか、と考えています。 では3D画面見たら、タコはどんな反応しめすのでしょうね？ [New Scientist] Kyle VanHemert（原文／そうこ）
純潔教育とoral sex - 感染症診療の原則
[純潔]教育はそれが価値であった時代に若き日を過ごした人と、そうでない人では認識がだいぶちがいます。 誤解されやすい言葉ですが、日本の学校で採用されているわけではありません。が、これを主張する団体がある（各国に）ことは事実です。 『結婚までセックスしない』を目標にすることが多いため、『禁欲教育』とよばれることもあります。 結婚がそもそもゴールでない人も増えましたし、同性間ではゴールにならないし、このことだけで性交開始の説明をするのは難しい時代になりました。離婚原因の上位に「性の不一致」がランクインしていますから、未確認で結婚したら危険という意見もあります。 バリエーションがありますが、次のどちらかにまずわかれます。 『禁欲』だけ、と『禁欲＋健康管理法』を教えるにまず二分されます。マジョリティが支持しているのは後者です。 『禁欲だけ』教育で知識不足が生じた結果、性交開始後に望まない妊娠や性感
情報処理推進機構：情報セキュリティ：脆弱性対策 :「安全なSQLの呼び出し方」を公開
IPA（独立行政法人情報処理推進機構、理事長：西垣 浩司）は、ウェブサイトを狙ったSQL(*1)インジェクション攻撃(*2)が継続していることから、ウェブアプリケーション(*3)の安全な実装方法を解説した資料「安全なSQLの呼び出し方」を2010年3月18日（木）からIPAのウェブサイトで公開しました。 URL：http://www.ipa.go.jp/security/vuln/websecurity.html 近年、ウェブサイトを狙った攻撃が継続しています。攻撃の実例として、IPAが無償で公開している「SQLインジェクション検出ツールiLogScanner(*4)」で、「脆弱性対策情報データベースJVN iPedia(*5)」のアクセスログを解析した事例を図1に示します。 図1を見ると、2008年頃から急増しているSQLインジェクション攻撃が全体の45%、ウェブサーバのパスワードファイ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://twitter.com/Hamachiya2/status/10649542651
北朝鮮デノミ失敗で責任者銃殺…聯合ニュース : 国際 : YOMIURI ONLINE（読売新聞）