Kurata Toshihiko 倉田俊彦

… Alternative Names

KURATA Toshihiko 倉田俊彦

Less

Researcher Number	40311899
Other IDs
Affiliation (Current)	2022: 法政大学, 経営学部, 教授
Affiliation (based on the past Project Information) *help	2012 – 2021: 法政大学, 経営学部, 教授 2008 – 2010: Hosei University, 経営学部, 教授 2007: Hosei University, 経営学部, 准教授 1999 – 2004: Graduate School of Science, 理学研究科, 助手 2001: Graduate School of Science, Tokyo Metropolitan University Assistant Professor, 理学(系)研究科(研究院), 助手 2000: 東京都立大学, 大学院・理学研究科, 助手
Review Section/Research Field	Principal Investigator Fundamental theory of informatics / 計算機科学 / Geometry Except Principal Investigator Algebra / Foundations of mathematics/Applied mathematics / Basic Section 12030:Basic mathematics-related
Keywords	Principal Investigator 領域理論 / 層論 / 単純型理論 / カルテシアン閉圏 / 弱外延性 / PCF / λ代数 / 領域方程式 / Cartesian閉圏 / プログラム意味論 … More / ラムダ計算 / 型理論 / 外延性 / 高階遂次性 / Kripkeモデル / 2階直観主義命題論理 / 完備Heyting代数 / 完全性定理 / Stone双対性 / 完備半順序集合 / 分配具象領域 / 高階逐次性 / 分配具象領域の表現定理 / 具象領域 / 逐次アルゴリズム / 逆像層 / ゲーム意味論 / innocent戦略 / トポロジー / 結び目理論 / エネルギー / 低次元トポロジー / 結び目のエネルギー / topology / knot / energy … More Except Principal Investigator ラムダ計算 / チャーチ・ロッサーの定理 / 合流性 / TNT / JANT / SIMATH / NZMATH / Python / グルジェゴルチック階層 / 型検査問題 / 型推論問題 / 決定可能性 / チャーチ流 / カリー流 / 型検査 / 型推論 / 整数論 / コンピュータ / アルゴリズム / ソフト / データ / ネットワーク / メイリングリスト / number theory / computer / algorithm / software / database / network / mailing list / ガロア表現 / ガロア群 / タメガロア表現 / 遠アーベル幾何 / 写像類群 / タイフシュラーモジュラー群 / 数論的基本群 / グロタンディーク・タイヒシュラー群 / 外ガロア表現 / タイヒシュラーモジュラー群 / グロタンディークタイヒシュラー群 / タイヒミュラーモジュラー群 / Galois representation / Galois group / Exterior Galois representation / Anabelian Geometry / Mapping Class Group / Teichmuller modular group / Arithmetic Fundamental Group / Grothendieck-Teichmuller group / 数論アルゴリズム / 数論システム / 暗号理論 / 楕円曲線 / 加法鎖 / 64ビット / 円楕円法CEM / 計算機実験 / 楕円曲線暗号 / 国際研究者交流 / 多国籍 / Number Theoretic Algorithms / Systems for Number Theory / Cryptology / Elliptic Curves / 岩澤理論 / 岩澤主予想 / 岩澤加群 / イデアル類群 / Fittingイデアル / Stickelbergerイデアル / Iwasawa theory / Iwasawa main conjecture / Iwasawa module / ideal class group / Fitting ideal / 箙 / 並行簡約 / 隣接行列 / 計算の複雑さ / 簡約列 / 並行変換 / 簡約グラフ / 非初等関数 / 簡約システム / 定量的解析 / Z定理 / スペクトラル空間モデル / 直観主義論理 / 数理パズル / 形式化 / 型付ラムダ計算 / 位相的・束論的意味論 / ゲーデルのシステムT / 計算的複雑さ / 型付きラムダ計算 Less

Godel's system T and computational complexity hierarchy
- Principal Investigator
  
  藤田憲悦
- Project Period (FY)
  2020 – 2022
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 12030:Basic mathematics-related
- Research Institution
  Gunma University
Quantitative analysis of existential theorems of reduction systems
- Principal Investigator
  
  Fujita Kenetsu
- Project Period (FY)
  2017 – 2020
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Foundations of mathematics/Applied mathematics
- Research Institution
  Gunma University
On decidability and undecidability of type-related problems of lambda-calculi
- Principal Investigator
  
  Fujita Ken-etsu
- Project Period (FY)
  2013 – 2016
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Foundations of mathematics/Applied mathematics
- Research Institution
  Gunma University
Sheaf structure in higher-order computaton and logicPrincipal Investigator
- Principal Investigator
  
  KURATA Toshihiko
- Project Period (FY)
  2012 – 2014
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Hosei University
Mathematical semantics of the internal structure of algorithmsPrincipal Investigator
- Principal Investigator
  
  KURATA Toshihiko
- Project Period (FY)
  2007 – 2010
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Hosei University
プログラムの表示的意味論と効率的実行手法の研究Principal Investigator
- Principal Investigator
  
  倉田俊彦
- Project Period (FY)
  2002 – 2004
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  計算機科学
- Research Institution
  Tokyo Metropolitan University
Refinement of Iwasawa theory and its applications
- Principal Investigator
  
  KURIHARA Masato
- Project Period (FY)
  2002 – 2004
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Algebra
- Research Institution
  Tokyo Metropolitan University
Study on Number Theoretic Algorithms and Developments of Systems for Number Theory
- Principal Investigator
  
  NAKAMULA Ken
- Project Period (FY)
  2001 – 2003
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Algebra
- Research Institution
  Tokyo Metropolitan University
Arithmetic Study of Interactions of Galois groups and anabelian geometry
- Principal Investigator
  
  NAKAMURA Hiroyuki
- Project Period (FY)
  2000 – 2001
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Algebra
- Research Institution
  Tokyo Metropolitan University
Data Computation and Software Development in Number Theory by Computers
- Principal Investigator
  
  NAKAMULA Ken
- Project Period (FY)
  1998 – 1999
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Algebra
- Research Institution
  Tokyo Metropolitan University
Energy of knots (existence of energy minimizers and numerical experiment)Principal Investigator
- Principal Investigator
  
  KURATA Toshihiko, IMAI Jun
- Project Period (FY)
  1998 – 2001
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Geometry
- Research Institution
  Tokyo Metropolitan University

All 2022 2021 2019 2018 2017 2015 2014 2013 2011 2010 2009 2008 2007 Other

All Journal Article Presentation Book

[Book] 京都大学数理解析研究所考究録1635(RIMS共同研究:証明論と論理・計算の構造報告集)2009
- Author(s)
  倉田俊彦
- Total Pages
  133
- Publisher
  京都大学数理解析研究所
- Data Source
  KAKENHI-PROJECT-19700012
[Book] 証明論と論理・計算の構造報告集2009
- Author(s)
  倉田俊彦
- Total Pages
  133
- Publisher
  京都大学数理解析研究所
- Data Source
  KAKENHI-PROJECT-19700012
[Journal Article] Neighbourhood and Lattice Models of Second-Order Intuitionistic Propositional Logic2019
- Author(s)
  Kurata Toshihiko、Fujita Ken-etsu
- Journal Title
  
  Fundamenta Informaticae
  
  Volume: 170 Pages: 223-240
- DOI
  10.3233/fi-2019-1861
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17K05343
[Journal Article] Distributive Concrete Domains and Sheaves on DI-Domains2018
- Author(s)
  倉田俊彦
- Journal Title
  
  京都大学数理解析研究所講究録
  
  Volume: 印刷中
- Data Source
  KAKENHI-PROJECT-17K05343
[Journal Article] Distributive Concrete Domains and Sheaves on DI-Domains2018
- Author(s)
  Toshihiko Kurata
- Journal Title
  
  Kyoto University, RIMS Kokyuroku
  
  Volume: 2083
- Data Source
  KAKENHI-PROJECT-17K05343
[Journal Article] On Sheaves Categorically Equivalent to Distributive Concrete Domains2015
- Author(s)
  倉田俊彦
- Journal Title
  
  京都大学数理解析研究所講究録
  
  Volume: 1950
- Open Access
- Data Source
  KAKENHI-PROJECT-25400192
[Journal Article] On sheaves categorically equivalent to distributive concrete domains2015
- Author(s)
  倉田俊彦
- Journal Title
  
  京都大学数理解析研究所講究録
  
  Volume: 印刷中
- Open Access
- Data Source
  KAKENHI-PROJECT-24500025
[Journal Article] On sheaves categorically equivalent to distributive concrete domains2015
- Author(s)
  倉田俊彦
- Journal Title
  
  京都大学数理解析研究所講究録
  
  Volume: --
- Data Source
  KAKENHI-PROJECT-25400192
[Journal Article] Sheaf-theoretical representation of concrete domains2013
- Author(s)
  倉田俊彦
- Journal Title
  
  京都大学数理解析研究所講究録
  
  Volume: 1832 Pages: 8-18
- Data Source
  KAKENHI-PROJECT-25400192
[Journal Article] Sheaf-Theoretical Representation of Concrete Domains2013
- Author(s)
  倉田俊彦
- Journal Title
  
  京都大学数理解析研究所講究録
  
  Volume: -
- Data Source
  KAKENHI-PROJECT-24500025
[Journal Article] Sheaf-theoretical representation of concrete domains2013
- Author(s)
  倉田俊彦
- Journal Title
  
  京都大学数理解析研究所講究録（RIMS共同研究　証明論と複雑性）
  
  Volume: 1832 Pages: 8-18
- Data Source
  KAKENHI-PROJECT-24500025
[Journal Article] 2階直観主義命題論理のKripkeモデルと束論的モデルの双対性2011
- Author(s)
  倉田俊彦
- Journal Title
  
  京都大学数理解析研究所講究録 1729
  
  Pages: 1-8
- Data Source
  KAKENHI-PROJECT-19700012
[Journal Article] 2階直観主義命題論理のKripkeモデルと束論的モデルの双対性2011
- Author(s)
  倉田俊彦
- Journal Title
  
  京都大学数理解析研究所講究録
  
  Volume: 1729 Pages: 1-8
- Data Source
  KAKENHI-PROJECT-19700012
[Journal Article] 完備半順序集合の層に関する双極限の構成2009
- Author(s)
  倉田俊彦
- Journal Title
  
  京都大学数理解析研究所講究録 1635
  
  Pages: 60-76
- Data Source
  KAKENHI-PROJECT-19700012
[Journal Article] Denotational semantics excluding weak-extensionality in simple Types
- Author(s)
  Toshihiko Kurata
- Journal Title
  
  数理解析研究所講究録 (掲載予定)
- Data Source
  KAKENHI-PROJECT-14780235
[Presentation] Spectral Spaces for Models of Intuitionistic Logic2022
- Author(s)
  T.Kurata, K.Fujita
- Organizer
  日本数学会2022年度年会
- Data Source
  KAKENHI-PROJECT-20K03711
[Presentation] A general form on the logic puzzle of Boolos2022
- Author(s)
  K.Fujita, T.Kurata
- Organizer
  京都大学数理解析研究所RIMS共同研究 (Logic, Algebraic System, Language and Related Areas in Computer Science)
- Data Source
  KAKENHI-PROJECT-20K03711
[Presentation] Spectral spaces for models of intuitonistic logic2021
- Author(s)
  T.Kurata, K.Fujita
- Organizer
  京都大学数理解析研究所RIMS共同研究（証明論と計算の理論と応用）
- Data Source
  KAKENHI-PROJECT-20K03711
[Presentation] On formalization of logic puzzles a la George Boolos2021
- Author(s)
  K.Fujita, T.Kurata
- Organizer
  日本数学会2021年度秋季総合分科会（数学基礎論）
- Data Source
  KAKENHI-PROJECT-20K03711
[Presentation] Sequential Algorithm の分解2017
- Author(s)
  倉田俊彦
- Organizer
  京都大学数理解析研究所研究集会「証明論と証明活動」
- Data Source
  KAKENHI-PROJECT-17K05343
[Presentation] 高階逐次アルゴリズムの分解について2017
- Author(s)
  倉田俊彦
- Organizer
  日本数学会
- Place of Presentation
  首都大学東京
- Year and Date
  2017-03-25
- Data Source
  KAKENHI-PROJECT-25400192
[Presentation] 分配具象領域と領域層の圏論的同等性に関する考察2014
- Author(s)
  倉田俊彦
- Organizer
  日本数学会秋季総合分科会
- Place of Presentation
  広島大学
- Year and Date
  2014-09-28
- Data Source
  KAKENHI-PROJECT-25400192
[Presentation] On the models of 2nd order intuitionistic propositional logic2011
- Author(s)
  倉田俊彦, 藤田憲悦
- Organizer
  日本数学会年会
- Place of Presentation
  早稲田大学理工学術院
- Year and Date
  2011-03-21
- Data Source
  KAKENHI-PROJECT-19700012
[Presentation] 2階直感主義命題論理の代数的モデルについて2010
- Author(s)
  倉田俊彦, 藤田憲悦
- Organizer
  RIMS共同研究(形式体系と計算理論)
- Place of Presentation
  京都大学数理解析研究所
- Year and Date
  2010-09-15
- Data Source
  KAKENHI-PROJECT-19700012
[Presentation] Sheaf Semantics and Higher Order Sequentiality2009
- Author(s)
  倉田俊彦
- Organizer
  日本数学会年会(分科会特別講演)
- Place of Presentation
  東京大学数理科学研究科
- Year and Date
  2009-03-26
- Data Source
  KAKENHI-PROJECT-19700012
[Presentation] Sheaf Semantics and Higher-Order Sequentiality2009
- Author(s)
  倉田俊彦
- Organizer
  日本数学会年会(分科会特別講演)
- Place of Presentation
  東京大学数理科学研究科
- Year and Date
  2009-03-26
- Data Source
  KAKENHI-PROJECT-19700012
[Presentation] A fixed point construction for continuous functors on sheaves of dcpos2008
- Author(s)
  倉田俊彦
- Organizer
  日本数学会秋季総合分科会
- Place of Presentation
  東京工業大学
- Year and Date
  2008-09-27
- Data Source
  KAKENHI-PROJECT-19700012
[Presentation] Lambda-algebras by inverse limit construction on sheaves of dcpos2008
- Author(s)
  倉田俊彦
- Organizer
  RIMS共同研究:証明論と論理・計算の構造
- Place of Presentation
  京都大学数理解析研究所
- Year and Date
  2008-09-08
- Data Source
  KAKENHI-PROJECT-19700012
[Presentation] Lambda-algebras by inverse limit construction on sheaves of dcpos2008
- Author(s)
  倉田俊彦
- Organizer
  RIMS共同研究 : 証明論と論理・計算の構造
- Place of Presentation
  京都大学数理解析研究所
- Year and Date
  2008-09-08
- Data Source
  KAKENHI-PROJECT-19700012
[Presentation] 完備半順序集合の層について2007
- Author(s)
  倉田俊彦
- Organizer
  証明論研究集会
- Place of Presentation
  首都大学東京
- Year and Date
  2007-12-03
- Data Source
  KAKENHI-PROJECT-19700012
[Presentation] Sheaf-theoretical representation of concrete domains
- Author(s)
  倉田俊彦
- Organizer
  日本数学会秋季総合分科会
- Place of Presentation
  愛媛大学
- Data Source
  KAKENHI-PROJECT-25400192
[Presentation] On sheaves categorically equivalent to distributive concrete domains
- Author(s)
  倉田俊彦
- Organizer
  RIMS研究集会「証明論・計算論とその周辺」
- Place of Presentation
  京都大学数理解析研究所
- Year and Date
  2014-12-24 – 2014-12-26
- Data Source
  KAKENHI-PROJECT-25400192
[Presentation] 分配具象領域と領域層の圏論的同等性に関する考察
- Author(s)
  倉田俊彦
- Organizer
  日本数学会秋季総合分科会
- Place of Presentation
  広島大学（広島県東広島市）
- Year and Date
  2014-09-25 – 2014-09-28
- Data Source
  KAKENHI-PROJECT-24500025
[Presentation] Sheaf-theoretical representation of concrete domains
- Author(s)
  倉田俊彦
- Organizer
  日本数学会2013年度秋季総合分科会
- Place of Presentation
  愛媛大学（愛媛県）
- Data Source
  KAKENHI-PROJECT-24500025
[Presentation] On sheaves categorically equivalent to distributive concrete domains
- Author(s)
  倉田俊彦
- Organizer
  RIMS研究集会「証明論・計算論とその周辺」
- Place of Presentation
  京都大学数理解析研究所（京都府京都市）
- Year and Date
  2014-12-24 – 2014-12-26
- Data Source
  KAKENHI-PROJECT-24500025
[Presentation] Sheaf-Theoretical Representation of Concrete Domains
- Author(s)
  倉田俊彦
- Organizer
  RIMS研究集会（証明論と複雑性）
- Place of Presentation
  京都大学数理解析研究所
- Data Source
  KAKENHI-PROJECT-24500025

1. FUJITA Ken-etsu (30228994)

# of Collaborated Projects: 4 results

# of Collaborated Products: 5 results
2. NAKAMULA Ken (80110849)

# of Collaborated Projects: 4 results

# of Collaborated Products: 0 results
3. KAWASHIMA Takeshi (40301410)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
4. NAKAMURA Hiroaki (60217883)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
5. MIYAKE Katsuya (20023632)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
6. KOMORI Yuichi (10022302)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
7. KASHIMA Ryo (10240756)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
8. KURIHARA Masato (40211221)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
9. IMAI Jun (70221132)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
10. MIYAZAKI Takuya (10301409)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
11. OKA Mutsuo (40011697)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
12. OHNITA Yoshihiro (90183764)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
13. DEGUCHI Tetsuo (70227544)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
14. TAKEDA Yuichiro (30264584)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
15. ITO Yukari (70285089)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
16. TSUMURA Hirofumi (20310419)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
17. NAGAO Koh-ichi (00308321)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
18. KIDA Masanari (20272057)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
19. MATSUNO Kazuo (40332936)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
20. 岡崎龍太郎 (20268113)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
21. 寺尾宏明 (90119058)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
22. 阿原一志 (80247147)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
23. 荻上紘一 (10087025)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
24. 福田隆 (00181272)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
25. 横山和弘 (30333454)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
26. 蔵野和彦 (90205188)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
27. NAKAZAWA KOJI

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
28. MATSUDA NAOSUKE

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
29. OKAMOTO Tatsuaki

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
30. Schubert Aleksy

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

Kurata Toshihiko 倉田 俊彦

KURATA Toshihiko 倉田 俊彦

Research Projects

Research Products

Co-Researchers

Godel's system T and computational complexity hierarchy

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Quantitative analysis of existential theorems of reduction systems

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

On decidability and undecidability of type-related problems of lambda-calculi

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Sheaf structure in higher-order computaton and logicPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Mathematical semantics of the internal structure of algorithmsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

プログラムの表示的意味論と効率的実行手法の研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Refinement of Iwasawa theory and its applications

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Study on Number Theoretic Algorithms and Developments of Systems for Number Theory

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Arithmetic Study of Interactions of Galois groups and anabelian geometry

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Data Computation and Software Development in Number Theory by Computers

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Energy of knots (existence of energy minimizers and numerical experiment)Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Book] 京都大学数理解析研究所考究録1635(RIMS共同研究:証明論と論理・計算の構造報告集)2009

Author(s)

Total Pages

Publisher

Data Source

[Book] 証明論と論理・計算の構造報告集2009

Author(s)

Total Pages

Publisher

Kurata Toshihiko 倉田俊彦

KURATA Toshihiko 倉田俊彦