僕はバイオインフォマティクスという生物と情報の融合分野で研究を行っています。東大の理学部情報科学科にいた頃は同僚のマニアックな知識に驚かされたものですが、そのような計算機専門の世界から一歩外に出ると、それが非常に希有な環境だったことに気が付きました。外の世界では、メモリとディスクの違いから、オートマトン、計算量の概念など、コンピューターサイエンスの基礎知識はあまり知られていませんでした。コンピューターサイエンスを学び始めたばかりの生物系の人と話をしているうちに、僕が学部時代に受けた教育のうち、彼らに欠けている知識についても具体的にわかるようになってきました。 バイオインフォマティクスに限らず、今後コンピュータを専門としていない人がコンピューターサイエンスについて学ぶ機会はますます多くなると思われます。そこで、これからコンピューターサイエンスを学ぼうとする人の手助けとなるように、基礎となる参
Armadillo-500 FXでAndroid PDAを作ろう! きっかけ 10/22アメリカでは販売開始された、T-mobile G1(HTC)は世界初のAndroid携帯だ。輸入すれば日本でも入手は可能だが、日本の通信インフラ上では無線LAN以外、通常利用できない。 日本国内の通信キャリア各社の動向を見る限り、Android端末は暫くリリースの予定はなさそう、、、しかし、Android SDK 1.0は既に公開されているし、OpenSource化も時間の問題?と思える状況。。。後押しするかのように、WEB上ではAndroidのポーティング情報も盛りだくさん。 =モノ作り、という視点では条件が揃っている? ということで、「ないものは自分で作る!」という意気込みで様々なハードウェア、ソフトウェアの組み合わせでAndroid PDAを作ってしまおう!という企画です。全てやりたいことを盛り
Microsoftは4日 (米国時間)、研究目的で開発が進められているOS「Singularity」のソースコードを公開した。ソースコードは「Singularity Research Development Kit (RDK) 1.1」という開発キットの形で提供され、学術目的および非商用利用にかぎり無償利用が許される。開発キットは、Microsoftが運営するオープンソース開発支援サイト「CodePlex」からダウンロード可能。 Singularityは、Microsoftの研究部門「Microsoft Research」が開発を進めるOS。信頼性を重視する方針のもと基本から設計が行われ、ソースコードの大部分はC#のスーパーセット「SpeC#」 (旧称「A#」) で記述され、プロセスをソフトウェアにより隔離するSIP (Software Isolated Process) など、最新の技術
This home page is prepared for the people who are interested in receiving source code for Sony products with Linux and other open source software whose license requires the provision of source code. A copy of such source code also can be obtained from us on physical media for a period of three years after our last shipment of this product by requesting such a copy through our "Source Code Distribu
通信カラオケ「ジョイサウンド」を展開するエクシングと、「UGA」のBMBがカラオケ事業を一体化することになった。エクシングの親会社ブラザー工業が30日、BMBの親会社USENから、BMBの発行済み株式を全部買い取る基本合意を結んだ。 11月中の買収を目指す。具体的な枠組みや譲渡金額はまだ決まっていない。 業務用カラオケ機器の設置台数は40万台といわれ、近年減少傾向にある。BMBのシェアは30%弱、エクシングは15%。エクシングとBMBを合わせれば40%を超え、シェアが50%を超える第一興商との2強体制になる。 経営体質の強化に取り組むUSENが売却先を探していた。ブラザーはBMBの買収で、カラオケ事業の基盤を強化する。エクシングはカラオケボックスなど「デイ市場」への設置台数が多く、BMBはスナックなど「ナイト市場」への設置が多いので、事業の相乗効果があると判断した。 エクシングはB
IPv4アドレス枯渇が迫りつつあります。 現状では、再来年ぐらいに枯渇する事が予想されています。 このIPv4アドレス枯渇は、恐らくインターネットアーキテクチャに対して非常に大きな影響を与えます。 今、この瞬間にあるインターネットインフラと、3年後のインターネットインフラは結構違う形をしているのではないかと推測しています。 以下、何故IPv4アドレス枯渇がインターネットアーキテクチャの大変革をもたらすのかと、この問題の背景を説明したいと思います。 2つに分離するインターネット インターネットは戦時中の物資が少ない状況においても通信網が維持出来る事を想定して設計されています。 そのため、専用機器だけではなく、ありあわせの機器を繋ぎ合わせて通信が実現できることが重要な要素でした。 また、電話のような回線交換方式ではなく、パケット交換方式を採用して様々な種類の通信を同時に行える事も設計の柱でした
質量(地球)が2次元で描いた格子模様の平面に落とし込まれた状態を描いた説明図。格子模様をゆがめている様子が視認できる。また、歪んでいる格子模様自体が重力と解釈できる。この説明図を一般人にも理解できるよう例えるなら、重い物がトランポリンに沈む状態と同じである。 一般相対性理論(いっぱんそうたいせいりろん、独: allgemeine Relativitätstheorie, 英: general theory of relativity)は、アルベルト・アインシュタインが1905年の特殊相対性理論に続いて、それを発展させ1915年から1916年にかけて発表した物理学の理論である。一般相対論(いっぱんそうたいろん) 概要 重力場の概念図。中心に近づくほど重力が大きい。 一般相対性原理と一般共変性原理および等価原理を理論的な柱とし、リーマン幾何学を数学的土台として構築された古典論的な重力場の理論で
Twitter上で、@alohakun が言及していた GDB の reverse debugging の機能を使ってみました。 GDB にトレースと逆実行機能入ったのか。 http://www.gnu.org/software/gdb/news/reversible.html http://twitter.com/alohakun/status/4481139191 まずは簡単な使い方を説明したあとに、インストール方法を説明します。 こんなときに便利 「変なこと」が起きている大体の場所がわかっているとき デバッグ中に、大体どこで変なことが起きているかはわかっているけど、細かい場所は特定できていないとき、reverse debuggingが効果を発揮します。 GDBでステップ実行をしていて、「しまった!行きすぎた!」という経験はよくあると思います。こういうとき、今まではプログラムの実行を最
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く