櫻川 貴司

Last Update: 2019/05/15 17:38:08

Print

Name(Kanji/Kana/Abecedarium Latinum)
櫻川 貴司/サクラガワ タカシ/Sakuragawa, Takashi
Primary Affiliation(Org1/Job title)
Graduate Schools Human and Environmental Studies/Associate Professor
Faculty
Org1 Job title
総合人間学部
Phone
Type Number
Office
Academic Degree
Field(Japanese) Field(English) University(Japanese) University(English) Method
理学修士 京都大学
Work Experience
Period Organization(Japanese) Organization(English) Job title(Japanese) Job title(English)
1987/03-1991/03 京都大学数理解析研究所 Research Institute for Mathematical Sciences, Kyoto University 助手 Assistant
1991/04-1992/09 京都大学教養部 Kyoto University 助教授 Assistant professor
1992/10-1993/03 京都大学総合人間学部 Faculty of Integrated Human Studies, Kyoto University 助教授 Assistant professor
1993/04-2003/03 京都大学大学院人間・環境学研究科 Graduate School of Human and Environmental Studies, Kyoto University 担当
2003/04-2007/03 京都大学大学院人間・環境学研究科 Graduate School of Human and Environmental Studies, Kyoto University 助教授 Assistant professor
2007/04- 京都大学大学院人間・環境学研究科 Graduate School of Human and Environmental Studies, Kyoto University 准教授 Associate professor
Language of Instruction
Language
English
researchmap URL
https://researchmap.jp/7000008538
Research Topics
(Japanese)
論理学の計算機への応用
Overview of the research
(Japanese)
論理学、特に様相論理とその計算機や通信への応用に興味を持っています。量子論理など、「かつ」と「または」の分配法則が一般には成り立たない論理とその応用にも興味を持っています。
Published Papers
Author Author(Japanese) Author(English) Title Title(Japanese) Title(English) Bibliography Bibliography(Japanese) Bibliography(English) Publication date Refereed paper Language Publishing type Disclose
Kent Miyajima, Takashi Sakuragawa Kent Miyajima, Takashi Sakuragawa Kent Miyajima, Takashi Sakuragawa Continuous and robust clustering coefficients for weighted and directed networks Continuous and robust clustering coefficients for weighted and directed networks Continuous and robust clustering coefficients for weighted and directed networks arXiv, Physics and Society (physics.soc-ph); Social and Information Networks (cs.SI) arXiv, Physics and Society (physics.soc-ph); Social and Information Networks (cs.SI) arXiv, Physics and Society (physics.soc-ph); Social and Information Networks (cs.SI) 2014/11 English Thesis(Others) Disclose to all
Ryosuke Fujii, Hiroo Iwanaga, Kento Miyajima, Takashi Sakuragawa 藤井 亮輔 , 岩永 宇央 , 宮嶋 健人, 櫻川 貴司 Ryosuke Fujii, Hiroo Iwanaga, Kento Miyajima, Takashi Sakuragawa Clustering Coefficients for 2-mode Graphs 2モード・グラフにおけるクラスター係数について Clustering Coefficients for 2-mode Graphs SIG-KBS, 101, 5-12 知識ベースシステム研究会, 101, 5-12 SIG-KBS, 101, 5-12 2014/03 Japanese Research paper(research society, symposium materials, etc.) Disclose to all
橋谷祐司, 桜川 貴司 橋谷祐司, 桜川 貴司 確率的アルゴリズムの場合のNo Free Lunch定理の厳密な証明 確率的アルゴリズムの場合のNo Free Lunch定理の厳密な証明 『情報処理学会研究報告. AL, アルゴリズム研究会報告』2010-AL-129(3)1-8頁 『情報処理学会研究報告. AL, アルゴリズム研究会報告』2010-AL-129(3)1-8頁 2010/02 Japanese Research paper(research society, symposium materials, etc.) Disclose to all
日置 尋久 , 森本 佳延 , 櫻川 貴司 日置 尋久 , 森本 佳延 , 櫻川 貴司 A Data Hiding Method using Noise Regions in an Image 画像のノイズ領域を利用したデータハイディングの一手法 A Data Hiding Method using Noise Regions in an Image 情報処理学会研究報告グラフィクスとCAD(CG), 14, 49-54 情報処理学会研究報告グラフィクスとCAD(CG), 14, 49-54 , 14, 49-54 2001/02 Japanese Research paper(research society, symposium materials, etc.) Disclose to all
Kazunori Horikiri, Hisao Matsuda, Takashi Sakuragawa 堀切 和典, 松田 久夫, 櫻川 貴司 Kazunori Horikiri, Hisao Matsuda, Takashi Sakuragawa A Debugging Environment for Multithread - programs on Distributed Operating System ToM 分散OS ToMにおけるマルチスレッド・プログラムのデバッグ環境 A Debugging Environment for Multithread - programs on Distributed Operating System ToM SIG Technical Reports, DPS, 52, 87-94 情報処理学会研究報告マルチメディア通信と分散処理(DPS), 52, 87-94 SIG Technical Reports, DPS, 52, 87-94 1992/07 Japanese Research paper(research society, symposium materials, etc.) Disclose to all
Takashi Hattori, Takashi Sakuragawa, Reiji Nakajima, Naoyuki Niide, Kazuki Takenaka Takashi Hattori, Takashi Sakuragawa, Reiji Nakajima, Naoyuki Niide, Kazuki Takenaka Takashi Hattori, Takashi Sakuragawa, Reiji Nakajima, Naoyuki Niide, Kazuki Takenaka RACCO : A Model-Logic Programming Language for Writing Models of Real-Time Process-Control Systems RACCO : A Model-Logic Programming Language for Writing Models of Real-Time Process-Control Systems RACCO : A Model-Logic Programming Language for Writing Models of Real-Time Process-Control Systems Advances in Software Science and Technology,3,53-70, 3, 53-70 Advances in Software Science and Technology,3,53-70, 3, 53-70 Advances in Software Science and Technology,3,53-70, 3, 53-70 1992 Refereed English Research paper(scientific journal) Disclose to all
OKAMOTO Toshio, SAKURAGAWA Takashi, HORIKIRI Kazunori, YAMAGISHI Hisao 岡本 利夫, 桜川 貴司, 堀切 和典, 山岸 久夫 OKAMOTO Toshio, SAKURAGAWA Takashi, HORIKIRI Kazunori, YAMAGISHI Hisao The Design of RPC through Network for a Distributed Operating System ToM 分散OS ToMにおけるネットワーク上のRPCの設計 The Design of RPC through Network for a Distributed Operating System ToM 情報処理学会 全国大会講演論文集, 42, 11-12 情報処理学会 全国大会講演論文集, 42, 11-12 , 42, 11-12 1991/02 Japanese Research paper(other science council materials etc.) Disclose to all
岡本利夫, 桜川貴司, 堀切和典, 山岸久夫 岡本利夫, 桜川貴司, 堀切和典, 山岸久夫 The capability management of a distributed operating system ToM. 分散OS ToMにおけるケイパビリティ管理法 The capability management of a distributed operating system ToM. 電子情報通信学会全国大会講演論文集 電子情報通信学会全国大会講演論文集 1990/09 Japanese Research paper(other science council materials etc.) Disclose to all
Masami Hagiya, Takashi Hattori, Akitoshi Morishima, Reiji Nakajima, Naoyuki Niide, Takashi Sakuragawa, Takashi Suzuki, Hideki Tsuiki, Taiichi Yuasa Masami Hagiya, Takashi Hattori, Akitoshi Morishima, Reiji Nakajima, Naoyuki Niide, Takashi Sakuragawa, Takashi Suzuki, Hideki Tsuiki, Taiichi Yuasa Masami Hagiya, Takashi Hattori, Akitoshi Morishima, Reiji Nakajima, Naoyuki Niide, Takashi Sakuragawa, Takashi Suzuki, Hideki Tsuiki, Taiichi Yuasa Overview of GMW+Wnn System Overview of GMW+Wnn System Overview of GMW+Wnn System Advances in Software Science and Technology,1,133-156, 1 Advances in Software Science and Technology,1,133-156, 1 Advances in Software Science and Technology,1,133-156, 1 1990 Refereed English Research paper(scientific journal) Disclose to all
Jun Arai, Takashi Sakuragawa, Hideki Tsuiki, Tatsuya Hagino, Takashi Hattori, Akitoshi Morishima 新井 潤, 桜川 貴司, 立木 秀樹, 萩野 達也, 服部 隆志, 森島 晃年 Jun Arai, Takashi Sakuragawa, Hideki Tsuiki, Tatsuya Hagino, Takashi Hattori, Akitoshi Morishima A Distributed Operating System ToM -its programming model and security- 分散OS ToM -新しいプログラミングモデルとセキュリティ機構について- A Distributed Operating System ToM -its programming model and security- SIGOS, 94, 1-8 情報処理学会研究報告システムソフトウェアとオペレーティング・システム(OS), 94, 1-8 SIGOS, 94, 1-8 1989/11 Japanese Research paper(research society, symposium materials, etc.) Disclose to all
櫻川 貴司 櫻川 貴司, 竹中一起, 中島玲二, 新出尚行, 服部隆志 櫻川 貴司 PACCO : A Modallogic programming language for writing models of real-time process-contol systems RACCO: 実時間プロセス制御システムのモデル記述のための様相論理プログラミング言語 PACCO : A Modallogic programming language for writing models of real-time process-contol systems Computer Software.,5/3, 5, 3, 22-33 コンピュータ・ソフトウェア, 5, 3, 22-33 Computer Software.,5/3, 5, 3, 22-33 1988/07 Refereed Japanese Research paper(scientific journal) Disclose to all
櫻川 貴司 櫻川 貴司 櫻川 貴司 Temporal Prolog - Aprogramming language Based on Temporal logic Temporal Prolog - Aprogramming language Based on Temporal logic Temporal Prolog - Aprogramming language Based on Temporal logic Computer Software,4/3, 5, 3, 15-27 Computer Software,4/3, 5, 3, 15-27 Computer Software,4/3, 5, 3, 15-27 1987/07 Refereed Japanese Research paper(scientific journal) Disclose to all
Takashi Sakuragawa Takashi Sakuragawa Takashi Sakuragawa Temporal Prolog Temporal Prolog Temporal Prolog RIMS Kokyuroku Kyoto-Univ,586 RIMS Kokyuroku Kyoto-Univ,586 RIMS Kokyuroku Kyoto-Univ,586 1986/03 English Research paper(research society, symposium materials, etc.) Disclose to all
Takashi Sakuragawa 櫻川 貴司 Takashi Sakuragawa Temporal Prolog: A programming language based on temporal logic Temporal Prolog: A programming language based on temporal logic Temporal Prolog: A programming language based on temporal logic SIGPRO, 58, 1-10 情報処理学会 ソフトウェア基礎論研究会報告, 58, 1-10 SIGPRO, 58, 1-10 1985/12 Japanese Research paper(research society, symposium materials, etc.) Disclose to all
HATTORI T, NAKAJIMA R, SAKURAGAWA T, AKIYAMA T, FUJII H HATTORI T, NAKAJIMA R, SAKURAGAWA T, AKIYAMA T, FUJII H HATTORI T, NAKAJIMA R, SAKURAGAWA T, AKIYAMA T, FUJII H Writing models of real-time control systems - Toward computer-aided generation of real-time software. Writing models of real-time control systems - Toward computer-aided generation of real-time software. Writing models of real-time control systems - Toward computer-aided generation of real-time software. 日本ソフトウエア科学会大会論文集, 2, 229-232 日本ソフトウエア科学会大会論文集, 2, 229-232 , 2, 229-232 1985/11 Japanese Research paper(other science council materials etc.) Disclose to all
萩野 達也,桜川 貴司,柴山 悦哉 萩野 達也,桜川 貴司,柴山 悦哉 Prolog system for micro computer which attaches importance to functions as program development environment プログラム開発環境としての機能を重視したマイコンのためのPrologシステム Prolog system for micro computer which attaches importance to functions as program development environment 第25回プログラミング・シンポジウム報告書, 25, 114-123 第25回プログラミング・シンポジウム報告書, 25, 114-123 , 25, 114-123 1984/01 Japanese Research paper(research society, symposium materials, etc.) Disclose to all

  • <<
  • >>
Title language:
Misc
Author Author(Japanese) Author(English) Title Title(Japanese) Title(English) Bibliography Bibliography(Japanese) Bibliography(English) Publication date Refereed paper Language Publishing type Disclose
分散OSToM設計グループ 分散OSToM設計グループ ToM : An Operating system for distributed environment 分散環境をサポートするOS ToMの構想 ToM : An Operating system for distributed environment Nikkei Electronics.,484, 484, 187-199 日経エレクトロニクス,484, 484, 187-199 Nikkei Electronics.,484, 484, 187-199 1989/10 Japanese Introduction and explanation (commerce magazine) Disclose to all
Takashi Sakuragawa 櫻川 貴司 Takashi Sakuragawa A new programming paradigm. 15. Modal logic and temporal programming 新しいプログラミング・パラダイム XV 様相論理とテンポラル・プログラミング A new programming paradigm. 15. Modal logic and temporal programming bit, 21, 1, 69-77 bit, 21, 1, 69-77 bit, 21, 1, 69-77 1989/01 Japanese Introduction and explanation (commerce magazine) Disclose to all
Takashi Sakuragawa 櫻川 貴司 Takashi Sakuragawa Wnn: an open Japanese-input system 開かれた日本語入力システム Wnn Wnn: an open Japanese-input system bit, 19, 10, 13-23 bit, 19, 10, 13-23 bit, 19, 10, 13-23 1987/10 Japanese Introduction and explanation (commerce magazine) Disclose to all
T. HATTORI, R. NAKAJIMA, T. SAKURAGAWA, N. NIIDE T. HATTORI, R. NAKAJIMA, T. SAKURAGAWA, N. NIIDE T. HATTORI, R. NAKAJIMA, T. SAKURAGAWA, N. NIIDE RACCO: a Modal-Logic Programming Language for Writing Models of Real-time Process-Control Systems RACCO: a Modal-Logic Programming Language for Writing Models of Real-time Process-Control Systems RACCO: a Modal-Logic Programming Language for Writing Models of Real-time Process-Control Systems RIMS Preprint, 558, 1-18 RIMS Preprint, 558, 1-18 RIMS Preprint, 558, 1-18 1986/12 English Institution technical report and pre-print, etc. Disclose to all
T. SAKURAGAWA, R. NAKAJIMA, T. HATTORI, N.NIIDE, K. TAKENAKA 櫻川 貴司, 中島玲二, 服部隆志, 新出尚之, 竹中一起 T. SAKURAGAWA, R. NAKAJIMA, T. HATTORI, N.NIIDE, K. TAKENAKA A Work Out Example of Tube Mill in RACCO RACCOによる工場制御の記述例 A Work Out Example of Tube Mill in RACCO RIMS Preprint, 561 RIMS Preprint, 561 RIMS Preprint, 561 1986/12 Japanese Institution technical report and pre-print, etc. Disclose to all
Title language:
Books etc
Author Author(Japanese) Author(English) Title Title(Japanese) Title(English) Publisher Publisher(Japanese) Publisher(English) Publication date Language Type Disclose
櫻川 貴司 櫻川 貴司 計算機と認識 計算機と認識 認識と情報(共著), 認識と情報(共著), 1999 Japanese Contributor Disclose to all
櫻川 貴司 櫻川 貴司 UNIXカーネルの魔法(翻訳) UNIXカーネルの魔法(翻訳) プレンティス・ホール出版, プレンティス・ホール出版, 1997 Japanese Joint Translation Disclose to all
櫻川 貴司 櫻川 貴司 Wnn+GMW入門 Wnn+GMW入門 岩波書店, 岩波書店, 1990 Japanese Joint Work Disclose to all
井田 哲雄 (編集), 田中 二郎 (編集)  桜川貴司他 井田 哲雄 (編集), 田中 二郎 (編集)  桜川貴司他 続 新しいプログラミング・パラダイム 続 新しいプログラミング・パラダイム 共立出版、全254頁 共立出版、全254頁 1990 Japanese Contributor Disclose to all
櫻川 貴司 櫻川 貴司 Prolog-KABA入門 Prolog-KABA入門 岩波書店, 岩波書店, 1986 Japanese Joint Work Disclose to all
Title language:
Teaching subject(s)
Name(Japanese) Name(English) Term Department Period
情報科学実習 Exercises in Information Sciences 後期 全学共通科目 2011/04-2012/03
情報学概論B Introduction to Informatics B 後期 全学共通科目 2011/04-2012/03
情報科学のためのプログラミングI Programming for Information Sciences I 前期 全学共通科目 2011/04-2012/03
計算機科学の基礎B 前期 総合人間学部 2011/04-2012/03
情報処理の方法と演習B 前期 総合人間学部 2011/04-2012/03
情報科学のためのプログラミングI 前期 総合人間学部 2011/04-2012/03
数理科学論講究 通年集中 総合人間学部 2011/04-2012/03
情報科学B Information Sciences B 後期 全学共通科目 2011/04-2012/03
言語・数理情報科学入門 前期 総合人間学部 2011/04-2012/03
情報基礎論2 後期 人間・環境学研究科 2011/04-2012/03
情報基礎論1 前期 人間・環境学研究科 2011/04-2012/03
数理情報論演習2 後期 人間・環境学研究科 2011/04-2012/03
数理情報論演習1 前期 人間・環境学研究科 2011/04-2012/03
情報処理の方法と演習A Exercises in Information Processing A 前期 総合人間学部 2012/04-2013/03
情報学概論B Introduction to Informatics B 後期 全学共通科目 2012/04-2013/03
情報科学のためのプログラミングI Programming for Information Sciences I 前期 全学共通科目 2012/04-2013/03
情報科学のためのプログラミングI Programming for Information Sciences I 前期 総合人間学部 2012/04-2013/03
情報科学実習 Exercises in Information Sciences 後期 全学共通科目 2012/04-2013/03
情報科学演習 Practicals for Information Sciences 前期 全学共通科目 2012/04-2013/03
数理科学論講究 Reserch in Mathematical Science 通年集中 総合人間学部 2012/04-2013/03
言語・数理情報科学入門 Introduction to Linguistic and Mathematical Information Science 前期 総合人間学部 2012/04-2013/03
計算機科学の基礎A Foundation of Computer Science A 前期 総合人間学部 2012/04-2013/03
言語・数理情報科学入門 Introduction to Linguistic and Mathematical Information Science 前期 総合人間学部 2013/04-2014/03
計算機科学の基礎B Foundation of Computer Science B 前期 総合人間学部 2013/04-2014/03
情報処理の方法と演習B Exercises in Information Processing B 前期 総合人間学部 2013/04-2014/03
数理科学論講究 Reserch in Mathematical Science 通年集中 総合人間学部 2013/04-2014/03
プログラミング演習(Lisp) Programming Practice (Lisp) 前期 総合人間学部 2013/04-2014/03
共生人間学研究I Human Coexistence I 通年 人間・環境学研究科 2013/04-2014/03
共生人間学研究II Human Coexistence II 通年 人間・環境学研究科 2013/04-2014/03
情報基礎論1 Foundation of Informatics 1 前期 人間・環境学研究科 2013/04-2014/03
情報基礎論2 Foundation of Informatics 2 後期 人間・環境学研究科 2013/04-2014/03
数理情報論演習1 Exercises for Mathematical Informatics 1 前期 人間・環境学研究科 2013/04-2014/03
数理情報論演習2 Exercises for Mathematical Informatics 2 後期 人間・環境学研究科 2013/04-2014/03
数理科学基礎演習 Basic Seminar on Mathematical Sciences 前期 人間・環境学研究科 2013/04-2014/03
コンピュータリテラシー実習 Computer Literacy Exercise 後期 全学共通科目 2013/04-2014/03
コンピュータリテラシー演習 Computer Literacy Practice 前期 全学共通科目 2013/04-2014/03
情報ネットワーク(理系向) Information Network (Science Courses) 後期 全学共通科目 2013/04-2014/03
プログラミング演習(LIsp) Programming Practice (Lisp) 前期 全学共通科目 2013/04-2014/03
言語・数理情報科学入門 Introduction to Linguistic and Mathematical Information Science 前期 総合人間学部 2014/04-2015/03
計算機科学の基礎A Foundation of Computer Science A 前期 総合人間学部 2014/04-2015/03
情報処理の方法と演習A Exercises in Information Processing A 前期 総合人間学部 2014/04-2015/03
数理科学論講究 Reserch in Mathematical Science 通年集中 総合人間学部 2014/04-2015/03
プログラミング演習(Lisp) Programming Practice (Lisp) 前期 総合人間学部 2014/04-2015/03
共生人間学研究I Human Coexistence I 通年 人間・環境学研究科 2014/04-2015/03
共生人間学研究II Human Coexistence II 通年 人間・環境学研究科 2014/04-2015/03
情報基礎論1 Foundation of Informatics 1 前期 人間・環境学研究科 2014/04-2015/03
情報基礎論2 Foundation of Informatics 2 後期 人間・環境学研究科 2014/04-2015/03
数理情報論演習1 Exercises for Mathematical Informatics 1 前期 人間・環境学研究科 2014/04-2015/03
数理情報論演習2 Exercises for Mathematical Informatics 2 後期 人間・環境学研究科 2014/04-2015/03
数理科学基礎演習 Basic Seminar on Mathematical Sciences 前期 人間・環境学研究科 2014/04-2015/03
共生人間学特別研究I Advanced Studies of Human Coexistence I 通年 人間・環境学研究科 2014/04-2015/03
共生人間学特別研究II Advanced Studies of Human Coexistence II 通年 人間・環境学研究科 2014/04-2015/03
数理情報論特別演習1 Special seminar on mathematics informatics1 前期 人間・環境学研究科 2014/04-2015/03
数理情報論特別演習2 Special seminar on mathematical informatics 2 後期 人間・環境学研究科 2014/04-2015/03
数理科学特別セミナー Special seminar on mathematical science 通年 人間・環境学研究科 2014/04-2015/03
コンピュータリテラシー演習 Computer Literacy Practice 後期 全学共通科目 2014/04-2015/03
情報ネットワーク(理系向) Information Network (Science Courses) 後期 全学共通科目 2014/04-2015/03
プログラミング演習(LIsp) Programming Practice (Lisp) 前期 全学共通科目 2014/04-2015/03
共生人間学特別研究II Advanced Studies of Human Coexistence II 通年 人間・環境学研究科 2015/04-2016/03
共生人間学特別研究I Advanced Studies of Human Coexistence I 通年 人間・環境学研究科 2015/04-2016/03
共生人間学研究I Human Coexistence I 通年 人間・環境学研究科 2015/04-2016/03
共生人間学研究II Human Coexistence II 通年 人間・環境学研究科 2015/04-2016/03
情報処理の方法と演習B Exercises in Information Processing B 前期 総合人間学部 2015/04-2016/03
情報基礎論1 Foundation of Informatics 1 前期 人間・環境学研究科 2015/04-2016/03
情報基礎論2 Foundation of Informatics 2 後期 人間・環境学研究科 2015/04-2016/03
数理情報論演習1 Exercises for Mathematical Informatics 1 前期 人間・環境学研究科 2015/04-2016/03
数理情報論演習2 Exercises for Mathematical Informatics 2 後期 人間・環境学研究科 2015/04-2016/03
数理情報論特別演習2 Special seminar on mathematical informatics 2 後期 人間・環境学研究科 2015/04-2016/03
数理情報論特別演習1 Special seminar on mathematics informatics1 前期 人間・環境学研究科 2015/04-2016/03
数理科学基礎演習 Basic Seminar on Mathematical Sciences 前期 人間・環境学研究科 2015/04-2016/03
数理科学特別セミナー Special seminar on mathematical science 通年 人間・環境学研究科 2015/04-2016/03
数理科学論講究 Reserch in Mathematical Science 通年集中 総合人間学部 2015/04-2016/03
数理論理学A Mathematical Logic A 前期 全学共通科目 2015/04-2016/03
コンピュータリテラシー演習 Computer Literacy Practice 後期 全学共通科目 2015/04-2016/03
プログラミング演習(LIsp) Programming Practice (Lisp) 前期 全学共通科目 2015/04-2016/03
プログラミング演習(Lisp) Programming Practice (Lisp) 前期 総合人間学部 2015/04-2016/03
言語・数理情報科学入門 Introduction to Linguistic and Mathematical Information Science 前期 総合人間学部 2015/04-2016/03
計算機科学の基礎B Foundation of Computer Science B 前期 総合人間学部 2015/04-2016/03
共生人間学特別研究II Advanced Studies of Human Coexistence II 通年 人間・環境学研究科 2016/04-2017/03
共生人間学特別研究I Advanced Studies of Human Coexistence I 通年 人間・環境学研究科 2016/04-2017/03
共生人間学研究I Human Coexistence I 通年 人間・環境学研究科 2016/04-2017/03
共生人間学研究II Human Coexistence II 通年 人間・環境学研究科 2016/04-2017/03
情報処理の方法と演習A Exercises in Information Processing A 前期 総合人間学部 2016/04-2017/03
情報基礎演習[全学向] Practice of Basic Informatics (General) 後期 全学共通科目 2016/04-2017/03
情報基礎論1 Foundation of Informatics 1 前期 人間・環境学研究科 2016/04-2017/03
数理情報論演習1A Exercises for Mathematical Informatics 1A 前期 人間・環境学研究科 2016/04-2017/03
数理情報論演習1B Exercises for Mathematical Informatics 1B 後期 人間・環境学研究科 2016/04-2017/03
数理情報論特別演習2 Special seminar on mathematical informatics 2 後期 人間・環境学研究科 2016/04-2017/03
数理情報論特別演習1 Special seminar on mathematics informatics1 前期 人間・環境学研究科 2016/04-2017/03
数理科学基礎演習 Basic Seminar on Mathematical Sciences 前期 人間・環境学研究科 2016/04-2017/03
数理科学特別セミナー Special seminar on mathematical science 通年 人間・環境学研究科 2016/04-2017/03
数理科学論講究 Reserch in Mathematical Science 通年集中 総合人間学部 2016/04-2017/03
数理論理学A Mathematical Logic A 前期 全学共通科目 2016/04-2017/03
プログラミング演習(Lisp) Programming Practice (Lisp) 前期 全学共通科目 2016/04-2017/03
プログラミング演習(Lisp) Programming Practice (Lisp) 前期 総合人間学部 2016/04-2017/03
言語・数理情報科学入門 Introduction to Linguistic and Mathematical Information Science 前期 総合人間学部 2016/04-2017/03
計算機科学の基礎A Foundation of Computer Science A 前期 総合人間学部 2016/04-2017/03
共生人間学特別研究II Advanced Studies of Human Coexistence II 通年 人間・環境学研究科 2017/04-2018/03
共生人間学特別研究I Advanced Studies of Human Coexistence I 通年 人間・環境学研究科 2017/04-2018/03
共生人間学研究I Human Coexistence I 通年 人間・環境学研究科 2017/04-2018/03
共生人間学研究II Human Coexistence II 通年 人間・環境学研究科 2017/04-2018/03
情報処理の方法と演習B Exercises in Information Processing B 前期 総合人間学部 2017/04-2018/03
情報基礎演習[全学向] Practice of Basic Informatics (General) 後期 全学共通科目 2017/04-2018/03
情報基礎論2 Foundation of Informatics 2 前期 人間・環境学研究科 2017/04-2018/03
数理情報論演習1A Exercises for Mathematical Informatics 1A 前期 人間・環境学研究科 2017/04-2018/03
数理情報論演習1B Exercises for Mathematical Informatics 1B 後期 人間・環境学研究科 2017/04-2018/03
数理情報論特別演習2 Special seminar on mathematical informatics 2 後期 人間・環境学研究科 2017/04-2018/03
数理情報論特別演習1 Special seminar on mathematics informatics1 前期 人間・環境学研究科 2017/04-2018/03
数理科学基礎演習 Basic Seminar on Mathematical Sciences 前期 人間・環境学研究科 2017/04-2018/03
数理科学特別セミナー Special seminar on mathematical science 通年 人間・環境学研究科 2017/04-2018/03
数理科学論講究 Reserch in Mathematical Science 通年集中 総合人間学部 2017/04-2018/03
数理論理学A Mathematical Logic A 前期 全学共通科目 2017/04-2018/03
機械学習の基礎 Foundation of Machine Learning 前期 総合人間学部 2017/04-2018/03
プログラミング演習(Lisp) Programming Practice (Lisp) 前期 全学共通科目 2017/04-2018/03
プログラミング演習(Lisp) Programming Practice (Lisp) 前期 総合人間学部 2017/04-2018/03
共生人間学特別研究II Advanced Studies of Human Coexistence II 通年 人間・環境学研究科 2018/04-2019/03
共生人間学特別研究I Advanced Studies of Human Coexistence I 通年 人間・環境学研究科 2018/04-2019/03
共生人間学研究I Human Coexistence I 通年 人間・環境学研究科 2018/04-2019/03
共生人間学研究II Human Coexistence II 通年 人間・環境学研究科 2018/04-2019/03
情報処理の方法と演習A Exercises in Information Processing A 前期 総合人間学部 2018/04-2019/03
情報基礎演習[全学向] Practice of Basic Informatics (General) 後期 全学共通科目 2018/04-2019/03
情報基礎論1 Foundation of Informatics 1 前期 人間・環境学研究科 2018/04-2019/03
数理情報論演習1A Exercises for Mathematical Informatics 1A 前期 人間・環境学研究科 2018/04-2019/03
数理情報論演習1B Exercises for Mathematical Informatics 1B 後期 人間・環境学研究科 2018/04-2019/03
数理情報論特別演習2 Special seminar on mathematical informatics 2 後期 人間・環境学研究科 2018/04-2019/03
数理情報論特別演習1 Special seminar on mathematics informatics1 前期 人間・環境学研究科 2018/04-2019/03
数理科学基礎演習 Basic Seminar on Mathematical Sciences 前期 人間・環境学研究科 2018/04-2019/03
数理科学特別セミナー Special seminar on mathematical science 通年 人間・環境学研究科 2018/04-2019/03
数理科学論講究 Reserch in Mathematical Science 通年集中 総合人間学部 2018/04-2019/03
数理論理学A Mathematical Logic A 前期 全学共通科目 2018/04-2019/03
プログラミング演習(Lisp) Programming Practice (Lisp) 前期 全学共通科目 2018/04-2019/03
プログラミング演習(Lisp) Programming Practice (Lisp) 前期 総合人間学部 2018/04-2019/03
言語・数理情報科学入門 Introduction to Linguistic and Mathematical Information Science 前期 総合人間学部 2018/04-2019/03
計算機科学の基礎A Foundation of Computer Science A 前期 総合人間学部 2018/04-2019/03
共生人間学特別研究II Advanced Studies of Human Coexistence II 通年 人間・環境学研究科 2019/04-2020/03
共生人間学特別研究I Advanced Studies of Human Coexistence I 通年 人間・環境学研究科 2019/04-2020/03
共生人間学研究I Human Coexistence I 通年 人間・環境学研究科 2019/04-2020/03
共生人間学研究II Human Coexistence II 通年 人間・環境学研究科 2019/04-2020/03
情報処理の方法と演習B Exercises in Information Processing B 前期 総合人間学部 2019/04-2020/03
情報基礎演習[全学向] Practice of Basic Informatics (General) 後期 全学共通科目 2019/04-2020/03
情報基礎論2 Foundation of Informatics 2 前期 人間・環境学研究科 2019/04-2020/03
数理情報論演習1A Exercises for Mathematical Informatics 1A 前期 人間・環境学研究科 2019/04-2020/03
数理情報論演習1B Exercises for Mathematical Informatics 1B 後期 人間・環境学研究科 2019/04-2020/03
数理情報論特別演習2 Special seminar on mathematical informatics 2 後期 人間・環境学研究科 2019/04-2020/03
数理情報論特別演習1 Special seminar on mathematics informatics1 前期 人間・環境学研究科 2019/04-2020/03
数理科学基礎演習 Basic Seminar on Mathematical Sciences 前期 人間・環境学研究科 2019/04-2020/03
数理科学特別セミナー Special seminar on mathematical science 通年 人間・環境学研究科 2019/04-2020/03
数理科学論講究 Reserch in Mathematical Science 通年集中 総合人間学部 2019/04-2020/03
数理論理学A Mathematical Logic A 前期 全学共通科目 2019/04-2020/03
機械学習の基礎 Foundation of Machine Learning 前期 総合人間学部 2019/04-2020/03
プログラミング演習(Lisp) Programming Practice (Lisp) 前期 全学共通科目 2019/04-2020/03
プログラミング演習(Lisp) Programming Practice (Lisp) 前期 総合人間学部 2019/04-2020/03
言語・数理情報科学入門 Introduction to Linguistic and Mathematical Information Science 前期 総合人間学部 2019/04-2020/03

  • <<
  • >>
Faculty management (title, position)
Title Period
建築委員会委員 2014/04/01-2015/03/31
情報セキュリティー委員会委員 2014/04/01-2015/03/31
ネットワーク管理委員会委員 2014/04/01-2015/03/31
講座広報委員 2011/04/01-2012/03/31
ネットワーク管理委員会幹事 2011/04/01-2012/03/31
ネットワーク管理委員会幹事 2012/04/01-2013/03/31
ネットワーク管理委員会幹事 2013/04/01-2014/03/31
ネットワーク管理委員会幹事 2014/04/01-2015/03/31
学部広報委員会副委員長 2011/04/01-2012/03/31
情報セキュリティ委員会幹事 2011/04/01-2012/03/31
情報セキュリティ委員会幹事 2012/04/01-2013/03/31
情報セキュリティ委員会幹事 2013/04/01-2014/03/31
情報セキュリティ委員会幹事 2014/04/01-2015/03/31
建築委員会委員 2013/04/01-2014/03/31
ネットワーク管理委員会委員幹事 2016/04/01-2017/03/31
建築委員会委員 2016/04/01-2017/03/31
情報セキュリティ委員会幹事 2016/04/01-2017/03/31
建築委員会委員 2017/04/01-2018/03/31
情報セキュリティ委員会委員 2017/04/01-2018/03/31
ネットワーク管理委員会委員 2017/04/01-2018/03/31
2018/04/01-2019/03/31

  • <<
  • >>