ブログは Twitter まとめという感じにして, 濃い数学・物理ネタはメルマガに移行することにした. 登録ご希望の方は このページ から登録されたい. それ以外にも相転移プロダクションの活動についてもいろいろ告知していくので, セミナーやるとかそういう話に興味がある方も是非登録してほしい. 成人女性向け数学カフェについては こちらのページ をご覧頂きたい. その他にも活動まとめが本サイトにあるので, そちらも適宜見てほしい.
>>(中略)したがって、不完全性定理は適用できません。(1)>>哲学から最も遠い態度です。(2) と書いてらっしゃいますが、意味が分かりません。 数学の話をされているのですか?それとも、哲学の話をされているのですか? 数学の話をされているなら、哲学は関係ありません。(2)は不思議な結論です。 哲学の話をされているなら、不完全性定理は基本的な思考実験から簡単に説明出来ます。数学は必要ありません。故に、(1)はこれまた不思議な結論です。 数学の本質は計算にあるのではなく、証明の厳密さとその美しさにあります。 これは科学や哲学、”全ての体系”に反映されるべき美しい特質です。 しかし、あなたが(1)(2)で言われている事はダブルスタンダードに過ぎません。 厳密さを求めるばかりで、あなたにはエレガントさが足りません。 失礼ですが、もう一度算数からやり直された方が宜しいかと存じます。 細かく分けてつっ
ふと思い立って、昔、運営していたブログのエントリ「良質な教科書系ウェブサイト集」を約2年ぶりに更新しました。リンク切れの修正や、いくつかのウェブサイトの追加・削除を中心に行いました。ここに載せた以外でも良質なところがあったら教えていただけると幸いです。 ■ 算数・数学 基礎数学ワークブック 高校数学+α :基礎と論理の物語 FTEXT 数学のいずみ KIT数学ナビゲーション Online Mathematics Texts - オンライン数学テキスト はまぐりの数学 高専数学のためのページ 青空学園数学科 数学:物理を学び楽しむために 統計学 微分積分学入門 応用数学入門 ■ 物理 EMANの物理学 物理のかぎしっぽ 初歩の物理のページ Everyday Physics on Web 初等量子力学・量子力学のテキスト(PDF) 花子の高校物理 統計力学 電気史偉人典 - 電気の歴史に名を残
今日は社会人がデータ分析をどのように独学で身に着けていけばいいかということを考えます。 ビッグデータがバズワードとなって以来、花形の学問のひとつとなったのが「統計学」です。統計学が重要なのは今も昔も変わらないわけですが、かつてはデータの分析になんて興味がなかった会社や部門がデータ分析を業務に役立てようとした結果、需要が増しています。 さて、私は社会人になってから統計学の素晴らしさを体感して勉強を始めました。筑波大学のビジネススクール(GSSM)で椿広計先生という大家の講義を受けて開眼しました。そういう意味では実に幸運だったと思います。 スクールに通って統計学を身に着けるというのも一つの手なのでしょうが、万人がスクーリングできるわけではありません。独学で身に着けて行かないといけない人が大半ではないでしょうか。大丈夫です。独学でも統計学を使いこなせるようになります。「数学」なんて・・・。という
ビッグデータとは Volume(データ量) Velocity(データの生成頻度) Variety(多様性、構造化できないという意味も含む) のいずれか、またはそれらの組み合わせ。 構造化できない大量のデータがリアルタイムにどんどん生成されていくような状況だと、RDBに収めにくいし、処理するのにも新しい技術や手法が求められるということ。 本書では上に書いてあるビッグデータは狭いと考えていて、データ処理技術、ヒトを含めた組織まで含めてビッグデータとして捉えているが、そっちの話は分析力を駆使する企業のがずっと詳しいし、分析という観点から書いてある。 分析が先なのか、データが先なのかという話に関していえば、優秀なデータサイエンティストを有していればデータを与えれば意味のある分析結果がドンドン精製されてくるが、分析するヒトがいなければデータ生成はムダなコストにしかならないので、分析(者)ファーストだ
ずいぶん前から作って動かしてはいるのですが、GrowthForecastの他にもうひとつのグラフ作成ツールを公開しています。 https://github.com/kazeburo/HRForecast デイリーで更新される数値のビジュアライズに使う事が出来ます。GrowthForecastにはない過去データの登録もできます。 モリスさんのスライドでも少し登場しています。弊社では主にHiveでの集計の書き出し先として使っています http://www.slideshare.net/tagomoris/log-analysis-with-hadoop-in-livedoor-2013 画面はこんな感じ 他のページにembedするHTMLの発行やCSVでダウンロードをサポートしています データの登録APIについて データの登録は、GrowthForecastと同じようにURIに対してPOSTリ
どうも!こんにちは。 みなさん最近計算してますか?僕はしてません。 今回は何でも答えてくれる計算機、すなわち神の計算機を発見してしまったのでご紹介します。 某中学入試問題を解いてみる 突然ですが、こちら某中学入試の1問目です。まずは自力で解いてみました。みなさんは解けますか? 僕はご覧の通り、式をたくさん描いた割には解にたどり着けませんでした。あと一歩だったんですけどね。 そこで登場するのが今回ご紹介したい神の計算機Wolfram Alpha。(以下Wol神) http://www.wolframalpha.com/ 早速さきほどの計算式を入れていきます。 計算結果がこちら!途中計算式やグラフまで描いてくれます。すごすぎる! 解は3でした。 実はこの計算機、計算機能だけでなく、wikiのような辞書機能や数値を比較することもできます。 実際に触ってみてもらえばどんなものかわかると思いますが、
jQuery Bullet Graph A jQuery plugin, turning a html select element into a bullet graph slider. Bullet graphs, developed by Stephen Few, feature a single primary measure, a comparative measure. These measures are displayed in the context of qualitative and quantitative measures. Additionally the qualitative ranges are displayed as varying intensities of a single hue to make them discernible. This p
有限会社エムツーは、2024年8月13日(火)~2024年8月16日(金)の期間を夏季休業期間とさせていただきます。 休業期間中の各種お問合せにつきましては、休業期間の終了後に順次対応いたします。 ご迷惑をお掛けいたしま... 続きを読む
MindMup Free Online Mind Mapping Create, share and publish mind maps, hassle-free! Sign up Create a free map Create and share amazing mind maps Capture ideas at the speed of thought – using a mind map maker designed to help you focus on your ideas and remove all the distractions while mindmapping. Create unlimited mind maps for free, and store them in the cloud. Your mind maps are available everyw
DDN は 音楽 ・ 映像 に関する デジタル アート を中心に情報ミックスを配信中
Scalatra2.2リリース つい先日、Scalatra2.2のstable版がリリースされました。今回のバージョンアップではかなり大きな機能追加や変更がされたようで、私はまだまだ内容が把握しきれていません。こちらで変更点が確認できますので是非チェックしてみて下さい。 Swagger さて、本題です。SwaggerはREST APIのリファレンスを自動生成するためのフレームワークです。REST APIを提供するアプリケーションにおいて、Swaggerを利用してAPIの実装に必要な情報を追加すると、ブラウザで閲覧・実行が可能なリファレンスを生成することができます。 公式サンプル こちらにSwaggerで生成されたリファレンスのデモサイトが公開されています。下のスクリーンショットのような、とても見やすいリファレンスが生成されます。 各リソースをクリックすると、さらにビューが展開して以下のよう
REST APIの作成 前回の続きです。まずは、適当なREST APIを実装します。 SwaggerTestController.scala package jp.classmethod.scalatraswagger import org.scalatra._ import org.scalatra.json._ import org.json4s._ class SwaggerTestController extends ScalatraServlet with JacksonJsonSupport { protected implicit val jsonFormats: Formats = DefaultFormats private[this] val postRepo = new PostRepository before() { contentType = formats("
This page has found a new home ビットアイル総合研究所 Blogger 301 Redirect Plugin
ホーム > html | Ruby > それmiddlemanでできるよ? -Sinatra(をベースにしたツール)とSlimとSassとCoffeeScriptでモダンなWeb制作環境を構築する- 古い それmiddlemanでできるよ? -Sinatra(をベースにしたツール)とSlimとSassとCoffeeScriptでモダンなWeb制作環境を構築する- それ全部middlemanでできるよ? と思ったので書いてみる。 SinatraとHamlとScssとCoffeeScriptでモダンなWeb制作環境を構築する #1 | クラスメソッド開発ブログ SinatraとHamlとScssとCoffeeScriptでモダンなWeb制作環境を構築する #2 | クラスメソッド開発ブログ Middlemanとは? Middleman: Hand-crafted frontend develo
フロントエンドの開発で業務を引き継ぐと面倒なのがスタイルシートの仕様の把握です。 スタイルガイドがあるとメンテナンスやアップデートも非常に行いやすいのですが、スタイルガイドを作成するのは結構面倒。 そんなこんなでcssのコメントで対応してたが、そろそろキチンとしよう思い、styleguide document generatorを検討してみた。 styleguide document generatorについて有名どころの StyleDocco と kss があるので、今回はStyleDoccoについて。 StyleDocco generates style guide documents from your stylesheets by parsing your stylesheet comments through Markdown. You can write HTML snippe
前回はStyleDoccoを試したので、もう一つのKSS(Knyle Style Sheets)も試してみた。 KSSについてKSSはTomDocをモデルに開発された stlyeguide generatorらしい。 A better future with KSS をみればどんなものか把握できそう。 CSSを文書化して、各UIの状態を視覚化することで保守性を高めらる。また生成されるドキュメントは階層構造を持っているのでスタイルの継承を把握しやすい感じですかな。 Styledoccoと同じくcssやScssなどのファイルにコメント追加するのですが、KSSの場合はフォーマットがあります。 // // スタイルに関する仕様や説明を記載。 // Starを付けるbutton // // Experimental: A/Bテストなどの実験的要素 // // Deprecated: 廃止予定の要素
科学技術振興機構(JST)、藤田学園(藤田保健衛生大学)、生理学研究所(生理研)の3者は2月6日、日本医科大学、理化学研究所、九州大学、久留米大学、岐阜大学、愛知県 心身障害者コロニー発達障害研究所、アステラス製薬、放射線医学研究所、東京工業大学との共同研究により、遺伝子操作により脳内で軽度の慢性炎症を起こさせたマウスは、脳の一部が未成熟な状態になっており、その結果、「作業記憶」の低下や巣作り行動の障害が引き起こされていることを明らかにしたと発表した。 成果は、藤田保健衛生大 総合医科学研究所の宮川剛教授、生理研の高雄啓三特任准教授らの共同研究グループによるもの。研究はJST戦略的創造研究推進事業チーム型研究(CREST)の一環として行われ、詳細な内容は、米国東部時間2月6日付けで米国神経精神薬理学会誌「Neuropsychopharmacology」オンライン版に掲載された。 統合失調症
拡張現実で“萌えキャラ”に変身するロボットが間もなく登場!? ベンチャーを通じて販売も:ロボットとCGを合成 科学技術振興機構は、横浜国立大学に委託していた研究開発課題「ロボットへの仮想キャラクタ映像合成システムの開発」において、拡張現実を利用した変身ロボットの試作開発に成功。ベンチャー企業「異次元」を通じて個人向け開発キットの試験販売を計画している。 科学技術振興機構(JST:Japan Science and Technology Agency)は2013年2月7日、2009年度より横浜国立大学に委託していた研究開発課題「ロボットへの仮想キャラクタ映像合成システムの開発」において、拡張現実を利用した変身ロボット「バーチャルヒューマノイド」の試作開発に成功し、この成果を基に、研究開発担当者である庄司道彦氏が出資して、ベンチャー企業「異次元」を設立(同年1月8日)したことを発表した。同社を
I have been using it quite substantially for a number of different projects now and must say that I absolutely love the way it works. - Soteri Panagou I've been using your grid on a couple of small projects and I've got to say it's an awesome piece of work. It's very easy to configure and offers a lot of features while staying really responsive. As a programmer it inspires me to write better code.
どんなにチェックしても起きてしまう「校正ミス」。実は「脳」の機能にそもそも原因があったのです! これ以上ミスを重ねないためのコツをご紹介します。 「もっと注意して校正しろよ!」なんて、上司に怒られた経験はありませんか? ミスした箇所をチェックすると、何で見落としてしまったのかわからないような、シンプルな照合漏れ。確かに集中力が足りなかった……と反省せざるを得ません。 でも、どんなに注意しても、校正ミスって起きるんですよね。実はこれ、脳の機能が大きく影響しています。今回は、人間の体の特徴を踏まえた上で、校正ミスを飛躍的に減らすコツを紹介します。 脳に騙される? 校正は、AとBに書いてある文字が同じものかどうか照合するというだけの、原理的には、子供にだってできるはずのシンプルな作業です。 ところが、ベテランの校正者でさえ、ミスをゼロにすることはできません(ミスの発生率が1%なのか、0.01%
2013-02-16 理由はわからないが涙腺を爆撃する曲その2 諸般の事情によりもうだめなので、個人的に涙腺を爆撃する曲をならべてみたいと思います。説明の俺の言葉が妙にポエムがかって気持ち悪い可能性があるので、そこらへんは読まないと吉です。なにも文章がないとエントリっぽくないからなーと思って入れたくらいで。今日は車のなかで「アイの庭」聞きながら号泣してました。前回のエントリは、なんか検索とかすればそれっぽいの出てくると思います。 ・恋心 よく考えたらLiaでいちばん涙腺やられるのはこの曲でした。曲そのものはまあいかにもな感じで、俺としてはどっちかっていうと聞いてても退屈するたぐいの楽曲なんですが、終盤で出てくる「二人には出会いを」から始まる歌詞と、その静かなメロディ。ここで完全に殺られます。この世界を生きていくための最小の単位としての、どういう名前もつけられない「二人」。 いままでいろんな
非エンジニアに無念コードがなぜダメなのかを説明するメタファーを考えてみた。 目的は、無念コード・設計・環境・フローがあると、 いかに生産性が落ち、ビジネスがうまくいかないか、 プログラマーの心が病むかを、 なるべくエンジニアリングの用語を使わないで説明すること。 他にいいメタファーあったら、ブクマやらコメントやら、ブログ別書くなどして、 世界を幸せにしてもらいたい。 メタファー エンジニアリングとは部屋の掃除と一緒である ストーリー導入 あなたは、ある日、引越しを決意しシェアハウスに引越しました。 引越した先のシェアハウスのリビングは、 それはもう汚い。 散らかり放題、生ゴミ、壁の汚れ。 さぁ。どうしましょう。 さらに引っ越すという手段もありますが、 あなたは、リビングの掃除を試みるのでした。 ストーリー2 片付けをしていたある日、あなたは、 「リビングの中に、俺の鍵(機能や、コードなど)
「Rubyはバージョン2.0で、言語としてほぼ完成した」――。東京・目黒雅叙園で2月15日まで開催している「Developers Summit 2013」で、Rubyの生みの親であるまつもとゆきひろ氏(写真)はこう宣言した。 Ruby 2.0は、Ruby生誕20周年を記念して、2013年2月24日にリリースする予定の新バージョン。まつもと氏は講演の中で、バージョン2.0の新機能を披露するとともに、Rubyの今後についても言及した。「言語を壊さず(互換性を維持した状態で)、これ以上新しい機能を追加するのは難しい」(まつもと氏)ため、言語仕様としてはほぼ完成したと考えているという。しかし「言語は改善を続けなければ死んでしまう。今後もRubyの実装をより高速化したり、マルチコアへの対応を強化するするなど、互換性を維持した形でRubyをより良くしていきたい」考えだ。 今回の講演ではRuby 2.0
事故は全て北口側のホームで発生。4番線より北側には貨物列車の線路が2本走る(A~Dはそれぞれ写真の撮影地点を指す)※事故地点は大まかに示してあり必ずしも一致はしていません 「階段を上がるとホームが騒然としていたので、『またか』と思いました。線路上にあった血の付いた塊が視界に入ったんですが、あれは腕だったのか脚だったのか、思い出したくもありません・・・・・・」(3件目の現場に居合わせた30代男性) 城東地区のある駅が今、「自殺の新名所」として悪名を馳せている---。 今年7月~9月のわずか2ヵ月あまりの間に、飛び込み自殺が5件も発生したのは総武線のJR新小岩駅(東京都葛飾区)だ。死亡した5人はいずれも同駅を通過中の特急「成田エクスプレス」(NEX)に飛び込んでいる。 最初の事故が起こったのは7月12日。午前10時過ぎ、江戸川区在住の45歳女性が、大船行きの下り列車・NEX10号に向かってホー
UEI(ユビキタスエンターテインメント)が開発中のタブレット端末「enchantMOON」の波紋が広がっている。同社は2013年1月8日から米ラスベガスで開催された「2013 International CES」にenchantMOON試作機を展示し、各種メディアに取り上げられた。同社にはさまざまな方面からの問い合わせが届いているという。 タブレット端末分野は、2010年に登場した米AppleのiPadの成功で急激に注目が高まり、今では韓国サムスン電子、台湾ASUS、米Amazonら複数のメーカーが競う「激戦区」となっている。enchantMOONの試みは、一見するとこの激戦区に日本の中堅ソフトウェア開発会社が殴り込みをかける無謀な試みであるかのように見える。 だが、UEI代表取締役社長兼CEOの清水亮氏の談話を聞くことで、enchantMOONは現在主流となっているタブレット端末とはまっ
ちょっとした備忘録といったメモには Evernote を使っています。一時期に比べると使用頻度は少し落ちましたが、それでも使っています。地味なところですが、Evernote のタグ登録 UI が結構好きなのが理由の一つでもあります。 Web メールにおいては基本的に受信がメインで送信といっても殆どが返信で済んでしまっていますが、 Gmail を使っています。Gmail は非常に早いサイクルで機能や UI が刷新されまくっていますが、いつの頃から送信先、Cc、Bcc 入力のUIがまるでタグのような見た目とインタラクションになりました。この両者の UI はとても良く似ており、単純なカンマ区切りの文字列よりも視認性が高くて個人的に気に入っている UI の一つです。 そんな訳で、このタグ登録のUIコンポーネントを作ってみました。前回、jQuery UI Widget の作り方について学んだわけです
今回は、トレンドマイクロが、米大手新聞のニューヨークタイムズが受けた攻撃を題材にまとめた、解説記事から紹介しよう。 ニューヨーク・タイムズは数カ月前から同社システムが受けていた標的型(APT:Advanced Persistent Threat)攻撃について詳細を報告した。既に外部セキュリティ会社の協力を得て、攻撃者をネットワークから閉め出しているという。この報告が攻撃のライフサイクル全般にわたる概要を説明している点が興味深いとして、トレンドマイクロがブログで紹介している。 ニューヨークタイムズによると、同社はセキュリティ製品を導入していたものの、攻撃を阻止できなかった。同社が何の製品を使用していたかは不明だが、シグネチャーベースのエンドポイントセキュリティだろうとトレンドマイクロは推測している。 ニューヨークタイムズの説明では、攻撃者はまず、特定の個人の電子メールアカウントを通じて内部に
パソコンの遠隔操作事件で、威力業務妨害容疑で逮捕された片山祐輔容疑者(30)の弁護人となった佐藤博史、竹田真の両弁護士が十四日、都内で会見し、片山容疑者が「別に真犯人がいる」と身の潔白を訴えていることを明かした。 警視庁などの合同捜査本部は、片山容疑者が一月三日午後三時ごろ、神奈川県藤沢市の江の島で、ウイルスの設計情報を保存した記憶媒体付きの首輪を猫に取り付けたとみている。だが、両弁護士によると、片山容疑者は警察の調べに「江の島に観光に行った」とする一方、首輪を付けたことは否定しているという。 真犯人を名乗る人物が東京の雲取山に記憶媒体を埋めたとするメールを一月一日に報道機関へ送り、捜査本部は片山容疑者が昨年十一月に雲取山に車で出掛けたことを確認しているが、片山容疑者は「単なる登山」と説明しているという。
前回書いた 短期間でプログラミングを習得してWebサービスをつくるための知識と方法まとめ が好評だったので、今回は、JavaScriptに絞って習得するための方法をまとめてみたいと思います。 ちなみに、一番最初に、JSに触れた時は、Hello, Worldを表示させたり、 aタグでリンクをはったりぐらいしか出来ませんでした。 ですが、現在はjQueryで社内システムの 画面をつくる(Ajaxとかを使って)事を任せてもらっています。 なぜ、JavaScript(JS)がいいのか?なぜ勉強するのか? まずは、なぜJSをお薦めするのかを説明します。 ①ネイティブアプリがつくれちゃう。 ネイティブアプリとは、iPhoneアプリとか、Androidアプリのことです。 これまでは、iPhoneなら、Objective-Cという言語を、 AndroidならJava(JSとは別物)という言語
画像が表示されないページは、元画像を間違えて削除してしまっているためです。 もうデータが残っていないので、想像力で補ってください。 Arduino本(Starter Kitに入ってた本)の最初は、LEDを接続する回路だ。 といっても、ArduinoのGPIOに接続するのではなく、5V出力とGNDにつなぐだけ。 もちろん、抵抗もLEDと直列に接続する。 そうしないと、LEDが焼けてしまうから。 で、その抵抗が220Ωとなっていた。 その値は、どこからやってきたのだろう? 本には、オームの法則で「5[V] = I[A] * 220[Ω]」だから、LEDに流れる最大電流は23mAだよ、と書かれている。 じゃあ、その23mAを上限とすればよい、という値はどこから出てきたのだ? それ以前に、LEDと抵抗は直列つなぎだから、それぞれに電圧がかかるので、LEDが壊れるか何かでショートしてしまったら上記の
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く