ソフトウェアの基礎
Symbols_J:概要 Preface_J:前書き 前書き 概要 実際の学習について 章間の依存関係 学習者に要求される知識的前提 Coqについて 学習に必要なもの 教材となるCoqファイルの入手方法 練習問題について 推奨書籍 教育関係者へ Basics_J: 関数プログラミングとプログラムの証明 列挙型 曜日の表し方 ブール型 関数の型 数値 簡約を用いた証明 introsタクティック 書き換え（Rewriting）による証明 Case分析 Caseへのネーミング 帰納法 形式的証明と非形式的証明 証明の中で行う証明 さらなる練習問題 Lists_J: 直積、リスト、オプション 数のペア 数のリスト リストを使ったバッグ リストに関する推論 お小言 リスト上の帰納法 SearchAbout リストについての練習問題 (1) リストについての練習問題 (2) オプション apply タ
多分世界で最初のとんかつ評論家 元木一朗のブログ:僕がバイオベンチャーの社長を辞めたわけ
はじめに 最初に書いておくけれど、社長を辞めたのはひとえに僕の能力不足。誰のせいでもないです。じゃぁ、なぜこれを書くかって、後進に対して「ベンチャーの社長とはこういうもの」というのを示すためです。安易に起業をして人生を棒に振らないでね、ということですね。ちょうどさっき、「こうやったら失敗した」というビジネス本がほとんどない、という主旨のつぶやきをツイッターで書いたので、参考までに自分で書いてみます。 社長就任の背景 僕は東工大で修士を取ってから、新卒で三菱総研に就職しました。僕がやりたかったのはバイオの専門家としてのコンサル業務でしたが、残念ながらバイオの仕事はありませんでした。副社長に直談判して理研に出向に出してもらい、約３年間理研のお手伝いをさせていただきましたが、その期間を終えてもバイオの仕事はありませんでした。 ＃これも、当時は三菱総研のせいだと思っていましたが、単に僕の能力不足で
クライシスコミュニケーションとサイエンス／リスクコミュニケーションに関する試論 - 科学・政策と社会ニュースクリップ
東京工業大学大学院理工学研究科工学基礎科学講座 調麻佐志さんよりご寄稿いただきました。 クライシスコミュニケーションとサイエンス／リスクコミュニケーションに関する試論 調 麻佐志 （東京工業大学大学院理工学研究科工学基礎科学講座） サイエンスコミュニケーションと非常に近い領域として、リスクコミュニケーションおよびクライシスコミュニケーションがある。広義のサイエンスコミュニケーションは科学技術に関する科学技術者・科学技術者共同体と市民との間のコミュニケーション（あるいは、市民を含むステークホルダー間のコミュニケーション）を意味する。それに対して、リスクコミュニケーションはリスクに関する知識・情報についてのステークホルダー間のコミュニケーション（とそれを通じた知識・情報の共有）として、また、クライシスコミュニケーションは災害や事故、戦争など有事における事態収拾・管理のためのコミュニケーションと
東日本大震災 - 紹介 - 福島原発の放射能を理解する : 404 Blog Not Found
2011年03月19日09:45 カテゴリ東日本大震災SciTech 東日本大震災 - 紹介 - 福島原発の放射能を理解する おお、目覚めてみたら出来ている。 福島原発の放射能を理解する アメリカのBen Monreal教授が非常に良い解説を作ってくれました。もちろん個人的な見解ですが、我々ツイッター物理クラスタの有志はこれに賛同し、このスライドの日本語訳を作りました。能力不足から至らない点もありますが、皆さん、これを利用して自分の周り（家族、近所、学校など）で国民の不安を少しでも取り除くための「街角紙芝居」に出て頂けませんでしょうか というわけでこちらでも紹介します。 翻訳者のうち野尻美保子さん(@Mihoko_Nojiri)さんと前野昌弘さん(@irobutsu)は震災前からちょくちょくTLでバカ話をしていたので、その作業の一部始終を拝見しておりました。訳語チェックでほんの少しだけ私も
民族誌 - Wikipedia
民族誌（みんぞくし、英語: ethnography）は、フィールドワークに基づいて人間社会の現象の質的説明を表現する記述の一種。民族誌学（みんぞくしがく）とも。英語の ethnography は、ギリシア語のethnos＝国民・民族と、graphein＝記述に由来する。 民族誌は、あるシステムの様々な特性は、お互いに関係があり、単独では必ずしも正確に理解できないという考えに基づいた総合的な調査の結果である。 このジャンルは、形式と歴史において旅行記及び植民地政府の報告書の系譜を引く。いくつかの学問の伝統、特に構造主義と相対論的パラダイムにおいては、有効な研究方法として民族誌的な研究が要求される。 文化人類学および社会人類学[編集] 文化人類学および社会人類学は民族誌の周辺で発展してきた。例えばブロニスロウ・マリノフスキーの『西太平洋の遠洋航海者』、エドワード・エヴァン・エヴァンズ＝プリチャ
「脳を増強する薬」合法化を主張する『Nature』論説 | WIRED VISION
「脳を増強する薬」合法化を主張する『Nature』論説 2008年12月15日 サイエンス・テクノロジー社会 コメント： トラックバック (0) Brandon Keim Image: Todd Page 脳の働きを安全に高めてくれる薬があるのなら、なぜ使わないのだろうか？ 自分が使いたくないからといって、なぜ他人の使用まで止めるのだろうか？ 成績や仕事の評価を上げたいため、本来なら注意欠陥障害の患者に処方される薬を、その目的とは違った意図で日常的に、違法に服用している人々が存在する中では、こうした倫理的な問いかけが時宜を得たものになる。 『Nature』誌から、1つの答えが提示された。倫理学や神経科学の分野で著名な7人によって、12月11日号に掲載された論説「認識能力増強薬の、健康な人による責任ある使用に向けて」だ。 結論を言えば、合法化すべしということだ。 「責任能力がある成人は、薬に
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
ついに！在宅勤務で生産性が向上することが科学的に証明されました | ライフハッカー・ジャパン
SFC-GC
経済思想の歴史