小惑星に移り住もうと言うのだが、実際に小惑星は何処にあるのだろう？ では、簡単に小惑星の位置を計算する方法を紹介しよう。 まず、惑星とか小惑星の軌道データを公開している場所を探そう。 ネット上を探してみると、JPLのホームページに軌道データが公開してあった。 JPL Solar System Dynamics の Ephemeridesである。 最初は、惑星の軌道だ。 Keplerian Elements for Approximate Positions of the Major Planets のページにある惑星の軌道データである p_elem_t1.txt が使いやすそうだ。 これは、ケプラリアン要素と言い、楕円軌道の長半径とか離心率、軌道面の傾きなどの6つの要素で軌道を示すものだ。これを使って、軌道を太陽を焦点とした楕円として計算すれば、好きな日時の惑星の位置が判る訳だ。 とは言え
Google Code Blog - Apollo 11 mission's 40th Anniversary: One large step for open source code... アポロ１１号の月面着陸から４０周年ということで，最近やたらとアポロ計画関連の話題を見かける。そんな中，アポロ計画にちなんだ話題として Google Code Blog に投稿されたのが上のエントリー。 Google Code 上で公開されている Virtual AGC and AGS プロジェクトの中に， NASA のハードコピーから転記された本物の AGC （アポロ誘導コンピュータ）のソースコードがありますよ……とのこと。 このソースコードには，オリジナルのアセンブリコードに記されていたラベルやコメントまでしっかり転記されている。それらの記述に目を通していると，そのコードを書いた人の考えや気持ちが伝
About SCIgen is a program that generates random Computer Science research papers, including graphs, figures, and citations. It uses a hand-written context-free grammar to form all elements of the papers. Our aim here is to maximize amusement, rather than coherence. One useful purpose for such a program is to auto-generate submissions to conferences that you suspect might have very low submission s
Introduction FFTW is a C subroutine library for computing the discrete Fourier transform (DFT) in one or more dimensions, of arbitrary input size, and of both real and complex data (as well as of even/odd data, i.e. the discrete cosine/sine transforms or DCT/DST). We believe that FFTW, which is free software, should become the FFT library of choice for most applications. The latest official releas
<body> You browser does not support frames.<br> Click <a href="menu.htm">here</a> to load menu </body>
このエクササイズでは3つの電話の音を作るつもり。それぞれ全く異なっていて、別々の原理を使ってる。これを実現するために3つの合成手法と3つの制御構造をみていこう。「同じ音」を3つの異なった手法で作ることで、どのような音の記述法が実現可能な実装に導くのかを理解できるようになる。それぞれが効果的に合成され、ある登場人物が鳴らす音を生成するための客観的な手法として、ゲームデザイナーは簡単にコードに組み込める。こういうことをやってくと、インターフェースデザインが振る舞いや制御構造にどのように関係してるかが分かるようになる。 最初の電話は1980年代のアメリカ式のもので、沢山のテレビ番組でおなじみだ。現実世界とは何の対応もなく、言い換えれば完全に人工の音だ。僕らは電話を知ってるから、電話が鳴ってることを連想できる。つまり、第一原理や物理的な分解は機能しないってこと。その代わりそういう電話がどうやって動
ANN is a library written in C++, which supports data structures and algorithms for both exact and approximate nearest neighbor searching in arbitrarily high dimensions. In the nearest neighbor problem a set of data points in d-dimensional space is given. These points are preprocessed into a data structure, so that given any query point q, the nearest or generally k nearest points of P to q can be
Stanford CS Education Library This online library collects education CS material from Stanford courses and distributes them for free. Update 2006 For learning code concepts (Java strings, loops, arrays, ...), check out Nick's experimental javabat.com server, where you can type in little code puzzles and get immediate feedback. Pointers and Memory -- videos and materials on basic pointers Lists and
■ 蛾は唯蛾の一匹に生まれた為に蝋燭の火に焼かれるのである*1 http://d.hatena.ne.jp/m-hiyama/20060221 引用されている僕の文章に次が含まれます（少し簡略化した）。 canProveは、命題が、ある機械的定理証明系で証明可能であればtrue、反証可能（否定が証明可能）であればfalseを返す。 この文にあるとおり、「canProveがfalseを返すのは否定が証明できるとき」です。「canProveがfalseを返すのは肯定が証明できないとき」と僕は言ってません。 はい、この一文は(引用していながら)全然気づいていませんでした。これならば、ここから不完全性定理が導けることも正しいと思います。大変失礼しました。 以下は私がどこで混乱したかのまとめです。一番致命的なのは上の一文を見逃した点ですが、ここに至るまでにいろいろとこんがらがってしまいました。 ま
This domain may be for sale!
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く