ブログ パスワード認証 閲覧するには管理人が設定した パスワードの入力が必要です。 管理人からのメッセージ 閲覧パスワード Copyright © since 1999 FC2 inc. All Rights Reserved.
sbietc - FC2 BLOG パスワード認証
ブログ パスワード認証 閲覧するには管理人が設定した パスワードの入力が必要です。 管理人からのメッセージ 閲覧パスワード Copyright © since 1999 FC2 inc. All Rights Reserved.
ゲーデルの不完全性定理を代数学を使って表現してみた - とりマセ
『代数学は得意だけど，数学基礎論とかさっぱり分からない．論理とかマジイミフ』そんなアナタを対象に，ゲーデルの不完全性定理を解説してみよう！ のコーナーです． 論理学と代数学（可換環論）との対応については，檜山さんによる素晴らしい記事があります： 古典論理は可換環論なんだよ - 檜山正幸のキマイラ飼育記 ただ，『論理学といえばまずコレ！』とも言うべき『ゲーデルの不完全性定理』の代数学的表現については書かれていないようなので，ちょっぴり魔が差して，ここでゲーデルの不完全性定理の代数学的な表現を与えることにしました． だが，単にゲーデルの不完全性定理を代数学で表現するだけじゃあつまらない……倍プッシュだ……！というわけで，プラスアルファとして，その他色んな分野との関わりを含めて紹介します． 0. 理論は対応する代数を持つよ！： リンデンバウム代数 まず，論理学と代数学を対応させる第一の架け橋
ミツバチ大失踪はウイルス 米大学が原因究明 (1/2ページ) - MSN産経ニュース
ミツバチが大量に失踪（しっそう）する謎の病気ＣＣＤ（蜂群崩壊症候群）は、ミツバチのタンパク質合成機能を「乗っ取る」ウイルスの大量増殖によって引き起こされている可能性がある−３日までに発表されたある研究で、こんな結論が出された。 米国科学アカデミー紀要（ＰＮＡＳ）に掲載された同研究によると、ＣＣＤが観察されたミツバチの細胞内では、「タンパク質工場」として機能する細胞器官、リボソームが粉々になっていた。イスラエル急性まひウイルス（ＩＡＰＶ）や羽変形病ウイルス（ＤＷＶ）といったウイルスがリボソームの異常を引き起こし、ミツバチの病気・ストレス耐性を低下させている可能性があるという。 米イリノイ大学の昆虫学者で同研究の共著者であるメイ・ベレンバウム氏はインタビューで、研究によってウイルスの大量繁殖がコロニー崩壊の引き金となっていることが示唆されたと説明。 「ミツバチのタンパク質合成能力は病気や栄養不
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
