櫻川 貴司

最終更新日時: 2019/05/15 17:38:08

印刷する

氏名(漢字/フリガナ/アルファベット表記)
櫻川 貴司/サクラガワ タカシ/Sakuragawa, Takashi
所属部署・職名(部局/所属/講座等/職名)
人間・環境学研究科/共生人間学専攻数理科学講座/准教授
学部兼担
部局 所属 講座等 職名
総合人間学部
連絡先電話番号
種別 番号
職場
取得学位
学位名(日本語) 学位名(英語) 大学(日本語) 大学(英語) 取得区分
理学修士 京都大学
職歴
期間 組織名(日本語) 組織名(英語) 職名(日本語) 職名(英語)
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
researchmap URL
https://researchmap.jp/7000008538
研究テーマ
(日本語)
論理学の計算機への応用
研究概要
(日本語)
論理学、特に様相論理とその計算機や通信への応用に興味を持っています。量子論理など、「かつ」と「または」の分配法則が一般には成り立たない論理とその応用にも興味を持っています。
論文
著者 著者(日本語) 著者(英語) タイトル タイトル(日本語) タイトル(英語) 書誌情報等 書誌情報等(日本語) 書誌情報等(英語) 出版年月 査読の有無 記述言語 掲載種別 公開
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 英語 学位論文(その他) 公開
藤井 亮輔 , 岩永 宇央 , 宮嶋 健人, 櫻川 貴司 藤井 亮輔 , 岩永 宇央 , 宮嶋 健人, 櫻川 貴司 Ryosuke Fujii, Hiroo Iwanaga, Kento Miyajima, Takashi Sakuragawa 2モード・グラフにおけるクラスター係数について 2モード・グラフにおけるクラスター係数について Clustering Coefficients for 2-mode Graphs 知識ベースシステム研究会, 101, 5-12 知識ベースシステム研究会, 101, 5-12 SIG-KBS, 101, 5-12 2014/03 日本語 研究論文(研究会、シンポジウム資料等) 公開
橋谷祐司, 桜川 貴司 橋谷祐司, 桜川 貴司 確率的アルゴリズムの場合のNo Free Lunch定理の厳密な証明 確率的アルゴリズムの場合のNo Free Lunch定理の厳密な証明 『情報処理学会研究報告. AL, アルゴリズム研究会報告』2010-AL-129(3)1-8頁 『情報処理学会研究報告. AL, アルゴリズム研究会報告』2010-AL-129(3)1-8頁 2010/02 日本語 研究論文(研究会、シンポジウム資料等) 公開
日置 尋久 , 森本 佳延 , 櫻川 貴司 日置 尋久 , 森本 佳延 , 櫻川 貴司 画像のノイズ領域を利用したデータハイディングの一手法 画像のノイズ領域を利用したデータハイディングの一手法 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 日本語 研究論文(研究会、シンポジウム資料等) 公開
堀切 和典, 松田 久夫, 櫻川 貴司 堀切 和典, 松田 久夫, 櫻川 貴司 Kazunori Horikiri, Hisao Matsuda, Takashi Sakuragawa 分散OS ToMにおけるマルチスレッド・プログラムのデバッグ環境 分散OS ToMにおけるマルチスレッド・プログラムのデバッグ環境 A Debugging Environment for Multithread - programs on Distributed Operating System ToM 情報処理学会研究報告マルチメディア通信と分散処理(DPS), 52, 87-94 情報処理学会研究報告マルチメディア通信と分散処理(DPS), 52, 87-94 SIG Technical Reports, DPS, 52, 87-94 1992/07 日本語 研究論文(研究会、シンポジウム資料等) 公開
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 英語 研究論文(学術雑誌) 公開
岡本 利夫, 桜川 貴司, 堀切 和典, 山岸 久夫 岡本 利夫, 桜川 貴司, 堀切 和典, 山岸 久夫 OKAMOTO Toshio, SAKURAGAWA Takashi, HORIKIRI Kazunori, YAMAGISHI Hisao 分散OS ToMにおけるネットワーク上のRPCの設計 分散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 日本語 研究論文(その他学術会議資料等) 公開
岡本利夫, 桜川貴司, 堀切和典, 山岸久夫 岡本利夫, 桜川貴司, 堀切和典, 山岸久夫 分散OS ToMにおけるケイパビリティ管理法 分散OS ToMにおけるケイパビリティ管理法 The capability management of a distributed operating system ToM. 電子情報通信学会全国大会講演論文集 電子情報通信学会全国大会講演論文集 1990/09 日本語 研究論文(その他学術会議資料等) 公開
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 英語 研究論文(学術雑誌) 公開
新井 潤, 桜川 貴司, 立木 秀樹, 萩野 達也, 服部 隆志, 森島 晃年 新井 潤, 桜川 貴司, 立木 秀樹, 萩野 達也, 服部 隆志, 森島 晃年 Jun Arai, Takashi Sakuragawa, Hideki Tsuiki, Tatsuya Hagino, Takashi Hattori, Akitoshi Morishima 分散OS ToM -新しいプログラミングモデルとセキュリティ機構について- 分散OS ToM -新しいプログラミングモデルとセキュリティ機構について- A Distributed Operating System ToM -its programming model and security- 情報処理学会研究報告システムソフトウェアとオペレーティング・システム(OS), 94, 1-8 情報処理学会研究報告システムソフトウェアとオペレーティング・システム(OS), 94, 1-8 SIGOS, 94, 1-8 1989/11 日本語 研究論文(研究会、シンポジウム資料等) 公開
櫻川 貴司, 竹中一起, 中島玲二, 新出尚行, 服部隆志 櫻川 貴司, 竹中一起, 中島玲二, 新出尚行, 服部隆志 櫻川 貴司 RACCO: 実時間プロセス制御システムのモデル記述のための様相論理プログラミング言語 RACCO: 実時間プロセス制御システムのモデル記述のための様相論理プログラミング言語 PACCO : A Modallogic programming language for writing models of real-time process-contol systems コンピュータ・ソフトウェア, 5, 3, 22-33 コンピュータ・ソフトウェア, 5, 3, 22-33 Computer Software.,5/3, 5, 3, 22-33 1988/07 日本語 研究論文(学術雑誌) 公開
櫻川 貴司 櫻川 貴司 櫻川 貴司 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 日本語 研究論文(学術雑誌) 公開
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 英語 研究論文(研究会、シンポジウム資料等) 公開
櫻川 貴司 櫻川 貴司 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 情報処理学会 ソフトウェア基礎論研究会報告, 58, 1-10 情報処理学会 ソフトウェア基礎論研究会報告, 58, 1-10 SIGPRO, 58, 1-10 1985/12 日本語 研究論文(研究会、シンポジウム資料等) 公開
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 日本語 研究論文(その他学術会議資料等) 公開
萩野 達也,桜川 貴司,柴山 悦哉 萩野 達也,桜川 貴司,柴山 悦哉 プログラム開発環境としての機能を重視したマイコンのためのPrologシステム プログラム開発環境としての機能を重視したマイコンのための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 日本語 研究論文(研究会、シンポジウム資料等) 公開

  • <<
  • >>
  • 表示
タイトル言語:
Misc
著者 著者(日本語) 著者(英語) タイトル タイトル(日本語) タイトル(英語) 書誌情報等 書誌情報等(日本語) 書誌情報等(英語) 出版年月 査読の有無 記述言語 掲載種別 公開
分散OSToM設計グループ 分散OSToM設計グループ 分散環境をサポートするOS ToMの構想 分散環境をサポートするOS ToMの構想 ToM : An Operating system for distributed environment 日経エレクトロニクス,484, 484, 187-199 日経エレクトロニクス,484, 484, 187-199 Nikkei Electronics.,484, 484, 187-199 1989/10 日本語 総説・解説(商業誌、新聞、ウェブメディア) 公開
櫻川 貴司 櫻川 貴司 Takashi Sakuragawa 新しいプログラミング・パラダイム XV 様相論理とテンポラル・プログラミング 新しいプログラミング・パラダイム 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 日本語 総説・解説(商業誌、新聞、ウェブメディア) 公開
櫻川 貴司 櫻川 貴司 Takashi Sakuragawa 開かれた日本語入力システム Wnn 開かれた日本語入力システム Wnn Wnn: an open Japanese-input system bit, 19, 10, 13-23 bit, 19, 10, 13-23 bit, 19, 10, 13-23 1987/10 日本語 総説・解説(商業誌、新聞、ウェブメディア) 公開
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 英語 機関テクニカルレポート、プレプリント等 公開
櫻川 貴司, 中島玲二, 服部隆志, 新出尚之, 竹中一起 櫻川 貴司, 中島玲二, 服部隆志, 新出尚之, 竹中一起 T. SAKURAGAWA, R. NAKAJIMA, T. HATTORI, N.NIIDE, K. TAKENAKA RACCOによる工場制御の記述例 RACCOによる工場制御の記述例 A Work Out Example of Tube Mill in RACCO RIMS Preprint, 561 RIMS Preprint, 561 RIMS Preprint, 561 1986/12 日本語 機関テクニカルレポート、プレプリント等 公開
タイトル言語:
書籍等出版物
著者 著者(日本語) 著者(英語) タイトル タイトル(日本語) タイトル(英語) 出版社 出版社(日本語) 出版社(英語) 出版年月 記述言語 担当区分 公開
櫻川 貴司 櫻川 貴司 計算機と認識 計算機と認識 認識と情報(共著), 認識と情報(共著), 1999 日本語 分担執筆 公開
櫻川 貴司 櫻川 貴司 UNIXカーネルの魔法(翻訳) UNIXカーネルの魔法(翻訳) プレンティス・ホール出版, プレンティス・ホール出版, 1997 日本語 共訳 公開
櫻川 貴司 櫻川 貴司 Wnn+GMW入門 Wnn+GMW入門 岩波書店, 岩波書店, 1990 日本語 共著 公開
井田 哲雄 (編集), 田中 二郎 (編集)  桜川貴司他 井田 哲雄 (編集), 田中 二郎 (編集)  桜川貴司他 続 新しいプログラミング・パラダイム 続 新しいプログラミング・パラダイム 共立出版、全254頁 共立出版、全254頁 1990 日本語 分担執筆 公開
櫻川 貴司 櫻川 貴司 Prolog-KABA入門 Prolog-KABA入門 岩波書店, 岩波書店, 1986 日本語 共著 公開
タイトル言語:
担当科目
講義名(日本語) 講義名(英語) 開講期 学部/研究科 年度
情報科学実習 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

  • <<
  • >>
  • 表示
部局運営(役職等)
役職名 期間
建築委員会委員 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

  • <<
  • >>
  • 表示