このパーティーは終了しました。 沢山の人にご来場いただき、また沢山の寄付を集めることができました。 ありがとうございます。 寄付金額の詳細などはこちらでご報告しています。 2011年3月11日に起きた東北関東大震災は、岩手県・宮城県・福島県を中心に甚大な被害をもたらし、多数の人が亡くなり、家をなくすなどの被害を受けてしまいました。 また、東京圏で大きな被災を受けていない人たちも、被災地の状況を伝える辛いニュースやネット上の情報に触れ、心を痛めて疲弊しています。 これからの日本では、多くの人が被災地にできるだけの支援を、継続的にしていくことが大切でしょう。そしてそのためには、支援にまわる我々が元気を出して、本業をがんばり、社会や経済を活発にすることが重要です。 この機会に多くの仲間たちと会って、話して笑って、ウェブ屋自身が元気を取り戻そう！そして被災地の復興支援の寄付も集めよう！ ということ

This domain may be for sale!

Asynchronous XMLHttpRequests with XhrIo Overview JavaScript's XMLHttpRequest enables the responsive, persistent user interfaces that characterize AJAX applications. Web applications can use XMLHttpRequest to communicate with the server from JavaScript without reloading the page or blocking. But while most modern browsers support XMLHttpRequest, different browsers have different implementations. To

java script を理解する。。。 愛用本 詳解 HTML & JavaScript 辞典 IE でしか動かない物が多いと思いますので Using the W3C DOM もチェックして修正してください。 算術演算子 演算 演算子 加算 + 減算 - 乗算 * 除算 / 剰余算 % 代入演算子 演算子 意味 = 代入 += 足して代入 -= 引いて代入 *= 掛けて代入 /= 割って代入 %= 割った余りを代入 単項演算子 演算子 意味 ++ １足す -- １引く - 符号の反転 関係演算子 演算子 意味 > 大きい時 >= 以上 < 小さい時 <= 以下 == 等しい時 != 等しくない時 真と偽 真は true 偽は false 論理演算子 演算子 意味 && (and) 比較対象が真ならば真、それ以外ならば偽 || (or) 比較対象のどちらかが真ならば真、それ以外は偽 ! (

お知らせ 食材の仕入れについて 仕入れルートの見直しも含め、安心いただける食材の調達に努めてまいりますので、ご理解のほど、よろしくお願いいたします。 新セットメニュー「なでしこ懐石」登場　お値段お一人様５，０００円 先付・小鉢・蒸し物・焼き物・煮物・特上刺身・特上寿司(大トロ・中トロ・うに・赤貝・アナゴ）・汁物・デザートのフルコースになります！ なでしこ懐石　5,000円 単品で頼むと６，０００円以上になります。 こちらは要予約になりますので事前にご連絡願います。 ■ランチ営業のお知らせ ３月２８日より平日限定のランチを開始しています。 営業時間は１１時３０分より１４時００分までとなります。 ＜メニュー＞ ●日替わりバラちらし　９８０円（サラダ・お味噌汁付） ●日替わり地魚丼　９８０円（サラダ・お味噌汁付） ●ランチ握り１人前　７００円（握り７貫＋巻物＋サラダ・お味噌汁） ●ランチ握り１．

バイアグラとシアリスについて知っておくべきこと バイアグラとシアリスは、市場で最も人気のある勃起不全治療薬の 2 つです。これらの薬について知っておくべきことはすべてここにあります。 バイアグラは、錠剤、液剤、または注射剤として入手できます。性的な強化のために、必要に応じて口から摂取します。シアリスは錠剤と液体の形で入手できます。また、性的強化のために必要に応じて経口摂取します。 両方の薬は、陰茎への血流の減少やペイロニー病などの身体的問題、または不安やうつ病などの心理的問題によって引き起こされる勃起不全に苦しむ男性に使用するために、米国食品医薬品局によって承認されています. バイアグラはもともと高血圧症の治療薬ですが、勃起不全の治療にも効果があることが示されています。バイアグラは、錠剤、注射、または局所ゲルとして入手できます。錠剤は口から服用し、性行為の 1 時間前に服用すると効果が最も

皆様はコンピュータビジョンという用語をご存知でしょうか。例えばデジタルカメラに搭載されている顔画像認識や、Google Street Viewの360度パノラマ表示、XBox360のKinectによるプレイヤーのジェスチャー認識など、これらは全てコンピュータビジョンの技術による製品です。 この連載では「コンピュータビジョンを応用した実際の製品」を毎回1つのテーマのもとで紹介し、その仕組みを誰でも理解できるレベルで簡単に解説していきます。これにより「いかにコンピュータビジョンが身近な存在で、かつ、いかにその使われている場所が急速に増えているか」をたくさんの方に知っていただきたいと思っております。 私は今回の連載のテーマであるコンピュータビジョン技術の研究者です。慶應義塾大学 理工学部 青木研究室という研究室に所属しております。大学院の修士課程を卒業したあと某企業にてソフトウェア開発の仕事を行

1W 100ルーメンのハイパワーLED(OSW4XME1C1S、300円)と充電電池のeneloop(単三型)を使って室内灯を作ってみました。 このLEDを直視すると目を痛めてしまうので注意が必要ではありますが、実際に出来上がった物は結構良かったです。 流石に通常の蛍光灯などとは比べ物にはなりませんが、単三電池を利用するものとしては、かなり明るい室内灯が出来ました。 真っ暗な部屋で不自由がないぐらいの明るさはあります。 これだけ明るいにも関わらず、今回作った室内灯は消費電力が0.4Wというのもいいです(抵抗の種類を変更することで消費電力を今回作ったものよりも大きくも小さくもできます。明るさと持続時間のトレードオフがあります。)。 はじめての電子工作！ 大学の学部が文系だったこともあり、工学などの授業が一切なく、実はこういった電子工作はやったことがありませんでした。 強いて言えば中学の技術の

今回はこの言葉の解析をMeCab＋NAIST辞書にお願いして、結果を分析することで、MeCabが行っているコスト計算について勉強してみたいと思います。 とりあえず実行してみる さっそくMeCabに「日本テレビ東京」を解析してもらいましょう。 $ echo 日本テレビ東京 | mecab 日本 名詞,固有名詞,地域,国,*,*,日本,ニッポン,ニッポン,, テレビ東京 名詞,固有名詞,組織,*,*,*,テレビ東京,テレビトウキョウ,テレビトーキョー,, EOS 「日本 | テレビ東京」と分けていますね。視聴率的には負けていますが、NAIST辞書的には日本テレビよりもテレビ東京が優先されたようです。 ちなみに「フジテレビ東京」ではどうなるでしょうか。 $ echo フジテレビ東京 | mecab フジテレビ 名詞,固有名詞,組織,*,*,*,フジテレビ,フジテレビ,フジテレビ,, 東京 名詞,

さぁこれから Android な開発始めよう！って人には是非同じ苦しみを味わって欲しいので こんなエントリ書かずに影でこっそり皆が苦しむ様子を楽しんでいようと思ったのだけど、ま、残しておきますかね。デバイス依存系の問題。今回苦しんだ分だけでも。 ※こちらの勘違いもあるかもしれないので、あくまでもメモということで。。 - OSのバージョン依存の問題 Android はカメラが使えるのだけど、Android 2.1 までは横向きにしか使えません。Android 2.2 から縦可能ね（ここコダワリだった）。でもってインカメラ使いたいときは Android 2.3 以降。 ん？Android 2.2 の端末でインカメラあるやつあるよね？って気付いた人はまさに悲劇への第一歩。 実装方法は、例えばある機種では、 Camera.Parameters.set("camera_id", 2) のようにします

ポイント 薄い空間に閉じ込めた液晶がスカーミオン格子を形成することを理論的に初めて発見 強磁性体などの他の固体系と液晶との関係についての新しい知見 これまで知られているよりはるかに豊かな秩序構造を液晶がとり得ることを明らかに 概要 独立行政法人 産業技術総合研究所【理事長 野間口 有】（以下「産総研」という）ナノシステム研究部門【研究部門長 八瀬 清志】ソフトマターモデリンググループ【研究グループ長 米谷 慎】福田 順一 主任研究員は、スロベニアのリュブリャナ大学およびヨージェフ・ステファン研究所のSlobodan Žumer（スロボダン・ジュマー）教授と共同で、強磁性体などの固体系などでその役割が注目されているスカーミオン格子を、薄い空間に閉じ込めた液晶という固体系とは全く異なる系が形成しうることを理論的に明らかにした。 この事実は、固体系と液晶という全く異なる系の間の関係について新しい

ずっと在庫切れだったAdafruitのMidnight Hackerが届いた。Leatherman Squirt ES4ですな。電線の皮むきができるタイプ。フリフリライトで撮ったら、ちょっと重厚な印象になりましたが、畳むと6cm以下のカワイイ工具です。

10/15/2023(PST) 30 days Premium Module Key in Automatic Setting site. i-KeyHoleTV has been uploaded for the new provision profile. 25-days Premium Module Key will change to 30 days at 10/15/2023. Details on the homepage. 08/25/2023(PST) Premium module key changes price or number of daysPlease note that. 07/25/2023(PST)We will change the price or valid days of the premium module key. Please see ou

[738 SM1000-12V-FP] 通販コード　M-01796 発売日　2011/03/29 メーカーカテゴリ　Goldmaster & Everstep Development Limited ■主な仕様 ・開放電圧（Ｖｏｃ）：２０Ｖ ・短絡電流（Ｉｓｃ）：１Ａ ・最大出力（Ｐｍａｘ）：１５Ｗ ・最大出力時電圧（Ｖｍｐ）：１５．５Ｖ ・最大出力時電流（Ｉｍｐ）：０．９７ ・サイズ：３８０ｘ２９２ｘ４６ｍｍ（閉じた時のサイズです） ・出力はワニ口クリップになっています。

最新記事(inside out)へ  | 年と月を指定して記事を読む（クリック!） /　2001/　2002/　2003/　2004/　2005/　2006/　2007/　2008/　2009/　2010/　2011/　2012/　2013/　2014/　2015/　2016/　2017/　2018/　2019/　2020/ 2011年3月　を読む << 2011年4月　を読む >> 2011年5月 を読む 何かに力を掛けた時、その形状が鋭く変化している部分には強い力がかかります。それは、「形状が鋭く変化している部分」では「受けた力を周りとともに受け止めることができなくなる」からです。そういった現象は「応力集中」と呼ばれます。そんな「応力集中」を利用しているのが、サントリーの「非対称プルタブ」です。 プルタブが奇妙にねじ曲がっていますが、そのおかげで「プルタブに掛けた力を効率的に集中させて

前の記事　セシウムの「環境的半減期は180〜320年」 成功の理由は、才能より「意志力」：研究結果 2011年4月 5日 サイエンス・テクノロジー コメント： トラックバック (0) フィードサイエンス・テクノロジー Jonah Lehrer 画像はWikimedia 特定の分野に秀でた能力は、遺伝子によって決まる「才能」に基づくもの、という考え方がある。しかし、生まれもった才能は、過大評価されていることが分かってきた。 K. Anders Ericsson氏ら多くの研究者たちは、本当の才能とは、計画的訓練(deliberate practice)に励むこと、1万時間もの厳しいトレーニングを積むことだと主張している。 Ericsson氏は、影響力のあるレビュー論文(PDFファイル)『The Role of Deliberate Practice in the Acquisition of

会社と社員との間に立ち、さまざまな問題を対処する緩和剤的な役割をも担う、言わば、労働に関するエキスパートでもある社会保険労務士。 会社や企業に入社すると、ほとんどの場合、公的保険などへの強制的な加入が義務付けられている為、今後も、専門家としての仕事が途絶える事は考えにくいと言えます。 むしろ、保険制度や年金制度など労働に関するさまざまな法律や規定もより一層複雑化する事が予想されている将来においては、益々需要が高まる傾向にあると言えます。 ただし、社会保険労務士の需要自体が高まる傾向にあると言っても、ただ資格を持っているだけでは、その流れを有利に活用する事は難しい、と言えるかもしれません。 既に、労働環境や法律など、会社に関するさまざまな要素も年々複雑化している昨今ですが、近い将来、その変化も更に加速するのでは？と懸念されているのが実状です。 労働に関する全ての項目を熟知している専門家として

earthquake_jpに関連して作業したので備考録としてメモ。 前提 gitのリモートリポジトリとHTTPサーバが同一のサーバに存在している状態です。 別サーバで行う場合はgit cloneを行う際にパス無し秘密鍵でcloneして おかないと上手く動作しないと思われます。 処理の流れ 開発者 → コミット → プッシュ → post-receive → Web API → git pull 失敗 最初はpost-receiveでpullを発行しようとしたが、HTTPサーバとgitosisの権限が異なる。 sudoを発行してみたが、エラーが発生して処理が行えない。 結果 post-receiveはWeb APIへとアクセスする。 Web APIはHTTPサーバの権限で動作する。 Web APIではシェルスクリプトを実行する。 HTTPサーバの権限でpullが行われる。 例 リポジトリ.

ナノラボの風景 ナノラボはテーブル席（４人席×２台）とカウンター席（６席）をご用意。 工作やグループ作業はテーブル席で、また、カウンター席はノートPCでの作業にはお勧めです。 秋葉原らしくない（？）落ち着いた空間でゆったりと作業して下さい。 窓は塞いでおりませんので、晴れた日は採光も十分。３Fの窓から人ごみを眺めるのも一驚です。ぜひ一度ごらん下さい。

最新記事 【お知らせ】年始年末の営業について (update:2023-12-29 18:09) 【お知らせ】年始年末の営業について (update:2022-12-28 18:40) 【お知らせ】年始年末の営業について (update:2021-12-27 18:26) 【お知らせ】営業日時のご案内 月～水・金～土曜日 14:00〜18:00 (update:2021-02-22 17:04) 【お知らせ】臨時休業のお知らせ【2021年2月18日】 (update:2021-02-17 21:55) 【お知らせ】営業時間見直しのお知らせ (update:2021-01-05 20:43) 【商品紹介】3Dプリント代行サービス Markforged 見積もり例 #1 【キーホルダー】 (update:2020-09-17 16:58) 【お知らせ】Markforged MakrTwoを導入

写真 (43) 翻訳 (42) 正規表現 (20) Trados (16) 雑文 (12) 便利ツール (10) トラブルシューティング (5) スタイルガイド (4) TagEditor (3) Xbench (3) オフ会 (3) 理想の案件 (3) 用語管理 (3) Okapi (2) QA Checker (2) 動画 (2) 単価 (2) 文法 (2) Idiom (1) MultiTerm (1) SDLX (1) TWS (1) Transit (1) テクニカルリソース (1) 今回の事件に絡んだ悪質なデマについて書きとめておきたいと思います。 ◆ 助けを求める東京都内の住所入りのツイート ツイートできるのなら、警察に電話するなり、最初に受け取った人が警察に連絡すればいいだけです。実際は、私怨のある人の住所を晒した犯罪者でした。過去ツイートを見ればいかに変な人かすぐにわかり

写真 (43) 翻訳 (42) 正規表現 (20) Trados (16) 雑文 (12) 便利ツール (10) トラブルシューティング (5) スタイルガイド (4) TagEditor (3) Xbench (3) オフ会 (3) 理想の案件 (3) 用語管理 (3) Okapi (2) QA Checker (2) 動画 (2) 単価 (2) 文法 (2) Idiom (1) MultiTerm (1) SDLX (1) TWS (1) Transit (1) テクニカルリソース (1) 理系に求められるのはデータ、その解析、そして結論です。今回の事態でいろんな場所で感情的な混乱が見られますが、それとは正反対の位置を堅持するのが工学に携わるものの立場です。 そう、「なんとなく怖い」とか言うと馬鹿にされる世界です。 基本的にデータから得られる結論を相手に示すことになるんですが、動揺して

今流れているTweetがデマかどうかを判断します． 判断には非常に簡単なアルゴリズムを使っていますので， 必ずしも正解ではないかもしれませんが，参考くらいにはなるかもしれません． このアプリははてなキーワードを利用して作られています． ツイート内のキーワードを抽出し，そのキーワードが含まれるツイートがデマと認定されているかどうかでデマ率を計算しています． ツイートの検索にはTwitter検索を利用しています． このアプリによって得られる情報の正確性は保障されません． 本アプリケーションを使用したことによる一切の不利益については、責任を負いません． 本アプリケーションは作者が個人的に製作したものであり，いかなる学会・団体とも何の関係もありません． 本アプリケーションの利用はフリーです． ご感想などは@toritorixまでどうぞ．

我が家の屋根にいよいよソーラーパネルを設置！ 太陽光発電システムで生活がどう変化するのか？！ 実際の発電・売電状況や、節電の工夫などについてご紹介していきます。 【注意】太陽光発電ブレーカを必ずOFFにしてから自立運転に切り替えてください 【追記情報】 ※実際に停電中に非常用電源を使ってみました！（2011年3月17日） ※ネットが使えました！（2011年3月18日） ※計画停電時の料金について確認しました（2011年3月19日） 2011年3月14日 3/11に発生した「東北地方太平洋沖地震」の影響で、14日以降計画停電が行われています。 太陽光発電は通常時、まずは自分の使用する電力が差し引かれ、その残りの電力が売電に回されます。この売電分は東京電力の供給電力の一部として使われ、効率よく近所へと割り振られていくわけです。 はじめは、何となく「こんな状況で“売電”だなんて不謹慎なイメージ・

【ロサンゼルス吉富裕倫】米環境保護局は４日、福島第１原発から放出されたとみられる極めて微量の放射性物質を西部ワシントン州とアイダホ州の水道水から検出したと発表した。西海岸では先月末、牛乳から微量の放射性物質が検出されたが、水道水から検出されたのは初めて。 同局は３月末、全米５０カ所以上から水道水のサンプルを集めて検査。先月２８日にワシントン州リッチランドとアイダホ州ボイシから採取したサンプルから、いずれも１リットルあたり０．２ピコキュリー（ピコは１兆分の１）のヨウ素１３１を検出した。日本から風で運ばれた放射性物質が雨水に含まれ水道水へ混入したとみられる。 同局は「幼児でも７０００リットルの水を飲まなければ、自然界に存在する１日当たりの放射線量に達しない」とし、健康不安を抱かないよう市民に呼びかけた。 【関連記事】 ＜ニュースの一報＞カリフォルニア州で微量の放射性物質 ＜アメリカも

憲法と社会問題を考えるオピニオンウェブマガジン。 ｜「マガジン９」トップページへ｜松本哉のびのび大作戦：バックナンバーへ｜ 2011-04-06up 松本哉ののびのび大作戦 いやいや～、いよいよ４月１０日の超大規模「高円寺・原発やめろデモ!!!!!」が目前となってきた！　どうやらとんでもない盛り上がりになりそうな感じなので、みなさんにもぜひぜひ参加を呼び掛けたい。 原発事故は一向に収まる様子を見せず、相変わらず次々と危険な事態が続いている。この原稿を書いているたった今も、「福島原発から限度の１．３億倍の濃度の汚染水が流出中！」なんていうニュースが流れている。おい、危なすぎるだろ、それ！ で、さらに不気味なのが、海外のニュースを見てみると、「とんでもなく危険な状態！」とか「史上まれにみる最悪事故！！」「こりゃ、大変だ！！」みたいな報道なのに、国内のニュースを見てると「影響はない」とか「人体に

sample<< April 2011 | 01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 >> 昨日は、ゆいっこ北上支部に遠征してきました。 大船渡の末崎中学校避難所、長源寺避難所、釜石の正徳寺避難所、松峯団地避難所、陸前高田の金剛寺避難所を回り、オニギリ3300個と救援物資を届けてきました。 金剛寺がある成田山では、地域住民10人が独自に避難生活を送っています。 どのへんが独自かというと、この人たちは「野宿」してます。 ブルーシートを張って、避難小屋をつくるなど、キャンプ生活のようでした。 眼下には、津波で街ごとさらわれた陸前高田市気仙町があります。残ったのは、民家2軒。津波で壊滅した気仙町を一望できるこの場所で、避難生活を送る住民たちが「お花見」

ThinkPad X201s の初期状態の HDD を一度も起動していない状態で保管しているので、その HDD を丸ごとバックアップしておけば、リカバリーせざるをえない事態になってもなんとかなります。多分、なると思います。が、底面に貼り付けてある Windows ライセンスシールの COA 番号は見事に擦れてしまっていますので、念のためにリカバリーメディアを作成してみました。 本体底面の Windows ライセンスシールに書かれている COA 番号ですが、これが無いと Lenovo からリカバリーメディアを購入できません。にも関わらず、ライセンスシールに書かれている COA 番号はすぐに擦れて読めなくなります。某社のすごい悪意を感じます。 僕の場合は使い始めて 1週間の頃、この 「COA 番号が無いとリカバリーメディアが購入できない」 という事実を知り（もの知らず）、慌てて底面を確認してみ

2010/07/19 ThinkPad x201sのHDDからSSDへ換装するんです。 昨日届いたThinkPad x201sのHDDをSDDへ換装した。作業自体はいたって簡単。 [概要] PC起動 初期設定（簡単に） リカバリーメディアの作製 ドライブの換装 工場出荷状態へSSDを初期化 PC起動 初期設定（しっかりと） 終了 備忘録なので、あんまり参考にならないですが、よろしければ続きをどうぞ。 [1. PC起動] 普通に起動させます。 [2. 初期設定] パスワードの設定やら指紋認証の設定などなどいろいろ設定しましょうといってきますので、ちょっと時間があったのと、慣れのため一通り対応してあげました。 [3. リカバリーメディアの作製] 「Lenovo ThinkVantage Tools」を起動して、「出荷状態へのリカバリー・ディスク」で、リカバリーメディアを作製しま

今回購入した ThinkPad X201s は、HDD 搭載モデルです。これを SSD に換装してみました。SSD 初体験。使用する SSD は X25-M G2（34nm版） 160GB モデル （SSDSA2MH160G2C1） です。 Intel Boxed Intel SSD 160GB SATA 2.5 SSDSA2MH160G2C1 Amazon価格：￥ 41,980 カテゴリ：エレクトロニクス 発売日：2009-07-22 一度も電源を入れないまま取り出される HDD。写真赤丸部分のネジを外しカバーを外して、HDD を引き抜きます。 取り外した HDD。富士通の MJA2320BH でした。換装する X25-M SSDSA2MH160G2C1 は、ドスパラで 41,970円で購入しました。3.5インチ用のマウンタ付き。 裸族のお立ち台DJ CROS2EU2 を使って、HD

Anonymous Coward曰く、"1997年2月の公開以来6年11ヶ月の間にたった1度だけ(しかも発見者は作者自身)しかセキュリティホールの発見されなかったqmailにこの度新たなセキュリティホールが発見されてしまいました。 問題はqmailを構成するプログラムの一つであるqmail-smtpdにあり、2GB以上のSMTPセッションを受けるとバッファオーバーフローを引き起こす可能性があるとのこと。ただし対策はさほど難しくなく、/var/qmail/control/databytesに2G以下の数値を設定してこのプロセスを再起動すればよいそうです。 私も、自分が管理するメールサーバーでは漏れなくqmailを使っています。理由はなんと言っても構築後、ほとんどメンテナンスせずにいられるからです。さすがに最新バージョンのリリースから6年近くもたっており、十分枯れているだろうと思っていたんです

Coq クィックリファレンス 書きかけだけれど、たぶん永遠に書きかけなので、とりあえず書いたところだけ公開。 基礎知識 Gallina の構文と Vernacular コマンド オプション モジュール Prop vs. Set vs. Type タクティク リファレンス 証明の補助: idtac, fail, move, clear, set, remember, pose, rename, intro, assert, cut, lapply, specialize, generalize 項による証明: exact, refine, apply 否定と矛盾: absurd, contradict, contradiction 帰納法と場合分け: fix, cofix, elim, induction, case (case_eq), destruct, intros, decompos

証明支援系とモデル検査器を効果的に利用できるよう、定理証明向きのシステム仕様をモデル検査向きのシステム仕様に自動変換する方法を考案した。変換により、モデル検査向きのシステム仕様が大きくなりすぎて効果的にモデル検査ができなくなることを防ぐための工夫を行った。提案した変換方法の有効性を確認するため、電子商取引プロトコルiKPとMondexの検証実験に適用した。また、変換を支援する変換ツールの拡張性の高い実装方法も提案した。この実装方法では、複数の変換規則をモジュラーに組み入れることを可能にする。

19:05 08/05/31 本 私が一番好きなSFと言えば『百万年の船』ですが、 昨日読んで『タウ・ゼロ』が二番目に好きなSFに なりました。最近本の感想が大袈裟です。このどうしようもなく取り返しのつかない方向に お話が突っ走っていくっぷりが楽しい。あと、私が感情移入する気になれる主人公ってそうそういない。 いやそれはともかく、 まだこの二冊しか読んだことないのですけど、どうも自分はポール・アンダースンを読み漁るべきっぽいな。 UTPC UTPC というのに参加してました。 みんな解いてるから解けるはず！と思って挑み続けた E が結局解けずじまいでした。 うわーん。K かせめて H に時間使うべきだった。しかし若者勢とロートル勢のバランスが絶妙だ。 → 提出物一式。 13:58 08/05/29 ICFPの ICFP Programming Contest のページが更新されてました。

2011-04-01 日々のメモ2011 2011-03-31 RecentDeleted 2011-03-26 vtk 2011-03-24 StarLogo 2011-03-23 PAT 2011-01-10 vtk for Java 2011-01-05 FrontPage 日々のメモ 2010-12-17 日々のメモ2010 2010-12-10 ParaView 2010-12-08 Go言語 2010-12-06 vtk for Tcl 2010-11-25 AlloyAnalyzer Japanese 2010-11-23 doxygen 2010-11-22 GoQuickSort GoTurtleParallel GoTurtle 形式手法 fgram Coq 分類 † 形式手法、ってその言葉だけをとると、あまり情報がない。なぜって 通常、科学・工学の分野で研究をする、と

2008-07-22 掲示板 2007-07-04 Sendmail/SMTP-AUTH Sendmail 2007-06-23 Coq/Install 2007-05-31 Coq/証明の裏側 Coq Coq/Proofs 2007-05-18 Coq/BackgroundTheory FrontPage MenuBar 証明ステップは term construction である † 型理論などで見慣れた形である judgment 「Γ |- e : t」を思い出してください。 これは、型コンテクスト(変数→型へのマッピング)・項・型の 3 項関係でした。 ML などの型推論では Γ と e を与えると t を導き出してくれますが、Coq などの定理証明支援系では Γ と t を与えて e を(手動で)導き出す、という形をとります。 これを term construction といいます

QCon Tokyo 2016 開催に向けて 今年のQConでは、『ITが変革するビジネス・組織・社会』を基本テーマに社会的にインパクトのある最先端のIT技術をご紹介いたします。今年は、従来からのエンジニアリングトラックに加えて技術で企業価値の革新を狙う技術指向の経営層・R&D/企画/IT部門にフォーカスしたビジネステクノロジートラックも用意して、より幅広い層へのITテクノロジーの発信を目指します。 「ビジネスのデジタル化を推進するIT」「社会・組織の在り方を変えるIT」をキーワードにカンファレンスの内容を構成しています。現在いちばんホットなIT各分野の最新技術・事例について、「AI/ビッグデータ」、「IoT/組込み系」、「アーキテクチャ/システム設計技術」、「アジャイル/DevOps」, 「モバイル/フロントエンド技術」「フィンテック」「イノベーションのための情報システム」等ITのコアな

プログラム定理証明 弊社での、プログラム定理証明を用いたソフトウェア品質保証の取り組みについて紹介します。 iZE Smart Desktopミドルウェアの正しさ検証 (ソフトウェア科学会PPL2010においてポスター発表、TPP10にて発表) (有)ITプランニングは(株)アイズの「スマートデスクトップ・クライアント」の一部モジュールを請負開発し，その際証明支援器Coqを使用した． 本プロジェクトではD-Busで扱うデータとJSONとの相互変換に関して静的検証を行った． 具体的には，検証対象とする関数をCoqで定義した上で諸性質を証明し，Extract機能により全体のOCamlのプログラムと協調させるという方法を用いた． 今回行った検証の詳細と，実際にCoqを開発現場で使う上で行った工夫などを報告する． (PPL2010予稿集より) プログラム定理証明って？ プログラム定理証明は、プログ

（ソフトバンクモバイル：女川総合体育館避難所の暫定基地局） 今回の東日本における震災で被災地のスマートフォンユーザーから「電話は繋がらなかったが、Skypeやviberは使えた」という声が多く聞かれました。 過去、阪神大震災においても被災直後でもプロバイダーが提供するIP電話は発着信が出来たという話も聞いた事があります。 同じネットワークを使いながらどうしてこのような違いが現れるのでしょうか？ 輻輳が起きるメカニズム 固定電話や携帯電話の音声通話は「回線交換方式」という通信手段が使われています。これは使用するネットワーク内において、各音声通信に対して一定の帯域を割り当てるという物です。 音声品質に優れ安定性が高いというメリットがありますが、データ量に関わらず一定の帯域を使用するというデメリットがあります。 そこで通信キャリアは音声通信用の交換機のキャパシティを契約ユーザーの20～30%程度

ネットワークの計測と解析 インターネットの使われ方やネットワークの挙動を把握する事は、ネットワークを運用し、その技術開発を行う ために欠かせません。しかし、観測で得られるデータ量は膨大ですがノイズが多く、また、観測できるのは極めて限られた部分でしかありません。そこで、膨大なデータから意味のある情報を抽出したり、部分的な観測からより一般的な傾向を推測する事が必要となります。... インターネット基盤技術 速くて、安全で、信頼性が高く、使いやすく、など、インターネットサービスへの要求はますます高まっています。これらの要求に応えるために、インターネットの 基盤技術も日々進歩しています。いまやインターネットはつながるだけのサービスではなく、高度で複雑な機能を備えた社会基盤となりました。IIJ技術研究所は、インターネットの基盤として実現が期待される機能を提供するために、さまざまな技術課題に取り組んで

東日本大震災以降、列島を覆う自粛ムード。しかし、被災地にある酒の蔵元が「酒を飲んで支援につなげてもらえれば」とインターネットの動画サイトに投稿するなど、行き過ぎた自粛に対しては、被災者側から「待った」をかける声も上がり始めている。　東京・上野公園などの花見スポットでも宴会自粛が求められているなか、動画サイト「ユーチューブ」に「被災地岩手から『お花見』のお願い」と題した動画が投稿された。　投稿したのは、明治３５年創業の老舗酒造「南部美人」（岩手県二戸市）の５代目蔵元、久慈浩介さん（３８）だ。自粛ムードを「経済的な二次被害」と表現する。　久慈さんの会社は震災で酒蔵が損壊。蔵が流され、従業員が亡くなった同業者も多いという。　無事だった施設でなんとか再開した酒造り。しかし、待っていたのは蔓延（まんえん）する自粛ムードだった。　「行きすぎた自粛は逆に復興を妨げるのでは」。短文投稿サイト「ツイッター」

2011/04/05 RSAがどのように攻撃されたかを説明 RSAは公式ブログで、SecurIDの2ファクタ認証製品の情報が盗まれた事件で、攻撃がどのように行われたかを説明した[searchsecurity, register]。直接の攻撃はエクセルファイルに埋め込まれたフラッシュオブジェクトに使われたターゲット型フィッシングキャンペーンに絡んだものだったとのこと。しかし、攻撃の前にはソーシャルネットワーキングサイトを十分に偵察し、その後にこの攻撃法が選択され、最終的にはRSAのネットワークのマシン上のバックドア・マルウェアを仕掛けることを目的としたものだったとのこと。 もう少し具体的に説明すると、攻撃者は2通のフィッシングメールを2日間隔で従業員の2つの小さなグループ向けに送ったそうだ。メールの件名は「2011年採用計画」と書かれていたとのこと。従業員の一人がジャンクメールフォルダからそ

東日本大震災では、インターネットは情報発信に効果的に活用される一方で、デマや誤った情報も流れている。災害心理学が専門の広瀬弘忠・元東京女子大教授に聞いた。【岡礼子】 －－ツイッターやチェーンメールなど、ネット経由でデマが流れているが。 災害時のような、状況が不確かで危険が迫っている状況で「流言」はつきものだ。阪神大震災の時は、港湾地帯の被害が大きかったので、「ガスタンクが爆発する」といったうわさが乱れ飛んだ。だが当時は、携帯電話も皆が持っているというわけではなく、伝えるメディアがなかった。人づてに聞こえてくる程度で、すぐに立ち消えになり、多くの人がデマに惑わされて何かをするという状況にはならなかった。 今回は、誰でもツイッターのようなソーシャル・ネットワークを使えるので、「ちょっとつぶやいたこと」が広がる。誰かの「つぶやき」を中継したり、加工したりする人もいる。根も葉もないことが伝わること

東北新幹線 揺れ９秒前に減速 4月5日 19時20分 今回の地震で、東北新幹線は地震の揺れをいち早く検知するシステムが作動して、最初の揺れの９秒前、最も大きい揺れが起きる１分１０秒前に非常ブレーキをかけて減速を始めていたことが分かりました。ＪＲ東日本は、この効果もあって新幹線が脱線を免れたとみて、データの詳しい解析を進めています。 地震発生当時、東北新幹線は２７本の列車が乗客を乗せて走っていましたが、いずれも脱線せず停止しました。ＪＲ東日本は、東北新幹線の沿線のほかに、太平洋沿岸にも岩手県の宮古や宮城県の牡鹿半島などに９つの地震計を設置し、揺れをいち早く検知して列車を減速させる「早期地震検知システム」を備えています。今回は、東北新幹線の線路からおよそ５０キロ離れた牡鹿半島の地震計が、午後２時４７分３秒に運転中止の基準となる「１２０ガル」という地震の加速度を捉えました。このため、システムが自

日本原子力技術協会最高顧問「解決まで、100年以上かかります」 Tweet カテゴリ東日本大震災 1 ：名無しさん＠涙目です。(静岡県)：2011/04/05(火) 14:59:29.61 ID:LeTc0XYq0● ?2BP(376) 4 ：名無しさん＠涙目です。(catv?)：2011/04/05(火) 15:00:38.24 ID:Gw9pn5XS0 俺死んでるじゃん 6 ：名無しさん＠涙目です。(関西地方)：2011/04/05(火) 15:00:41.15 ID:royJCDNh0 見なかったことにしよう 17 ：名無しさん＠涙目です。(茨城県)：2011/04/05(火) 15:01:38.05 ID:+YNW6ASf0 100年後も水掛けてたらどうしよう・・・ 12 ：名無しさん＠涙目です。(チベット自治区)：2011/04/05(火) 15:01:14.96

東電に天下り副社長昇格予定の年収1860万円の元原発官僚石田徹さんが逃亡 Tweet カテゴリ東日本大震災 1 ： 忍法帖【Lv=37,xxxPT】 (兵庫県)：2011/04/06(水) 07:53:47.93 ID:7WZbVhiX0● ?BRZ(10002) 原発事故が深刻化する中で雲隠れした原発官僚がいる。 今年1月に資源エネルギー庁長官から東京電力の顧問に天下った石田徹氏だ。 東電は「個人情報だから」との理由で報酬を明らかにしていないが、 「天下りの不文律として、退官直前と同額程度（年収約1860万円）が払われている」（経産省幹部）とされる。 しかも、「ほとぼりが冷めた頃に副社長に昇格する予定」（東電関係者）という。 その動静は一切出てこない。経産省中堅が明かす。 「石田さんが表立って動くと、経産省は“天下りがいるから東電に甘い”と批判されかねない。 そこで、石田

現在ログインしていません。ログインするには、以下にユーザー名とパスワードを入力して下さい（Cookieを有効にする必要があります）。

Willkommen beim Strahlentelex mit ElektrosmogReport. Dies ist die Archivseite aller Jahrgänge seit 1987. Die letzte Ausgabe erschien im Dezember 2018. Strahlentelex ist ein unabhängiger Informationsdienst zu Radioaktivität, Strahlung und Gesundheit mit den Schwerpunkten Strahlenschutz, Strahlenfolgen, Strahlenwirkungen und Strahlenrisiken in Haushalt, Medizin und Umwelt. Unsere Geschichte zeigt Ih

日本政府もマスコミも絶対に信用するな！　こちら（ドイツ指針）を信用せよ！ http://icbuw-hiroshima.org/wp-content/uploads/2011/04/322838a309529f3382702b3a6c5441a31.pdf 4:31 PM Apr 4th webから 99人がリツイート

＜概要＞ 放射線の生物学的効果は、同一の吸収線量であっても放射線の種類や線量率によって異なる。高線量率で短時間に照射したときに得られる生物効果に比べて、線量率を下げて時間をかけて照射すると生物効果は減弱する。これを線量率効果という。このとき、同じ効果を得るのに要する線量の逆比を線量・線量率効果係数（DDREF）という。また、線量、線量率は同一でも小線量に分け間隔をあけて分割照射すると生物効果は減弱する。このような効果は照射中や照射後におこる細胞の回復によると考えられている。また、標的の大きさとトラック数の関係を考慮したマイクロドシメトリー的な考察では線量効果は線量レベルによって異なる。 ＜更新年月＞ 2002年10月 ＜本文＞ １．線量率と生物学的効果 放射線の生物学的効果で問題となるのは放射線が生体構成物質に吸収されたエネルギーの量（吸収線量）と、単位時間当りの吸収線量（線量率）であるが

As you may have read, Rails adds XSS protection by default in Rails 3. This means that you no longer have to manually escape user input with the h helper, because Rails will automatically escape it for you. However, it's not as simple as all that. Consider the following: Hello <strong>friends</strong>! <%= tag(:p, some_text) %> <%= some_text %> In the above example, we have a few different scenari

main help file *usr_23.txt*    For Vim バージョン 7.0.  Last change: 2006 Apr 24 VIM USER MANUAL - by Bram Moolenaar 特殊なファイルを編集する この章では特殊なファイルの編集について説明します。圧縮ファイルや暗号化された ファイルを編集できます。多少不便ですが、バイナリファイルも編集できます。イン ターネット越しにファイルアクセスする方法も説明します。 |23.1|  DOS、Mac、Unix形式のファイル |23.2|  インターネット上のファイル |23.3|  暗号化 |23.4|  バイナリファイル |23.5|  圧縮ファイル 次章: |usr_24.txt|  効率的な入力 前章: |usr_22.txt|  ファイルを探す 目次: |usr_to