Basic Information

Faculty

• 総合人間学部

Academic Degree

• 理学修士(京都大学)

Language of Instruction

• English

ID,URL

• J-Global ID

  201401063842109914

researchmap URL

• https://researchmap.jp/7000008538

Research

Research Topics, Overview of the research

• Research Topics

  論理学の計算機への応用

• Overview of the research

  論理学、特に様相論理とその計算機や通信への応用に興味を持っています。量子論理など、「かつ」と「または」の分配法則が一般には成り立たない論理とその応用にも興味を持っています。

Research Areas

• Informatics, Mathematical informatics

Papers

• Continuous and robust clustering coefficients for weighted and directed networks

  Kent Miyajima; Takashi Sakuragawa

  arXiv, Physics and Society (physics.soc-ph); Social and Information Networks (cs.SI), Nov. 2014

  
• Clustering Coefficients for 2-mode Graphs

  Ryosuke Fujii; Hiroo Iwanaga; Kento Miyajima; Takashi Sakuragawa

  SIG-KBS, Mar. 2014

  
• 確率的アルゴリズムの場合のNo Free Lunch定理の厳密な証明

  橋谷祐司; 桜川 貴司

  『情報処理学会研究報告. AL, アルゴリズム研究会報告』2010-AL-129(3)1-8頁, Feb. 2010

  
• A Data Hiding Method using Noise Regions in an Image

  日置 尋久; 森本 佳延; 櫻川 貴司

  情報処理学会研究報告グラフィクスとCAD（CG）, Feb. 2001

  
• A Debugging Environment for Multithread - programs on Distributed Operating System ToM

  Kazunori Horikiri; Hisao Matsuda; Takashi Sakuragawa

  SIG Technical Reports, DPS, Jul. 1992

  
• RACCO : A Model-Logic Programming Language for Writing Models of Real-Time Process-Control Systems

  Takashi Hattori; Takashi Sakuragawa; Reiji Nakajima; Naoyuki Niide; Kazuki Takenaka

  Advances in Software Science and Technology,3,53-70, 1992, Peer-reviewed

  
• The Design of RPC through Network for a Distributed Operating System ToM

  OKAMOTO Toshio; SAKURAGAWA Takashi; HORIKIRI Kazunori; YAMAGISHI Hisao

  情報処理学会 全国大会講演論文集, Feb. 1991

  
• The capability management of a distributed operating system ToM.

  岡本利夫; 桜川貴司; 堀切和典; 山岸久夫

  電子情報通信学会全国大会講演論文集, Sep. 1990

  
• Overview of GMW+Wnn System

  Masami Hagiya; Takashi Hattori; Akitoshi Morishima; Reiji Nakajima; Naoyuki Niide; Takashi Sakuragawa; Takashi Suzuki; Hideki Tsuiki; Taiichi Yuasa

  Advances in Software Science and Technology,1,133-156, 1990, Peer-reviewed

  
• A Distributed Operating System ToM -its programming model and security-

  Jun Arai; Takashi Sakuragawa; Hideki Tsuiki; Tatsuya Hagino; Takashi Hattori; Akitoshi Morishima

  SIGOS, Nov. 1989

  
• PACCO : A Modallogic programming language for writing models of real-time process-contol systems

  櫻川 貴司

  Computer Software.,5/3, Jul. 1988, Peer-reviewed

  
• Temporal Prolog - Aprogramming language Based on Temporal logic

  櫻川 貴司

  Computer Software,4/3, Jul. 1987, Peer-reviewed

  
• Temporal Prolog

  Takashi Sakuragawa

  RIMS Kokyuroku Kyoto-Univ,586, Mar. 1986

  Access this paper :

  
• Temporal Prolog: A programming language based on temporal logic

  Takashi Sakuragawa

  SIGPRO, Dec. 1985

  
• Writing models of real-time control systems - Toward computer-aided generation of real-time software.

  HATTORI T; NAKAJIMA R; SAKURAGAWA T; AKIYAMA T; FUJII H

  日本ソフトウエア科学会大会論文集, Nov. 1985

  
• Prolog system for micro computer which attaches importance to functions as program development environment

  萩野 達也; 桜川 貴司; 柴山 悦哉

  第25回プログラミング・シンポジウム報告書, Jan. 1984

  

Misc.

• Temporal Prolog : A Programming Language Based on Temporal Logic

  Takashi Sakuragawa

  コンピュータソフトウェア = Computer software, 15 Jul. 1987

  
• ToM : An Operating system for distributed environment

  分散OSToM設計グループ

  Nikkei Electronics.,484, Oct. 1989

  
• A new programming paradigm. 15. Modal logic and temporal programming

  Takashi Sakuragawa

  bit, Jan. 1989

  
• Wnn: an open Japanese-input system

  Takashi Sakuragawa

  bit, Oct. 1987

  
• RACCO: a Modal-Logic Programming Language for Writing Models of Real-time Process-Control Systems

  T. HATTORI; R. NAKAJIMA; T. SAKURAGAWA; N. NIIDE

  RIMS Preprint, Dec. 1986

  
• A Work Out Example of Tube Mill in RACCO

  T. SAKURAGAWA; R. NAKAJIMA; T. HATTORI; N.NIIDE; K. TAKENAKA

  RIMS Preprint, Dec. 1986

  

Books and Other Publications

• 計算機と認識

  櫻川 貴司, Contributor

  認識と情報(共著),, 1999, Not refereed

  
• UNIXカーネルの魔法(翻訳)

  櫻川 貴司, Joint translation

  プレンティス・ホール出版,, 1997, Not refereed

  
• 続 新しいプログラミング・パラダイム

  井田 哲雄; 田中 二郎; 桜川貴司他, Contributor

  共立出版、全254頁, 1990, Not refereed

  
• Wnn+GMW入門

  櫻川 貴司, Joint work

  岩波書店,, 1990, Not refereed

  
• Prolog-KABA入門

  櫻川 貴司, Joint work

  岩波書店,, 1986, Not refereed

  

External funds: Kakenhi

• Research on Problems Related to Random Schrodinger Operators

  Grant-in-Aid for Scientific Research (C)

  Kyoto University

  Naomasa UEKI

  From 01 Apr. 2003, To 31 Mar. 2006, Project Closed

  random Schrodinger作用素;確率解析;作用素論;スペクトル;Anderson局在;確率場;微分方程式;Wegner評価;Wenger評価;状態密度関数;random Shrodinger作用素, Random Schrodinger Operators;Stochastic Analysis;Operator Theory;Spectrum;Anderson Localization;Random Field;Differential Equations;Wegner Estimates

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-15540166/
• Research for low-climensional manifolds with various geometric structures

  Grant-in-Aid for Scientific Research (C)

  Kyoto University

  Masaaki UE

  From 01 Apr. 2000, To 31 Mar. 2002, Project Closed

  3次元多様体;4次元多様体;スピン構造;ディラック作用素;交叉形成;Seiberg-Witten理論;V多様体;錐多様体;交叉形式;ホモロジー3球面;ザイフェルト多様体;ホモロジーコボルディズム, 3-manifold;4-manifold;spin structure;Dirac operator;intersection form;Seiberg-Witten theory;V-manifold;cone manifold

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-12640068/
• Analytical research for transcendental numbers

  Grant-in-Aid for Scientific Research (B)

  Kyoto University

  Masayoshi HATA

  From 01 Apr. 2000, To 31 Mar. 2004, Project Closed

  パデ近似;無理数度;一次独立;連分数;超越数;超幾何関数;多重対数関数;ゼータ関数;無理数;Pade approximation;Irrationality;Linear independence;Transcendence;Roth-Ridont theorem;Polylogarithms;Fredholm series;Metric Property;Trans cendence;Bernoulli numbers;Saddle points;Diophantine inequality;Pade近似;モノドロミー理論;G関数;多項式;近似;9-関数, Pade approximation;irrationality measure;linear independence;continued fraction;transcendency;hypergeometric function;polylogarithm;zeta function

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-12440037/
• Finite dimensional integrable structure in systems with infinite degree of freedom

  Grant-in-Aid for Scientific Research (C)

  KYOTO UNIVERSITY

  Kanehisa TAKASAKI

  From 01 Apr. 1998, To 31 Mar. 2000, Project Closed

  可積分系;Whitham変形;等モノドロミー変形;超対称ゲージ理論;位相的ゲージ理論;可解スピン系;共系場理論;戸田格子;共形場理論;モノドロミー保存変形;有限次元可積分系;超対称性;ゲージ理論;位相不変量;表現論;複素力学系;セルオートマトン, integrable system;Whitham deformation;isomonodromic deformation;supersymmetric field theory;topological field theory;solvable spin system;conformal field theory;Toda lattice

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-10640165/
• フラクタル理論と超越数論の組織的研究

  Grant-in-Aid for Exploratory Research

  Kyoto University

  畑 政義

  From 01 Apr. 1997, To 31 Mar. 1999, Project Closed

  フラクタル;自己相似集合;超越数論;力学系;神経回路モデル;ラプラシアン;スペクトル;リュエル作用素;Caianiello方程式;マーラー関数;パスプランニング;Ecalle理論;Dirichlet形式;動的パターン投影法

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-09874031/
• Pade type approximation and its application to the number theory

  Grant-in-Aid for Scientific Research (B)

  KYOTO UNIVERSITY

  Masayoshi HATA

  From 01 Apr. 1997, To 31 Mar. 1999, Project Closed

  パデ近似;ルジャンドル多項式;無理数;鞍部点法;複素力学系;ジュリア集合;ゼータ関数;ガウス過程;サドル法;進化ゲーム理論;保型形式;ADSL;Navier-Stokes流;準楕円性;モノドロミ-保存変形, Pade approximation;Legendre polynomial;Irrationality;Saddle point method;Complex dynamical system;Julia set;Riemann zeta function;Gaussian process

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-09440058/
• Weil表現とHoweの対応

  Grant-in-Aid for Scientific Research (C)

  Kyoto University

  西山 享

  From 01 Apr. 1996, To 31 Mar. 1997, Project Closed

  Howeの対応;Schurの相互律;reductive dual pair;Hecke環;量子群;Cartan型Lie代数;Cartan型Lie超代数;Weil表現

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-08640027/
• 有理近似および超越数の研究

  Grant-in-Aid for General Scientific Research (C)

  Kyoto University

  畑 政義

  From 01 Apr. 1995, To 31 Mar. 1996, Project Closed

  ヂォファントス近似;無理数度;超越数;対数関数;和公式;マーラー関数;一次元力学系;二重対数関数

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-07640199/
• 代数群ヘッケ環の表現とその応用

  Grant-in-Aid for General Scientific Research (C)

  Kyoto University

  加藤 信一

  From 01 Apr. 1995, To 31 Mar. 1996, Project Closed

  代数群;表現論;球等質空間;概均質ベクトル空間;球関数;ゼータ関数;保型形式;保型L関数

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-07640035/
• Modal Logic and its Applications to Real-Time Systems and A. I.

  Grant-in-Aid for General Scientific Research (C)

  Kyoto University

  Reiji NAKAJIMA

  From 01 Apr. 1989, To 31 Mar. 1991, Project Closed

  様相論理;時制論理;形式的プログラム仕様;実時間制御システム;知識表現;分散システム;実行可能仕様言語;論理プログラミング;実時間システム;プロセス制御;実行可能仕様;形式的仕様;分散オペレ-ティング・システム;ハイパ-テキスト;ソフトウェアの仕様;人工知能;ユーザ・インターフェース, Modal Logic;Tense Logic;Formal Program Specification;Real-time Process-control;Knowledge-representation;Distributed System;Executable Specification;Langnagl

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-63580026/

Education

Teaching subject(s)

• From 01 Apr. 2025, To 31 Mar. 2026

  Practice of Basic Informatics (General)

  T001, Fall, Institute for Liberal Arts and Sciences, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Mathematical Logic A

  N138, Spring, Institute for Liberal Arts and Sciences, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Fundamentals for Transdisciplinary Research 1

  M226, Spring, Institute for Liberal Arts and Sciences, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Programming Practice (Lisp)

  8357, Spring, Faculty of Integrated Human Studies, 4
• From 01 Apr. 2025, To 31 Mar. 2026

  Research in Human and Environmental Studies II

  KK23, Year-long, Graduate School of Human and Environmental Studies, 4
• From 01 Apr. 2025, To 31 Mar. 2026

  Research in Human and Environmental Studies I

  KK22, Year-long, Graduate School of Human and Environmental Studies, 4
• From 01 Apr. 2025, To 31 Mar. 2026

  Human Coexistence II

  1002, Year-long, Graduate School of Human and Environmental Studies, 4
• From 01 Apr. 2025, To 31 Mar. 2026

  Research in Mathematical Science

  8269, Year-long, Faculty of Integrated Human Studies, 8
• From 01 Apr. 2025, To 31 Mar. 2026

  Human Coexistence I

  1001, Year-long, Graduate School of Human and Environmental Studies, 4
• From 01 Apr. 2025, To 31 Mar. 2026

  Programming Practice (Lisp)

  T028, Spring, Institute for Liberal Arts and Sciences, 4
• From 01 Apr. 2025, To 31 Mar. 2026

  Foundation of Machine Learning

  8224, Spring, Faculty of Integrated Human Studies, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Introduction to Mathematical and Information Sciences

  0060, Spring, Faculty of Integrated Human Studies, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Exercises in Information Processing B

  8251, Spring, Faculty of Integrated Human Studies, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Exercises for Mathematical Informatics 1A

  AA25, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Foundation of Informatics 2

  AA19, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Basic Seminar on Mathematical Sciences

  AA01, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Advanced Studies of Human Coexistence I

  O001, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Fundamentals for Transdisciplinary Research 1

  KK02, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Exercises for Mathematical Informatics 1B

  AA26, Fall, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Advanced Studies of Human Coexistence II

  O002, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Special Seminar in Human and Environmental Studies

  RR07, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Advanced Seminar in Human and Environmental Studies 2

  RR06, Fall, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Special seminar on mathematical science

  O034, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Special seminar on mathematical informatics 2

  O024, Fall, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Special seminar on mathematics informatics1

  O023, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Advanced Seminar in Human and Environmental Studies 1

  RR05, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Advanced Research in Human and Environmental Studies II

  RR04, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Advanced Research in Human and Environmental Studies I

  RR03, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Practice of Basic Informatics (General)

  T001, Fall, Institute for Liberal Arts and Sciences, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Mathematical Logic A

  N138, Spring, Institute for Liberal Arts and Sciences, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Programming Practice (Lisp)

  8357, Spring, Faculty of Integrated Human Studies, 4
• From 01 Apr. 2024, To 31 Mar. 2025

  Research in Mathematical Science

  8269, Year-long, Faculty of Integrated Human Studies, 8
• From 01 Apr. 2024, To 31 Mar. 2025

  Human Coexistence I

  1001, Year-long, Graduate School of Human and Environmental Studies, 4
• From 01 Apr. 2024, To 31 Mar. 2025

  Research in Human and Environmental Studies II

  KK23, Year-long, Graduate School of Human and Environmental Studies, 4
• From 01 Apr. 2024, To 31 Mar. 2025

  Research in Human and Environmental Studies I

  KK22, Year-long, Graduate School of Human and Environmental Studies, 4
• From 01 Apr. 2024, To 31 Mar. 2025

  Human Coexistence II

  1002, Year-long, Graduate School of Human and Environmental Studies, 4
• From 01 Apr. 2024, To 31 Mar. 2025

  Programming Practice (Lisp)

  T028, Spring, Institute for Liberal Arts and Sciences, 4
• From 01 Apr. 2024, To 31 Mar. 2025

  Foundation of Computer Science A

  8114, Spring, Faculty of Integrated Human Studies, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Introduction to Mathematical and Information Sciences

  0060, Spring, Faculty of Integrated Human Studies, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Exercises in Information Processing A

  8250, Spring, Faculty of Integrated Human Studies, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Foundation of Informatics 1

  AA18, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Basic Seminar on Mathematical Sciences

  AA01, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Fundamentals for Transdisciplinary Research 1

  KK02, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Exercises for Mathematical Informatics 1B

  AA26, Fall, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Exercises for Mathematical Informatics 1A

  AA25, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Advanced Studies of Human Coexistence I

  O001, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Special Seminar in Human and Environmental Studies

  RR07, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Advanced Seminar in Human and Environmental Studies 2

  RR06, Fall, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Advanced Seminar in Human and Environmental Studies 1

  RR05, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Special seminar on mathematical informatics 2

  O024, Fall, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Special seminar on mathematics informatics1

  O023, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Advanced Studies of Human Coexistence II

  O002, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Advanced Research in Human and Environmental Studies II

  RR04, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Advanced Research in Human and Environmental Studies I

  RR03, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Special seminar on mathematical science

  O034, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Practice of Basic Informatics (General)

  T001, Fall, Institute for Liberal Arts and Sciences, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Mathematical Logic A

  N138, Spring, Institute for Liberal Arts and Sciences, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Reserch in Mathematical Science

  8269, Year-long, Faculty of Integrated Human Studies, 8
• From 01 Apr. 2023, To 31 Mar. 2024

  Programming Practice (Lisp)

  T028, Spring, Institute for Liberal Arts and Sciences, 4
• From 01 Apr. 2023, To 31 Mar. 2024

  Research in Human and Environmental Studies II

  KK23, Year-long, Graduate School of Human and Environmental Studies, 4
• From 01 Apr. 2023, To 31 Mar. 2024

  Research in Human and Environmental Studies I

  KK22, Year-long, Graduate School of Human and Environmental Studies, 4
• From 01 Apr. 2023, To 31 Mar. 2024

  Human Coexistence II

  1002, Year-long, Graduate School of Human and Environmental Studies, 4
• From 01 Apr. 2023, To 31 Mar. 2024

  Human Coexistence I

  1001, Year-long, Graduate School of Human and Environmental Studies, 4
• From 01 Apr. 2023, To 31 Mar. 2024

  Programming Practice (Lisp)

  8357, Spring, Faculty of Integrated Human Studies, 4
• From 01 Apr. 2023, To 31 Mar. 2024

  Introduction to Mathematical Information Science

  0057, Spring, Faculty of Integrated Human Studies, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Exercises in Information Processing B

  8251, Spring, Faculty of Integrated Human Studies, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Foundation of Machine Learning

  8224, Spring, Faculty of Integrated Human Studies, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Special Seminar in Human and Environmental Studies

  RR07, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Advanced Seminar in Human and Environmental Studies 2

  RR06, Fall, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Advanced Seminar in Human and Environmental Studies 1

  RR05, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Special seminar on mathematical informatics 2

  O024, Fall, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Special seminar on mathematics informatics1

  O023, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Advanced Studies of Human Coexistence II

  O002, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Advanced Research in Human and Environmental Studies II

  RR04, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Advanced Research in Human and Environmental Studies I

  RR03, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Special seminar on mathematical science

  O034, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Exercises for Mathematical Informatics 1A

  AA25, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Foundation of Informatics 2

  AA19, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Basic Seminar on Mathematical Sciences

  AA01, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Advanced Studies of Human Coexistence I

  O001, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Fundamentals for Transdisciplinary Research 1

  KK02, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2023, To 31 Mar. 2024

  Exercises for Mathematical Informatics 1B

  AA26, Fall, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2022, To 31 Mar. 2023

  Exercises for Mathematical Informatics 1A

  D020, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2022, To 31 Mar. 2023

  Basic Seminar on Mathematical Sciences

  D014, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2022, To 31 Mar. 2023

  Special seminar on mathematical science

  O034, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2022, To 31 Mar. 2023

  Introduction to Mathematical Information Science

  0057, Spring, Faculty of Integrated Human Studies, 2
• From 01 Apr. 2022, To 31 Mar. 2023

  Exercises for Mathematical Informatics 1B

  D021, Fall, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2022, To 31 Mar. 2023

  Advanced Studies of Human Coexistence II

  O002, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2022, To 31 Mar. 2023

  Practice of Basic Informatics (General)

  T001, Fall, Institute for Liberal Arts and Sciences, 2
• From 01 Apr. 2022, To 31 Mar. 2023

  Special seminar on mathematics informatics1

  O023, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2022, To 31 Mar. 2023

  Reserch in Mathematical Science

  8269, Year-long, Faculty of Integrated Human Studies, 8
• From 01 Apr. 2022, To 31 Mar. 2023

  Exercises in Information Processing A

  8250, Spring, Faculty of Integrated Human Studies, 2
• From 01 Apr. 2022, To 31 Mar. 2023

  Foundation of Informatics 1

  D009, Spring, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2022, To 31 Mar. 2023

  Programming Practice (Lisp)

  8357, Spring, Faculty of Integrated Human Studies, 4
• From 01 Apr. 2022, To 31 Mar. 2023

  Foundation of Computer Science A

  8114, Spring, Faculty of Integrated Human Studies, 2
• From 01 Apr. 2022, To 31 Mar. 2023

  Special seminar on mathematical informatics 2

  O024, Fall, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2022, To 31 Mar. 2023

  Programming Practice (Lisp)

  T028, Spring, Institute for Liberal Arts and Sciences, 4
• From 01 Apr. 2022, To 31 Mar. 2023

  Advanced Studies of Human Coexistence I

  O001, Year-long, Graduate School of Human and Environmental Studies, 2
• From 01 Apr. 2022, To 31 Mar. 2023

  Human Coexistence I

  1001, Year-long, Graduate School of Human and Environmental Studies, 4
• From 01 Apr. 2022, To 31 Mar. 2023

  Mathematical Logic A

  N138, Spring, Institute for Liberal Arts and Sciences, 2
• From 01 Apr. 2022, To 31 Mar. 2023

  Human Coexistence II

  1002, Year-long, Graduate School of Human and Environmental Studies, 4
• From Apr. 2011, To Mar. 2012

  Exercises in Information Sciences

  Fall, 全学共通科目
• From Apr. 2011, To Mar. 2012

  Introduction to Informatics B

  Fall, 全学共通科目
• From Apr. 2011, To Mar. 2012

  Programming for Information Sciences I

  Spring, 全学共通科目
• From Apr. 2011, To Mar. 2012

  計算機科学の基礎Ｂ

  Spring, 総合人間学部
• From Apr. 2011, To Mar. 2012

  情報処理の方法と演習Ｂ

  Spring, 総合人間学部
• From Apr. 2011, To Mar. 2012

  情報科学のためのプログラミングI

  Spring, 総合人間学部
• From Apr. 2011, To Mar. 2012

  数理科学論講究

  Year-long, 総合人間学部
• From Apr. 2011, To Mar. 2012

  Information Sciences B

  Fall, 全学共通科目
• From Apr. 2011, To Mar. 2012

  言語・数理情報科学入門

  Spring, 総合人間学部
• From Apr. 2011, To Mar. 2012

  情報基礎論2

  Fall, 人間・環境学研究科
• From Apr. 2011, To Mar. 2012

  情報基礎論1

  Spring, 人間・環境学研究科
• From Apr. 2011, To Mar. 2012

  数理情報論演習2

  Fall, 人間・環境学研究科
• From Apr. 2011, To Mar. 2012

  数理情報論演習1

  Spring, 人間・環境学研究科
• From Apr. 2012, To Mar. 2013

  Exercises in Information Processing A

  Spring, 総合人間学部
• From Apr. 2012, To Mar. 2013

  Introduction to Informatics B

  Fall, 全学共通科目
• From Apr. 2012, To Mar. 2013

  Programming for Information Sciences I

  Spring, 全学共通科目
• From Apr. 2012, To Mar. 2013

  Programming for Information Sciences I

  Spring, 総合人間学部
• From Apr. 2012, To Mar. 2013

  Exercises in Information Sciences

  Fall, 全学共通科目
• From Apr. 2012, To Mar. 2013

  Practicals for Information Sciences

  Spring, 全学共通科目
• From Apr. 2012, To Mar. 2013

  Reserch in Mathematical Science

  Year-long, 総合人間学部
• From Apr. 2012, To Mar. 2013

  Introduction to Linguistic and Mathematical Information Science

  Spring, 総合人間学部
• From Apr. 2012, To Mar. 2013

  Foundation of Computer Science A

  Spring, 総合人間学部
• From Apr. 2013, To Mar. 2014

  Introduction to Linguistic and Mathematical Information Science

  Spring, 総合人間学部
• From Apr. 2013, To Mar. 2014

  Foundation of Computer Science B

  Spring, 総合人間学部
• From Apr. 2013, To Mar. 2014

  Exercises in Information Processing B

  Spring, 総合人間学部
• From Apr. 2013, To Mar. 2014

  Reserch in Mathematical Science

  Year-long, 総合人間学部
• From Apr. 2013, To Mar. 2014

  Programming Practice (Lisp)

  Spring, 総合人間学部
• From Apr. 2013, To Mar. 2014

  Human Coexistence I

  Year-long, 人間・環境学研究科
• From Apr. 2013, To Mar. 2014

  Human Coexistence II

  Year-long, 人間・環境学研究科
• From Apr. 2013, To Mar. 2014

  Foundation of Informatics 1

  Spring, 人間・環境学研究科
• From Apr. 2013, To Mar. 2014

  Foundation of Informatics 2

  Fall, 人間・環境学研究科
• From Apr. 2013, To Mar. 2014

  Exercises for Mathematical Informatics 1

  Spring, 人間・環境学研究科
• From Apr. 2013, To Mar. 2014

  Exercises for Mathematical Informatics 2

  Fall, 人間・環境学研究科
• From Apr. 2013, To Mar. 2014

  Basic Seminar on Mathematical Sciences

  Spring, 人間・環境学研究科
• From Apr. 2013, To Mar. 2014

  Computer Literacy Exercise

  Fall, 全学共通科目
• From Apr. 2013, To Mar. 2014

  Computer Literacy Practice

  Spring, 全学共通科目
• From Apr. 2013, To Mar. 2014

  Information Network (Science Courses)

  Fall, 全学共通科目
• From Apr. 2013, To Mar. 2014

  Programming Practice (Lisp)

  Spring, 全学共通科目
• From Apr. 2014, To Mar. 2015

  Introduction to Linguistic and Mathematical Information Science

  Spring, 総合人間学部
• From Apr. 2014, To Mar. 2015

  Foundation of Computer Science A

  Spring, 総合人間学部
• From Apr. 2014, To Mar. 2015

  Exercises in Information Processing A

  Spring, 総合人間学部
• From Apr. 2014, To Mar. 2015

  Reserch in Mathematical Science

  Year-long, 総合人間学部
• From Apr. 2014, To Mar. 2015

  Programming Practice (Lisp)

  Spring, 総合人間学部
• From Apr. 2014, To Mar. 2015

  Human Coexistence I

  Year-long, 人間・環境学研究科
• From Apr. 2014, To Mar. 2015

  Human Coexistence II

  Year-long, 人間・環境学研究科
• From Apr. 2014, To Mar. 2015

  Foundation of Informatics 1

  Spring, 人間・環境学研究科
• From Apr. 2014, To Mar. 2015

  Foundation of Informatics 2

  Fall, 人間・環境学研究科
• From Apr. 2014, To Mar. 2015

  Exercises for Mathematical Informatics 1

  Spring, 人間・環境学研究科
• From Apr. 2014, To Mar. 2015

  Exercises for Mathematical Informatics 2

  Fall, 人間・環境学研究科
• From Apr. 2014, To Mar. 2015

  Basic Seminar on Mathematical Sciences

  Spring, 人間・環境学研究科
• From Apr. 2014, To Mar. 2015

  Advanced Studies of Human Coexistence I

  Year-long, 人間・環境学研究科
• From Apr. 2014, To Mar. 2015

  Advanced Studies of Human Coexistence II

  Year-long, 人間・環境学研究科
• From Apr. 2014, To Mar. 2015

  Special seminar on mathematics informatics1

  Spring, 人間・環境学研究科
• From Apr. 2014, To Mar. 2015

  Special seminar on mathematical informatics 2

  Fall, 人間・環境学研究科
• From Apr. 2014, To Mar. 2015

  Special seminar on mathematical science

  Year-long, 人間・環境学研究科
• From Apr. 2014, To Mar. 2015

  Computer Literacy Practice

  Fall, 全学共通科目
• From Apr. 2014, To Mar. 2015

  Information Network (Science Courses)

  Fall, 全学共通科目
• From Apr. 2014, To Mar. 2015

  Programming Practice (Lisp)

  Spring, 全学共通科目
• From Apr. 2015, To Mar. 2016

  Advanced Studies of Human Coexistence II

  Year-long, 人間・環境学研究科
• From Apr. 2015, To Mar. 2016

  Advanced Studies of Human Coexistence I

  Year-long, 人間・環境学研究科
• From Apr. 2015, To Mar. 2016

  Human Coexistence I

  Year-long, 人間・環境学研究科
• From Apr. 2015, To Mar. 2016

  Human Coexistence II

  Year-long, 人間・環境学研究科
• From Apr. 2015, To Mar. 2016

  Exercises in Information Processing B

  Spring, 総合人間学部
• From Apr. 2015, To Mar. 2016

  Foundation of Informatics 1

  Spring, 人間・環境学研究科
• From Apr. 2015, To Mar. 2016

  Foundation of Informatics 2

  Fall, 人間・環境学研究科
• From Apr. 2015, To Mar. 2016

  Exercises for Mathematical Informatics 1

  Spring, 人間・環境学研究科
• From Apr. 2015, To Mar. 2016

  Exercises for Mathematical Informatics 2

  Fall, 人間・環境学研究科
• From Apr. 2015, To Mar. 2016

  Special seminar on mathematical informatics 2

  Fall, 人間・環境学研究科
• From Apr. 2015, To Mar. 2016

  Special seminar on mathematics informatics1

  Spring, 人間・環境学研究科
• From Apr. 2015, To Mar. 2016

  Basic Seminar on Mathematical Sciences

  Spring, 人間・環境学研究科
• From Apr. 2015, To Mar. 2016

  Special seminar on mathematical science

  Year-long, 人間・環境学研究科
• From Apr. 2015, To Mar. 2016

  Reserch in Mathematical Science

  Year-long, 総合人間学部
• From Apr. 2015, To Mar. 2016

  Mathematical Logic A

  Spring, 全学共通科目
• From Apr. 2015, To Mar. 2016

  Computer Literacy Practice

  Fall, 全学共通科目
• From Apr. 2015, To Mar. 2016

  Programming Practice (Lisp)

  Spring, 全学共通科目
• From Apr. 2015, To Mar. 2016

  Programming Practice (Lisp)

  Spring, 総合人間学部
• From Apr. 2015, To Mar. 2016

  Introduction to Linguistic and Mathematical Information Science

  Spring, 総合人間学部
• From Apr. 2015, To Mar. 2016

  Foundation of Computer Science B

  Spring, 総合人間学部
• From Apr. 2016, To Mar. 2017

  Advanced Studies of Human Coexistence II

  Year-long, 人間・環境学研究科
• From Apr. 2016, To Mar. 2017

  Advanced Studies of Human Coexistence I

  Year-long, 人間・環境学研究科
• From Apr. 2016, To Mar. 2017

  Human Coexistence I

  Year-long, 人間・環境学研究科
• From Apr. 2016, To Mar. 2017

  Human Coexistence II

  Year-long, 人間・環境学研究科
• From Apr. 2016, To Mar. 2017

  Exercises in Information Processing A

  Spring, 総合人間学部
• From Apr. 2016, To Mar. 2017

  Practice of Basic Informatics (General)

  Fall, 全学共通科目
• From Apr. 2016, To Mar. 2017

  Foundation of Informatics 1

  Spring, 人間・環境学研究科
• From Apr. 2016, To Mar. 2017

  Exercises for Mathematical Informatics 1A

  Spring, 人間・環境学研究科
• From Apr. 2016, To Mar. 2017

  Exercises for Mathematical Informatics 1B

  Fall, 人間・環境学研究科
• From Apr. 2016, To Mar. 2017

  Special seminar on mathematical informatics 2

  Fall, 人間・環境学研究科
• From Apr. 2016, To Mar. 2017

  Special seminar on mathematics informatics1

  Spring, 人間・環境学研究科
• From Apr. 2016, To Mar. 2017

  Basic Seminar on Mathematical Sciences

  Spring, 人間・環境学研究科
• From Apr. 2016, To Mar. 2017

  Special seminar on mathematical science

  Year-long, 人間・環境学研究科
• From Apr. 2016, To Mar. 2017

  Reserch in Mathematical Science

  Year-long, 総合人間学部
• From Apr. 2016, To Mar. 2017

  Mathematical Logic A

  Spring, 全学共通科目
• From Apr. 2016, To Mar. 2017

  Programming Practice (Lisp)

  Spring, 全学共通科目
• From Apr. 2016, To Mar. 2017

  Programming Practice (Lisp)

  Spring, 総合人間学部
• From Apr. 2016, To Mar. 2017

  Introduction to Linguistic and Mathematical Information Science

  Spring, 総合人間学部
• From Apr. 2016, To Mar. 2017

  Foundation of Computer Science A

  Spring, 総合人間学部
• From Apr. 2017, To Mar. 2018

  Advanced Studies of Human Coexistence II

  Year-long, 人間・環境学研究科
• From Apr. 2017, To Mar. 2018

  Advanced Studies of Human Coexistence I

  Year-long, 人間・環境学研究科
• From Apr. 2017, To Mar. 2018

  Human Coexistence I

  Year-long, 人間・環境学研究科
• From Apr. 2017, To Mar. 2018

  Human Coexistence II

  Year-long, 人間・環境学研究科
• From Apr. 2017, To Mar. 2018

  Exercises in Information Processing B

  Spring, 総合人間学部
• From Apr. 2017, To Mar. 2018

  Practice of Basic Informatics (General)

  Fall, 全学共通科目
• From Apr. 2017, To Mar. 2018

  Foundation of Informatics 2

  Spring, 人間・環境学研究科
• From Apr. 2017, To Mar. 2018

  Exercises for Mathematical Informatics 1A

  Spring, 人間・環境学研究科
• From Apr. 2017, To Mar. 2018

  Exercises for Mathematical Informatics 1B

  Fall, 人間・環境学研究科
• From Apr. 2017, To Mar. 2018

  Special seminar on mathematical informatics 2

  Fall, 人間・環境学研究科
• From Apr. 2017, To Mar. 2018

  Special seminar on mathematics informatics1

  Spring, 人間・環境学研究科
• From Apr. 2017, To Mar. 2018

  Basic Seminar on Mathematical Sciences

  Spring, 人間・環境学研究科
• From Apr. 2017, To Mar. 2018

  Special seminar on mathematical science

  Year-long, 人間・環境学研究科
• From Apr. 2017, To Mar. 2018

  Reserch in Mathematical Science

  Year-long, 総合人間学部
• From Apr. 2017, To Mar. 2018

  Mathematical Logic A

  Spring, 全学共通科目
• From Apr. 2017, To Mar. 2018

  Foundation of Machine Learning

  Spring, 総合人間学部
• From Apr. 2017, To Mar. 2018

  Programming Practice (Lisp)

  Spring, 全学共通科目
• From Apr. 2017, To Mar. 2018

  Programming Practice (Lisp)

  Spring, 総合人間学部
• From Apr. 2018, To Mar. 2019

  Advanced Studies of Human Coexistence II

  Year-long, 人間・環境学研究科
• From Apr. 2018, To Mar. 2019

  Advanced Studies of Human Coexistence I

  Year-long, 人間・環境学研究科
• From Apr. 2018, To Mar. 2019

  Human Coexistence I

  Year-long, 人間・環境学研究科
• From Apr. 2018, To Mar. 2019

  Human Coexistence II

  Year-long, 人間・環境学研究科
• From Apr. 2018, To Mar. 2019

  Exercises in Information Processing A

  Spring, 総合人間学部
• From Apr. 2018, To Mar. 2019

  Practice of Basic Informatics (General)

  Fall, 全学共通科目
• From Apr. 2018, To Mar. 2019

  Foundation of Informatics 1

  Spring, 人間・環境学研究科
• From Apr. 2018, To Mar. 2019

  Exercises for Mathematical Informatics 1A

  Spring, 人間・環境学研究科
• From Apr. 2018, To Mar. 2019

  Exercises for Mathematical Informatics 1B

  Fall, 人間・環境学研究科
• From Apr. 2018, To Mar. 2019

  Special seminar on mathematical informatics 2

  Fall, 人間・環境学研究科
• From Apr. 2018, To Mar. 2019

  Special seminar on mathematics informatics1

  Spring, 人間・環境学研究科
• From Apr. 2018, To Mar. 2019

  Basic Seminar on Mathematical Sciences

  Spring, 人間・環境学研究科
• From Apr. 2018, To Mar. 2019

  Special seminar on mathematical science

  Year-long, 人間・環境学研究科
• From Apr. 2018, To Mar. 2019

  Reserch in Mathematical Science

  Year-long, 総合人間学部
• From Apr. 2018, To Mar. 2019

  Mathematical Logic A

  Spring, 全学共通科目
• From Apr. 2018, To Mar. 2019

  Programming Practice (Lisp)

  Spring, 全学共通科目
• From Apr. 2018, To Mar. 2019

  Programming Practice (Lisp)

  Spring, 総合人間学部
• From Apr. 2018, To Mar. 2019

  Introduction to Linguistic and Mathematical Information Science

  Spring, 総合人間学部
• From Apr. 2018, To Mar. 2019

  Foundation of Computer Science A

  Spring, 総合人間学部
• From Apr. 2019, To Mar. 2020

  Advanced Studies of Human Coexistence II

  Year-long, 人間・環境学研究科
• From Apr. 2019, To Mar. 2020

  Advanced Studies of Human Coexistence I

  Year-long, 人間・環境学研究科
• From Apr. 2019, To Mar. 2020

  Human Coexistence I

  Year-long, 人間・環境学研究科
• From Apr. 2019, To Mar. 2020

  Human Coexistence II

  Year-long, 人間・環境学研究科
• From Apr. 2019, To Mar. 2020

  Exercises in Information Processing B

  Spring, 総合人間学部
• From Apr. 2019, To Mar. 2020

  Practice of Basic Informatics (General)

  Fall, 全学共通科目
• From Apr. 2019, To Mar. 2020

  Foundation of Informatics 2

  Spring, 人間・環境学研究科
• From Apr. 2019, To Mar. 2020

  Exercises for Mathematical Informatics 1A

  Spring, 人間・環境学研究科
• From Apr. 2019, To Mar. 2020

  Exercises for Mathematical Informatics 1B

  Fall, 人間・環境学研究科
• From Apr. 2019, To Mar. 2020

  Special seminar on mathematical informatics 2

  Fall, 人間・環境学研究科
• From Apr. 2019, To Mar. 2020

  Special seminar on mathematics informatics1

  Spring, 人間・環境学研究科
• From Apr. 2019, To Mar. 2020

  Basic Seminar on Mathematical Sciences

  Spring, 人間・環境学研究科
• From Apr. 2019, To Mar. 2020

  Special seminar on mathematical science

  Year-long, 人間・環境学研究科
• From Apr. 2019, To Mar. 2020

  Reserch in Mathematical Science

  Year-long, 総合人間学部
• From Apr. 2019, To Mar. 2020

  Mathematical Logic A

  Spring, 全学共通科目
• From Apr. 2019, To Mar. 2020

  Foundation of Machine Learning

  Spring, 総合人間学部
• From Apr. 2019, To Mar. 2020

  Programming Practice (Lisp)

  Spring, 全学共通科目
• From Apr. 2019, To Mar. 2020

  Programming Practice (Lisp)

  Spring, 総合人間学部
• From Apr. 2019, To Mar. 2020

  Introduction to Linguistic and Mathematical Information Science

  Spring, 総合人間学部
• From Apr. 2020, To Mar. 2021

  Advanced Studies of Human Coexistence II

  Year-long, 人間・環境学研究科
• From Apr. 2020, To Mar. 2021

  Advanced Studies of Human Coexistence I

  Year-long, 人間・環境学研究科
• From Apr. 2020, To Mar. 2021

  Human Coexistence I

  Year-long, 人間・環境学研究科
• From Apr. 2020, To Mar. 2021

  Human Coexistence II

  Year-long, 人間・環境学研究科
• From Apr. 2020, To Mar. 2021

  Exercises in Information Processing A

  Spring, 総合人間学部
• From Apr. 2020, To Mar. 2021

  Practice of Basic Informatics (General)

  Fall, 全学共通科目
• From Apr. 2020, To Mar. 2021

  Foundation of Informatics 1

  Spring, 人間・環境学研究科
• From Apr. 2020, To Mar. 2021

  Exercises for Mathematical Informatics 1A

  Spring, 人間・環境学研究科
• From Apr. 2020, To Mar. 2021

  Exercises for Mathematical Informatics 1B

  Fall, 人間・環境学研究科
• From Apr. 2020, To Mar. 2021

  Special seminar on mathematical informatics 2

  Fall, 人間・環境学研究科
• From Apr. 2020, To Mar. 2021

  Special seminar on mathematics informatics1

  Spring, 人間・環境学研究科
• From Apr. 2020, To Mar. 2021

  Basic Seminar on Mathematical Sciences

  Spring, 人間・環境学研究科
• From Apr. 2020, To Mar. 2021

  Special seminar on mathematical science

  Year-long, 人間・環境学研究科
• From Apr. 2020, To Mar. 2021

  Reserch in Mathematical Science

  Year-long, 総合人間学部
• From Apr. 2020, To Mar. 2021

  Mathematical Logic A

  Spring, 全学共通科目
• From Apr. 2020, To Mar. 2021

  Programming Practice (Lisp)

  Spring, 全学共通科目
• From Apr. 2020, To Mar. 2021

  Programming Practice (Lisp)

  Spring, 総合人間学部
• From Apr. 2020, To Mar. 2021

  Introduction to Linguistic and Mathematical Information Science

  Spring, 総合人間学部
• From Apr. 2020, To Mar. 2021

  Foundation of Computer Science A

  Spring, 総合人間学部
• From Apr. 2021, To Mar. 2022

  Advanced Studies of Human Coexistence II

  Year-long, 人間・環境学研究科
• From Apr. 2021, To Mar. 2022

  Advanced Studies of Human Coexistence I

  Year-long, 人間・環境学研究科
• From Apr. 2021, To Mar. 2022

  Human Coexistence I

  Year-long, 人間・環境学研究科
• From Apr. 2021, To Mar. 2022

  Human Coexistence II

  Year-long, 人間・環境学研究科
• From Apr. 2021, To Mar. 2022

  Exercises in Information Processing B

  Spring, 総合人間学部
• From Apr. 2021, To Mar. 2022

  Practice of Basic Informatics (General)

  Fall, 全学共通科目
• From Apr. 2021, To Mar. 2022

  Foundation of Informatics 2

  Spring, 人間・環境学研究科
• From Apr. 2021, To Mar. 2022

  Introduction to Mathematical Information Science

  Spring, 総合人間学部
• From Apr. 2021, To Mar. 2022

  Exercises for Mathematical Informatics 1A

  Spring, 人間・環境学研究科
• From Apr. 2021, To Mar. 2022

  Exercises for Mathematical Informatics 1B

  Fall, 人間・環境学研究科
• From Apr. 2021, To Mar. 2022

  Special seminar on mathematical informatics 2

  Fall, 人間・環境学研究科
• From Apr. 2021, To Mar. 2022

  Special seminar on mathematics informatics1

  Spring, 人間・環境学研究科
• From Apr. 2021, To Mar. 2022

  Basic Seminar on Mathematical Sciences

  Spring, 人間・環境学研究科
• From Apr. 2021, To Mar. 2022

  Special seminar on mathematical science

  Year-long, 人間・環境学研究科
• From Apr. 2021, To Mar. 2022

  Reserch in Mathematical Science

  Year-long, 総合人間学部
• From Apr. 2021, To Mar. 2022

  Mathematical Logic A

  Spring, 全学共通科目
• From Apr. 2021, To Mar. 2022

  Foundation of Machine Learning

  Spring, 総合人間学部
• From Apr. 2021, To Mar. 2022

  Programming Practice (Lisp)

  Spring, 全学共通科目
• From Apr. 2021, To Mar. 2022

  Programming Practice (Lisp)

  Spring, 総合人間学部

Participation in PhD Defense

• Modeling of complex spatial structures using physics-informed neural network

  HAN ZHONGJIANG, Graduate School of Human and Environmental Studies, Sub-chief Examiner

  25 Mar. 2024

Administration

School management (title, position)

• From 01 Apr. 2023, To 31 Mar. 2025

  京都大学教務事務電算管理運営委員会 委員
• From 01 Apr. 2021, To 31 Mar. 2023

  京都大学教務事務電算管理運営委員会 委員

Faculty management (title, position)

• From 01 Apr. 2024, To 31 Mar. 2025

  オープンキャンパス小委員会 委員
• From 01 Apr. 2023, To 31 Mar. 2024

  情報セキュリティ委員会 委員
• From 01 Apr. 2011, To 31 Mar. 2012

  講座広報委員
• From 01 Apr. 2011, To 31 Mar. 2012

  ネットワーク管理委員会幹事
• From 01 Apr. 2011, To 31 Mar. 2012

  学部広報委員会副委員長
• From 01 Apr. 2011, To 31 Mar. 2012

  情報セキュリティ委員会幹事
• From 01 Apr. 2012, To 31 Mar. 2013

  ネットワーク管理委員会幹事
• From 01 Apr. 2012, To 31 Mar. 2013

  情報セキュリティ委員会幹事
• From 01 Apr. 2013, To 31 Mar. 2014

  ネットワーク管理委員会幹事
• From 01 Apr. 2013, To 31 Mar. 2014

  情報セキュリティ委員会幹事
• From 01 Apr. 2013, To 31 Mar. 2014

  建築委員会委員
• From 01 Apr. 2014, To 31 Mar. 2015

  建築委員会委員
• From 01 Apr. 2014, To 31 Mar. 2015

  情報セキュリティー委員会委員
• From 01 Apr. 2014, To 31 Mar. 2015

  ネットワーク管理委員会委員
• From 01 Apr. 2014, To 31 Mar. 2015

  ネットワーク管理委員会幹事
• From 01 Apr. 2014, To 31 Mar. 2015

  情報セキュリティ委員会幹事
• From 01 Apr. 2016, To 31 Mar. 2017

  ネットワーク管理委員会委員幹事
• From 01 Apr. 2016, To 31 Mar. 2017

  建築委員会委員
• From 01 Apr. 2016, To 31 Mar. 2017

  情報セキュリティ委員会幹事
• From 01 Apr. 2017, To 31 Mar. 2018

  建築委員会委員
• From 01 Apr. 2017, To 31 Mar. 2018

  情報セキュリティ委員会委員
• From 01 Apr. 2017, To 31 Mar. 2018

  ネットワーク管理委員会委員
• From 01 Apr. 2018, To 31 Mar. 2019

  建築委員会委員
• From 01 Apr. 2018, To 31 Mar. 2019

  情報セキュリティ委員会幹事
• From 01 Apr. 2019, To 31 Mar. 2020

  施設整備委員会委員
• From 01 Apr. 2019, To 31 Mar. 2020

  情報セキュリティ委員会委員
• From 01 Apr. 2020, To 31 Mar. 2021

  施設整備委員会委員
• From 01 Apr. 2020, To 31 Mar. 2021

  情報セキュリティ委員会委員
• From 01 Apr. 2021, To 31 Mar. 2022

  施設整備委員会委員
• From 01 Apr. 2021, To 31 Mar. 2022

  情報セキュリティ委員会委員
• From 01 Apr. 2022, To 31 Mar. 2023

  学部入試委員会 委員
• From 01 Apr. 2022, To 31 Mar. 2023

  情報セキュリティ委員会 委員