Formal language theory is a fundamental area of theoretical computer science that studies (among other things) different ways of representing possibly infinite collections of words having some shared structure.
It is closely related to computability, computational complexity, and mathematical logic, and has practical applications in linguistics, artificial intelligence, and the design of programming languages.
The purpose of this course is to provide an introduction to formal language theory for non-computer science students.
The main topics include finite-state automata, regular languages, pushdown automata, context-free languages, Turing machines, and decidability.

After completing this course, the student should be able to:
- Explain the relationships between different classes of formal languages, automata, and grammars.
- Design an automaton or a grammar that accepts or generates a specified formal language, and conversely, determine the formal language that is accepted or generated by a specified automaton or grammar.
- Prove or disprove mathematical properties of formal languages, grammars, and automata.
- Use the diagonalization method or reductions to establish that certain languages are undecidable.
- Understand how the concept of "information" can be defined using computability theory.

The course will cover the following topics:
1. Introduction
2. Finite-state automata, regular languages, nondeterminism (1)
3. Finite-state automata, regular languages, nondeterminism (2)
4. Finite-state automata, regular languages, nondeterminism (3)
5. Finite-state automata, regular languages, nondeterminism (4)
6. Pushdown automata, context-free languages, grammars (1)
7. Pushdown automata, context-free languages, grammars (2)
8. Pushdown automata, context-free languages, grammars (3)
9. Turing machines (1)
10. Turing machines (2)
11. Decidability
12. Reducibility (1)
13. Reducibility (2)
14. Course summary and Q & A session
<>
15. Feedback

An ability to think abstractly and to solve problems of a mathematical nature will be required for this course.
No programming skills are needed.

A written examination at the end of the course.

Students will be expected to spend about 3 hours per week to prepare for and review the lessons.

スポーツ実施は身体機能の維持・増進に有益であるだけでなく、論理的思考力の増強や社会交流の啓発にもつながる。アダプテッド・スポーツとは、ルールや用具を改良することにより、障害の有無や身体活動能力、年齢にかかわらすスポーツ活動を楽しむことができるように工夫・適合（adapt）されたスポーツのことである。

本授業では、障害等（疾患や怪我等による一時的な障害、その他の心身の不調を含む）のある学生とともにアダプテッド・スポーツを経験することにより、障害等に応じたスポーツの実施方法を学修する。
障害等のある学生が履修しない場合は、様々なアダプテッド・スポーツを経験することにより、自分に合ったスポーツの楽しみ方を見つけ、生涯を通じてスポーツに興じるための心づくり・体づくりを目指す。

・様々なアダプテッド・スポーツの特徴や楽しみ方を理解する。
・自身の体力や技術を自覚し、自身にadaptしたスポーツの実施方法を見出し、主体的にスポーツに取り組む力を養う。
・障害のある学生に配慮しながらスポーツを実施することができる。

第1回：講義（アダプテッド・スポーツの理解）
第2回〜第14回：
下記の種目を受講人数や受講者の状況に応じて実施する。
・パラスポーツ（ボッチャ・ブラインドサッカー・ゴールボールなど）
・フライングディスク種目（アルティメット・ガッツ・ディスクゴルフなど）
・野球系種目（ベースボールファイブ・キックベースボール・ティーボールなど）
・サッカー系種目（アンプティサッカー・フットサル・ハンドボールなど）
・バレーボール系種目（キャッチバレーボール・プレルボール・風船バレー・インディアカなど）
・テニス系種目（ピックルボール・ショートテニス・フロアテニス・タスポニーなど）
・バドミントン系種目（ファミリーバドミントンなど）
・バスケットボール系種目（ポートボールなど）
・ラグビー系種目（タグラグビーなど）
・卓球系種目（卓球バレー・サウンドテーブルテニスなど）
・車椅子種目（車椅子バスケットボール・ハンドボール・卓球など）
・レクリエーション系種目 （ペタンク・スポーツ鬼ごっこ・大縄跳び・ウォークラリー・スポーツ吹矢・モルック・キンボールなど）
第15回：フィードバック　フィードバック回は、個人の質問に対応する。

授業は吉田南グラウンドおよび体育館で実施する。

※障害等のある学生の履修に関しては、履修希望者と相談のうえ、障害等の特性・程度、体力レベルに応じたスポーツ種目を履修者全員で実施する。

・障害等のある学生や体力に自信のない学生、従来型スポーツ（テニス、卓球、バレーボール、バスケットボール、サッカー等）に苦手意識のある学生、新しいスポーツを経験してみたい学生の積極的履修を歓迎します。
・障害等のある学生のスポーツ実習に際しては、障害等の状況に合わせた支援・調整を行います。支援を要望する学生は事前に連絡してください。
・スポーツ経験の有無や体力レベルは問いません。
・将来的に障害との関わりが深い医療・福祉、教育、スポーツ、メディア分野の職に携わる可能性がある者やスポーツボランティア、障害者支援ボランティアに興味のある者の履修を推奨します。
・どのようなスポーツでも楽しく行える人を歓迎します。
・準備や後片付けを積極的に行う受講意欲のある者を歓迎します。

・学習態度（授業参加の積極性、準備・片づけの積極性、ルールの学習・理解）および技術上達度を総合的に評価する。
・2/3以上の出席を最低要件とする。

・個々の心身の状態を十分に把握しておくこと。
・世界中にどのようなスポーツあるいは運動遊びが存在しているのかについて探索し、スポーツへの関心を深めておくこと。
・様々なスポーツを観戦し、自身の技能向上に役立てること。

スポーツ実習の履修には保険への加入が必要です。原則として「学生教育研究災害傷害保険」（学研災）および「学研災付帯賠償責任保険」（付帯賠責）に、留学生は学研災および「学生賠償責任保険」（学賠）に加入して、授業に参加してください。

運動を行うことで，フィジカル面での健康とメンタル面での健康を養います．10-20代の若いうちに運動習慣をつけることは，その後の人生において非常に重要です．また日々様々なストレスにさらされている毎日ですが，運動を行うことでストレスの発散になります．

本授業で行うソフトボールは，「投げる」，「打つ」，「走る」，「捕る」など多くの運動が必要なスポーツです．本実習では，ソフトボール技術向上を主たる目的ではなく，ソフトボールを通じて，人体の筋肉，関節などについて理解を深め，自分自身の体を知ってもらいます．今後，自己の健康管理や体力づくりのきっかけとなり，運動の楽しさを体験してもらいます．

特に「投げる」，「捕る」というキャッチボールは，親子など，世代を超えて気楽に行える，コミュニケーションツールになります．

ソフトボールや野球経験の有無は問いません．

ぜひ楽しく運動しましょう！

「投げる」，「打つ」，「走る」，「捕る」など基本的な動作を習得します．またストレッチングやコンディショニングメニューを理解し，自己の健康管理ができることとします．

第1〜2回：ガイダンス，ケガ予防や準備運動の方法などの学習
第3〜7回：コンディショニング，競技に必要動きの習得、基礎技能練習、ゲーム
第8〜14回：コンディショニング，基礎技能練習、ゲーム
第15回：フィードバック

特になし

出席状況と実習への取り組みの積極性に基づき総合的に評価します．

意欲，態度，技能，関心【70％】
→スポーツ演習に対する積極性，協調性，専門的スキル，スキルの成長等に基づいて評価
知識，理解，思考，関心【30％】
→授業中の質疑応答等に基づいて評価

体を動かすことが好きな生徒はもちろん，運動が苦手な生徒にも運動好きになってもらうことが目標です．　自分自身でできる体のコンディショニング方法をお伝えするので，一日のうちで時間を見つけて，自分自身の体に向き合う時間を取ってもらえればと思います．日常生活でも自身の姿勢，関節の柔軟性などを意識することで，肩こりや腰痛を予防することが可能となります．

スポーツ実習の履修には保険への加入が必要です。原則として「学生教育研究災害傷害保険」（学研災）および「学研災付帯賠償責任保険」（付帯賠責）に、留学生は学研災および「学生賠償責任保険」（学賠）に加入して、授業に参加してください。

本実習では、生涯スポーツをテーマとし、バドミントンを通して、スポーツを生涯にわたり楽しめる知識と技術を身につける。 受講者間の相互関係を広めコミュニケーション能力の向上を図るとともに、身体運動の学習に能動的に取り組み、スキルの向上を目指す。バドミントンは身体のコントロールのみならず、ラケットのコントロール技術も重要である。加えて、シャトル・ラケット・身体の位置関係の空間的な認識、シャトルの軌道予想も大切である。先ずはシャトルをキャッチボールする感覚で始め、各自それぞれの『生涯スポーツとしてのバドミントン』を習得してもらいたい。

・バドミントンのルール、基本技術を習得し、ゲームを楽しむことで運動する習慣をつける。
・バドミントンをコミュニケーションツールとして捉え、仲間と楽しく過ごす工夫ができる。
・安全にゲームができるよう、周りに気を遣うことができる。

第1回　体育館メインフロアーにおいてガイダンスを行う
第2回〜第4回　基礎練習
第5回〜第6回　サーブとレシーブからの簡易ゲーム
第7回〜第9回　ゲームを楽しむ　シングルス・ダブルス
第10回〜第14回　ゲームを楽しむ　団体戦
第15回　フィードバックとして、個人の質問に対応する
（技術レベルの向上具合を見て内容を変更する可能性がある。）

特になし

出席状況と実習への取り組みの積極性に基づき総合的に評価する。

運動が健康維持に重要であることは疫学調査からも明らかとなっています。『運動する習慣』を獲得できれば、将来的な死亡リスクを低下させることになります。積極的に授業外の運動機会を増やしましょう。

・授業時間外の相談はメールにて受け付けます。
　アドレス：iwanaka.nobumasa.38n（アットマーク）st.kyoto-u.ac.jp
・スポーツ実習の履修には保険への加入が必要です。原則として「学生教育研究災害傷害保険」（学研災）および「学研災付帯賠償責任保険」（付帯賠責）に、留学生は学研災および「学生賠償責任保険」（学賠）に加入して、授業に参加してください。
・ラケットやシャトルは大学で準備しています。

「歩く」ことは人間の基本動作である。歩き方により心身の健康状態を改善し、生活習慣病や運動器症候群を予防するだけでなく、ストレスの軽減、記憶や学習などの認知機能の維持や改善に役立つことが判明してきた。本授業では運動不足や生活習慣病の改善策として注目されている「フィットネス・ウォーキング」について、歩行の科学的研究をもとに、健康を保持増進する正しい歩き方を理論と実技の面から学ぶ。また、世界遺産を含む京都を歩くことにより、豊かな人間性を育成することを目的とする。学生間の相互関係を広めてコミュニケーション能力の向上を図るとともに、生涯スポーツを視野に入れたウォーキング法を学び、健康で充実した生活がおくれるよう実習を通して理解を深める。

ウォーキングを取り入れた健康的な生活習慣の獲得を目指し、健康の保持増進の認識を深める。心身の健康づくりに効果的なウォーキング法を習得し、生涯にわたり歩き続けることの重要性を理解する。京都の代表的なウォーキングコースを歩き、詳しく説明ができるようになる。野外グループウォーキングによりコミュニケーション能力、協調性を身につける。身体活動の基礎となる体力・運動能力を身につけ、ウォーキングを自主的、継続的に実践できるようになる。

第１回　　ガイダンス
第２回　　健康を維持する正しい姿勢と歩き方
第３回　　歩行能力測定（歩行速度と歩幅）
第４回　　野外ウォーキング実習　歩数計の活用
第５回〜第１３回　野外フィットネス・ウォーキング実習
第１４回　フィットネス・ウォーキングのまとめ
第１５回　フィードバック

雨天時はウォーキングに必要なストレッチングやフィットネスを実施する。
授業計画は状況に応じて変更の可能性がある。

健康の保持増進と体力向上に効果的な有酸素運動についてウォーキングを中心に実習を行う。第１週にガイダンス（体育館メインフロアー）を行い、第２週以降は体育館サブフロアー、および野外にて実習を行う。野外実習では京大周辺の世界遺産を含む名所コースを歩く。また、健康を維持する正しい姿勢と歩き方、歩数計の活用、歩行速度と歩幅、ならびにウォーキングに必要なストレッチングやエクササイズについても学ぶ。生活の中で、少し意識するだけで歩行や日常動作が「健康づくりのための運動」となる方法を学習する。

特になし

成績は平常点（出席状況及び実習への取り組み態度）により評価する。

運動・スポーツ実施可能な健康管理を心掛け、日頃から体力の保持増進に努めること。

スポーツ実習の履修には保険への加入が必要です。原則として「学生教育研究災害傷害保険」（学研災）および「学研災付帯賠償責任保険」（付帯賠責）に、留学生は学研災および「学生賠償責任保険」（学賠）に加入して、授業に参加してください。

The purpose of English Academic Discussion is to equip students with the communication skills necessary to actively engage within academic and professional communities, improve critical thinking and discussion skills, and expand viewpoints on a variety of topics from the humanities, natural sciences, and social sciences. The course will be focused mainly on group discussions. Students will be asked to watch videos and write notes for homework and actively participate in discussions.

本授業の目的は、人文科学、自然科学、社会科学の様々なトピックについて、アカデミック・コミュニティやプロフェッショナル・コミュニティに積極的に参加し、批判的思考やディスカッションのスキルを向上させ、視野を広げるために必要なコミュニケーション・スキルを身につけることである。

By the end of this course, students should be able to:
- understand the role of discussion in academic settings
- initiate and maintain a conversation
- ask critical questions and respond in length
- lead and manage a discussion
- identify and use discourse markers
- synthesize and summarize ideas from in-class discussions

1. Course introductions
2. Discussion skill 1 / Teacher-led discussion 1
3. Discussion skill 2 / Teacher-led discussion 2
4. Discussion skill 3 / Teacher-led discussion 3
5. Student-led discussion
6. Student-led discussion
7. Student-led discussion
8. Poster presentation workshop
9. Poster presentation
10. Student topic choice discussion
11. Student topic choice discussion
12. Student topic choice discussion
13. Discussion evaluation workshop
14. Graded group discussion
15. Feedback

特になし

(30%) Active participation
(20%) Discussion leadership
(10%) Poster presentation
(30%) Final group discussion
(10%) Self-evaluation

Students must watch videos and take notes, find suitable materials and prepare responses for class discussions.

If you have any questions, the teacher can be contacted at mccarthy.tanyamiranda.7n@kyoto-u.ac.jjp

　西洋の歴史において「社会」はどのように考えられてきたのか。そして、現代の日本に生きるわれわれは「社会」をどのように考えるべきなのか。授業では、古代から近代はじめまでの代表的な思想家の著作からの抜粋を解読しながら、この二つの問いを探究していく。

・西洋社会思想史（古代から18世紀頃まで）の基礎知識を身につける。
・歴史的な厚みをもって「社会」について考えることができるようになる。

　本授業（I）では、導入的な話のあと、古代から近代に現れた社会思想を検討していく。
第1回　導入——共同存在としての人間への問い
第2回　なぜ思想史を学ぶのか
第3回　プラトン（1）
第4回　プラトン（2）
第5回　アリストテレス（1）
第6回　アリストテレス（2）
第7回　アウグスティヌス（1）
第8回　アウグスティヌス（2）
第9回　トマス・アクィナス（1）
第10回　トマス・アクィナス（2）
第11回　マキアヴェッリ（1）
第12回　マキアヴェッリ（2）
第13回　ホッブズ（1）
第14回　ホッブズ（2）
最終回　フィードバック

特になし

　授業では毎回課題を出す。成績は、「授業への参加態度」（40％）と「課題に対する回答」（50％）、ならびに学期末の「レポート」（10％）によって評価する。詳細は初回講義時に説明する。

　授業で扱う資料を必ず読んでくること。十分な予習が必要である。

　原典を読みながら考える。そのなかでさまざまな問いを見つけ出して、さらに考える。大人数の講義形式の授業ではあるが、できる限りそのようなことを行って、知識の習得にとどまらない思想的な知の営みを経験してほしいと思っている。
　適正授業規模の範囲内で行うため、履修人数制限を行う。

　20世紀前半のアメリカの西半球政策を分析することで、20世紀後半に形成された「パクス・アメリカーナ」の時代のアメリカ外交全般につながる特徴を指摘する。
「パクス・アメリカーナ」は、突如として登場したわけではなく、その原点ともいえる西半球政策の歴史を通して、さまざまな分野で圧倒的な影響力を持つアメリカが中心となっている国際秩序への理解を深めることができる。

アメリカの現代史を学ぶことを通じて、現在の国際社会の在り方を考察すると同時に、歴史学の意義とは何かを考えるきっかけを身につけることを目標とする。

具体的には以下の事項をとりあげ検討を進める。（それぞれ1〜2回の授業を行う。）
授業回数はフィードバックを含め全１５回とする。

I．「棍棒外交」から「善隣外交」へ
　１．西半球への進出と植民地
　２．「旧外交」と「新外交」
　３．西半球の集団安全保障機構と「平和」

II．危機の時代の西半球政策
　４．チャコ戦争と南米諸国
　５．極東、ヨーロッパの危機と西半球
　６．パンアメリカン会議

III．「民主主義」と西半球政策
　７．独裁者への対応‐ソモサとトルヒーヨ
　８．スペイン内戦と西半球‐ファシズムと共産主義

Ⅳ．まとめ

特になし

定期試験。

講義において、折にふれて参考文献を紹介するので、講義の前後にこれらを読むことが望ましい。

現代のアメリカ社会の基礎が形作られた時代。その史的ダイナミズムを体感してほしい。

「中国中世史における華北と江南」
　漢帝国の滅亡は、中国古代の終焉を意味した。それは、漢民族が黄河中下流域を中心に形成した文明の終わりでもある。北方の遊牧系民族が華北（黄河流域）に移動・定住したことを契機として動き出す中世の時代、漢民族が形成した華北社会は大きな変化に遭遇する。また、古代史にはほぼ登場しなかった江南地域が、中世では徐々に大きな存在となってゆく。無論、そうした歴史過程は単純ではなく、さまざまな紆余曲折を経て展開する。この講義では、高校の世界史教科書ではほとんど描かれていない、中国中世史の多様な側面を華北と江南との対比を構成の軸として紹介・解説し、結果として、受講生に新たな歴史像を提示したい。

　古代日本が中国大陸と本格的にコンタクトを取り始めた時代、中国は華北と江南にそれぞれ別の王朝が存在し、社会にも大きな変化が起きつつあった。本講義は、古代日本が相対した中国王朝・社会がどのようなものであったのかについて、華北と江南を対比して論じることにより、受講生が中国中世の歴史・社会を多面的に理解することを目的とする。

　基本的に以下のプランに従って講義を進める。但し、状況に応じて内容を適宜変更することがある。なお、初回は「ガイダンス」にあて、講義内容の概略について説明を行う。
第２週目以降は、以下のテーマについて合計14回（フィードバックを含む）の授業を行う。
　１．中国古代の華北と江南
　２．華北における胡漢の並存—中国中世への導火線
　３．魏晋王朝と胡族勢力
　４．華北漢族社会の変容—貴族制社会の形成
　５．力関係の逆転—華北の４世紀
　６．江南社会の変容—孫呉と東晋（江南の３〜４世紀）
　７．胡族国家・北魏による華北統治（華北の５世紀）
　８．北魏国家の変貌—孝文帝の「漢化政策」がもたらしたもの
　９．江南王朝の変質—門閥貴族政権から軍事皇帝の時代へ（江南の５世紀）
　10．突厥遊牧帝国の出現と北朝（華北の６世紀）
　11．侯景の乱と江南王朝の衰退—江南の６世紀
　12．隋による中華統一—華北による江南の併呑
　14．まとめ
《期末試験》
　15．フィードバック

本講義は、同一内容のものを週２回開講するので、いずれか１つのみを履修登録すること。

平常点（課題・クイズの成績および出席状況等。50％）および期末試験（レポート試験）の成績（50％）

（１）高等学校の「世界史Ｂ」「世界史探究」教科書内容を理解していることを前提として授業を進めますので、よく復習しておいてください。
（２）講義資料は、原則としてＰａｎｄＡを通じて配布します。事前にダウンロード・印刷して読み込んでおくことを強くお勧めします。

文系・理系を問わず、向学心に溢れた皆さんの聴講を歓迎します。

【日本古代の国家と政治—摂関政治への転成—】
日本における古代国家の様相を政治史という側面から把握し、古代日本の特質について理解することを目的とする。今期は、摂政・関白による政治へと、政治の姿が転成する１０世紀前葉から後葉にかけての政治動向を取り上げ、先行学説を紹介するとともに批判的に検証を行う。こうした作業を通じて、国家の様相やその変遷を客観的に捉える視座を養うことを目指す。

日本古代史における正確で幅広い知識を獲得するとともに、これまでの研究の流れを自分の力で整理し、それらを客観的・批判的に把握して、自らの歴史像を組み立てるための技術を習得する。

７世紀後葉に成立した日本の律令国家は、８世紀後葉から変質をはじめ、長い過渡期を経て１０世紀後葉に摂関政治へと転成した。今期は、摂政・関白が常に置かれるようになり、摂関政治へと転成する１０世紀前葉から後葉にかけての国家の様相を、政治史を中心にしながら考察する。まずは摂政と関白との関係性が整理され、摂関政治が確立していく様子を概観する。次いで、内裏の焼亡や財政制度の再編、古代銭貨の途絶といった観点から、摂関政治が確立する背景としての社会の変質について考察する。最後に、安和の変や花山天皇の出家を取り上げながら、天皇の外戚と摂政・関白との関係がどのように変化していったのかを論じ、摂関政治の特質について検討する。

第１回　イントロダクション—平安時代の時期区分と摂関政治—
第２回　摂関政治の確立過程（１）
第３回　摂関政治の確立過程（２）
第４回　内裏の焼亡にみる宮廷社会の変容（１）
第５回　内裏の焼亡にみる宮廷社会の変容（２）
第６回　財政制度の再編と社会（１）
第７回　財政制度の再編と社会（２）
第８回　古代銭貨の途絶（１）
第９回　古代銭貨の途絶（２）
第１０回　安和の変の歴史的位置（１）
第１１回　安和の変の歴史的位置（２）
第１２回　政変としての花山天皇の出家（１）
第１３回　政変としての花山天皇の出家（２）
第１４回　総　括
《期末試験》
第１５回　フィードバック

特になし

期末試験（筆記）にて成績評価する。

シラバスなどを通じて授業の進行を確認し、各回の授業内容を想定しながら予習をすること。

授業は講義形式で行う。