潰れて強度が増す「ミウラ折り」の不思議 三浦 公亮 氏
1930年東京生まれ。東京大学名誉教授、東京大学宇宙航空研究所助教授、文部省宇宙科学研究所教授。東京大学工学部船舶工学科卒業後、同大航空学専攻博士課程終了。東京大学の航空研究所が再開されたのに伴い、同研究所の助手となる。63年、コロンビア大学、66〜67年、NASAラングレー研究センターを経て、宇宙科学研究所（現JAXA宇宙科学研究本部）にて、宇宙構造工学を研究。宇宙構造物の設計家として、小型宇宙プラットフォームSFU（宇宙実験衛星）の二次元展開アレイ等の発明・開発や、電波天文衛星「はるか」の大型アンテナなどの設計に携わる。著書に「ゲームに勝つテニス―科学的思考によるレベルアップ法」（82年、光文社）、「ソーラーセイル―宇宙帆船とルナカップレース」（93年、共著、丸善）など。 破壊のメカニズム研究から生れた「ミウラ折り」 ──地図を折る時などに使われている「ミウラ折り」というのは、世界的に
あなたにも（たぶん）わかる 「ゲーデルの不完全性定理」 -- 発端＜ほったん＞編 --
Mon Dec 26 2005:start Wed Dec 28 2005:draft Tue Jan 03 2006:prefinal 関連記事：プログラマのための「ゲーデルの不完全性定理」＠檜山正幸のキマイラ飼育記 1. ゲーデルの定理は神秘主義の対極にある ゲーデルの不完全性定理を、自然言語（日常言語）だけで説明する試みを見 かけるのだけど、これは無理スジじゃなかろうか。前もってわかっている人は、 「あー、そうだね、確かに」と納得できるだろうが、その自然言語による説明 により初めて勉強をする（そして、ちゃんと理解する）ってのはほぼ不可能な 気がする。 一見回り道のようでも、記号論理学を一通り勉強して、ゲーデル符号化を （だいたいでも）追いかけないと、納得した気分にはなれないだろう。仮に正 確な説明だったとしても（そうじゃない例も見かける）、それが自然言語で記 述されると、なんだか騙さ
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
サービス終了のお知らせ
