博物館に収蔵されている学術標本は，博物館が成立した明治以降の近代科学の基盤として，自然史・文化史・技術史における科学の進歩に貢献してきた．また，そうした科学の進展を社会に示すための博物館展示も行われてきた．しかしながら，標本が個別の研究分野において有効に活用・議論されてきた一方で，標本や博物館の機能や役割について科学の基盤と関連して認識，議論されることはほとんどない．ここでは博物館と標本について，自然史・文化史・技術史の分野を超えて，科学研究における証拠機能，参照機能，学術研究成果との連結，新しい活用の可能性などの問題を取り上げます．教員が最新の議論や論文，総合博物館での標本の実例を紹介したり，実際に収蔵室や標本を専門分野の教員の協力のもとで見てみたり，標本や博物館に関連したテーマについて出席者でグループ発表・議論を行います．本などの出版物，国内外の博物館のウェブサイト，ネット上の情報を活用しながら自分の考えを深め，パワーポイントなども活用したプレゼンテーションへの取り組みができることが望ましいです．標本と関わりの深い学問（自然史，文化史，技術史）に関心のある学生にくわえ，科学の基盤としての標本やそこから生み出されたデータ，研究成果などに関心のある学生，博物館と社会の関わりに興味のある学生，博物館や標本が好きな学生と，多様な興味をもった全学部からの受講を期待する．

博物館と標本の機能や役割について科学基盤に着目しながら，分野横断的に理解する．一次資料としての標本と，そこから派生したデータ，また論文等の研究成果の違いと関わりを理解する．また，標本や資料の多様性を理解し，社会教育や社会との関わりも含めた博物館の機能や役割についての考えを深める．授業の中で自分の考えをもとに積極的に発表し，議論に参加できる．

授業で扱う内容
扱うキーワードをあげるが，実際の進行や受講者の議論の展開によって，内容が前後することがある．講義では教員からの話題提供，受講者の発表，グループディスカッションを組み合わせて行う．総合博物館の収蔵室・展示室や標本・資料（動物，植物，地質鉱物，考古学，技術史，アーカイブなど）のその分野の教員の案内による見学をあわせて実施する．キーワードは博物館標本の見学と組み合わせて学ぶことが多い．
第１回　博物館の標本とは何か，博物館の歴史（概論）
　　研究と標本の相互作用，明治時代，博物館と博覧会，博物学と近代科学，「博物館」の語源
第２回　総合博物館標本の見学
第３回　総合博物館標本の見学，「モノ」の標本と「モノでない」二次資料
　　標本，写真，スケッチ，模型，同定結果
第４回　研究における標本の証拠機能
　　科学不正，研究ノート，誤同定，先行研究
第５回　総合博物館標本の見学
第６回　総合博物館標本の見学
第７回　総合博物館標本の見学，研究における標本の参照機能、その他の機能
　　タイプ標本，自然の参照，「残った」文化史標本と「残した」自然史標本
第８回　博物館の多様な機能
　　研究，専門教育，社会教育，博物館専門家育成，
　　人類の知的遺産，博物館の機能や役割の国際比較
第９回　総合博物館標本の見学
第１０回　科学基盤としての博物館と標本の役割と未来への継承
　　標本データベース，分野横断型科学，博物館科学，標本ネットワーク，次世代人材，科学政策
第１1回　グループディスカッションとプレゼンテーション作成
第１２回　グループディスカッションとプレゼンテーション作成
第１３回　グループ発表と全体でのディスカッション
第１４回　総合議論
試験は実施しない
第１５回　フィードバック　フィードバック方法は別途連絡します
　

特になし

発表３：平常点７で評価する．
発表は，グループ発表と第１４回の総合議論を評価する．
平常点では講義に出席し，議論での積極的な発言を評価する．

博物館，標本，文化財などに関する報道や話題に日常的に関心をもち，自分自身で考えることが望ましい．

　現在、都市に人口が集中し、その暮らしに自然を感じることは少なくなっています。そして、あらゆる生活の基盤は自然の創造物に依存しているのに、それらが産み出される現場（森や川や海）や過程との解離は大きくなっています。自然がないがしろにされ、地球温暖化や生物多様性の喪失など多くの環境問題が生じ、加えて、地域ごとに多様であった里山を囲んだ暮らしは画一化し、暮らしの中に存在した様々な多様性も失われています。これらの結果、生態系や暮らしは持続可能ではないのではないかと考えられています。
　セミナーでは自然の中でも、特に森に着目し、自然と暮らしのつながり、そして持続可能性について考えます。森林が私たちにもたらしてくれるもの、都市に住む人にとっての森林とは何か、どうしたら都市の人々も自然と触れ合えるのか、都市や工場などの人工的な森林や、試験地の里山などのフィールド実習を通じて、それぞれの特性、違いを感じるとともに科学的に評価します。そこから都市に暮らす私たちになぜ森林が必要なのか、自然とともにあることの意味を再検討し、自分なりの持続可能性について考えるきっかけにしたいと思います。自然や林業に興味がある人や健康やしあわせに興味がある人等、理系・文系問わず参加してください。

森里海、さらには人と自然が連環することの意義について理解する。
地域の自然資源、文化的資源などの情報を収集、整理し、利活用から持続可能性を考えられるようになる。

各課題についてそれぞれ１から２回を予定している。また、週末を利用して上賀茂試験地や工場緑地でのフィールド実習を行う。授業回数は講義・実習・フィードバックを含め全15回とする。

① 持続可能な社会への動き
② 持続可能性についての座学・意見交換
③ 上賀茂試験地での里山実習（半日程度）
④ 都市緑地・工場緑地での実習（半日程度）
⑤ 人と森林の関係を考える（３回程度）
⑥ 持続可能とはどういうことか・意見交換

同時に開講している森里海連環学系科目「森里海連環学I」ならびに「森里海連環学II」を受講することが望ましい。

実習ならびに各回でのディスカッションへの参加（50点）、毎回の小レポート・最終レポート（50点）などから総合的に判断する。

フィールドセンターのHPなどを通じて、森林に関する情報を得ておくこと。

学生教育研究災害傷害保険に各自必ず加入しておくこと。
実習開催時期により、成績の登録が前期に間に合わない場合があります。
オフィスアワー実施の有無は、KULASISで確認してください。
上賀茂試験地・工場緑地での実習の交通費（各1000円程度）が必要です。

　人が宇宙に滞在すると様々な身体的変化が生じる。宇宙で生じる人体への影響は、時として地上に帰還した際に問題になることがある。そのため、宇宙滞在中の人体影響を理解し、それに対応することが重要である。宇宙医学とは人が宇宙に滞在した際に何が生じ、それがどのように影響するかを研究する分野である。
　これまでの宇宙医学は健康な宇宙飛行士を対象としており、宇宙から地球に帰還した際の再適応時に生じる問題に取り組んできた。宇宙開発は国家プロジェクトとして行われてきたが、昨今民間レベルでの宇宙分野の進出が活発である。今後は、一般人の宇宙滞在も現実のものとなってきた。このような状況の中、宇宙医学はどのように貢献できるのかを学ぶ。

宇宙医学とは何かを学ぶ。

講義：宇宙医学について【講義5回】
実習：宇宙医学実習（筋電測定）【講義6回分】
課外活動：関連研究所の見学実習（京都市外）【講義3回分】
ディスカッション：宇宙医学についてのまとめ【講義1回分】

＊課外活動は夏季休暇等、他の授業に影響がない日に調整します。

特になし

最終レポートにて評価する。

常日頃より宇宙に関するニュースなどに関心を持っておくこと。

学外への見学予定があるので、“学生教育研究災害傷害保険”等の傷害保険へ加入すること。
見学に係る交通費等は受講生の負担となる場合があります。

ロボットに関する研究開発が進み、人間そっくりの外見のアンドロイドロボット、人のように二足歩行するロボットなどが作られるようになってきた。「Pepper (Softbank)」「Astro (Amazon)」など、人とコミュニケーションするロボットの商品化も進む。時には店頭などの日常空間でもロボットを目にするようになってきた。

この授業では、もう少し技術開発が進んだ近い将来にこのようなロボットが我々の日常生活に入ってくる将来像について考える。そのために、資料の輪読とアクティブラーニング形式の学習により、人々とコミュニケーションする「ソーシャルロボット」にかかわる諸技術について入門レベルの知識を学ぶ。また、ワークショップ形式でロボット（特に、ソーシャルロボット）がどのように我々の日常生活の中に入ってくるのか、その将来像を検討する。これらの題材を通じて大学でこれから身に着けることが期待される、自ら能動的に学ぶ力、対話から学ぶ力、新しいアイデアを生み出す創造性、に触れることのできる少人数制の授業を行う。

人々とコミュニケーションする「ソーシャルロボット」に関する入門レベルの知識を習得する

授業計画は下記の通りである。1課題あたり1〜2週の授業を予定する。ただし講義の進捗などに応じて一部内容を変更する場合がある。なお、授業回数はフィードバックを含め全15回とする。

1. 導入
2. ロボットのハードウェア
3. 人工知能
4. 人間のコミュニケーション
5. ソーシャルロボットのアプリケーション
6. 倫理・法的・社会的な課題 (ELSI)
7. ワークショップ: ロボットとの未来を考える
8. 発表と議論

2回目の授業から、各自、ノートPCを持参すること。ノートPCを準備できない場合には、事前に教員にコンタクトをとること。

平常点評価（授業への参加状況、小レポート）による。詳細は初回授業で説明する。

配布資料をもとに予習・復習をすること

オフィスアワー：メールによる事前予約のこと。メールアドレスは以下の通り：
神田：kanda@i.kyoto-u.ac.jp

現在の日本は“巨大複雑系社会経済システム”で溢れかえっている。これは、「空間的あるいは物理的あるいは社会的広がりが巨大であり、その中に内包される多数の要素の相互関係が複雑であり、かつ社会や経済に多大な影響を与えるシステム」を意味するが（日本学術会議による定義）、平たく言えば、原子力システム、宇宙システム、人工物ネットワーク、金融システム、携帯電話システムである。巨大かつ複雑な人工物で、一旦事故でも起こりようものなら、その影響は社会的にも経済的にも計り知れない、そんなシステムのことだ。このことは、福島第一原子力発電所の事故で証明されたと言ってもいいだろう。事故以降、原子力システムの信頼性が問われるとともに、そもそも科学技術そのものを信頼していいのかなどの議論も沸き起こる。本セミナーでは、工学システムの信頼性に関する一般論や人工物システムの安全性について講述するとともに、社会に受容される技術について討論する。

人工物工学システムの信頼性や安全性に関する学術を理解するとともに、最近のシステム保全学やレジリエンス工学の進展にふれる。確率統計学を使ったシステム信頼性に関する演習を行う。福島第一原子力発電所事故の経過や教訓に関する技術報告書や調査報告書を読んで、レポートを作成する。教員・学生との討議を通じ、リスクの考え方や科学技術の社会的受容性について考察する。将来のエネルギー選択の判断に必要な基礎知識や科学リテラシーを習得する。

以下の各項目について講述する。受講者の理解の程度を確認するために簡単な演習やレポート作成を求める。また、技術と社会に関する討論を行う。

１．イントロダクション

２．信頼性の科学
　　・信頼性の基本式、信頼性関数の基礎（2回）
　　・確率統計学の基礎、データの統計的解釈（2回）
　　・リスク評価と寿命評価、信頼性予測（3回）

３．科学の信頼性
　　・人工物システムの事故事例（3回）
　　・原子力安全の深層防護とレジリエンス（2回）
　　・科学技術の社会的受容性（2回）

４．期末試験（レポート試験）

５．フィードバック（1回）（具体的な方法は別途連絡します。）

特になし

平常点評価（出席と参加の状況、討論への積極的参加、演習および課題レポート）

評価の割合は以下のとおり。
　授業への参加状況25%、討論への積極的参加25%、演習および課題レポート50%

授業資料等を利用して、復習及びレポートを作成する。昨今の原子力に関する新聞記事や報道等には日頃から興味を持っておくこと。

授業中わからないことについては積極的に質問することを期待する。

医学と生物学の学問領域では、生命現象の基礎的・総合的な理解のために多くの発見・知見の蓄積が進んできました。また、疾患の原因解明、予防・診断・治療法開発も進んでいます。しかし、未だ分かっていない生命現象や予防・診断・治療法がない疾患が数多くあります。本セミナーでは、「医生物学」のなかでも生命システム領域を中心に、複数の最先端の学問・研究内容にふれる機会を提供し、議論を通じて、医生物学研究の概要を学びます。さらに、関連したテーマについて、各自が調査・発表してもらいます。

講義、調査、議論、発表を通じて、医生物学に関する基礎的理解を深め、論理的思考と問題解決能力、考察力、プレゼンテーション能力を身につける。

最先端の医生物学のトピックスについて、入門的な知識を学び、議論を通じて理解を深める。具体的には以下に示す内容を取り上げる。
第１回（三井 優輔）：
　医生物学入門の概要と授業のガイダンス　
第２回−第５回（三井　優輔）：
　受精卵から複雑な体が作られる際には細胞の位置や方向性の情報が適切に制御される必要がありますが、そのような位置情報や方向性に関わる分泌性のシグナル蛋白質について概説し、現在進行中の研究についても紹介します。カエルや培養細胞を高性能な顕微鏡で観察する研究の現場を見学する機会も設けます。
第６回ー第１０回（森　博幸）：
　細胞内で新しく合成されたタンパク質が生体膜を横切り他の場所に適切に運ばれる機構や、新生タンパク質が正しい立体構造を獲得するために働く分子シャペロンの役割等について、それらの因子の発見から最先端の研究までを物語的に概説します。タンパク質の分子模型に直接触れたり、簡単な実験・観察も行う予定です。
第１１回−第１４回（塩見　晃史）：
生物の身体を構成する細胞は、隣り合う細胞と協調しながら形や力の性質を変化させることで、組織の形成や機能、恒常性の維持に重要な役割を果たしています。本講座では、こうした細胞集団における秩序だった力学特性の制御について概説し、近年開発が進められている新しい測定法を見学・体験します。
第１５回（三井　優輔、森　博幸、塩見　晃史）：
　３人の講師の話題の中から興味を持った内容を各自１つ取り上げ、調査・勉強した内容を簡潔にまとめて5分程度で発表してもらいます。全員での質疑応答を通して発表内容の理解を深めると共に議論の楽しさを学びます。

特になし

出席と参加の状況、レポートおよび発表とゼミ中の討論への参加状況により評価します。

毎回の講義内容について復習し、次回講義において討論するための準備をしておくこと。

　身近な日常生活における、身体やモノや空間にかかわる営みについて考える。また、自分自身の日常生活がどのように形作られ、いかなる社会的な力がそこにはたらいているのかを批判的にみる目を養う。
　「汚穢」「乱れ」「おぞましい」などをキーワードとする学術エッセイ集を最初の手がかりとし、参考文献の読み方、まとめ方、探し方の基礎を学ぶ。
　その後、身近な環境や生活空間のなかで自分が「乱れ」「汚穢」などを感じたものを写真に記録する課題や、日々、自分と共同生活者の身体と生活空間のケアのためにどんな作業をどのくらいの時間をかけて行なっているかを記録する課題などを行う。これらを通じて、日常を構成する物質的・空間な条件と営みを意識的に見つめてみる。入門的な調査課題（聞き取り・観察）もまじえながら、人類学的な研究手法を実践的に学ぶ。
　授業の最後には各自が生活を題材とした学術エッセイ（＝期末レポート）を仕上げ提出・共有する。

１）文化・社会人類学の基礎的なアプローチを理解し、テキストの内容を正確に要約できるようになる。
３）身近で具体的なものの細かな部分に注意を払い、わかりやすく記述するとともに、それを抽象性をもつ理論的なまなざしと組み合わせる文章を書く力を身につける。
４）他の受講者の発表や文章を関心を持って聞き、読み、その内容について踏み込んだ議論をする力を身につける。

（１）イントロダクション：「よごれ」と生活という問題系
（２）文化人類学者とは何をする人たちなのか
（３）身のまわりの違和を記録する
（４）学術エッセイをレビューする・発表１
（５）学術エッセイをレビューする・発表２
（６）学術エッセイをレビューする・発表３
（７）現地調査入門・準備編１
（８）現地調査入門・準備編２
（９）現地調査入門・実践編
（１０）テキストを自分で探してレビューする・書籍編
（１１）テキストを自分で探してレビューする・論文編
（１２）生活に関わる学術エッセイ文章の構想発表・発表１
（１３）生活に関わる学術エッセイ文章の構想発表・発表２
（１４）エッセイ草稿のピアレビュー
（１５）フィードバック

特になし

個別発表：40％
期末レポート（エッセイ）：40%
授業中の議論への参加：20％

自分自身の毎日のふるまいや行いを、とくに身体・空間・モノ・感覚経験（知覚経験）に注意して見つめなおし、気づいたことがあれば頻繁にメモを取ったり写真など記録に撮っておいてください。

安全な飲料水，トイレとし尿の始末（サニテーション），および手洗いをはじめとした衛生習慣は，「水と衛生」としばしばまとめられ，持続可能な開発目標（SDGs）のゴール6にも挙げられる社会的な課題となっています。本セミナーでは，水と衛生がいかにしてグローバル・イシューとなっていったのかを振り返り，アジア・アフリカ地域での水と衛生の実情を紹介しつつ，水と衛生と健康との関わり，環境との関わり，社会との関わり，そしてそれらの相互の関わりについて考察します。また，水を介した環境と社会との関わりは，日本においても今なお重要な課題であることを学び，琵琶湖疏水を利用するユニークな水循環の中にある京都を事例に，水と衛生に関わる野外巡見を行います。これらを通じて，アジア・アフリカ地域を「水と衛生」という視点から考察できるようになることを目指します。

アジア・アフリカ地域の水と衛生の課題の現状を理解する。
水と衛生と，健康，環境，社会との関わりを理解する。
アジア・アフリカ地域の多様な課題を「水と衛生」という視点から考察できるようになる。

第1回　4/13（月）5限　オリエンテーション

第2回　4/20（月）5限　水と衛生とは

第3回　4/27（月）5限　水と衛生と健康

第4，5，6，7，8回　5/16（土）1，2，3，4，5限　京都近郊の水循環に関する野外巡見

第9回　5/18（月）5限　水と衛生と環境

第10回　5/25（月）5限　水と衛生と社会

第11回　6/1 （月）5限　水と衛生の実践

第12回　6/29（月）5限　発表に向けてのガイダンス

第13回　7/6（月）5限　学生発表会
　
第14回　7/13（月）5限　学生発表会

第15回　7/27（月）5限　フィードバック

授業の進捗等に合わせて内容を適宜変更する可能性がある.

特になし

セミナーでの質問や討議内容などを通じて，理解度や積極性を評価します。詳細は授業中に説明します。

セミナーで話題とした内容について，参考書や別途指示する情報をもとに理解を深め，次回以降のセミナーでの討議を深める一助とする。

担当教員のもともとの専門分野は環境衛生工学ですが，セミナーでは学際的な討議を行います。アジア・アフリカの水と衛生，水環境や廃棄物問題などに興味があり，文系から理系にまたがる幅広い知的好奇心のある学生の参加を歓迎します。
セミナー中の実習活動のため、学生教育研究災害傷害保険（学研災）等に加入しておいてください。見学の際の交通費（京都市内移動程度）は受講者自身の負担でお願いします。

This course is an introduction to basic logical principles and formal methods in computer science.
Students will learn fundamental concepts and techniques of mathematical logic and their applications to computer science and other areas.
The emphasis is on the computational aspects of logic and the topics will be introduced through hands-on use of a proof assistant, a tool for machine-checked mathematical proofs.
The software assists students in constructing formal proofs and automatically checks their correctness.

Students will become familiar with logical reasoning and formal proofs.
They will also get some practical experience in the use of a proof assistant.
The course will help students develop skills that are important in any field of research, such as critical thinking and the ability to construct rigorous arguments.

Below are some possible topics that we will cover during the course. We will spend one or two weeks on each topic. The topics we cover may change depending on the interests and abilities of the students.

1) Propositional logic
2) First-order Predicate logic
3) Basics of functional programming
3) Computer assisted theorem proving
5) Natural deduction
6) Type Theory
7) Constructive Logic
8) The relationship between proofs and programs

Total: 15 sessions (14 class sessions and 1 feedback session)

No prior knowledge is required, however some familiarity with rigorous mathematical proofs and interest in computer programming will be helpful.
The course will include some practical exercises. It is recommended that students have access to a computer where they can install software.

Students are expected to actively participate in discussion, read material, and solve exercises in class. Evaluation will be based on the following: written and oral assignments (~50%), final report or project (~50%)

Students should review the course material after each class and solve the homework assignments.

This course invites first-year students to explore the fascinating ideas of quantum physics without relying on advanced mathematics.
We will begin with a discussion of the crucial experiments from about 100 years ago that completely changed physicists’ understanding of small particles and atoms. From these discoveries, we will gain insight into the differences between the macroscopic and microscopic worlds, as well as the fundamental principles of modern quantum theory.

In the second half of the course, we will explore various quantum phenomena and their applications, including quantum teleportation, quantum computing, entanglement, magnetism, and superconductivity, to understand how quantum mechanics connects to real technologies and nature itself.

In principle, the course will be conducted in English. However, if there are parts that are difficult to understand in English, explanations will also be provided in Japanese when necessary.


このセミナーでは、難しい数学を使わずに量子物理の不思議な世界を体験することを目的とする。
まず、小さな粒子や原子に関する物理学者の考え方を根本的に変えた、約100年前の重要な実験を紹介する。これらの発見を通じて、巨視的な世界と微視的な世界の違い、そして現代量子論の基本的な考え方を学ぶ。

講義の後半では、量子テレポーテーション、量子コンピュータ、エンタングルメント（量子もつれ）、磁性、超伝導などの量子現象とその応用を取り上げ、量子力学がどのように自然や現代技術と結びついているかを理解する。

授業は原則として英語で行うが、理解が難しい箇所については必要に応じて日本語で補足説明を行う。

- Catching a glimpse of the bizarre behavior of the quantum world.
- Seeing the differences between the macroscopic and microscopic worlds
- Becoming familiar with the basic concepts of quantum physics
- Revealing the mysteries behind quantum computing, quantum teleportation, and quantum phenomena such as magnetism, superconductivity, and entanglement.


- 量子の世界の奇妙な振る舞いを垣間見る。
- 巨視的世界と微視的世界の違いを見る
- 量子物理学の基本概念に慣れる
- 量子コンピューティング、量子テレポーテーション、磁性、超伝導、エンタングルメントなどの量子現象に隠された謎を解き明かす。

The course will be adapted to the level and interests of the students.
Therefore, the number of weeks devoted to each topic may vary.

Part 1: Introduction to experiments on atoms and quantum particles (Weeks 1-6)

Experiments that changed physicists’ understanding of nature about 100 years ago
- Light as both wave and particle
- Electrons as waves
- The double-slit experiment with electrons
- Development of modern quantum mechanics
- Heisenberg’s uncertainty principle
- Why quantum mechanics is strange

Part 2: Applications of quantum phenomena (Weeks 7-10)
- Quantum tunneling
- Quantum teleportation
- Quantum computing

Part 3: Quantum phenomena in atoms, molecules, and larger systems (Weeks 11-14)
- Atoms
- "More is different", the idea of many-body physics
- Molecules
- Superconductivity
- Magnetism

Total: 14 classes + 1 feedback session


受講者のレベルや関心に合わせて授業を進めるため、各トピックの期間は状況により変更する場合がある。

第1部：原子や電子に関する実験の紹介（第1〜6週）
約100年前に物理学者の常識を覆した実験を通して量子の世界を学ぶ。
- 波と粒子としての光
- 波としての電子
- 電子の二重スリット実験
- 現代量子力学の発展
- ハイゼンベルクの不確定性原理
- 量子力学が奇妙に感じられる理由

第2部：量子現象の応用（第7〜10週）
- 量子トンネリング
- 量子テレポーテーション
- 量子コンピューティング

第3部：原子・分子・より大きな系における量子現象（第11〜14週）
- 原子
- 「多いことは異なる」：多体物理の考え方
- 分子
- 超伝導
- 磁性

全14回の講義＋フィードバック1回

特になし

Attendance and participation (50%), assignment (50%)

出席と参加の状況（50％)、課題(50%)

The students should read texts about quantum phenomena. The texts that I will hand out will help to understand the contents of the class and provide the background for discussions during the lecture.

量子現象に関するテキストを読んでおくこと。配布するテキストは、授業の内容を理解する助けとなり、講義中の議論の背景となる。

Office hours: After the course


オフィスアワーは 講義終了後