長谷川 真人
ハセガワ マサヒト数理解析研究所 応用数理研究部門 教授
list
Last Updated :2025/04/29
基本情報
協力講座
所属学協会
学位
出身大学院・研究科等
出身学校・専攻等
経歴
- 自 2007年04月, 至 現在京都大学 数理解析研究所, Research Institute for Mathematical Sciences, 教授
- 自 2002年04月, 至 2007年03月京都大学 数理解析研究所, Research Institute for Mathematical Sciences, 助教授
- 自 2002年11月, 至 2006年03月科学技術振興機構, 戦略的創造研究推進事業 「機能と構成」領域 研究者
- 自 1999年06月, 至 2002年03月京都大学 数理解析研究所, Research Institute for Mathematical Sciences, 講師
- 自 1997年07月, 至 1999年05月京都大学 数理解析研究所, Research Institute for Mathematical Sciences, 助手
プロフィール
プロフィール
1992年京都大学理学部卒業，1994年京都大学大学院理学研究科修士課程数理解析専攻修了，1997年エディンバラ大学計算機科学科博士課程修了．プログラミング言語の意味論および関連する圏論の話題などについて研究しています．
使用言語
ID,URL
ORCID ID
J-Global ID
研究者番号
50293973外部リンク
関連Webサイト
researchmap URL
list
Last Updated :2025/04/29
研究
研究テーマ・研究概要
研究テーマ
理論計算機科学研究概要
プログラミング言語および関連する計算システム等の数学モデル（意味論）の研究を行っている。特に、代数的・圏論的な手法と，証明論・型理論的な枠組みを用いた分析とその応用に取り組んでいる。
研究キーワード
研究分野
論文
- A special issue on categorical algebras and computation in celebration of John Power’s 60th birthday, part IIMasahito Hasegawa; Stephen Lack; Guy McCuskerMathematical Structures in Computer Science, 2022年04月
- A special issue on categorical algebras and computation in celebration of John Power’s 60th birthday, part IMasahito Hasegawa; Stephen Lack; Guy McCuskerMathematical Structures in Computer Science, 2021年08月
- Typed Lambda Calculi and ApplicationsMasahito Hasegawa2013年
- Models of Sharing GraphsMasahito Hasegawa1999年
- Braids, Twists, Trace and Duality in Combinatory Algebras.Masahito Hasegawa; Serge LechenneLICS, 2024年, 査読有り
- Traced Monads and Hopf MonadsMasahito Hasegawa; Jean-Simon Pacaud LemayCompositionality, 2023年10月30日, 査読有り
- Hopf monads on biproductsMasahito HasegawaTheory and Applications of Categories, 2023年09月20日, 査読有り
- The Internal Operads of Combinatory Algebras.Masahito HasegawaMFPS, 2022年, 査読有り
- A Braided Lambda CalculusMasahito HasegawaElectronic Proceedings in Theoretical Computer Science, 2021年12月30日, 査読有り
- From Linear Logic to Cyclic SharingMasahito HasegawaElectronic Proceedings in Theoretical Computer Science, 2019年04月15日, 査読有り
- Linear distributivity with negation, star-autonomy, and Hopf monadsMasahito HasegawaTheory and Applications of Categories, 2018年11月16日, 査読有り
- Linear Exponential Comonads without SymmetryMasahito HasegawaElectronic Proceedings in Theoretical Computer Science, 2017年01月17日, 査読有り
- TRACED *-AUTONOMOUS CATEGORIES ARE COMPACT CLOSEDTamas Hajgato; Masahito HasegawaTHEORY AND APPLICATIONS OF CATEGORIES, 2013年, 査読有り
- A quantum double construction in RelMasahito HasegawaMATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2012年08月, 査読有り
- Bialgebras in RelMasahito HasegawaElectronic Notes in Theoretical Computer Science, 2010年09月06日, 査読有り
- プログラム意味論とトポ白ジー一再帰・相互作用・結び目一長谷川真人日本数学会2010 年度秋季総合分科会企画特別講演アブトラクト, 2010年09月, 招待有り
- A note on the biadjunction between 2-categories of traced monoidal categories and tortile monoidal categoriesMasahito Hasegawa; Shin-Ya KatsumataMATHEMATICAL PROCEEDINGS OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY, 2010年01月, 査読有り
- Small-step and big-step semantics for call-by-needKeiko Nakata; Masahito HasegawaJOURNAL OF FUNCTIONAL PROGRAMMING, 2009年11月, 査読有り
- On traced monoidal closed categoriesMasahito HasegawaMATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2009年04月, 査読有り
- Finite dimensional vector spaces are complete for traced symmetric monoidal categoriesMasahito Hasegawa; Martin Hofmann; Gordon PlotkinPILLARS OF COMPUTER SCIENCE, 2008年, 査読有り, 招待有り
- 再帰プログラムの意味論について長谷川 真人数学, 2007年04月, 査読有り, 招待有り
- RELATIONAL PARAMETRICITY AND CONTROLMasahito HasegawaLOGICAL METHODS IN COMPUTER SCIENCE, 2006年, 査読有り, 招待有り
- Coherence of the double involution on *-autonomous categoriesMasahito HasegawaTheory and Applications of Categories, 2006年12月16日, 査読有り
- A terminating and confluent linear lambda calculusYo Ohta; Masahito HasegawaTERM REWRITING AND APPLICATIONS, PROCEEDINGS, 2006年, 査読有り
- Classical linear logic of implicationsM HasegawaMATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2005年04月, 査読有り
- Parameterizations and fixed-point operators on control categoriesY Kakutani; M HasegawaFUNDAMENTA INFORMATICAE, 2005年03月, 査読有り, 招待有り
- Relational parametricity and controlMasahito HasegawaProceedings - Symposium on Logic in Computer Science, 2005年, 査読有り
- The uniformity principle on traced monoidal categoriesM HasegawaPUBLICATIONS OF THE RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES, 2004年09月, 査読有り, 招待有り
- Semantics of linear continuation-passing in call-by-nameM HasegawaFUNCTIONAL AND LOGIC PROGRAMMING, 2004年, 査読有り
- A sound and complete axiomatization of delimited continuationsY Kameyama; M HasegawaACM SIGPLAN NOTICES, 2003年09月, 査読有り
- The uniformity principle on traced monoidal categoriesMasahito HasegawaElectronic Notes in Theoretical Computer Science, 2003年02月, 査読有り
- Parameterizations and fixed-point operators on control categoriesY Kakutani; M HasegawaTYPED LAMBDA CALCULI AND APPLICATIONS, PROCEEDINGS, 2003年, 査読有り
- Axioms for recursion in call-by-valueMasahito Hasegawa; Yoshihiko KakutaniHigher-Order and Symbolic Computation, 2002年09月, 査読有り, 招待有り
- Linearly used effects: Monadic and CPS transformations into the linear lambda calculusMasahito HasegawaLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2002年, 査読有り
- Classical linear logic of implicationsM HasegawaCOMPUTER SCIENCE LOGIC, PROCEEDINGS, 2002年, 査読有り
- Axioms for Recursion in Call-by-Value (Extended Abstract)長谷川真人; 角谷良彦Lecture Notes in Computer Science, 2001年04月, 査読有り
- Girard translation and logical predicatesMasahito HasegawaJournal of Functional Programming, 2000年, 査読有り
- 再帰的プログラムの意味論とトレース付きモノイダルカテゴリ長谷川真人コンピュータソフトウェア, 1999年03月, 査読有り
- Logical predicates for intuitionistic linear type theoriesM HasegawaTYPED LAMBDA CALCULI AND APPLICATIONS, 1999年, 査読有り
- From action calculi to linear logicA Barber; P Gardner; M Hasegawa; G PlotkinCOMPUTER SCIENCE LOGIC, 1998年, 査読有り
- Types and models for higher-order action calculiPhilippa Gardner; Masahito HasegawaLecture Notes in Computer Science, 1997年09月, 査読有り
- Recursion from cyclic sharing: Traced monoidal categories and models of cyclic lambda calculiM HasegawaTYPED LAMBDA CALCULI AND APPLICATIONS, 1997年, 査読有り
- Decomposing typed lambda calculus into a couple of categorical programming languagesMasahito HasegawaLecture Notes in Computer Science, 1995年08月, 査読有り
MISC
- プログラム意味論と圈論／計算の「不変量」を圈論で捉える長谷川真人数学セミナー, 2011年11月, 招待有り
- 計算機科学と結び目不変量長谷川真人数理科学, 2009年10月, 招待有り
- 再帰プログラム長谷川真人数学セミナー, 2008年06月, 招待有り
- TACS 2001 参加報告長谷川真人コンピュータソフトウェア, 2002年, 招待有り
- 大晦日の草稿長谷川真人コンピュータソフトウェア, 2000年, 招待有り
講演・口頭発表等
- Programming languages, tensor categories, and quantum topology長谷川 真人Forum "Math-for-Industry" 2014, 2014年, 招待有り
- Denotational semantics and quantum topology長谷川 真人workshop on Quantum Physics and Logic, 2014年, 招待有り
- プログラム意味論・テンソル圏・量子トポロジー長谷川 真人プログラミングおよびプログラミング言語ワークショップ, 2012年, 招待有り
- プログラム意味論とトポロジー - 再帰・相互作用・結び目 -長谷川 真人日本数学会2010年度秋季総合分科会, 2010年, 招待有り
書籍等出版物
- 理論計算機科学事典徳山, 豪; 小林, 直樹; 岩間, 一雄; 渡辺, 治; 今井, 浩; 南出, 靖彦; 五十嵐, 淳; 長谷川, 真人, 共編者(共編著者), 第７章朝倉書店, 2022年01月
- 圏論の歩き方圏論の歩き方委員会, 共著, 第４章日本評論社, 2015年09月, 査読無し
- Typed Lambda Calculi and Applications: 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. ProceedingsM. Hasegawa, 編者(編著者)Springer-Verlag, 2013年, 査読無し
- Models of Sharing Graphs : A Categorical Semantics of Let and Letrec長谷川 真人, 単著Distinguished Dissertation Series, Springer-Verlag, 1999年, 査読無し
受賞
- 1999年英国コンピュータ学会, BCS/CPHC 最優秀学位論文賞
- 1999年日本ソフトウェア科学会, 日本ソフトウェア科学会高橋奨励賞
- 2001年ヨーロッパ理論計算機科学会, EATCS ETAPS最優秀理論論文賞
- 2005年日本IBM, 日本IBM科学賞
- 2008年文部科学省, 科学技術分野の文部科学大臣表彰若手科学者賞
- 2023年日本ソフトウェア科学会, 日本ソフトウェア科学会基礎研究賞
外部資金：科学研究費補助金
- 低次元トポロジーに基づく低レベルプログラミング言語の設計と分析基盤研究(C)小区分60010:情報学基礎論関連京都大学長谷川 真人自 2021年04月01日, 至 2024年03月31日, 交付プログラミング言語;意味論;圏論;量子トポロジー;テンソル圏;ラムダ計算;オペラッド;プログラム意味論;実装モデル;低次元トポロジー
- プログラム意味論の量子化・高次元化・幾何化基盤研究(C)小区分60010:情報学基礎論関連京都大学長谷川 真人自 2018年04月01日, 至 2023年03月31日, 完了プログラミング言語;意味論;圏論;量子トポロジー;テンソル圏;ラムダ計算;線形論理;幾何学;量子化
- 代数トポロジー、高次元代数と書き換え計算系特別研究員奨励費京都大学長谷川 真人自 2017年11月10日, 至 2020年03月31日, 完了代数トポロジー;高次元圏論;量子計算;圏論的量子力学
- トレース付きモノイダル圏の計算機科学における応用特別研究員奨励費京都大学長谷川 真人自 2017年11月10日, 至 2020年03月31日, 採択後辞退
- プログラミング言語実装に則した意味論の構築と分析基盤研究(C)京都大学長谷川 真人自 2015年04月01日, 至 2018年03月31日, 完了プログラミング言語;意味論;圏論;位相的量子計算;遅延評価;線型論理;線形論理
- プログラム意味論と量子トポロジー基盤研究(C)京都大学長谷川 真人自 2011年04月01日, 至 2014年03月31日, 完了ソフトウェア;プログラム理論;プログラム意味論;トポロジー;量子不変量;ソフトウェア学;量子トポロジー
- 属性文法の新しい圏論的基礎若手研究(B)京都大学勝股 審也自 2008年04月01日, 至 2011年03月31日, 完了プログラム変換;圏論;属性文法;Int構成;トレース付きモノイダル圏
- 高階相互作用の幾何とプログラム意味論基盤研究(C)京都大学長谷川 真人自 2008年04月01日, 至 2011年03月31日, 完了プログラム理論;プログラム意味論;数理論理学;圏論;トポロジー
- 非決定性相互作用の幾何構造若手研究(B)京都大学長谷川 真人自 2005年04月01日, 至 2008年03月31日, 完了計算機科学;証明論;線型論理;非決定性計算;ラムダ計算;相互作用;理論計算機科学;プログラミング言語;意味論;圏論;数学基礎論
- 関数型言語の組合せ論的数え上げモデルとトレース基盤研究(C)東京大学長谷川 立自 2005年04月01日, 至 2007年03月31日, 完了線形論理;組合せ論的数え上げモデル;不動点演算子;圏論モデル;トレース, linear logic;combinatorial enumeration model;fixed point combinator
- カテゴリカル・リダクション基盤研究(C)東京大学長谷川 立自 2003年04月01日, 至 2005年03月31日, 完了カテゴリカルセマンティクス;線形論理;正規性;ラムダ計算;線形倫理;強正規性, categorical semantics;linear logic;weak normalization;lambda calculus
- 計算資源の共有構造を反映した計算モデルの理論と応用奨励研究(A)京都大学長谷川 真人自 1999年04月01日, 至 2001年03月31日, 完了プログラミング言語;計算資源;再帰計算;型理論;意味論;圏論;線型論理;ラムダ計算
- トレース構造を持ち上げるモナドの特徴づけ特別研究員奨励費小区分11010:代数学関連京都大学自 2022年04月22日, 至 2024年03月31日, 交付
- トレース構造を持ち上げるモナドの特徴づけ特別研究員奨励費小区分11010:代数学関連京都大学長谷川 真人自 2023年03月08日, 至 2024年03月31日, 採択後辞退圏論;モナド;モノイダル圏;トレース
- コンビネータの幾何基盤研究(C)小区分60010:情報学基礎論関連京都大学長谷川 真人自 2024年04月01日, 至 2027年03月31日, 交付プログラミング言語;意味論;圏論;ラムダ計算;コンビネータ論理
list
Last Updated :2025/04/29
教育
担当科目
- 自 2024年04月01日, 至 2025年03月31日コンピュータサイエンス基礎T023, 前期, 国際高等教育院, 2
- 自 2024年04月01日, 至 2025年03月31日論理と計算セミナー研究ａ1273, 前期, 理学研究科, 3
- 自 2024年04月01日, 至 2025年03月31日論理と計算セミナー研究ｂ1274, 後期, 理学研究科, 3
- 自 2024年04月01日, 至 2025年03月31日計算機構論セミナー研究ａ1277, 前期, 理学研究科, 3
- 自 2024年04月01日, 至 2025年03月31日論理と計算セミナー研究ｄ1276, 後期, 理学研究科, 3
- 自 2024年04月01日, 至 2025年03月31日論理と計算セミナー研究ｃ1275, 前期, 理学研究科, 3
- 自 2024年04月01日, 至 2025年03月31日計算機構論セミナー研究ｄ1280, 後期, 理学研究科, 3
- 自 2024年04月01日, 至 2025年03月31日計算機構論セミナー研究ｃ1279, 前期, 理学研究科, 3
- 自 2024年04月01日, 至 2025年03月31日計算機構論セミナー研究ｂ1278, 後期, 理学研究科, 3
- 自 2023年04月01日, 至 2024年03月31日コンピュータサイエンス基礎T023, 前期, 国際高等教育院, 2
- 自 2023年04月01日, 至 2024年03月31日論理と計算セミナー研究ａ1273, 前期, 理学研究科, 3
- 自 2023年04月01日, 至 2024年03月31日論理と計算セミナー研究ｄ1276, 後期, 理学研究科, 3
- 自 2023年04月01日, 至 2024年03月31日論理と計算セミナー研究ｃ1275, 前期, 理学研究科, 3
- 自 2023年04月01日, 至 2024年03月31日論理と計算セミナー研究ｂ1274, 後期, 理学研究科, 3
- 自 2023年04月01日, 至 2024年03月31日計算機構論セミナー研究ｃ1279, 前期, 理学研究科, 3
- 自 2023年04月01日, 至 2024年03月31日計算機構論セミナー研究ｂ1278, 後期, 理学研究科, 3
- 自 2023年04月01日, 至 2024年03月31日計算機構論セミナー研究ａ1277, 前期, 理学研究科, 3
- 自 2023年04月01日, 至 2024年03月31日計算機構論セミナー研究ｄ1280, 後期, 理学研究科, 3
- 自 2022年04月01日, 至 2023年03月31日計算機構論セミナー研究ｃ1279, 前期, 理学研究科, 3
- 自 2022年04月01日, 至 2023年03月31日論理と計算セミナー研究ａ1273, 前期, 理学研究科, 3
- 自 2022年04月01日, 至 2023年03月31日コンピュータサイエンス基礎T023, 前期, 国際高等教育院, 2
- 自 2022年04月01日, 至 2023年03月31日論理と計算セミナー研究ｄ1276, 後期, 理学研究科, 3
- 自 2022年04月01日, 至 2023年03月31日論理と計算セミナー研究ｂ1274, 後期, 理学研究科, 3
- 自 2022年04月01日, 至 2023年03月31日計算機構論セミナー研究ａ1277, 前期, 理学研究科, 3
- 自 2022年04月01日, 至 2023年03月31日計算機構論セミナー研究ｄ1280, 後期, 理学研究科, 3
- 自 2022年04月01日, 至 2023年03月31日計算機構論セミナー研究ｂ1278, 後期, 理学研究科, 3
- 自 2022年04月01日, 至 2023年03月31日数理科学課題研究5140, 通年集中, 理学部, 12
- 自 2022年04月01日, 至 2023年03月31日論理と計算セミナー研究ｃ1275, 前期, 理学研究科, 3
- 自 2011年04月, 至 2012年03月計算機構論セミナー研究Ａ前期, 理学研究科
- 自 2011年04月, 至 2012年03月計算機構論セミナー研究Ｂ後期, 理学研究科
- 自 2011年04月, 至 2012年03月計算機構論セミナー研究Ｃ前期, 理学研究科
- 自 2011年04月, 至 2012年03月計算機構論セミナー研究Ｄ後期, 理学研究科
- 自 2011年04月, 至 2012年03月プログラム理論特論ⅡＡ前期, 理学研究科
- 自 2011年04月, 至 2012年03月プログラム理論特論ⅡＢ後期, 理学研究科
- 自 2011年04月, 至 2012年03月論理と計算セミナー研究Ａ前期, 理学研究科
- 自 2011年04月, 至 2012年03月論理と計算セミナー研究Ｂ後期, 理学研究科
- 自 2011年04月, 至 2012年03月論理と計算セミナー研究Ｃ前期, 理学研究科
- 自 2011年04月, 至 2012年03月論理と計算セミナー研究Ｄ後期, 理学研究科
- 自 2011年04月, 至 2012年03月コンピュータサイエンス入門前期, 全学共通科目
- 自 2011年04月, 至 2012年03月数学講究通年, 理学部
- 自 2011年04月, 至 2012年03月現代の数学と数理解析前期, 全学共通科目
- 自 2012年04月, 至 2013年03月コンピュータサイエンス入門前期, 全学共通科目
- 自 2012年04月, 至 2013年03月現代の数学と数理解析前期, 全学共通科目
- 自 2013年04月, 至 2014年03月現代の数学と数理解析前期, 全学共通科目
- 自 2013年04月, 至 2014年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月コンピュータサイエンス基礎前期, 全学共通科目
- 自 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月論理と計算セミナー研究Ｄ後期, 理学研究科
- 自 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月論理と計算セミナー研究Ａ前期, 理学研究科
- 自 2016年04月, 至 2017年03月論理と計算セミナー研究Ｂ後期, 理学研究科
- 自 2016年04月, 至 2017年03月論理と計算セミナー研究Ｃ前期, 理学研究科
- 自 2016年04月, 至 2017年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月論理と計算セミナー研究Ａ前期, 理学研究科
- 自 2017年04月, 至 2018年03月論理と計算セミナー研究Ｂ後期, 理学研究科
- 自 2017年04月, 至 2018年03月論理と計算セミナー研究Ｃ前期, 理学研究科
- 自 2017年04月, 至 2018年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月論理と計算セミナー研究ａ前期, 理学研究科
- 自 2018年04月, 至 2019年03月論理と計算セミナー研究ｂ後期, 理学研究科
- 自 2018年04月, 至 2019年03月論理と計算セミナー研究ｃ前期, 理学研究科
- 自 2018年04月, 至 2019年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月論理と計算セミナー研究ａ前期, 理学研究科
- 自 2019年04月, 至 2020年03月論理と計算セミナー研究ｂ後期, 理学研究科
- 自 2019年04月, 至 2020年03月論理と計算セミナー研究ｃ前期, 理学研究科
- 自 2019年04月, 至 2020年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月計算機構論セミナー研究ｄ後期, 理学研究科
- 自 2020年04月, 至 2021年03月論理と計算セミナー研究ａ前期, 理学研究科
- 自 2020年04月, 至 2021年03月論理と計算セミナー研究ｂ後期, 理学研究科
- 自 2020年04月, 至 2021年03月論理と計算セミナー研究ｃ前期, 理学研究科
- 自 2020年04月, 至 2021年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月論理と計算セミナー研究ａ前期, 理学研究科
- 自 2021年04月, 至 2022年03月論理と計算セミナー研究ｂ後期, 理学研究科
- 自 2021年04月, 至 2022年03月論理と計算セミナー研究ｃ前期, 理学研究科
- 自 2021年04月, 至 2022年03月論理と計算セミナー研究ｄ後期, 理学研究科
博士学位審査
- Algebraic effects and handlers for arrows（アローに対する代数的エフェクトとハンドラ）眞田 嵩大, 理学研究科, 主査2024年03月25日
- Algebraic effects and handlers for arrows（アローに対する代数的エフェクトとハンドラ）眞田 嵩大, 理学研究科, 主査2024年03月25日
- Local operators in topos theory and separation of semi-classical axioms in intuitionistic arithmetic（トポス理論における局所作用素と直観主義算術における準古典的公理の分離）中田 哲, 理学研究科, 副査2024年03月25日
- Extension of Additive Valuations to General Valuations on the Existence of EFX(EFX配分の存在に関する非加法的評価関数への拡張)馬原 凌河, 理学研究科, 副査2023年03月23日
- Locally Defined Independence Systems on Graphs（グラフ上で局所的に定義される独立性システム）天野 雄樹, 理学研究科, 副査2023年03月23日
- Planar Realizability via Left and Right Applications（左右の関数適用を用いた平面実現可能性）冨田 悠, 理学研究科, 主査2023年03月23日
- Trace Equivalence and Epistemic Logic to Express Security Properties （セキュリティ特性を表現するためのトレース等価と認識論理）南 規楽, 理学研究科, 主査2022年03月23日
- Sheaves of Structures, Heyting-Valued Structures, and a Generalization of ■o■s Theorem（構造の層・Heyting値構造と■o■の定理の一般化）荒武 永史, 理学研究科, 副査2021年07月26日
- An Implementation Scheme for XML Transformation Languages through Derivation of Stream Processors （ストリーム処理器の自動導出によるXML変換言語の実装法）中野 圭介, 主査2006年03月23日
- Identifying All Preorders on the Subdistribution Monad(劣確率分布モナド上の全ての前順序の特定)佐藤 哲也, 主査2015年03月23日
- A General Framework for Dynamic Epistemic Logic（動的認識論理のための一般的枠組み）本浦 庄太2017年03月23日
- Coherence Spaces and Uniform Continuity (整合空間と一様連続性)松本 慧2017年03月23日
- Wait-free Solvability of Colorless Tasks in Anonymous Shared-memory Model（匿名共有メモリモデルにおける非彩色タスクの無待機可解性）柳澤 名由太2018年03月26日
- Large Scale Geometries of Infinite Strings （無限文字列の大規模幾何）滝坂 透, 主査2018年03月26日
- Duality between Call-by-Name Recursion and Call-by-Value Iteration （名前呼び再帰プログラムと値呼び繰り返しプログラムの間の双対性）角谷 良彦, 主査2003年07月23日
- A module system with applicative functors and recursive path references （作用的ファンクタとパスを用いての再帰的参照機構を持つモジュールシステム）中田 景子, 主査2007年03月23日
- Extensional Universal Types for Call-by-Valu （外延的全称型を持つ値呼び多相型λ計算）浅田 和之, 主査2009年03月23日
- An extension of van Lambalgen's Theorem to infinitely many relative 1-random reals （独立性定理における無限個の互いに1ランダムな列への拡張）宮部 賢志, 主査2010年03月23日
- A Modified GoI Interpretation for a Linear Functional Programming Language and its Adequacy （線型関数型プログラミング言語に対するGoI解釈の修正とその適切性）星野 直彦, 主査2011年03月23日
- Large Scale Geometries of Infinite Strings （無限文字列の大規模幾何）滝坂 透2018年03月26日
- A nonstandard invariant of coarse spaces（粗空間の超準的不変量）今村 拓万, 副査2021年03月23日
- Lp-Kato class measures and their relations with Sobolev embedding theorems（Lp-加藤クラス測度とソボレフ埋蔵定理の関係について）森 隆大, 副査2021年03月23日
- Generalization of Bounded Linear Logic and its Categorical Semantics（有界線形論理の一般化とその圏論的意味論）吹原 耀司, 主査2021年03月23日
list
Last Updated :2025/04/29
大学運営
全学運営(役職等)
- 自 2015年04月01日, 至 2025年03月31日数理解析研究所附属計算機構研究施設長
- 自 2011年04月01日, 至 2014年03月31日数理解析研究所附属計算機構研究施設長
- 自 2015年04月01日京都大学全学情報セキュリティ技術連絡会構成員
- 自 2017年04月12日, 至 2019年03月31日大学評価委員会点検・評価実行委員会 委員
- 自 2014年10月01日, 至 2016年09月30日吉田キャンパス整備専門委員会 3号委員
- 自 2009年07月01日, 至 2010年10月14日大学間協定小委員会 委員
- 自 2009年07月01日, 至 2010年06月30日国際交流委員会 委員
部局運営(役職等)
- 自 2024年04月01日, 至 2025年03月31日理学研究科数学・数理解析専攻数理解析系主任
- 自 2024年04月01日, 至 2025年03月31日理学研究科会議構成員
- 自 2024年04月01日, 至 2025年03月31日理学研究科数学・数理解析専攻連絡会構成員
- 自 2024年04月01日, 至 2025年03月31日理学研究科大学院教育教務委員会委員
- 自 2011年07月01日, 至 2026年03月31日情報環境機構研究用計算機専門委員会委員
- 自 2022年04月01日, 至 2024年03月31日学術情報メディアセンター全国共同利用運営委員会委員
- 自 2020年04月01日, 至 2021年03月31日理学研究科数学・数理解析専攻数理解析系主任（第１代理）
- 自 2018年04月01日, 至 2020年03月31日学術情報メディアセンター全国共同利用運営委員会委員
- 自 2014年04月01日, 至 2015年03月31日数理解析研究所副所長
- 自 2004年10月01日, 至 2015年03月31日京都大学全学情報セキュリティ幹事会 幹事
- 広報委員会 委員長
- ホームページ技術小委員会 委員長
- 自 2015年04月01日情報セキュリティ委員会 委員
- 環境・安全・衛生管理委員会 委員
- 自 2017年04月12日自己点検・評価委員会 委員長
- 自 2017年04月01日予算委員会 委員
- 自 2014年04月01日, 至 2015年03月31日省エネルギー推進委員会
- 自 2020年04月01日運営委員会委員長
