長谷川 真人

最終更新日時: 2018/06/26 11:13:39

印刷する

氏名(漢字/フリガナ/アルファベット表記)
長谷川 真人/ハセガワ マサヒト/Hasegawa, Masahito
所属部署・職名(部局/所属/講座等/職名)
数理解析研究所/応用数理研究部門/教授
協力講座
部局 所属 講座等 職名
理学研究科 数学・数理解析専攻 応用数理講座 教授
連絡先住所
種別 住所(日本語) 住所(英語)
職場 〒606-8502京都府京都市左京区北白川追分町 Kyoto 606-8502 Japan
連絡先電話番号
種別 番号
職場 075-753-7243
電子メールアドレス
メールアドレス
hassei @ kurims.kyoto-u.ac.jp
所属学会(国内)
学会名(日本語) 学会名(英語)
日本ソフトウェア科学会 Japan Society for Software Science and Technology
所属学会(海外)
学会名(英語) 国名
ACM Special Interest Group on Logic and Computation
取得学位
学位名(日本語) 学位名(英語) 大学(日本語) 大学(英語) 取得区分
修士(理学) MSc 京都大学 Kyoto University
理工学部博士 PhD エディンバラ大学 University of Edinburgh
出身大学院・研究科等
大学名(日本語) 大学名(英語) 研究科名(日本語) 研究科名(英語) 専攻名(日本語) 専攻名(英語) 修了区分
京都大学 Kyoto University 大学院理学研究科修士課程数理解析専攻 Graduate School of Science 修了
英国エデインバラ大学 University of Edinburgh 計算機科学科博士課程 Faculty of Science and Engineering 修了
出身学校・専攻等
大学名(日本語) 大学名(英語) 学部名(日本語) 学部名(英語) 学科名(日本語) 学科名(英語) 卒業区分
京都大学 Kyoto University 理学部 Faculty of Science 卒業
職歴
期間 組織名(日本語) 組織名(英語) 職名(日本語) 職名(英語)
1997〜1999 1997-1999 京都大学数理解析研究所 助手 RIMS, Kyoto University 助手 Research Associate
1999〜2002 1999-2002 京都大学数理解析研究所 講師 RIMS, Kyoto University 講師 Lecturer
2002〜2007 2002-2007 京都大学数理解析研究所 助教授 RIMS, Kyoto University 助教授 Associate Professor
2002〜2006 2002-2006 科学技術振興機構 研究者(兼任) Japan Science and Technology Agency 研究者 Researcher
2007〜 2007- 京都大学数理解析研究所 教授 RIMS, Kyoto University 教授 Professor
個人ホームページ
URL
http://www.kurims.kyoto-u.ac.jp/~hassei/
researchmap URL
https://researchmap.jp/hassei
研究テーマ
(日本語)
理論計算機科学
(英語)
Theoretical Computer Science
研究概要
(日本語)
プログラミング言語における制御構造の数学モデル(意味論)の,主に代数的・圏論的な手法と,証明論・型理論的な枠組みを用いた分析および応用に取り組んでいる。
(英語)
I have been working on semantic models of computation, with particular emphasis on the analysis of programming languages. My research topics include lambda calculi, type theory, functional programming, operational semantics, denotational semantics, and category theory.
研究分野(キーワード)
キーワード(日本語) キーワード(英語)
理論計算機科学, プログラミング言語の意味論 Theoretical Computer Science, Semantics of Programming Languages
論文
著者 著者(日本語) 著者(英語) タイトル タイトル(日本語) タイトル(英語) 書誌情報等 書誌情報等(日本語) 書誌情報等(英語) 出版年月 査読の有無 記述言語 掲載種別 公開
長谷川 真人 長谷川 真人 Masahito Hasegawa Linear Exponential Comonads without Symmetry Linear Exponential Comonads without Symmetry Linear Exponential Comonads without Symmetry Electronic Proceedings in Theoretical Computer Science, 238, 54-63 Electronic Proceedings in Theoretical Computer Science, 238, 54-63 Electronic Proceedings in Theoretical Computer Science, 238, 54-63 2016 英語 研究論文(国際会議プロシーディングス) 公開
T. Hajgató; M. Hasegawa T. Hajgató; M. Hasegawa T. Hajgató; M. Hasegawa Traced *-autonomous categories are compact closed Traced *-autonomous categories are compact closed Traced *-autonomous categories are compact closed Theory and Applications of Categories, 28, 206-212 Theory and Applications of Categories, 28, 206-212 Theory and Applications of Categories, 28, 206-212 2013 英語 研究論文(学術雑誌) 公開
M. Hasegawa M. Hasegawa M. Hasegawa A quantum double construction in Rel A quantum double construction in Rel A quantum double construction in Rel Mathematical Structures in Computer Science, 22, 4, 618-650 Mathematical Structures in Computer Science, 22, 4, 618-650 Mathematical Structures in Computer Science, 22, 4, 618-650 2012/08 英語 研究論文(学術雑誌) 公開
長谷川真人 長谷川真人 Masahito Hasegawa プログラム意味論とトポ白ジー一再帰・相互作用・結び目一 プログラム意味論とトポ白ジー一再帰・相互作用・結び目一 Program semantics and toplogy - recursion, interaction and knots - 日本数学会2010 年度秋季総合分科会企画特別講演アブトラクト, 37-49 日本数学会2010 年度秋季総合分科会企画特別講演アブトラクト, 37-49 , 37-49 2010/09 日本語 研究論文(研究会、シンポジウム資料等) 公開
M. Hasegawa; S.-Y. Katsumata M. Hasegawa; S.-Y. Katsumata M. Hasegawa; S.-Y. Katsumata A note on the biadjunction between 2-categories of traced monoidal categories and tortile monoidal categories A note on the biadjunction between 2-categories of traced monoidal categories and tortile monoidal categories A note on the biadjunction between 2-categories of traced monoidal categories and tortile monoidal categories Mathematical Proceedings of the Cambridge Philosophical Society, 148, 1, 107-109 Mathematical Proceedings of the Cambridge Philosophical Society, 148, 1, 107-109 Mathematical Proceedings of the Cambridge Philosophical Society, 148, 1, 107-109 2010/01 英語 研究論文(学術雑誌) 公開
M. Hasegawa M. Hasegawa M. Hasegawa Bialgebras in Rel Bialgebras in Rel Bialgebras in Rel Electronic Notes in Theoretical Computer Science, 265, 337-350 Electronic Notes in Theoretical Computer Science, 265, 337-350 Electronic Notes in Theoretical Computer Science, 265, 337-350 2010 英語 研究論文(国際会議プロシーディングス) 公開
中田 景子; 長谷川 真人 中田 景子; 長谷川 真人 K. Nakata; M. Hasegawa Small-step and big-step semantics for call-by-need Small-step and big-step semantics for call-by-need Small-step and big-step semantics for call-by-need Journal of Functional Programming, 19, 6, 699-722 Journal of Functional Programming, 19, 6, 699-722 Journal of Functional Programming, 19, 6, 699-722 2009/11 英語 研究論文(学術雑誌) 公開
長谷川 真人 長谷川 真人 M. Hasegawa On traced monoidal closed categories On traced monoidal closed categories On traced monoidal closed categories Mathematical Structures in Computer Science, 19, 2, 217-244 Mathematical Structures in Computer Science, 19, 2, 217-244 Mathematical Structures in Computer Science, 19, 2, 217-244 2009/04 英語 研究論文(学術雑誌) 公開
M. Hasegawa; M. Hofmann; G. Plotkin M. Hasegawa; M. Hofmann; G. Plotkin M. Hasegawa; M. Hofmann; G. Plotkin Finite dimensional vector spaces are complete for traced symmetric monoidal categories Finite dimensional vector spaces are complete for traced symmetric monoidal categories Finite dimensional vector spaces are complete for traced symmetric monoidal categories Lecture Notes in Computer Science, 4800, 367-385 Lecture Notes in Computer Science, 4800, 367-385 Lecture Notes in Computer Science, 4800, 367-385 2008 英語 研究論文(国際会議プロシーディングス) 公開
長谷川 真人 長谷川 真人 Masahito Hasegawa 再帰プログラムの意味論について 再帰プログラムの意味論について On semantics of recursive programs 数学, 59, 2, 180-191 数学, 59, 2, 180-191 , 59, 2, 180-191 2007/04 日本語 公開
長谷川 真人 長谷川 真人 Hasegawa, M. Relational parametricity and control Relational parametricity and control Relational Parametricity and Control Logical Methods in Computer Science, 2, 3:3, 1-22 Logical Methods in Computer Science, 2, 3:3, 1-22 Logical Methods in Computer Science,2(3:3), 1-22, 2, 3:3, 1-22 2006 英語 研究論文(学術雑誌) 公開
J.R.B. Cockett; 長谷川 真人; R.A.G. Seely J.R.B. Cockett; 長谷川 真人; R.A.G. Seely J.R.B. Cockett; M. Hasegawa; R.A.G. Seely Coherence of the double involution on *-autonomous categories Coherence of the double involution on *-autonomous categories Coherence of the double involution on *-autonomous categories Theory and Applications of Categories, 17, 2, 17-29 Theory and Applications of Categories, 17, 2, 17-29 Theory and Applications of Categories, 17, 2, 17-29 2006 英語 研究論文(学術雑誌) 公開
Y. Ohta; M. Hasegawa Y. Ohta; M. Hasegawa Y. Ohta; M. Hasegawa A terminating and confluent linear lambda calculus A terminating and confluent linear lambda calculus A terminating and confluent linear lambda calculus Lecture Notes in Computer Science, 4098, 166-180 Lecture Notes in Computer Science, 4098, 166-180 Lecture Notes in Computer Science, 4098, 166-180 2006 英語 研究論文(国際会議プロシーディングス) 公開
長谷川 真人 長谷川 真人 M. Hasegawa Classical linear logic of implications Classical linear logic of implications Classical linear logic of implications Mathematical Structures in Computer Science, 15, 2, 323-342 Mathematical Structures in Computer Science, 15, 2, 323-342 Mathematical Structures in Computer Science, 15, 2, 323-342 2005/04 英語 研究論文(学術雑誌) 公開
角谷 良彦 ; 長谷川 真人 角谷 良彦 ; 長谷川 真人 Y. Kakutani; M. Hasegawa Parameterizations and fixed-point operators on control categories Parameterizations and fixed-point operators on control categories Parameterizations and fixed-point operators on control categories Fundamenta Informaticae, 65, 1-2, 153-172 Fundamenta Informaticae, 65, 1-2, 153-172 Fundamenta Informaticae, 65, 1-2, 153-172 2005/03 英語 研究論文(学術雑誌) 公開
長谷川 真人 長谷川 真人 M. Hasegawa The uniformity principle on traced monoidal categories The uniformity principle on traced monoidal categories The uniformity principle on traced monoidal categories Publications of the Research Institute for Mathematical Sciences, 40, 3, 991-1014 Publications of the Research Institute for Mathematical Sciences, 40, 3, 991-1014 Publications of the Research Institute for Mathematical Sciences, 40, 3, 991-1014 2004/09 英語 研究論文(学術雑誌) 公開
M. Hasegawa M. Hasegawa M. Hasegawa Semantics of Linear Continuation-Passing in Call-by-Name Semantics of Linear Continuation-Passing in Call-by-Name Semantics of Linear Continuation-Passing in Call-by-Name Lecture Notes in Computer Science, 2998, 229-243 Lecture Notes in Computer Science, 2998, 229-243 Lecture Notes in Computer Science, 2998, 229-243 2004 英語 研究論文(国際会議プロシーディングス) 公開
Y. Kameyama; M. Hasegawa Y. Kameyama; M. Hasegawa Y. Kameyama; M. Hasegawa A sound and complete axiomatization of delimited continuations A sound and complete axiomatization of delimited continuations A sound and complete axiomatization of delimited continuations ACM SIGPLAN Notices, 38, 9, 177-188 ACM SIGPLAN Notices, 38, 9, 177-188 ACM SIGPLAN Notices, 38, 9, 177-188 2003/09 英語 研究論文(国際会議プロシーディングス) 公開
Y. Kakutani; M. Hasegawa Y. Kakutani; M. Hasegawa Y. Kakutani; M. Hasegawa Parameterizations and fixed-point operators on control categories Parameterizations and fixed-point operators on control categories Parameterizations and fixed-point operators on control categories Lecture Notes in Computer Science, 2701, 180-194 Lecture Notes in Computer Science, 2701, 180-194 Lecture Notes in Computer Science, 2701, 180-194 2003 英語 研究論文(国際会議プロシーディングス) 公開
M. Hasegawa M. Hasegawa M. Hasegawa The uniformity principle on traced monoidal categories The uniformity principle on traced monoidal categories The uniformity principle on traced monoidal categories Electronic Notes in Theoretical Computer Science, 69, 145-163 Electronic Notes in Theoretical Computer Science, 69, 145-163 Electronic Notes in Theoretical Computer Science, 69, 145-163 2003 英語 研究論文(国際会議プロシーディングス) 公開
長谷川真人 長谷川真人 Hasegawa, M Classical linear logic of implications Classical linear logic of implications Classical linear logic of implications Springer Lecture Notes in Computer Science, 2471, 458-472 Springer Lecture Notes in Computer Science, 2471, 458-472 Springer Lecture Notes in Computer Science, 2471, 458-472 2002 英語 研究論文(学術雑誌) 公開
長谷川 真人, 角谷 良彦 長谷川 真人, 角谷 良彦 M. Hasegawa; Y. Kakutani Axioms for recursion in call-by-value Axioms for recursion in call-by-value Axioms for recursion in call-by-value Journal of Higher-Order and Symbolic Computation, 15, 2/3, 235-264 Journal of Higher-Order and Symbolic Computation, 15, 2/3, 235-264 Higher-Order and Symbolic Computation, 15, 2/3, 235-264 2002 英語 研究論文(学術雑誌) 公開
長谷川真人 長谷川真人 HASEGAWA M Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus. Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus. Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus. Lecture Notes in Computer Science, 2441, 167-182 Lecture Notes in Computer Science, 2441, 167-182 Lecture Notes in Computer Science, 2441, 167-182 2002 英語 研究論文(国際会議プロシーディングス) 公開
長谷川真人; 角谷良彦 長谷川真人; 角谷良彦 M. Hasegawa; Y. kakutani Axioms for Recursion in Call-by-Value (Extended Abstract) Axioms for Recursion in Call-by-Value (Extended Abstract) Axioms for Recursion in Call-by-Value (Extended Abstract) Lecture Notes in Computer Science, 2030, 246-260 Lecture Notes in Computer Science, 2030, 246-260 Lecture Notes in Computer Science, 2030, 246-260 2001/04 英語 研究論文(国際会議プロシーディングス) 公開
長谷川 真人 長谷川 真人 M. Hasegawa Girard translation and logical predicates Girard translation and logical predicates Girard translation and logical predicates Journal of Functional Programming, 10, 1, 77-89 Journal of Functional Programming, 10, 1, 77-89 Journal of Functional Programming, 10, 1, 77-89 2000 英語 研究論文(学術雑誌) 公開
長谷川真人 長谷川真人 再帰的プログラムの意味論とトレース付きモノイダルカテゴリ 再帰的プログラムの意味論とトレース付きモノイダルカテゴリ コンピュータソフトウェア, 16, 2, 150-154 コンピュータソフトウェア, 16, 2, 150-154 , 16, 2, 150-154 1999/03 日本語 公開
Hasegawa, M Hasegawa, M Hasegawa, M Logical predicates for intuitionistic linear type theories Logical predicates for intuitionistic linear type theories Logical predicates for intuitionistic linear type theories Lecture Notes in Computer Science, 1581, 198-212 Lecture Notes in Computer Science, 1581, 198-212 Lecture Notes in Computer Science, 1581, 198-212 1999 英語 研究論文(国際会議プロシーディングス) 公開
Barber, A; Gardner, P; Hasegawa, M; Plotkin, G Barber, A; Gardner, P; Hasegawa, M; Plotkin, G Barber, A; Gardner, P; Hasegawa, M; Plotkin, G From action calculi to linear From action calculi to linear From action calculi to linear logic Lecture Notes in Computer Science, 1414, 78-97 Lecture Notes in Computer Science, 1414, 78-97 Lecture Notes in Computer Science, 1414, 78-97 1998 英語 研究論文(国際会議プロシーディングス) 公開
Philippa Gardner, Masahito Hasegawa Philippa Gardner, Masahito Hasegawa Philippa Gardner, Masahito Hasegawa Types and models for higher-order action calculi Types and models for higher-order action calculi Types and models for higher-order action calculi Lecture Notes in Computer Science, 1281, 583-603 Lecture Notes in Computer Science, 1281, 583-603 Lecture Notes in Computer Science, 1281, 583-603 1997/09 英語 研究論文(国際会議プロシーディングス) 公開
Hasegawa, M Hasegawa, M Hasegawa, M Recursion from cyclic sharing: Traced monoidal categories and models of cyclic lambda calculi Recursion from cyclic sharing: Traced monoidal categories and models of cyclic lambda calculi Recursion from cyclic sharing: Traced monoidal categories and models of cyclic lambda calculi Lecture Notes in Computer Science, 1210, 196-213 Lecture Notes in Computer Science, 1210, 196-213 Lecture Notes in Computer Science, 1210, 196-213 1997 英語 研究論文(国際会議プロシーディングス) 公開
Masahito Hasegawa Masahito Hasegawa Masahito Hasegawa Decomposing typed lambda calculus into a couple of categorical programming languages Decomposing typed lambda calculus into a couple of categorical programming languages Decomposing typed lambda calculus into a couple of categorical programming languages Lecture Notes in Computer Science, 953, 200-219 Lecture Notes in Computer Science, 953, 200-219 Lecture Notes in Computer Science, 953, 200-219 1995/08 英語 研究論文(国際会議プロシーディングス) 公開
M. Hasegawa M. Hasegawa Relational parametricity and control Relational parametricity and control Proceedings - Symposium on Logic in Computer Science, 72-81 , 72-81 Proceedings - Symposium on Logic in Computer Science, 72-81 2005 英語 公開

  • <<
  • >>
  • 表示
タイトル言語:
Misc
著者 著者(日本語) 著者(英語) タイトル タイトル(日本語) タイトル(英語) 書誌情報等 書誌情報等(日本語) 書誌情報等(英語) 出版年月 査読の有無 記述言語 掲載種別 公開
長谷川真人 長谷川真人 プログラム意味論と圈論/計算の「不変量」を圈論で捉える プログラム意味論と圈論/計算の「不変量」を圈論で捉える 数学セミナー, 601, 92-98 数学セミナー, 601, 92-98 , 601, 92-98 2011/11 日本語 総説・解説(商業誌、新聞、ウェブメディア) 公開
長谷川真人 長谷川真人 計算機科学と結び目不変量 計算機科学と結び目不変量 数理科学, 556, 54-55 数理科学, 556, 54-55 , 556, 54-55 2009/10 日本語 総説・解説(商業誌、新聞、ウェブメディア) 公開
長谷川真人 長谷川真人 再帰プログラム 再帰プログラム 数学セミナー, 561, 30-35 数学セミナー, 561, 30-35 , 561, 30-35 2008/06 日本語 総説・解説(商業誌、新聞、ウェブメディア) 公開
長谷川真人 長谷川真人 M. Hasegawa TACS 2001 参加報告 TACS 2001 参加報告 Report on TACS 2001 コンピュータソフトウェア, 19, 1, 64-66 コンピュータソフトウェア, 19, 1, 64-66 Computer Software, 19, 1, 64-66 2002 日本語 総説・解説(学術雑誌) 公開
長谷川真人 長谷川真人 H. Masahito 大晦日の草稿 大晦日の草稿 On new year\\'s eve コンピュータソフトウェア, 17, 1, 15-18 コンピュータソフトウェア, 17, 1, 15-18 Computer Software, 17, 1, 15-18 2000 日本語 総説・解説(学術雑誌) 公開
タイトル言語:
講演・口頭発表等
タイトル タイトル(日本語) タイトル(英語) 会議名 会議名(日本語) 会議名(英語) 主催者 主催者(日本語) 主催者(英語) 開催年月日 記述言語 会議種別 公開
Denotational semantics and quantum topology[招待あり] Denotational semantics and quantum topology [招待あり] Denotational semantics and quantum topology [招待あり] workshop on Quantum Physics and Logic workshop on Quantum Physics and Logic workshop on Quantum Physics and Logic 2014 英語 口頭発表(招待・特別) 公開
Programming languages, tensor categories, and quantum topology[招待あり] Programming languages, tensor categories, and quantum topology [招待あり] Programming languages, tensor categories, and quantum topology [招待あり] Forum "Math-for-Industry" 2014 Forum "Math-for-Industry" 2014 Forum "Math-for-Industry" 2014 2014 英語 口頭発表(招待・特別) 公開
プログラム意味論・テンソル圏・量子トポロジー[招待あり] プログラム意味論・テンソル圏・量子トポロジー [招待あり] Program semantics, tensor categories, quantum topology [招待あり] プログラミングおよびプログラミング言語ワークショップ プログラミングおよびプログラミング言語ワークショップ Workshop on Programming and Programming Languages 2012 日本語 口頭発表(招待・特別) 公開
プログラム意味論とトポロジー - 再帰・相互作用・結び目 -[招待あり] プログラム意味論とトポロジー - 再帰・相互作用・結び目 - [招待あり] Program semantics and topology - recursion, interaction, knots - [招待あり] 日本数学会2010年度秋季総合分科会 日本数学会2010年度秋季総合分科会 MSJ Autumn Meeting 2010 2010 日本語 口頭発表(招待・特別) 公開
タイトル言語:
書籍等出版物
著者 著者(日本語) 著者(英語) タイトル タイトル(日本語) タイトル(英語) 出版社 出版社(日本語) 出版社(英語) 出版年月 記述言語 担当区分 公開
圏論の歩き方委員会 (編) 圏論の歩き方委員会 (編) 圏論の歩き方 圏論の歩き方 日本評論社 日本評論社 2015/09 共著 公開
田辺誠, 中島玲二, 長谷川 真人 田辺誠, 中島玲二, 長谷川 真人 コンピュータサイエンス入門:論理とプログラム意味論 コンピュータサイエンス入門:論理とプログラム意味論 岩波書店 岩波書店 1999 日本語 共著 公開
M. Hasegawa (ed.) M. Hasegawa (ed.) Typed Lambda Calculi and Applications: 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings Typed Lambda Calculi and Applications: 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings Springer-Verlag Springer-Verlag 2013 英語 編者 公開
長谷川 真人 長谷川 真人 Models of Sharing Graphs : A Categorical Semantics of Let and Letrec Models of Sharing Graphs : A Categorical Semantics of Let and Letrec Distinguished Dissertation Series, Springer-Verlag Distinguished Dissertation Series, Springer-Verlag 1999 英語 単著 公開
タイトル言語:
学術賞等
賞の名称(日本語) 賞の名称(英語) 授与組織名(日本語) 授与組織名(英語) 年月
BCS/CPHC 最優秀学位論文賞 BCS/CPHC Distinguished Dissertations Award 英国コンピュータ学会 British Computer Society 1999
日本ソフトウェア科学会高橋奨励賞 JSSST Takahashi Shorei Award 日本ソフトウェア科学会 JSSST 1999
EATCS ETAPS最優秀理論論文賞 EATCS ETAPS Best Theoretical Paper Award ヨーロッパ理論計算機科学会 EATCS 2001
日本IBM科学賞 Japan IBM Science Prize 日本IBM Japan IBM 2005
科学技術分野の文部科学大臣表彰若手科学者賞 The Young Scientists' Prize (The Commendation for Science and Technology by the Minister of Education, Culture, Sports, Science and Technology) 文部科学省 MEXT 2008
外部資金:競争的資金・科学研究費補助金
種別 代表/分担 テーマ(日本語) テーマ(英語) 期間
基盤研究(C) 代表 高階相互作用の幾何とプログラム意味論 Higher-order Geometry of Interaction and Program Semantics 2008〜2011
基盤研究(C) 代表 プログラム意味論と量子トポロジー Program Semantics and Quantum Topology 2011/04/01〜2014/03/31
基盤研究(C) 代表 プログラミング言語実装に則した意味論の構築と分析 2015/04/01〜2018/03/31
特別研究員奨励費 代表 代数トポロジー、高次元代数と書き換え計算系 (平成29年度分) 2017/04/01〜2018/03/31
基盤研究(C) 代表 プログラム意味論の量子化・高次元化・幾何化 2018/04/01〜2021/03/31
担当科目
講義名(日本語) 講義名(英語) 開講期 学部/研究科 年度
計算機構論セミナー研究A 前期 理学研究科 2011/04〜2012/03
計算機構論セミナー研究B 後期 理学研究科 2011/04〜2012/03
計算機構論セミナー研究C 前期 理学研究科 2011/04〜2012/03
計算機構論セミナー研究D 後期 理学研究科 2011/04〜2012/03
プログラム理論特論ⅡA 前期 理学研究科 2011/04〜2012/03
プログラム理論特論ⅡB 後期 理学研究科 2011/04〜2012/03
論理と計算セミナー研究A 前期 理学研究科 2011/04〜2012/03
論理と計算セミナー研究B 後期 理学研究科 2011/04〜2012/03
論理と計算セミナー研究C 前期 理学研究科 2011/04〜2012/03
論理と計算セミナー研究D 後期 理学研究科 2011/04〜2012/03
コンピュータサイエンス入門 Introduction to Computer Science 前期 全学共通科目 2011/04〜2012/03
数学講究 通年 理学部 2011/04〜2012/03
現代の数学と数理解析 Invitation to Modern Mathematics and Mathematical Sciences 前期 全学共通科目 2011/04〜2012/03
コンピュータサイエンス入門 Introduction to Computer Science 前期 全学共通科目 2012/04〜2013/03
現代の数学と数理解析 Invitation to Modern Mathematics and Mathematical Sciences 前期 全学共通科目 2012/04〜2013/03
現代の数学と数理解析 Invitation to Modern Mathematics and Mathematical Sciences 前期 全学共通科目 2013/04〜2014/03
コンピュータサイエンス基礎 Fundamentals of Computer Science 前期 全学共通科目 2013/04〜2014/03
数学講究 Mathematics seminary 通年 理学部 2014/04〜2015/03
計算機構論セミナー研究A Seminar on Theory of Computation A 前期 理学研究科 2014/04〜2015/03
計算機構論セミナー研究B Seminar on Theory of Computation B 後期 理学研究科 2014/04〜2015/03
計算機構論セミナー研究C Seminar on Theory of Computation C 前期 理学研究科 2014/04〜2015/03
計算機構論セミナー研究D Seminar on Theory of Computation D 後期 理学研究科 2014/04〜2015/03
論理と計算セミナー研究A Seminar on Logic in Computer Science A 前期 理学研究科 2014/04〜2015/03
論理と計算セミナー研究B Seminar on Logic in Computer Science B 後期 理学研究科 2014/04〜2015/03
論理と計算セミナー研究C Seminar on Logic in Computer Science C 前期 理学研究科 2014/04〜2015/03
論理と計算セミナー研究D Seminar on Logic in Computer Science D 後期 理学研究科 2014/04〜2015/03
コンピュータサイエンス基礎 Fundamentals of Computer Science 前期 全学共通科目 2014/04〜2015/03
コンピュータサイエンス基礎 Fundamentals of Computer Science 前期 全学共通科目 2015/04〜2016/03
計算機構論セミナー研究A Seminar on Theory of Computation A 前期 理学研究科 2015/04〜2016/03
計算機構論セミナー研究B Seminar on Theory of Computation B 後期 理学研究科 2015/04〜2016/03
計算機構論セミナー研究C Seminar on Theory of Computation C 前期 理学研究科 2015/04〜2016/03
計算機構論セミナー研究D Seminar on Theory of Computation D 後期 理学研究科 2015/04〜2016/03
論理と計算セミナー研究A Seminar on Logic in Computer Science A 前期 理学研究科 2015/04〜2016/03
論理と計算セミナー研究B Seminar on Logic in Computer Science B 後期 理学研究科 2015/04〜2016/03
論理と計算セミナー研究C Seminar on Logic in Computer Science C 前期 理学研究科 2015/04〜2016/03
論理と計算セミナー研究D Seminar on Logic in Computer Science D 後期 理学研究科 2015/04〜2016/03
コンピュータサイエンス基礎 Fundamentals of Computer Science 前期 全学共通科目 2016/04〜2017/03
数学講究 Mathematics seminary 通年 理学部 2016/04〜2017/03
計算機構論セミナー研究A Seminar on Theory of Computation A 前期 理学研究科 2016/04〜2017/03
計算機構論セミナー研究B Seminar on Theory of Computation B 後期 理学研究科 2016/04〜2017/03
計算機構論セミナー研究C Seminar on Theory of Computation C 前期 理学研究科 2016/04〜2017/03
計算機構論セミナー研究D Seminar on Theory of Computation D 後期 理学研究科 2016/04〜2017/03
論理と計算セミナー研究A Seminar on Logic in Computer Science A 前期 理学研究科 2016/04〜2017/03
論理と計算セミナー研究B Seminar on Logic in Computer Science B 後期 理学研究科 2016/04〜2017/03
論理と計算セミナー研究C Seminar on Logic in Computer Science C 前期 理学研究科 2016/04〜2017/03
論理と計算セミナー研究D Seminar on Logic in Computer Science D 後期 理学研究科 2016/04〜2017/03
コンピュータサイエンス基礎 Fundamentals of Computer Science 前期 全学共通科目 2017/04〜2018/03
数学講究 Mathematics seminary 通年 理学部 2017/04〜2018/03
計算機構論セミナー研究A Seminar on Theory of Computation A 前期 理学研究科 2017/04〜2018/03
計算機構論セミナー研究B Seminar on Theory of Computation B 後期 理学研究科 2017/04〜2018/03
計算機構論セミナー研究C Seminar on Theory of Computation C 前期 理学研究科 2017/04〜2018/03
計算機構論セミナー研究D Seminar on Theory of Computation D 後期 理学研究科 2017/04〜2018/03
論理と計算セミナー研究A Seminar on Logic in Computer Science A 前期 理学研究科 2017/04〜2018/03
論理と計算セミナー研究B Seminar on Logic in Computer Science B 後期 理学研究科 2017/04〜2018/03
論理と計算セミナー研究C Seminar on Logic in Computer Science C 前期 理学研究科 2017/04〜2018/03
論理と計算セミナー研究D Seminar on Logic in Computer Science D 後期 理学研究科 2017/04〜2018/03
コンピュータサイエンス基礎 Fundamentals of Computer Science 前期 全学共通科目 2018/04〜2019/03
計算機構論セミナー研究a Seminar on Theory of Computation a 前期 理学研究科 2018/04〜2019/03
計算機構論セミナー研究b Seminar on Theory of Computation b 後期 理学研究科 2018/04〜2019/03
計算機構論セミナー研究c Seminar on Theory of Computation c 前期 理学研究科 2018/04〜2019/03
計算機構論セミナー研究d Seminar on Theory of Computation d 後期 理学研究科 2018/04〜2019/03
論理と計算セミナー研究a Seminar on Logic in Computer Science a 前期 理学研究科 2018/04〜2019/03
論理と計算セミナー研究b Seminar on Logic in Computer Science b 後期 理学研究科 2018/04〜2019/03
論理と計算セミナー研究c Seminar on Logic in Computer Science c 前期 理学研究科 2018/04〜2019/03
論理と計算セミナー研究d Seminar on Logic in Computer Science d 後期 理学研究科 2018/04〜2019/03

  • <<
  • >>
  • 表示
サークルの顧問
サークル名(日本語) サークル名(英語) 期間
京都大学ギタークラブ Kyoto University Guitar Club 2015/05/〜
全学運営(役職等)
役職名 期間
大学間協定小委員会 委員 2009/07/01〜2010/10/14
国際交流委員会 委員 2009/07/01〜2010/06/30
吉田キャンパス整備専門委員会 3号委員 2014/10/01〜2016/09/30
数理解析研究所附属計算機構研究施設長 2011/04/01〜2014/03/31
大学評価委員会点検・評価実行委員会 委員 2017/04/12〜
数理解析研究所附属計算機構研究施設長 2015/04/01〜2019/03/31
部局運営(役職等)
役職名 期間
数理解析研究所副所長 2014/04/01〜2015/03/31
京都大学全学情報セキュリティ幹事会 幹事 2004/10/01〜2015/03/31
京都大学全学情報セキュリティ技術連絡会 構成員 2015/04/01〜
京都大学情報環境機構研究用計算機専門委員会 委員 2013/07/01〜2017/06/30
広報委員会 委員長
ホームページ技術小委員会 委員長
情報セキュリティ委員会 委員
環境・安全・衛生管理委員会 委員
学会活動:学会役員歴
学会名(日本語) 学会名(英語) 役職名(日本語) 役職名(英語) 期間
日本ソフトウェア科学会 Japan Society for Software Science and Technology プログラミング論研究会運営委員 2012/04/〜2016/03/
学会活動:編集委員歴
学会名(日本語) 学会名(英語) ジャーナル名(日本語) ジャーナル名(英語) 役職名 期間
Mathematical Structures in Computer Science Editorial Board Member 2007〜
Logical Methods in Computer Science Logical Methods in Computer Science Guest Editor 2013〜2018
学会活動:研究集会委員歴
学会名 研究集会名 役職名 期間
ACM/IEEE Symposium on Logic in Computer Science Steering Committee Member 2013〜2018
ACM/IEEE Symposium on Logic in Computer Science Conference Chair 2015〜2015
International Conference on Formal Structures for Computation and Deduction Steering Committee Member 2015〜2016
International Conference on Typed Lambda Calculi and Applications Steering Committee Member 2013〜2015
International Conference on Typed Lambda Calculi and Applications Program Committee Chair 2013〜2013
EATCS International Conference on Foundations of Software Science and Computation Structures Program Committee Member 2016〜2016
International Conference on Formal Structures for Computation and Deduction Program Committee Member 2018〜2018
International Workshop on Linearity Program Committee Member 2016〜2016
Joint Workshop on Linearity & TLLA Program Committee Member 2018〜2018
Joint International Conference on Rewriting Techniques and Applications and Typed Lambda Calculi and Applications Program Committee Member 2014〜2014
その他活動:講演歴
会合名 講演タイトル 年月
数学入門公開講座 プログラミング言語の意味論と圏論 2016/08/