RFits is a set of object oriented routines for reading, writing and manipulating FITS (Flexible Image Transport System) files--the standard image file format in astronomy. It is based on the well-known CFITSIO library provided by HEASARC. Development Status: 5 - Production/Stable Intended Audience: Developers, Other Audience License: GNU General Public License (GPL) version 2 Natural Language: En

CFITSIO is a library of C and Fortran subroutines for reading and writing data files in FITS (Flexible Image Transport System) data format. CFITSIO provides simple high-level routines for reading and writing FITS files that insulate the programmer from the internal complexities of the FITS format. CFITSIO also provides many advanced features for manipulating and filtering the information in FITS f

このライブラリは現在メンテナンスされていません。 CPU負荷を抑えて重い処理を軽くするJavaScriptライブラリは chillout.js をお使いください。 This repository is no longer maintained. To reduce JavaScript CPU usage by asynchronous iteration, use chillout.js instead.

あなたがお求めになった記事はURLが変更されたか、もしくは消滅しています。 ブログエンジンの変更にともない、過去の記事はほとんどが移動し、ごく一部は消去されました。 以下のURLからカテゴリ・タグ・検索ボックスを利用して、探してみてください。ご迷惑をおかけいたします。 ＞ブログ桝席 http://blog.masuseki.com/ ↓こちらも参考になるかもしれません。 ＞masuseki.comの構成 http://www.masuseki.com

サービス終了のお知らせ いつもYahoo! JAPANのサービスをご利用いただき誠にありがとうございます。 お客様がアクセスされたサービスは本日までにサービスを終了いたしました。 今後ともYahoo! JAPANのサービスをご愛顧くださいますよう、よろしくお願いいたします。

純粋数学（じゅんすいすうがく、pure mathematics）とは、しばしば応用数学と対になる概念として、応用をあまり意識しない数学の分野に対して用いられる総称である。 数学のどの分野が純粋数学でありどの分野が応用数学であるかという社会的に広く受け入れられた厳密な合意があるわけではなく、区別は便宜的なものとして用いられることが多い。また数学がより広範囲で利用されるに従い、分野としての純粋と応用との区別はあいまいで困難なものとなってきている。ただし、純粋数学という用語を用いる場合の志向としては、議論される数学の厳密性、抽象性を基とした数学単体での美しさを重視する傾向がある。 数論は公開鍵暗号や固定ギア自転車のスキッドポイントの分散化など数少ない応用例があるが、純粋数学とされ研究されている。 関連項目[編集] 応用数学 数理科学

自動証明検証システム Mizar（ミザー、ミザール）は、まったく厳密に形式的な形で数学的な定義や証明を記述するためのデータ記述言語（Mizar-言語）、実際にその言語で記述された証明の内容を検証することができる計算機プログラム（証明検証プログラム）、プログラムから参照して新たな証明の際に利用可能な定義と証明済みの定理からなるライブラリ (MML) の三者から構成される。 Mizar と同様の目的を持つプロジェクトに、ロバート・ボイヤーのQEDプロジェクトがある。 概要[編集] システムの開発は1973年にアンジェイ・トリブレッツによって始められ、システムの保守をポーランドのビアリストーク大学（英語版）、カナダのアルバータ大学、日本の信州大学で行っている。 Mizar-言語で記された証明文（以下、Mizar-論文）は普通のASCIIコードで書かれている。Mizar-言語は、数学の通常の言葉遣

数学の哲学において、直観主義（ちょっかんしゅぎ、英: Intuitionism）とは、数学の基礎を数学者の直観におく立場のことを指す。 来歴と評価[編集] これに類する主張は、カントールの集合論に対抗する形でクロネッカーやポアンカレによってもなされていたが、最も明確に表明したのはオランダの位相幾何学者ブラウワーである。ブラウワーの立場に対してポアンカレらの立場は前直観主義と言われることがある。ブラウワーは、数学的概念とは数学者の精神の産物であり、その存在はその構成によって示されるべきだという立場から、無限集合において背理法によって非存在の矛盾から存在を示す証明を認めなかった。それゆえ、無限集合において「排中律」、すなわちある命題は真であるか偽であるかのどちらかであるという推論法則を捨てるべきだと主張し、ヒルベルトとの間に有名な論争を引き起こした。 ヒルベルトの形式主義は、直接的にはブラウワ

グッドスタインの定理（グッドスタインのていり、Goodstein's theorem）は、数理論理学における自然数に関する命題であり、「全てのグッドスタイン数列は必ず0で終わる」という主張。ペアノ算術の範囲では証明も否定の証明もできないが、集合論の公理系、特に無限集合の公理を用いると真であることが言える。たとえばゲーデルの不完全性定理から導かれる決定不能な命題などは、いかにも不自然だったり人工的に見えたりする場合があるのに対し、この定理は「自然な」決定不能命題の例として知られる。 グッドスタイン数列の定義[編集] グッドスタイン数列を定義するに当たり、まず「nを底とした遺伝的記法」を定義する。ある自然数をｎを底とした遺伝的記法で表すためには、まずその数を（ただし、は0とn-1の間の値をとる整数）という形に書き換える。次に、ここに現れる各項を独立したnの積で表す。たとえば は という形になる

"The Unreasonable Effectiveness of Mathematics in the Natural Sciences" is a 1960 article written by the physicist Eugene Wigner, published in Communication in Pure and Applied Mathematics.[1][2] In it, Wigner observes that a theoretical physics's mathematical structure often points the way to further advances in that theory and to empirical predictions. Mathematical theories often have predictive

数学的宇宙仮説 (すうがくてきうちゅうかせつ、mathematical universe hypothesis, MUH) とは、マックス・テグマークによって提唱された、物理学および宇宙論における思弁的な万物の理論 (TOE)である[1]。究極集合 (Ultimate Ensemble) とも呼ばれる。 記述[編集] テグマークの唯一の仮定は、数学的に存在する全ての構造は物理的にもまた存在するというものである。すなわち、「自己認識する下部構造（人間のような知的生命体）を含むだけ複雑なこれらの[宇宙]においては、[彼ら]は自身を物理的に'現実の'世界に存在するものとして主観的に知覚する」ことを意味する[2][3]。その仮説は、異なる初期条件、物理定数、または全く異なる方程式に対応する世界もまた現実であるとみなされるべきであることを示唆する。 テグマークは、その仮説は自由パラメータを持たず、観

数学的宇宙仮説 (すうがくてきうちゅうかせつ、mathematical universe hypothesis, MUH) とは、マックス・テグマークによって提唱された、物理学および宇宙論における思弁的な万物の理論 (TOE)である[1]。究極集合 (Ultimate Ensemble) とも呼ばれる。 記述[編集] テグマークの唯一の仮定は、数学的に存在する全ての構造は物理的にもまた存在するというものである。すなわち、「自己認識する下部構造（人間のような知的生命体）を含むだけ複雑なこれらの[宇宙]においては、[彼ら]は自身を物理的に'現実の'世界に存在するものとして主観的に知覚する」ことを意味する[2][3]。その仮説は、異なる初期条件、物理定数、または全く異なる方程式に対応する世界もまた現実であるとみなされるべきであることを示唆する。 テグマークは、その仮説は自由パラメータを持たず、観

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "宇宙" 数学 – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2022年11月） 数理論理学において、構造 (もしくはモデル) の宇宙（うちゅう、英: Universe）とは議論領域のことである。 数学、とりわけ集合論や数学基礎論における宇宙とは、特定の状況において考察される実体のすべてを元として含むような類のことである。このアイデアにはいくつものバージョンがあるため、項目を分けて説明する。 ある特定の文脈において[編集] おそらく最も単純なバージョンは、研究対象が特定の集合で閉じている限り、任意の集合が宇宙であるというものである。 もし研

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "グロタンディーク宇宙" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2022年12月） 数学におけるグロタンディーク宇宙（グロタンディークうちゅう、英: Grothendieck universe、仏: Univers de Grothendieck）は次の性質をもった集合 U である[1]： x ∈ U, y ∈ x ⇒ y ∈ U（ U は推移的集合） x, y ∈ U ⇒ {x, y} ∈ U x ∈ U ⇒ x のベキ集合 P(x) ∈ U が U の元の族で I ∈ U ⇒ ∈ U 宇宙のアイデアは、アレクサンドル・グロタンデ

下位カテゴリ このカテゴリには下位カテゴリ 25 件が含まれており、そのうち以下の 25 件を表示しています。

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "数学基礎論" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2011年11月） 数学基礎論（すうがくきそろん、英: foundations of mathematics[1], mathematical logic and foundations of mathematics[2]）は、現在の日本では、もっぱら数理論理学[3][4][5]（mathematical logic[3]）を指す言葉として使われる[3][4][5][注 1]。 概要[編集] 数学書での解説[編集] 新井敏康『数学基礎論 Mathematical Logic』（増

ペアノの公理（ペアノのこうり、英: Peano axioms） とは、自然数の全体を特徴づける公理である。ペアノの公準（英: Peano postulates）あるいはデデキント＝ペアノの公理（英: Dedekind-Peano axioms）とも呼ばれる[1][2]。1891年にイタリアの数学者ジュゼッペ・ペアノにより定式化された。 ペアノの公理を起点にして、初等算術と整数・有理数・実数・複素数の構成などを実際に展開してみせた古典的な書物に、1930年に出版されたランダウによる『解析学の基礎』（Grundlagen Der Analysis）がある。 公理[編集] 集合 ℕ と定数 0 と関数 Sと集合Eに関する次の公理をペアノの公理という[3][注 1]。 0 ∈ ℕ 任意の n ∈ ℕ について S(n) ∈ ℕ 任意の n ∈ ℕ について S(n) ≠ 0 任意の n, m ∈

What is FITS? The standard data format used in astronomy Stands for 'Flexible Image Transport System' Endorsed by NASA and the International Astronomical Union Much more than just another image format (such as JPEG or GIF) Used for the transport, analysis, and archival storage of scientific data sets Multi-dimensional arrays: 1D spectra, 2D images, 3D+ data cubes Tables containing rows and columns

(FITS 情報の総本山 FITS Support Office Web Page と 教育用FITS ブラウザ Makali`i ver.1.3d)

俺コンアキバは、ネットワーク機器、ケーブルアクセサリを始め、ＦＡ制御パーツ、配線器具・電設資材の商品を 幅広く扱う秋葉原のお店です。

無効なURLです。 プログラム設定の反映待ちである可能性があります。 しばらく時間をおいて再度アクセスをお試しください。

基板からはがした薄膜を用いて作ったＬＥＤ（中央の光る部分）。ＬＥＤの特性を示す発光強度も従来のものと同程度＝ＮＴＴ物性科学基礎研究所提供 省エネ照明に用いられる発光ダイオード（ＬＥＤ）などに使う半導体の新しい製造方法を、ＮＴＴ物性科学基礎研究所（神奈川県）が開発し、１２日付の英科学誌ネイチャーに発表した。極薄で低コスト化の可能性を秘めており、窓や服などに張れる太陽電池の開発の道も開かれるという。 今回開発した製造方法では、青色ＬＥＤに使われる窒素とガリウムなどを素材とした半導体をごく薄い膜状にできる。層状に積み重なっているためはがれやすい窒化ホウ素を半導体と基板の間に挟むため、小さな力をかけるだけで基板から半導体の薄膜だけをはがすことができた。厚さは０．００２ミリとごく薄く、製造時間も大幅に短縮できコストも下げられるという。 従来の製法は、サファイアでできた基板の上に原料を載せて加熱、化学

大空へ飛翔することは人類の最大の夢でした。その夢に挑戦した人々の話です。 １．流体力学の課題 流体力学の最大の課題は １．流体中を移動する物体に働く抗力や管や水路の中を流れる流体の抵抗のメカニズムを明らかにすること。 ２．翼に揚力が発生するメカニズムを解明すること。 です。 １．の問題は流体が絡むあらゆる現象に関係しており、化学工学、土木工学、機械工学、航空工学、地球物理学、気象学、海洋学、天体物理学･･･等々の多くの分野に絡んできて応用上最も重要です。 ２．は飛行機の翼の生み出す効果の解明です。航空工学の最大の課題だと言って良いでしょう。空を飛ぶ機械を作ることは人類の最大の夢だったのですから。また翼の持つ優れた機能はは各種流体機械の広い範囲［プロペラ、スクリュー、風車、蒸気タービン、ガスタービン、ジェットエンジン、タービンポンプ、等々・・・］で利用されておりその性質の究明はきわめて重要で

サービス終了のお知らせ いつもYahoo! JAPANのサービスをご利用いただき誠にありがとうございます。 お客様がアクセスされたサービスは本日までにサービスを終了いたしました。 今後ともYahoo! JAPANのサービスをご愛顧くださいますよう、よろしくお願いいたします。

どこでもメール送受信や写真撮影ができる機能を備えたメガネの開発計画を発表したグーグル。画期的なアイデアだが、利用者には思わぬ難点も どうやらグーグルは本気で未来を変えようとしているらしい。だが、果たしてそれはより良い未来なのだろうか。 グーグルは先週、メガネ型端末の開発計画「プロジェクト・グラス」を発表した。端末の詳しい仕様は公表されていないが、公開された動画によれば、メガネを装着したユーザーの視界にグーグルのさまざまなサービスが表示されるようだ。道を歩きながらナビ機能や写真撮影、メールの確認やＳＮＳ投稿もできる。 ＳＦの世界のようなプロジェクトだが、実際のところ、このメガネの評価はいかがなものか。 まずはファッション性をチェック。発表されたのは、近未来的なシルバーのフレームに角ばった形状のデザインだが、ガジェット情報サイト「ギズモード」の評価は辛口だ。「このメガネ、めちゃくちゃオタクっぽ

臨床試験とは、新しい薬や治療法を開発することを目的に、これまでの医学的研究に基づいて、これらの薬や治療法を人に対して試みる研究のことです。 臨床試験は、①新しい治療法や薬の初期開発のために医師等が行なう探索的臨床研究（トランスレーショナル・リサーチ）と、②製薬会社などが行なう治験（厚生労働省への医薬品申請のために行なう）に分けられます。どちらも人（患者および健康人）に対して投与が行なわれるものですので、倫理的な条項や厳格な研究姿勢が求められ、第三者によって構成される機関からの審査やチェックが行なわれます。 新しい薬や治療法は「最先端ですべて良いもの」という印象をうけやすいのですが、過去の研究や動物実験などの結果から良いものだろうと判断された薬や治療法の安全性や有効性を確かめるものです。ですから、試験を受ける人にとって必ずしも「役に立つものとは限りません」。しかし、これらの研究の結果や成

Create a timeline of images using a search term and a starting date.

古いキー oldname を新しいキー newname にリネームする。もし新しいキーがすでに存在する場合、上書きする。

If you see this page, the nginx web server is successfully installed and working. Further configuration is required. For online documentation and support please refer to nginx.org. Commercial support is available at nginx.com. Thank you for using nginx.

manavee.comは、2017年3月31日を以って、サービスの運営を終了いたしました。 【利用者の皆様へ】 利用者の皆様には、ご不便をおかけして申し訳ありません。 授業動画は、YouTube上で引き続き掲載しております。講義で前提になっている資料は、別のページで利用可能にしております。 しかし、授業動画を引き続き掲載するかどうかは、それぞれの先生の判断に委ねられておりますので、利用ができなくなる場合もございます。 どうぞご容赦ください。 NPO法人manavee代表理事 花房孟胤 【支援していただいた皆様へ】 本サービスについては、個人寄付、法人寄付をはじめとして、様々な形で応援していただきました。それは、本サービスの継続的な発展が期待されていたからであったと考えております。この度、manavee.comの運営を終了することで、そうした未来への可能性が閉ざされることになります。皆様の期

Amazon DynamoDBとは？ Amazon DynamoDBは、シームレスに拡張ができ、高速で予測可能なパフォーマンスを提供する、フルマネージドのNoSQL(非RDBMS)です。これは、データベース管理、パフォーマンス、スケーラビリティ、および信頼性のコアな問題に対処するために設計されています。Amazon DynamoDBは、お客様が少額の料金を支払うことによって、高可用性データベースのスケーリングとオペレーションの管理負担を軽減します。 Amazon DynamoDBのサービス特徴 Amazon DynamoDB スケーラブル スループット供給 自動ストレージ拡張 完全に分散された非共有アーキテクチャー 高速で予測可能なパフォーマンス 容易な管理 フォールトトレラント済み フレキシブル 強い一貫性、原子性 費用対効果のある セキュア モニタリング EMR(Elastic Map

会社に転がってた、↓ の本をつらつらと眺めていて 今まで、よくわかっていなかった NoSQL という物に興味が湧いてきました。 上記の本は、そろそろ出揃った感のある NoSQL 系のデータストアエンジンを一通り並列に紹介してくれる本で、見て、軽くわかった気になるには最適です。 ただ、結局のところ、いつも使っている SQL と何が違うのかまでは読んだだけでは充分に理解できないよね、やっぱり試してみなくちゃね、という事で、使ってみました。 NoSQL と言えども、データストア！データを保存しなくては。入れるデータの元ネタに困りましたが、困った時は他人のふんどしを借りようと Twitter から適宜引っ張ってくる事にしました。キャズムを越えたらしいという噂の Twitter から URL を含んだツイートを引っ張りだして集計したら、世間で話題になっているネタが拾えそうかなと。誰かが勝手にデータを

ファシズムは、極左思想経由の極右思想である。 現に、ファシズムの始祖・ムソリーニは、もともとイタリア社会党（当時はまだ共産党はない）の極左派であり、その周囲に集まった初期ファシスト党員の大半はアナキスト（と前衛芸術家）であった。 この程度のことは、常識としておさえておいてもらいたい。 ファシストは、認識において共産主義者（マルクス主義者）であり、行動において反共主義者である。 ファシストは、資本主義がその危機の極点において、「必然的に」共産主義へと移行するという、マルクスの分析に全面的に賛成する。これはマルクス主義者が自慢するように「科学的真理」である。 しかし、水は確かに放っておけば百度で沸騰するが、我々には意志というものがある。我々は意志の力によって、火を止めたり水を追加したりするなどして、沸騰を阻止することができる。 ファシストは、共産主義を望まない。資本主義は、放っておけば「必然的

RaspberryPiBoard （日本語） このページは、ラズベリーパイ財団Raspberry Pi Foundation'sの子どもたちにコンピュータプログラミングを教えるための超低コスト（〜15UKPまたは25USD）Linuxコンピュータについて情報収集したものです。 ラズベリーパイ財団は、特に学校レベルで、コンピュータ科学と関連するトピックの研究を促進するため、およびコンピューティングを学ぶ楽さを還元するために存在している英国公認慈善事業（登録番号1129409）です。このコンピュータは、先進国と途上国の両方で他の多くの応用用途（アプリケーション）があると考えます。 ラズベリーパイはまだリリースされていないことに注意してください-このページには、ラウンチを準備する中で、進行中のコミュニティワークによるものです。 Events イベント 以下は、趣旨が伴う一般的な業界イベントです。

Situs Slot Gacor Maxwin Gampang Menang Dengan Jackpot Besar – Dalam dunia permainan online, khususnya pada permainan slot, istilah “slot gacor gampang menang” menjadi daya tarik tersendiri bagi para pecinta judi daring. Dalam artikel ini, kita akan membahas secara mendalam mengenai fenomena slot gacor gampang menang, menyoroti keunikan permainannya, serta… Continue reading Situs Judi Poker Online

SJN News　再生可能エネルギー最新情報 is currently undergoing scheduled maintenance. Please try back in 136 days, 8 hours, and 1 minutes (on 2024年6月25日 at 9:58 AM). Sorry for the inconvenience.

なんか debugger を調べていたら見つけたもの。 codegram/rack-webconsole @ GitHub 何をするものかjQuery を使って rails console をブラウザ上で実行するもの です。なかなか面白いでしょ。 使い方は簡単、jQuery をすでに使っていることが前提ですが、Gemfile に

研究をすすめるときには、「お金」と「時間」が、研究計画を大きく制約します。それは、やりたいことがあってもできない歯がゆさ、というものを生み出します。 自分が知りたいことについて、やるべき方法論、やるべき実験は、もう目の前に見えている。ただ、それをするには「余りにお金がかかりすぎる」「余りに時間がかかりすぎる」ので、指を加えてみていなくてはいけない、、と言う状況。 この歯がゆさを解消してくれるのは、科学技術の進歩です。先日も、こんなニュースが報道されました。 ヒトゲノム:８万円で解読、米の会社が１０月に装置発売 研究用機器メーカー「ライフテクノロジーズ」（本社・米カリフォルニア州）は１３日、ヒトゲノム（ヒトの全遺伝情報）の解読を１０００ドル（約８万円）でできる装置を１０月に発売すると発表した。現状に比べ５分の１以下と安く、解読時間も２週間から１日以内と大幅に短縮した。得られたデータは、患者ご

研究用機器メーカー「ライフテクノロジーズ」（本社・米カリフォルニア州）は１３日、ヒトゲノム（ヒトの全遺伝情報）の解読を１０００ドル（約８万円）でできる装置を１０月に発売すると発表した。現状に比べ５分の１以下と安く、解読時間も２週間から１日以内と大幅に短縮した。得られたデータは、患者ごとの薬の副作用の有無、病気の原因遺伝子を調べる研究などに役立つ。 ヒトゲノムは約３０億対の塩基と呼ばれる４種類の化学物質からなり、この塩基の組み合わせで遺伝子が構成される。 開発された装置はオフィスにあるプリンター大。半導体の上に塩基の種類を読み取るセンサーを配置して、解読効率を大幅に向上させることに成功した。 理化学研究所など日米欧の研究チームが参加した国際プロジェクト「ヒトゲノム計画」がほぼ完了した００年当時、解読には１億ドル程度かかっていた。 同社日本法人の熊井広哉マーケティングマネジャーは「数年前まで１

趣味でROSというロボット用ミドルウェア(Robot Operating System)を勉強した記録です。ROSを使ってロボットに知能を吹き込みます。 rubyによるROSのクライアント rosrubyを試しに作ってみました。 https://github.com/OTL/rosruby 簡単なドキュメントはこっちを参照ください。 基本的に書いてある通りにやれば動くと思います。 https://github.com/OTL/rosruby/wiki/rosruby まだ完全な動作を保証するレベルではないのですが、 デザインも含めてフィードバックいただきたく公開することにしました。 本当にプロトタイプそのままです。 ちょっとrubyっぽいのはSubscriberのcallbackをsubscribeの後にブロックで書けるところですかね。 Callbackの型が決まっているとノードクラスにC

リンク 初音ミクニュース 覚え書きオブジイヤー みっくみくなレイティアさん 初音ミク視聴のススメ 初音ミクみくらぶ Eclipse01の日記 VOCALOID総合まとめ ボーカロイドの歌詞置場 未来私考 海外もみっくみく 歌い手支援ブログ にわかボカロ厨の地図 へろへろだめにっき リクエスト投票実況板(・ω・)ﾓｷｭ 作ってみた業者 キオ式アニキャラ3D act.3 キオ式PVサウンド連合 天体少女図鑑 おくまの部屋(new新館) ねころぐ 蒼かな(ao no kanata) タリイ・アイシャムの青 BUNKA:EXTEND ----------------- VOCALENDAR ボカロ関係者Twitter一覧 ボカランまとめ VOCALOID関係のwiki一覧 VPVP（MikuMikuDance） みくだん VPVP wiki MMDアクセサリ管理庫 ぼかさち ぼかさる ボカ路地（R

お店で、おつりをもらおうとするとき、なにやら、手をちょいちょいちょいと縦に振ってからもらうしぐさを見せる人がたまにいます。相撲で力士が懸賞金をもらうしぐさよろしく、手刀を切っているのでしょう。 手刀を切る行為は「あいすいません」「ちょいと失礼します」などと、礼儀を示すためのしぐさとされています。ものを受けとるときのほか、人の前を横切るときにも、手刀を切りながら進んでいく人がいます。前を失礼します、といった意味が手刀を切る行為にふくまれています。

WordNetのデータを使って、Kindleで利用できるフリーの英和辞書を作ってみた。ここで言うフリーとは、無料かつ誰かに特別な許可をとることなく再配布したり改変したりできるということである。 ダウンロード 以下にデータを置いておく。これをUSB経由かネット経由でKindleに転送すれば辞書として利用できるようになる。 wordnet-ja.prc 背景 ここのところ、EngHelperプロジェクトで英辞郎を使ったKindle用辞書を作っていたのだが、ライセンスの制約上、生成したデータの再配布はできない。手前味噌ながら、EngHelperの辞書の使い勝手はかなり良いのだが、より手軽にKindle上で英和辞書を試したいという人達のために再配布可能な辞書を作ろうと思い立った。で、WordNet日本語版を使うとそこそこうまくできそうな気がしたので、実際やってみた。 WordNetはプリンストン大

はじめに FDR(False Discovery Rate)は多重検定を行う際の有意水準指標の一つです。 FDR を制御する最も簡単な方法は BH法(Benjamini-Hochberg法) です。 詳しくは下記をご覧ください。 Bonferroni法、Holm法、False Discovery Rate | 大阪大学腎臓内科 さて、BH 法は FDR の有意水準を 0.05 のようにあらかじめ決めてから行うのですが、実用上これは不便です。 なので、q-value という p値のように扱うことのできる FDR の指標をそれぞれの帰無仮説に対して求めるのが普通です。 BH 法を用いた q-value の求め方は以下の通りです。 N個の帰無仮説を、p値の小さい順に並べます()。 を に対して求めます。 かつ に対して、 ならば とします。 q-value は、 に対応する帰無仮説を とすると、

2012年04月15日00:00 厨弐妄想に役立ちそうな最先端技術や現象教えてくれ！ 1 名前：以下、名無しにかわりましてVIPがお送りします[] 投稿日：2012/04/14(土) 14:49:43.27 ID:AqADst4Ri レールガンやらARやら洞窟にはいると廃人になるやつやら 16 名前：以下、名無しにかわりましてVIPがお送りします[] 投稿日：2012/04/14(土) 15:03:06.84 ID:AqADst4Ri 磁性流体(磁石に引き寄せられる液体) とか 他にも実際あった 超能力的なものとか http://ja.wikipedia.org/wiki/磁性流体 磁性流体あるいはMR流体とは、流体でありながら、磁性を帯び、 砂鉄のように磁石に吸い寄せられる性質を持つ機能性流体(smart fluid)の一つである。 磁性流体は1960年代にNASAでPapellにより宇

Create a timeline of images using a search term and a starting date.

Conference Impressions Video Getting Ready Video See you at UbiComp 2014! Opening: Sep. 13, 2014, in Seattle, WA UbiComp 2013 The 2013 ACM International Joint Conference on Pervasive and Ubiquitous Computing (UbiComp 2013) is the result of a merger of the two most renown conferences in the field: Pervasive and UbiComp. While it retains the name of the latter in recognition of the visionary work of

The second-system effect or second-system syndrome is the tendency of small, elegant, and successful systems to be succeeded by over-engineered, bloated systems, due to inflated expectations and overconfidence.[1] The phrase was first used by Fred Brooks in his book The Mythical Man-Month, first published in 1975. It described the jump from a set of simple operating systems on the IBM 700/7000 ser

Gammapix by Image Insight

//intro [たったたたったた]7 たっどぅったっどぅっ //drum loop [どんどんたんつたすたどどたんつた]4 [ぶっどつたんしだ]8; //bass [rrrr]4 %9s40l8[＞＞そっっ＜どどっっ＞ふぁふぁっっし♭ーし♭らら]6; //backing tr [rrrr]4 %11s40l8[＞そっっ＜どどっっ＞ふぁふぁっっし♭ーし♭らら]4; [rrrr]4 %11s40l8[＞れっっ＜そそっっ＞どどっっふぁーふぁふぁふぁ]4; [rrrr]4 %14s20l8[そっっ＜どどっっ＞ふぁふぁっっし♭ーし♭らら]4; //lead [rrrr]4 %3s30l8[らっ＜れっどっれふぁーれーどーれっれ＞らっ＜れっどっれそっれーどーれどれ＞ [らっ＜れっどっれふぁーれーどーれっれ＞らっ＜れっどっれそっれーどーふぁっふぁ＞]2; #EFFECT0{delay30} #EFFEC

Boxed Nirvana is an audio track created with Brainwave Generator. It has similarities to HemiSync, Holosync and others. The track is intended to aid the stimulation of primary and secondary energy circuits, and put you into a deep trance state (mind awake, body asleep) - conducive to astral projection attempts. For a more detailed description and feedback about Boxed Nirvana, check out the forum t

サービス終了のお知らせ いつもYahoo! JAPANのサービスをご利用いただき誠にありがとうございます。 お客様がアクセスされたサービスは本日までにサービスを終了いたしました。 今後ともYahoo! JAPANのサービスをご愛顧くださいますよう、よろしくお願いいたします。