櫻川 貴司
サクラガワ タカシ人間・環境学研究科 人間・環境学専攻数理・情報科学講座 准教授
list
Last Updated :2025/05/02
研究
研究テーマ・研究概要
研究テーマ
論理学の計算機への応用研究概要
論理学、特に様相論理とその計算機や通信への応用に興味を持っています。量子論理など、「かつ」と「または」の分配法則が一般には成り立たない論理とその応用にも興味を持っています。
研究分野
論文
- Continuous and robust clustering coefficients for weighted and directed networksKent Miyajima; Takashi SakuragawaarXiv, Physics and Society (physics.soc-ph); Social and Information Networks (cs.SI), 2014年11月
- 2モード・グラフにおけるクラスター係数について藤井 亮輔; 岩永 宇央; 宮嶋 健人; 櫻川 貴司知識ベースシステム研究会, 2014年03月
- 確率的アルゴリズムの場合のNo Free Lunch定理の厳密な証明橋谷祐司; 桜川 貴司『情報処理学会研究報告. AL, アルゴリズム研究会報告』2010-AL-129(3)1-8頁, 2010年02月
- 画像のノイズ領域を利用したデータハイディングの一手法日置 尋久; 森本 佳延; 櫻川 貴司情報処理学会研究報告グラフィクスとCAD（CG）, 2001年02月
- 分散OS ToMにおけるマルチスレッド・プログラムのデバッグ環境堀切 和典; 松田 久夫; 櫻川 貴司情報処理学会研究報告マルチメディア通信と分散処理（DPS）, 1992年07月
- RACCO : A Model-Logic Programming Language for Writing Models of Real-Time Process-Control SystemsTakashi Hattori; Takashi Sakuragawa; Reiji Nakajima; Naoyuki Niide; Kazuki TakenakaAdvances in Software Science and Technology,3,53-70, 1992年, 査読有り
- 分散OS ToMにおけるネットワーク上のRPCの設計岡本 利夫; 桜川 貴司; 堀切 和典; 山岸 久夫情報処理学会 全国大会講演論文集, 1991年02月
- 分散OS ToMにおけるケイパビリティ管理法岡本利夫; 桜川貴司; 堀切和典; 山岸久夫電子情報通信学会全国大会講演論文集, 1990年09月
- Overview of GMW+Wnn SystemMasami Hagiya; Takashi Hattori; Akitoshi Morishima; Reiji Nakajima; Naoyuki Niide; Takashi Sakuragawa; Takashi Suzuki; Hideki Tsuiki; Taiichi YuasaAdvances in Software Science and Technology,1,133-156, 1990年, 査読有り
- 分散OS ToM －新しいプログラミングモデルとセキュリティ機構について－新井 潤; 桜川 貴司; 立木 秀樹; 萩野 達也; 服部 隆志; 森島 晃年情報処理学会研究報告システムソフトウェアとオペレーティング・システム（OS）, 1989年11月
- RACCO: 実時間プロセス制御システムのモデル記述のための様相論理プログラミング言語櫻川 貴司; 竹中一起; 中島玲二; 新出尚行; 服部隆志コンピュータ・ソフトウェア, 1988年07月, 査読有り
- Temporal Prolog - Aprogramming language Based on Temporal logic櫻川 貴司Computer Software,4/3, 1987年07月, 査読有り
- Temporal Prolog: A programming language based on temporal logic櫻川 貴司情報処理学会 ソフトウェア基礎論研究会報告, 1985年12月
- 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日本ソフトウエア科学会大会論文集, 1985年11月
- プログラム開発環境としての機能を重視したマイコンのためのPrologシステム萩野 達也; 桜川 貴司; 柴山 悦哉第25回プログラミング・シンポジウム報告書, 1984年01月
MISC
- Temporal Prolog : A Programming Language Based on Temporal Logic桜川 貴司; Takashi Sakuragawa; 京都大学数理解析研究所コンピュータソフトウェア = Computer software, 1987年07月15日
- 分散環境をサポートするOS ToMの構想分散OSToM設計グループ日経エレクトロニクス,484, 1989年10月
- 新しいプログラミング・パラダイム XV 様相論理とテンポラル・プログラミング櫻川 貴司bit, 1989年01月
- 開かれた日本語入力システム Wnn櫻川 貴司bit, 1987年10月
- RACCO: a Modal-Logic Programming Language for Writing Models of Real-time Process-Control SystemsT. HATTORI; R. NAKAJIMA; T. SAKURAGAWA; N. NIIDERIMS Preprint, 1986年12月
- RACCOによる工場制御の記述例櫻川 貴司; 中島玲二; 服部隆志; 新出尚之; 竹中一起RIMS Preprint, 1986年12月
書籍等出版物
- 計算機と認識櫻川 貴司, 分担執筆認識と情報(共著),, 1999年, 査読無し
- UNIXカーネルの魔法(翻訳)櫻川 貴司, 共訳プレンティス・ホール出版,, 1997年, 査読無し
- 続 新しいプログラミング・パラダイム井田 哲雄; 田中 二郎; 桜川貴司他, 分担執筆共立出版、全254頁, 1990年, 査読無し
- Wnn+GMW入門櫻川 貴司, 共著岩波書店,, 1990年, 査読無し
- Prolog-KABA入門櫻川 貴司, 共著岩波書店,, 1986年, 査読無し
外部資金：科学研究費補助金
- RandomなSchrodinger作用素に関連する問題の研究基盤研究(C)京都大学上木 直昌自 2003年04月01日, 至 2006年03月31日, 完了random Schrodinger作用素;確率解析;作用素論;スペクトル;Anderson局在;確率場;微分方程式;Wegner評価;Wenger評価;状態密度関数;random Shrodinger作用素, Random Schrodinger Operators;Stochastic Analysis;Operator Theory;Spectrum;Anderson Localization;Random Field;Differential Equations;Wegner Estimates
- 種々の幾何構造をもつ低次元多様体の研究基盤研究(C)京都大学上 正明自 2000年04月01日, 至 2002年03月31日, 完了3次元多様体;4次元多様体;スピン構造;ディラック作用素;交叉形成;Seiberg-Witten理論;V多様体;錐多様体;交叉形式;ホモロジー3球面;ザイフェルト多様体;ホモロジーコボルディズム, 3-manifold;4-manifold;spin structure;Dirac operator;intersection form;Seiberg-Witten theory;V-manifold;cone manifold
- 超越数の研究(解析学を中心として)基盤研究(B)京都大学畑 政義自 2000年04月01日, 至 2004年03月31日, 完了パデ近似;無理数度;一次独立;連分数;超越数;超幾何関数;多重対数関数;ゼータ関数;無理数;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
- 無限自由度系における有限次元可積分構造基盤研究(C)京都大学高崎 金久自 1998年04月01日, 至 2000年03月31日, 完了可積分系;Whitham変形;等モノドロミー変形;超対称ゲージ理論;位相的ゲージ理論;可解スピン系;共系場理論;戸田格子;共形場理論;モノドロミー保存変形;有限次元可積分系;超対称性;ゲージ理論;位相不変量;表現論;複素力学系;セルオートマトン, integrable system;Whitham deformation;isomonodromic deformation;supersymmetric field theory;topological field theory;solvable spin system;conformal field theory;Toda lattice
- フラクタル理論と超越数論の組織的研究萌芽的研究京都大学畑 政義自 1997年04月01日, 至 1999年03月31日, 完了フラクタル;自己相似集合;超越数論;力学系;神経回路モデル;ラプラシアン;スペクトル;リュエル作用素;Caianiello方程式;マーラー関数;パスプランニング;Ecalle理論;Dirichlet形式;動的パターン投影法
- パデ型近似理論の数論への応用基盤研究(B)京都大学畑 政義;畑 正義自 1997年04月01日, 至 1999年03月31日, 完了パデ近似;ルジャンドル多項式;無理数;鞍部点法;複素力学系;ジュリア集合;ゼータ関数;ガウス過程;サドル法;進化ゲーム理論;保型形式;ADSL;Navier-Stokes流;準楕円性;モノドロミ-保存変形, Pade approximation;Legendre polynomial;Irrationality;Saddle point method;Complex dynamical system;Julia set;Riemann zeta function;Gaussian process
- Weil表現とHoweの対応基盤研究(C)京都大学西山 享自 1996年04月01日, 至 1997年03月31日, 完了Howeの対応;Schurの相互律;reductive dual pair;Hecke環;量子群;Cartan型Lie代数;Cartan型Lie超代数;Weil表現
- 有理近似および超越数の研究一般研究(C)京都大学畑 政義自 1995年04月01日, 至 1996年03月31日, 完了ヂォファントス近似;無理数度;超越数;対数関数;和公式;マーラー関数;一次元力学系;二重対数関数
- 代数群ヘッケ環の表現とその応用一般研究(C)京都大学加藤 信一自 1995年04月01日, 至 1996年03月31日, 完了代数群;表現論;球等質空間;概均質ベクトル空間;球関数;ゼータ関数;保型形式;保型L関数
- 様相論理とその実時間制御及び人工知能への応用一般研究(C)京都大学中島 玲二自 1989年04月01日, 至 1991年03月31日, 完了様相論理;時制論理;形式的プログラム仕様;実時間制御システム;知識表現;分散システム;実行可能仕様言語;論理プログラミング;実時間システム;プロセス制御;実行可能仕様;形式的仕様;分散オペレ-ティング・システム;ハイパ-テキスト;ソフトウェアの仕様;人工知能;ユーザ・インターフェース, Modal Logic;Tense Logic;Formal Program Specification;Real-time Process-control;Knowledge-representation;Distributed System;Executable Specification;Langnagl
list
Last Updated :2025/05/02
教育
担当科目
- 自 2024年04月01日, 至 2025年03月31日情報基礎演習［全学向］T001, 後期, 国際高等教育院, 2
- 自 2024年04月01日, 至 2025年03月31日数理論理学ＡN138, 前期, 国際高等教育院, 2
- 自 2024年04月01日, 至 2025年03月31日プログラミング演習（Lisp）8357, 前期, 総合人間学部, 4
- 自 2024年04月01日, 至 2025年03月31日数理科学論講究8269, 通年集中, 総合人間学部, 8
- 自 2024年04月01日, 至 2025年03月31日共生人間学研究I1001, 通年, 人間・環境学研究科, 4
- 自 2024年04月01日, 至 2025年03月31日人間・環境学研究IIKK23, 通年, 人間・環境学研究科, 4
- 自 2024年04月01日, 至 2025年03月31日人間・環境学研究IKK22, 通年, 人間・環境学研究科, 4
- 自 2024年04月01日, 至 2025年03月31日共生人間学研究II1002, 通年, 人間・環境学研究科, 4
- 自 2024年04月01日, 至 2025年03月31日プログラミング演習（Lisp）T028, 前期, 国際高等教育院, 4
- 自 2024年04月01日, 至 2025年03月31日計算機科学の基礎Ａ8114, 前期, 総合人間学部, 2
- 自 2024年04月01日, 至 2025年03月31日数理・情報科学入門0060, 前期, 総合人間学部, 2
- 自 2024年04月01日, 至 2025年03月31日情報処理の方法と演習Ａ8250, 前期, 総合人間学部, 2
- 自 2024年04月01日, 至 2025年03月31日情報基礎論1AA18, 前期, 人間・環境学研究科, 2
- 自 2024年04月01日, 至 2025年03月31日数理科学基礎演習AA01, 前期, 人間・環境学研究科, 2
- 自 2024年04月01日, 至 2025年03月31日学術越境基礎1KK02, 前期, 人間・環境学研究科, 2
- 自 2024年04月01日, 至 2025年03月31日数理情報論演習1BAA26, 後期, 人間・環境学研究科, 2
- 自 2024年04月01日, 至 2025年03月31日数理情報論演習1AAA25, 前期, 人間・環境学研究科, 2
- 自 2024年04月01日, 至 2025年03月31日共生人間学特別研究ＩO001, 通年, 人間・環境学研究科, 2
- 自 2024年04月01日, 至 2025年03月31日人間・環境学特別セミナーRR07, 通年, 人間・環境学研究科, 2
- 自 2024年04月01日, 至 2025年03月31日人間・環境学特別演習2RR06, 後期, 人間・環境学研究科, 2
- 自 2024年04月01日, 至 2025年03月31日人間・環境学特別演習1RR05, 前期, 人間・環境学研究科, 2
- 自 2024年04月01日, 至 2025年03月31日数理情報論特別演習２O024, 後期, 人間・環境学研究科, 2
- 自 2024年04月01日, 至 2025年03月31日数理情報論特別演習１O023, 前期, 人間・環境学研究科, 2
- 自 2024年04月01日, 至 2025年03月31日共生人間学特別研究ＩＩO002, 通年, 人間・環境学研究科, 2
- 自 2024年04月01日, 至 2025年03月31日人間・環境学特別研究IIRR04, 通年, 人間・環境学研究科, 2
- 自 2024年04月01日, 至 2025年03月31日人間・環境学特別研究IRR03, 通年, 人間・環境学研究科, 2
- 自 2024年04月01日, 至 2025年03月31日数理科学特別セミナーO034, 通年, 人間・環境学研究科, 2
- 自 2023年04月01日, 至 2024年03月31日情報基礎演習［全学向］T001, 後期, 国際高等教育院, 2
- 自 2023年04月01日, 至 2024年03月31日数理論理学ＡN138, 前期, 国際高等教育院, 2
- 自 2023年04月01日, 至 2024年03月31日数理科学論講究8269, 通年集中, 総合人間学部, 8
- 自 2023年04月01日, 至 2024年03月31日プログラミング演習（Lisp）T028, 前期, 国際高等教育院, 4
- 自 2023年04月01日, 至 2024年03月31日人間・環境学研究IIKK23, 通年, 人間・環境学研究科, 4
- 自 2023年04月01日, 至 2024年03月31日人間・環境学研究IKK22, 通年, 人間・環境学研究科, 4
- 自 2023年04月01日, 至 2024年03月31日共生人間学研究II1002, 通年, 人間・環境学研究科, 4
- 自 2023年04月01日, 至 2024年03月31日共生人間学研究I1001, 通年, 人間・環境学研究科, 4
- 自 2023年04月01日, 至 2024年03月31日プログラミング演習（Lisp）8357, 前期, 総合人間学部, 4
- 自 2023年04月01日, 至 2024年03月31日数理情報論入門0057, 前期, 総合人間学部, 2
- 自 2023年04月01日, 至 2024年03月31日情報処理の方法と演習Ｂ8251, 前期, 総合人間学部, 2
- 自 2023年04月01日, 至 2024年03月31日機械学習の基礎8224, 前期, 総合人間学部, 2
- 自 2023年04月01日, 至 2024年03月31日人間・環境学特別セミナーRR07, 通年, 人間・環境学研究科, 2
- 自 2023年04月01日, 至 2024年03月31日人間・環境学特別演習2RR06, 後期, 人間・環境学研究科, 2
- 自 2023年04月01日, 至 2024年03月31日人間・環境学特別演習1RR05, 前期, 人間・環境学研究科, 2
- 自 2023年04月01日, 至 2024年03月31日数理情報論特別演習２O024, 後期, 人間・環境学研究科, 2
- 自 2023年04月01日, 至 2024年03月31日数理情報論特別演習１O023, 前期, 人間・環境学研究科, 2
- 自 2023年04月01日, 至 2024年03月31日共生人間学特別研究ＩＩO002, 通年, 人間・環境学研究科, 2
- 自 2023年04月01日, 至 2024年03月31日人間・環境学特別研究IIRR04, 通年, 人間・環境学研究科, 2
- 自 2023年04月01日, 至 2024年03月31日人間・環境学特別研究IRR03, 通年, 人間・環境学研究科, 2
- 自 2023年04月01日, 至 2024年03月31日数理科学特別セミナーO034, 通年, 人間・環境学研究科, 2
- 自 2023年04月01日, 至 2024年03月31日数理情報論演習1AAA25, 前期, 人間・環境学研究科, 2
- 自 2023年04月01日, 至 2024年03月31日情報基礎論2AA19, 前期, 人間・環境学研究科, 2
- 自 2023年04月01日, 至 2024年03月31日数理科学基礎演習AA01, 前期, 人間・環境学研究科, 2
- 自 2023年04月01日, 至 2024年03月31日共生人間学特別研究ＩO001, 通年, 人間・環境学研究科, 2
- 自 2023年04月01日, 至 2024年03月31日学術越境基礎1KK02, 前期, 人間・環境学研究科, 2
- 自 2023年04月01日, 至 2024年03月31日数理情報論演習1BAA26, 後期, 人間・環境学研究科, 2
- 自 2022年04月01日, 至 2023年03月31日数理情報論演習１AD020, 前期, 人間・環境学研究科, 2
- 自 2022年04月01日, 至 2023年03月31日数理科学基礎演習D014, 前期, 人間・環境学研究科, 2
- 自 2022年04月01日, 至 2023年03月31日数理科学特別セミナーO034, 通年, 人間・環境学研究科, 2
- 自 2022年04月01日, 至 2023年03月31日数理情報論入門0057, 前期, 総合人間学部, 2
- 自 2022年04月01日, 至 2023年03月31日数理情報論演習１BD021, 後期, 人間・環境学研究科, 2
- 自 2022年04月01日, 至 2023年03月31日共生人間学特別研究ＩＩO002, 通年, 人間・環境学研究科, 2
- 自 2022年04月01日, 至 2023年03月31日情報基礎演習［全学向］T001, 後期, 国際高等教育院, 2
- 自 2022年04月01日, 至 2023年03月31日数理情報論特別演習１O023, 前期, 人間・環境学研究科, 2
- 自 2022年04月01日, 至 2023年03月31日数理科学論講究8269, 通年集中, 総合人間学部, 8
- 自 2022年04月01日, 至 2023年03月31日情報処理の方法と演習Ａ8250, 前期, 総合人間学部, 2
- 自 2022年04月01日, 至 2023年03月31日情報基礎論１D009, 前期, 人間・環境学研究科, 2
- 自 2022年04月01日, 至 2023年03月31日プログラミング演習（Lisp）8357, 前期, 総合人間学部, 4
- 自 2022年04月01日, 至 2023年03月31日計算機科学の基礎Ａ8114, 前期, 総合人間学部, 2
- 自 2022年04月01日, 至 2023年03月31日数理情報論特別演習２O024, 後期, 人間・環境学研究科, 2
- 自 2022年04月01日, 至 2023年03月31日プログラミング演習（Lisp）T028, 前期, 国際高等教育院, 4
- 自 2022年04月01日, 至 2023年03月31日共生人間学特別研究ＩO001, 通年, 人間・環境学研究科, 2
- 自 2022年04月01日, 至 2023年03月31日共生人間学研究I1001, 通年, 人間・環境学研究科, 4
- 自 2022年04月01日, 至 2023年03月31日数理論理学ＡN138, 前期, 国際高等教育院, 2
- 自 2022年04月01日, 至 2023年03月31日共生人間学研究II1002, 通年, 人間・環境学研究科, 4
- 自 2011年04月, 至 2012年03月情報科学実習後期, 全学共通科目
- 自 2011年04月, 至 2012年03月情報学概論Ｂ後期, 全学共通科目
- 自 2011年04月, 至 2012年03月情報科学のためのプログラミングI前期, 全学共通科目
- 自 2011年04月, 至 2012年03月計算機科学の基礎Ｂ前期, 総合人間学部
- 自 2011年04月, 至 2012年03月情報処理の方法と演習Ｂ前期, 総合人間学部
- 自 2011年04月, 至 2012年03月情報科学のためのプログラミングI前期, 総合人間学部
- 自 2011年04月, 至 2012年03月数理科学論講究通年集中, 総合人間学部
- 自 2011年04月, 至 2012年03月情報科学Ｂ後期, 全学共通科目
- 自 2011年04月, 至 2012年03月言語・数理情報科学入門前期, 総合人間学部
- 自 2011年04月, 至 2012年03月情報基礎論2後期, 人間・環境学研究科
- 自 2011年04月, 至 2012年03月情報基礎論1前期, 人間・環境学研究科
- 自 2011年04月, 至 2012年03月数理情報論演習2後期, 人間・環境学研究科
- 自 2011年04月, 至 2012年03月数理情報論演習1前期, 人間・環境学研究科
- 自 2012年04月, 至 2013年03月情報処理の方法と演習Ａ前期, 総合人間学部
- 自 2012年04月, 至 2013年03月情報学概論Ｂ後期, 全学共通科目
- 自 2012年04月, 至 2013年03月情報科学のためのプログラミングI前期, 全学共通科目
- 自 2012年04月, 至 2013年03月情報科学のためのプログラミングＩ前期, 総合人間学部
- 自 2012年04月, 至 2013年03月情報科学実習後期, 全学共通科目
- 自 2012年04月, 至 2013年03月情報科学演習前期, 全学共通科目
- 自 2012年04月, 至 2013年03月数理科学論講究通年集中, 総合人間学部
- 自 2012年04月, 至 2013年03月言語・数理情報科学入門前期, 総合人間学部
- 自 2012年04月, 至 2013年03月計算機科学の基礎Ａ前期, 総合人間学部
- 自 2013年04月, 至 2014年03月言語・数理情報科学入門前期, 総合人間学部
- 自 2013年04月, 至 2014年03月計算機科学の基礎Ｂ前期, 総合人間学部
- 自 2013年04月, 至 2014年03月情報処理の方法と演習Ｂ前期, 総合人間学部
- 自 2013年04月, 至 2014年03月数理科学論講究通年集中, 総合人間学部
- 自 2013年04月, 至 2014年03月プログラミング演習（Lisp）前期, 総合人間学部
- 自 2013年04月, 至 2014年03月共生人間学研究I通年, 人間・環境学研究科
- 自 2013年04月, 至 2014年03月共生人間学研究II通年, 人間・環境学研究科
- 自 2013年04月, 至 2014年03月情報基礎論１前期, 人間・環境学研究科
- 自 2013年04月, 至 2014年03月情報基礎論２後期, 人間・環境学研究科
- 自 2013年04月, 至 2014年03月数理情報論演習１前期, 人間・環境学研究科
- 自 2013年04月, 至 2014年03月数理情報論演習２後期, 人間・環境学研究科
- 自 2013年04月, 至 2014年03月数理科学基礎演習前期, 人間・環境学研究科
- 自 2013年04月, 至 2014年03月コンピュータリテラシー実習後期, 全学共通科目
- 自 2013年04月, 至 2014年03月コンピュータリテラシー演習前期, 全学共通科目
- 自 2013年04月, 至 2014年03月情報ネットワーク（理系向）後期, 全学共通科目
- 自 2013年04月, 至 2014年03月プログラミング演習（LIsp）前期, 全学共通科目
- 自 2014年04月, 至 2015年03月言語・数理情報科学入門前期, 総合人間学部
- 自 2014年04月, 至 2015年03月計算機科学の基礎Ａ前期, 総合人間学部
- 自 2014年04月, 至 2015年03月情報処理の方法と演習Ａ前期, 総合人間学部
- 自 2014年04月, 至 2015年03月数理科学論講究通年集中, 総合人間学部
- 自 2014年04月, 至 2015年03月プログラミング演習（Lisp）前期, 総合人間学部
- 自 2014年04月, 至 2015年03月共生人間学研究I通年, 人間・環境学研究科
- 自 2014年04月, 至 2015年03月共生人間学研究II通年, 人間・環境学研究科
- 自 2014年04月, 至 2015年03月情報基礎論１前期, 人間・環境学研究科
- 自 2014年04月, 至 2015年03月情報基礎論２後期, 人間・環境学研究科
- 自 2014年04月, 至 2015年03月数理情報論演習１前期, 人間・環境学研究科
- 自 2014年04月, 至 2015年03月数理情報論演習２後期, 人間・環境学研究科
- 自 2014年04月, 至 2015年03月数理科学基礎演習前期, 人間・環境学研究科
- 自 2014年04月, 至 2015年03月共生人間学特別研究Ｉ通年, 人間・環境学研究科
- 自 2014年04月, 至 2015年03月共生人間学特別研究ＩＩ通年, 人間・環境学研究科
- 自 2014年04月, 至 2015年03月数理情報論特別演習１前期, 人間・環境学研究科
- 自 2014年04月, 至 2015年03月数理情報論特別演習２後期, 人間・環境学研究科
- 自 2014年04月, 至 2015年03月数理科学特別セミナー通年, 人間・環境学研究科
- 自 2014年04月, 至 2015年03月コンピュータリテラシー演習後期, 全学共通科目
- 自 2014年04月, 至 2015年03月情報ネットワーク（理系向）後期, 全学共通科目
- 自 2014年04月, 至 2015年03月プログラミング演習（LIsp）前期, 全学共通科目
- 自 2015年04月, 至 2016年03月共生人間学特別研究ＩＩ通年, 人間・環境学研究科
- 自 2015年04月, 至 2016年03月共生人間学特別研究Ｉ通年, 人間・環境学研究科
- 自 2015年04月, 至 2016年03月共生人間学研究I通年, 人間・環境学研究科
- 自 2015年04月, 至 2016年03月共生人間学研究II通年, 人間・環境学研究科
- 自 2015年04月, 至 2016年03月情報処理の方法と演習Ｂ前期, 総合人間学部
- 自 2015年04月, 至 2016年03月情報基礎論１前期, 人間・環境学研究科
- 自 2015年04月, 至 2016年03月情報基礎論２後期, 人間・環境学研究科
- 自 2015年04月, 至 2016年03月数理情報論演習１前期, 人間・環境学研究科
- 自 2015年04月, 至 2016年03月数理情報論演習２後期, 人間・環境学研究科
- 自 2015年04月, 至 2016年03月数理情報論特別演習２後期, 人間・環境学研究科
- 自 2015年04月, 至 2016年03月数理情報論特別演習１前期, 人間・環境学研究科
- 自 2015年04月, 至 2016年03月数理科学基礎演習前期, 人間・環境学研究科
- 自 2015年04月, 至 2016年03月数理科学特別セミナー通年, 人間・環境学研究科
- 自 2015年04月, 至 2016年03月数理科学論講究通年集中, 総合人間学部
- 自 2015年04月, 至 2016年03月数理論理学Ａ前期, 全学共通科目
- 自 2015年04月, 至 2016年03月コンピュータリテラシー演習後期, 全学共通科目
- 自 2015年04月, 至 2016年03月プログラミング演習（LIsp）前期, 全学共通科目
- 自 2015年04月, 至 2016年03月プログラミング演習（Lisp）前期, 総合人間学部
- 自 2015年04月, 至 2016年03月言語・数理情報科学入門前期, 総合人間学部
- 自 2015年04月, 至 2016年03月計算機科学の基礎Ｂ前期, 総合人間学部
- 自 2016年04月, 至 2017年03月共生人間学特別研究ＩＩ通年, 人間・環境学研究科
- 自 2016年04月, 至 2017年03月共生人間学特別研究Ｉ通年, 人間・環境学研究科
- 自 2016年04月, 至 2017年03月共生人間学研究I通年, 人間・環境学研究科
- 自 2016年04月, 至 2017年03月共生人間学研究II通年, 人間・環境学研究科
- 自 2016年04月, 至 2017年03月情報処理の方法と演習Ａ前期, 総合人間学部
- 自 2016年04月, 至 2017年03月情報基礎演習［全学向］後期, 全学共通科目
- 自 2016年04月, 至 2017年03月情報基礎論１前期, 人間・環境学研究科
- 自 2016年04月, 至 2017年03月数理情報論演習１A前期, 人間・環境学研究科
- 自 2016年04月, 至 2017年03月数理情報論演習１B後期, 人間・環境学研究科
- 自 2016年04月, 至 2017年03月数理情報論特別演習２後期, 人間・環境学研究科
- 自 2016年04月, 至 2017年03月数理情報論特別演習１前期, 人間・環境学研究科
- 自 2016年04月, 至 2017年03月数理科学基礎演習前期, 人間・環境学研究科
- 自 2016年04月, 至 2017年03月数理科学特別セミナー通年, 人間・環境学研究科
- 自 2016年04月, 至 2017年03月数理科学論講究通年集中, 総合人間学部
- 自 2016年04月, 至 2017年03月数理論理学Ａ前期, 全学共通科目
- 自 2016年04月, 至 2017年03月プログラミング演習（Lisp）前期, 全学共通科目
- 自 2016年04月, 至 2017年03月プログラミング演習（Lisp）前期, 総合人間学部
- 自 2016年04月, 至 2017年03月言語・数理情報科学入門前期, 総合人間学部
- 自 2016年04月, 至 2017年03月計算機科学の基礎Ａ前期, 総合人間学部
- 自 2017年04月, 至 2018年03月共生人間学特別研究ＩＩ通年, 人間・環境学研究科
- 自 2017年04月, 至 2018年03月共生人間学特別研究Ｉ通年, 人間・環境学研究科
- 自 2017年04月, 至 2018年03月共生人間学研究I通年, 人間・環境学研究科
- 自 2017年04月, 至 2018年03月共生人間学研究II通年, 人間・環境学研究科
- 自 2017年04月, 至 2018年03月情報処理の方法と演習Ｂ前期, 総合人間学部
- 自 2017年04月, 至 2018年03月情報基礎演習［全学向］後期, 全学共通科目
- 自 2017年04月, 至 2018年03月情報基礎論２前期, 人間・環境学研究科
- 自 2017年04月, 至 2018年03月数理情報論演習１A前期, 人間・環境学研究科
- 自 2017年04月, 至 2018年03月数理情報論演習１B後期, 人間・環境学研究科
- 自 2017年04月, 至 2018年03月数理情報論特別演習２後期, 人間・環境学研究科
- 自 2017年04月, 至 2018年03月数理情報論特別演習１前期, 人間・環境学研究科
- 自 2017年04月, 至 2018年03月数理科学基礎演習前期, 人間・環境学研究科
- 自 2017年04月, 至 2018年03月数理科学特別セミナー通年, 人間・環境学研究科
- 自 2017年04月, 至 2018年03月数理科学論講究通年集中, 総合人間学部
- 自 2017年04月, 至 2018年03月数理論理学Ａ前期, 全学共通科目
- 自 2017年04月, 至 2018年03月機械学習の基礎前期, 総合人間学部
- 自 2017年04月, 至 2018年03月プログラミング演習（Lisp）前期, 全学共通科目
- 自 2017年04月, 至 2018年03月プログラミング演習（Lisp）前期, 総合人間学部
- 自 2018年04月, 至 2019年03月共生人間学特別研究ＩＩ通年, 人間・環境学研究科
- 自 2018年04月, 至 2019年03月共生人間学特別研究Ｉ通年, 人間・環境学研究科
- 自 2018年04月, 至 2019年03月共生人間学研究I通年, 人間・環境学研究科
- 自 2018年04月, 至 2019年03月共生人間学研究II通年, 人間・環境学研究科
- 自 2018年04月, 至 2019年03月情報処理の方法と演習Ａ前期, 総合人間学部
- 自 2018年04月, 至 2019年03月情報基礎演習［全学向］後期, 全学共通科目
- 自 2018年04月, 至 2019年03月情報基礎論１前期, 人間・環境学研究科
- 自 2018年04月, 至 2019年03月数理情報論演習１A前期, 人間・環境学研究科
- 自 2018年04月, 至 2019年03月数理情報論演習１B後期, 人間・環境学研究科
- 自 2018年04月, 至 2019年03月数理情報論特別演習２後期, 人間・環境学研究科
- 自 2018年04月, 至 2019年03月数理情報論特別演習１前期, 人間・環境学研究科
- 自 2018年04月, 至 2019年03月数理科学基礎演習前期, 人間・環境学研究科
- 自 2018年04月, 至 2019年03月数理科学特別セミナー通年, 人間・環境学研究科
- 自 2018年04月, 至 2019年03月数理科学論講究通年集中, 総合人間学部
- 自 2018年04月, 至 2019年03月数理論理学Ａ前期, 全学共通科目
- 自 2018年04月, 至 2019年03月プログラミング演習（Lisp）前期, 全学共通科目
- 自 2018年04月, 至 2019年03月プログラミング演習（Lisp）前期, 総合人間学部
- 自 2018年04月, 至 2019年03月言語・数理情報科学入門前期, 総合人間学部
- 自 2018年04月, 至 2019年03月計算機科学の基礎Ａ前期, 総合人間学部
- 自 2019年04月, 至 2020年03月共生人間学特別研究ＩＩ通年, 人間・環境学研究科
- 自 2019年04月, 至 2020年03月共生人間学特別研究Ｉ通年, 人間・環境学研究科
- 自 2019年04月, 至 2020年03月共生人間学研究I通年, 人間・環境学研究科
- 自 2019年04月, 至 2020年03月共生人間学研究II通年, 人間・環境学研究科
- 自 2019年04月, 至 2020年03月情報処理の方法と演習Ｂ前期, 総合人間学部
- 自 2019年04月, 至 2020年03月情報基礎演習［全学向］後期, 全学共通科目
- 自 2019年04月, 至 2020年03月情報基礎論２前期, 人間・環境学研究科
- 自 2019年04月, 至 2020年03月数理情報論演習１A前期, 人間・環境学研究科
- 自 2019年04月, 至 2020年03月数理情報論演習１B後期, 人間・環境学研究科
- 自 2019年04月, 至 2020年03月数理情報論特別演習２後期, 人間・環境学研究科
- 自 2019年04月, 至 2020年03月数理情報論特別演習１前期, 人間・環境学研究科
- 自 2019年04月, 至 2020年03月数理科学基礎演習前期, 人間・環境学研究科
- 自 2019年04月, 至 2020年03月数理科学特別セミナー通年, 人間・環境学研究科
- 自 2019年04月, 至 2020年03月数理科学論講究通年集中, 総合人間学部
- 自 2019年04月, 至 2020年03月数理論理学Ａ前期, 全学共通科目
- 自 2019年04月, 至 2020年03月機械学習の基礎前期, 総合人間学部
- 自 2019年04月, 至 2020年03月プログラミング演習（Lisp）前期, 全学共通科目
- 自 2019年04月, 至 2020年03月プログラミング演習（Lisp）前期, 総合人間学部
- 自 2019年04月, 至 2020年03月言語・数理情報科学入門前期, 総合人間学部
- 自 2020年04月, 至 2021年03月共生人間学特別研究ＩＩ（博士科目）通年, 人間・環境学研究科
- 自 2020年04月, 至 2021年03月共生人間学特別研究Ｉ（博士科目）通年, 人間・環境学研究科
- 自 2020年04月, 至 2021年03月共生人間学研究I通年, 人間・環境学研究科
- 自 2020年04月, 至 2021年03月共生人間学研究II通年, 人間・環境学研究科
- 自 2020年04月, 至 2021年03月情報処理の方法と演習Ａ前期, 総合人間学部
- 自 2020年04月, 至 2021年03月情報基礎演習［全学向］後期, 全学共通科目
- 自 2020年04月, 至 2021年03月情報基礎論１前期, 人間・環境学研究科
- 自 2020年04月, 至 2021年03月数理情報論演習１A前期, 人間・環境学研究科
- 自 2020年04月, 至 2021年03月数理情報論演習１B後期, 人間・環境学研究科
- 自 2020年04月, 至 2021年03月数理情報論特別演習２（博士科目）後期, 人間・環境学研究科
- 自 2020年04月, 至 2021年03月数理情報論特別演習１（博士科目）前期, 人間・環境学研究科
- 自 2020年04月, 至 2021年03月数理科学基礎演習前期, 人間・環境学研究科
- 自 2020年04月, 至 2021年03月数理科学特別セミナー（博士科目）通年, 人間・環境学研究科
- 自 2020年04月, 至 2021年03月数理科学論講究通年集中, 総合人間学部
- 自 2020年04月, 至 2021年03月数理論理学Ａ前期, 全学共通科目
- 自 2020年04月, 至 2021年03月プログラミング演習（Lisp）前期, 全学共通科目
- 自 2020年04月, 至 2021年03月プログラミング演習（Lisp）前期, 総合人間学部
- 自 2020年04月, 至 2021年03月言語・数理情報科学入門前期, 総合人間学部
- 自 2020年04月, 至 2021年03月計算機科学の基礎Ａ前期, 総合人間学部
- 自 2021年04月, 至 2022年03月共生人間学特別研究ＩＩ（博士科目）通年, 人間・環境学研究科
- 自 2021年04月, 至 2022年03月共生人間学特別研究Ｉ（博士科目）通年, 人間・環境学研究科
- 自 2021年04月, 至 2022年03月共生人間学研究I通年, 人間・環境学研究科
- 自 2021年04月, 至 2022年03月共生人間学研究II通年, 人間・環境学研究科
- 自 2021年04月, 至 2022年03月情報処理の方法と演習Ｂ前期, 総合人間学部
- 自 2021年04月, 至 2022年03月情報基礎演習［全学向］後期, 全学共通科目
- 自 2021年04月, 至 2022年03月情報基礎論２前期, 人間・環境学研究科
- 自 2021年04月, 至 2022年03月数理情報論入門前期, 総合人間学部
- 自 2021年04月, 至 2022年03月数理情報論演習１A前期, 人間・環境学研究科
- 自 2021年04月, 至 2022年03月数理情報論演習１B後期, 人間・環境学研究科
- 自 2021年04月, 至 2022年03月数理情報論特別演習２（博士科目）後期, 人間・環境学研究科
- 自 2021年04月, 至 2022年03月数理情報論特別演習１（博士科目）前期, 人間・環境学研究科
- 自 2021年04月, 至 2022年03月数理科学基礎演習前期, 人間・環境学研究科
- 自 2021年04月, 至 2022年03月数理科学特別セミナー（博士科目）通年, 人間・環境学研究科
- 自 2021年04月, 至 2022年03月数理科学論講究通年集中, 総合人間学部
- 自 2021年04月, 至 2022年03月数理論理学Ａ前期, 全学共通科目
- 自 2021年04月, 至 2022年03月機械学習の基礎前期, 総合人間学部
- 自 2021年04月, 至 2022年03月プログラミング演習（Lisp）前期, 全学共通科目
- 自 2021年04月, 至 2022年03月プログラミング演習（Lisp）前期, 総合人間学部
博士学位審査
list
Last Updated :2025/05/02
大学運営
全学運営(役職等)
部局運営(役職等)
- 自 2024年04月01日, 至 2025年03月31日オープンキャンパス小委員会 委員
- 自 2023年04月01日, 至 2024年03月31日情報セキュリティ委員会 委員
- 自 2011年04月01日, 至 2012年03月31日講座広報委員
- 自 2011年04月01日, 至 2012年03月31日ネットワーク管理委員会幹事
- 自 2011年04月01日, 至 2012年03月31日学部広報委員会副委員長
- 自 2011年04月01日, 至 2012年03月31日情報セキュリティ委員会幹事
- 自 2012年04月01日, 至 2013年03月31日ネットワーク管理委員会幹事
- 自 2012年04月01日, 至 2013年03月31日情報セキュリティ委員会幹事
- 自 2013年04月01日, 至 2014年03月31日ネットワーク管理委員会幹事
- 自 2013年04月01日, 至 2014年03月31日情報セキュリティ委員会幹事
- 自 2013年04月01日, 至 2014年03月31日建築委員会委員
- 自 2014年04月01日, 至 2015年03月31日建築委員会委員
- 自 2014年04月01日, 至 2015年03月31日情報セキュリティー委員会委員
- 自 2014年04月01日, 至 2015年03月31日ネットワーク管理委員会委員
- 自 2014年04月01日, 至 2015年03月31日ネットワーク管理委員会幹事
- 自 2014年04月01日, 至 2015年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日建築委員会委員
- 自 2018年04月01日, 至 2019年03月31日情報セキュリティ委員会幹事
- 自 2019年04月01日, 至 2020年03月31日施設整備委員会委員
- 自 2019年04月01日, 至 2020年03月31日情報セキュリティ委員会委員
- 自 2020年04月01日, 至 2021年03月31日施設整備委員会委員
- 自 2020年04月01日, 至 2021年03月31日情報セキュリティ委員会委員
- 自 2021年04月01日, 至 2022年03月31日施設整備委員会委員
- 自 2021年04月01日, 至 2022年03月31日情報セキュリティ委員会委員
- 自 2022年04月01日, 至 2023年03月31日学部入試委員会 委員
- 自 2022年04月01日, 至 2023年03月31日情報セキュリティ委員会 委員
