約 103,411 件
https://w.atwiki.jp/pam-hokkaido/pages/268.html
札幌市豊平川さけ科学館 さけ科学館のおもな展示施設には、本館、さかな館、屋外かんさつ池があります。 ◎本館は、サケに関する展示が中心です。サケの仲間は、約20種類を一年中展示しています。 ◎さかな館では「豊平川の生物」というテーマで、札幌市内に生息する淡水魚を中心に、水そうで展示しています。魚以外にも、カエル・サンショウウオ・ザリガニ・エビ・カニ・カメなどがいます。 ◎屋外かんさつ池では、春〜秋にはサケの仲間を飼育展示しています。底に石を敷いた池にサケのオスとメスを入れ、産卵させています。メスが穴を掘る様子や、オス同士のけんかが観察できます。 〈札幌市豊平川さけ科学館公式サイトより引用〉 札幌市豊平川さけ科学館 〒005−0017 北海道札幌市南区真駒内公園2−1 TEL:011−582−7555 FAX:011−582−1998 パンフレット ※画像をクリックするとパンフレット(PDF)が開きます。 ホームページ http //www.sapporo-park.or.jp/sake/ 〈ブログ〉 札幌サケ情報blog http //www.sapporo-park.or.jp/blog_sake/ 山田秀三さんと歩く晩秋の精進川 http //blogs.yahoo.co.jp/kony4194/44252965.html 鮭皮を張った二胡製作ー④ http //blogs.yahoo.co.jp/erhukoubou/33653594.html 豊平川さけ科学館 (^^♪ http //blogs.yahoo.co.jp/positiveeagle/24462065.html 真駒内川のサケの遡上&さっぽろオータムフェスト2009 http //blogs.yahoo.co.jp/llmarimoll21/21813557.html さけの科学館 http //blogs.yahoo.co.jp/mamikocyanjp/29234180.html サケマスたち http //blogs.yahoo.co.jp/ueda272001/28053126.html サケ科学館(真駒内) http //blogs.yahoo.co.jp/tigers_championship_1985/24835453.html ④サケ科学館(真駒内) http //blogs.yahoo.co.jp/tigers_championship_1985/24835422.html ①サケ科学館(真駒内) http //blogs.yahoo.co.jp/tigers_championship_1985/24835336.html イトウ http //blogs.yahoo.co.jp/maronie2005/52804509.html おもしろ写真 http //blogs.yahoo.co.jp/toujyou_toujyou/26579480.html 携帯サイト 最新のチラシ imageプラグインエラー ご指定のURLはサポートしていません。png, jpg, gif などの画像URLを指定してください。 《周辺情報》 〈ブログ2〉 #blogsearch /
https://w.atwiki.jp/obbligato/pages/116.html
地球惑星科学 地形学系・地質学系 科学技術事業団 地球科学の基礎 日本列島の形成 地球科学用語集 日本地球惑星科学連合 原子力安全委員会 海上保安庁海洋情報部 測地情報 測地学テキスト USGS(米地質調査所) Geography USGS(米地質調査所) Geology 年代分析 放射線炭素年代測定について ESR年代測定法 熱ルミネッセンス年代分析法 気候学・気象学 気象庁 気象用語集 風の用語集 水文学 水文水質データベース 海上保安庁海洋情報部 天文学 読売新聞 星空ズーム 海上保安庁海洋情報部 天文情報 天文学用語集
https://w.atwiki.jp/tomokazu0525/pages/241.html
最終更新日時2011-10-31 日本は科学技術の進んだ国と言われる。しかし、そもそも「科学とは何か」に答えられる人は少ないだろう。科学技術ではなく、科学とは何だろうか。複雑な機械をつくること、聞いたこともない化学物質を作ることだけが科学ではない。 「科学や西洋医学は、もう限界だ!だから私達を信じろ!」みたいな話を、怪しい宗教や怪しい健康療法のチラシで、ちょくちょくみかける。科学とは何かがわかっていて、科学を否定しているのだろうか。 ■目次 科学哲学科学とは 学会:日本科学哲学会 関連クリティカルシンキング ページフッタこのページの1階層上のページ このページの1階層下のページ このページに含まれるタグ このページへのアクセス数 ■本文 科学哲学 科学とは 科学とはを説明する1つのキーワードは、カールポパーの 反証可能性 (Wikipedia) 。 学会:日本科学哲学会 日本科学哲学会 学会誌『科学哲学』総目次 関連 クリティカルシンキング 勉強用メモ - トップページ/未分類/クリティカルシンキング 科学で何かを説明しようというとき、「科学で何かを説明するとはどういうことか」を分かっていることが重要だ。 自身の方法論に対するメタ認知が必須だということ。 引用元: 東工大総合理工学研究科知能システム専攻 青西研究室 鈴木力憲のページ ページフッタ このページの1階層上のページ このページの1階層下のページ このページに含まれるタグ 科学とは何か(科学哲学) このページへのアクセス数 今日: - 昨日: - これまで合計: -
https://w.atwiki.jp/univhyogoslavia/pages/28.html
特徴 カコモン ない シラバス シラバスのサイトに飛びます。 ※2024年度のシラバスです。 シラバス_健康・スポーツ科学演習1 クラバス この講義に対する本音と感想を書こう。 みんなのコメントは「すべてのコメントを見る」から 健康・スポーツ科学演習1 コメント すべてのコメントを見る
https://w.atwiki.jp/rontips/pages/38.html
無印RoNでは最強と謳われたスペイン太古科学2の考察をしたりしなかったり。 正直なところ自分はスペS2はしたことないので、巧い人誰か頼む。 試しにCPUとやってみたが、安定するのかしないのかものっすごくぁゃιぃので。。。 ただまぁ太古で廃墟ボーナス742とか凄くキモイ数字が出ていたので、拡張でも悪くないとは思います。 要追加研究
https://w.atwiki.jp/shinsa/pages/49.html
情報科学における論理 テキストはこちら。 情報数学セミナー 情報科学における論理 小野 寛晰著 (株)日本評論社 ISBN 4-535-60814-8 目次 内容第1章 命題論理1. 形式化ということ 2. 命題と論理式 3. 論理式と真偽 4. 論理的に同値な論理式 5. 標準形 6. 形式体系における証明 7. トートロジーと証明可能性 8. cut除去定理 9. ブール代数 問題 第2章 述語論理1. 一階の述語論理 2. 述語論理の論理式 3. 構造 4. 恒真な論理式 5. 古典述語論理の形式体系LK 6. 完全性定理 内容 第1章 命題論理 1. 形式化ということ 対象言語とメタ言語の区別をする必要がある 2. 命題と論理式 命題および論理結合子、論理式、結合子の優先順位の定義 3. 論理式と真偽 真理値表の導入とトートロジーを定義する。また、部分論理式、付値、充足可能性の定義を行う。 与えられた論理式Aが恒真かどうかは決定可能である。(述語論理の場合とは異なる) 4. 論理的に同値な論理式 同値記号を導入。基本的なトートロジーの紹介 論理的同値性の定義。論理式の構成に関する帰納法 5. 標準形 論理和標準形 (DNF) 及び論理積標準形 (CNF) 標準形の存在定理 論理結合子の制限と存在定理 (論理和と「ならば」のみを持つ等価な論理式が存在する) 6. 形式体系における証明 シンタクスとセマンティクス。 形式体系LK (Gentzenによる、古典命題論理に対するsequent計算) の導入 式 (sequent) は Γ→Δ の形をとる (それぞれ論理式の列)。 公理 (始式) は A→A 推論規則は、各論理結合子に対する導入公理と除去公理、および構造に関するものからなる。 主論理式、副論理式 LKの証明図の定義、終式、証明可能性 7. トートロジーと証明可能性 トートロジーの概念を式にまで拡張。健全性 (soundness) と完全性 (completeness) (soundness) LKで証明可能な式はトートロジーである (complete) LKのトートロジーはLKで証明可能である (LKの完全性定理) LKにおいて証明可能であることとトートロジーであることは同値である。 ここでは一般のcut除去定理を用いない。式の分解と呼ばれる概念を用いて、完全性においてcutを持たない証明が存在することを示している。 LKの証明可能性は決定可能である。 8. cut除去定理 ここでは7.の内容から系として得られるものである。通常は証明木の構造を変換することによりこれを示す。 subformula property 規約の概念を用いた、証明可能性の決定方法 双対性と双対定理 ノート Hilbert流の形式体系 9. ブール代数 ブール代数、束の定義。双対擬補元 Hasse diagram ブール値付値 トートロジーであることと、ブール値付値が最大元であることは同値である。 問題 ウカシェビッチの三値論理 クレイグの補完定理 第2章 述語論理 1. 一階の述語論理 命題論理から述語論理へ、変数と定数、量化記号 2. 述語論理の論理式 言語を定義することについて 項、論理式の定義、束縛変数と自由変数、変数の出現 (occurrence)、閉じた式、閉包、項の代入、同時代入、部分論理式 3. 構造 述語論理のセマンティクスを定義する。 対象領域、解釈、構造 意味付けの定義。ここで変数の意味づけを行うために取っている方法はちょっと不自然 4. 恒真な論理式 恒真な論理式の定義、トートロジーの例を紹介。充足可能性の定義。 冠頭標準形の定義と存在定理 論理的同値 5. 古典述語論理の形式体系LK 命題論理のLKに量化記号に対する推論規則を追加したもの。 変数条件、固有変数の定義 cut除去定理 述語論理では証明可能性は決定不能である (Church) ノート Hilbert流の形式体系 6. 完全性定理 Gödelの完全性定理。述語論理のLKにおいて、恒真であることと証明可能であることとは同値である。 証明は略されている。命題論理と同様に証明できる? なお、5.にある通り完全性は成り立つが、恒真であるか (=証明可能であるか) は決定可能でないことに注意。 形式理論の定義、矛盾、無矛盾の定義
https://w.atwiki.jp/kaken/pages/114.html
科学研究部 部員の確認 ここから先は「科学研究部 部員」専用のページです。 ご覧いただくにはIDとパスワードが必要になります。 申し訳ありませんが、一般の方はご覧いただけません。予めご了承ください。 部員用IDとパスワードは「ホームページ紹介」の掲示物に掲載してあります。 部員用IDを利用した編集はできません。 部員専用ページ閲覧のみ可能です。 また、このIDはパスワードの変更ができるようになっていますが、 変更した場合、他の部員に迷惑となるので、しないでください。 そうなった場合は、部員専用ページの利用を制限します。 了解した上で科研部員専用へ進んでください。
https://w.atwiki.jp/zaininnokuni/pages/7.html
科学の国~ハッディート~ 古くから、科学が真実だと考えられていた国。 機械技術にもたけている。 神の信仰等などは薄い。 魔法の国(ビュユ)と長きにわたり争いをしている。 また、罪人の国(カティーナ)に罪人たちを追放している。
https://w.atwiki.jp/goukakutuuti2009/pages/257.html
早稲田大学 社会科学部 2-313 3-369
https://w.atwiki.jp/co-sci/pages/19.html
社会論 社会の定義は広範囲におよぶために難しい所があります。余科学の立場としては、社会学を正面から取り上げることはしませんので、ある面から構造論的に論じたいと思います。 レヴィ=ストロースは、動物がみずからの死すべき運命を知ることを阻むものが社会で、文化はそれを知る人間の対応と述べました。このように社会を機能的に定義した場合、資本主義や格差問題に対する解釈が得られます。 現代社会は競争社会であることは、ほぼ異論がない所と思われます。上記の定義に則れば、競争は死すべき運命を知ることを阻むものとしてとても有効な手段です。資本主義はその起源を辿ればそのような概念が発明された上で実現されたものではなく、人類社会に自然に定着したものであると考えるべきでしょう。資本主義を説くものとして有名な「資本論」がありますが、共産主義を唱えたマルクスとエンゲルスの著作であり、資本主義は共産主義の対義語として明確化されたものと捉えることが自然と考えます。そして、資本主義は競走を大いに促すものですから、資本主義社会は競走社会になります。 しかし必ずしも競争社会である必要はありません。かつての少数部族には、競走のような競走のない穏やかな社会があったと聞きます。実際にそういった社会は実現可能だと思われますが、世界の組織化・平坦化が進み、社会の巨大化が進む中では、死すべき運命を知ることを阻むものとして万人に通用する強力な慣性の力が必要であり、その唯一と言ってよいものこそが、競走ということになります。 競走が強力なのは、頭脳の構造によるものです。競走は序列であるので脳が最も得意とすることです。詳しくは頭脳論に述べます。