Komori Yuichi 古森雄一

… Alternative Names

Researcher Number	10022302
Other IDs
External Links
Affiliation (Current)	2019: 千葉大学, 大学院理学研究院, 名誉教授
Affiliation (based on the past Project Information) *help	2016: 千葉大学, 大学院理学研究科, 名誉教授 2013 – 2015: 千葉大学, 理学(系)研究科(研究院), 名誉教授 2012: 千葉大学, 総合メディア基盤センター, 教授 2001 – 2006: Chiba University, Institute of Media and Information Technology, Professor, 総合メディア基盤センター, 教授 2002: 千葉大学, 理学部, 教授 1996 – 2000: 千葉大学, 理学部, 教授 1993 – 1995: 静岡大学, 理学部, 助教授
Review Section/Research Field	Principal Investigator General mathematics (including Probability theory/Statistical mathematics) / General mathematics (including Probability theory/Statistical mathematics) Except Principal Investigator General mathematics (including Probability theory/Statistical mathematics) / 計算機科学 / 解析学 / Statistical science / Fundamental theory of informatics / Foundations of mathematics/Applied mathematics / Algebra
Keywords	Principal Investigator BCK論理 / ラムダ計算 / 直観主義論理 / 古典論理 / Intuitionistic Logic / Classical Logic / 型理論 / Lambda Calculus / BCK Logic / 部分構造論理 … More Except Principal Investigator ラムダ計算 / 部分構造論理 / クリプキ意味論 / 型理論 / 文法的性質 / 積空間 / 非標準論理 / 適切さの論理 / 構成的論理 / 古典論理 / デデキント和 / ペッティス集合 / BCK論理 / タイヒミュラー空間 / ショットキイ群 / ゲーム理論 / 型検査問題 / ショットキィ空間 / モデル / substructural logic / 最適化理論 / 分配具象領域 / 高階逐次性 / Optimization Theory / AUC-統計量 / 具象領域 / Kripke semantics / 曲線の差の検定 / TYPE THEORY / 逐次アルゴリズム / 2次制約条件 / explicit environment / 線形論理 / 軌道体 / stability of optimal solution / maximization of correlation / innocent戦略 / Semantics / least squares solution / 検定のサイズ・検出力 / Simulation / Type theory / Bootstrap test / 制約条件付き非線形最適化問題 / ベルマン方程式 / 様相部分構造命題論理 / Lambda calculus / Area difference statistic / Strong Normalization / intuitionistic modal logic / 合流性 / α-conversion / curry-Haward / cut elimination theorem / 状態空間モデル / 自己準同型環 / Moving block / ファジー論理 / 線型論理 / Mathematical Programming / 特異値分解 / Markov decision Processes / 相関係数最大化問題 / カット除去 / 正準相関分析 / 証明システム / 不連続群 / Category Theory / 束縛変数 / Classical logic / 離散群 / modal substructural logic / クリプキ完全性 / 強制規化 / universal algebra / 人工衛星データ / explicit substitution / fuzzy logic / 面積差統計量 / longitudinal data / クリプキ・フレーム / Size and power of tests / 最小2乗解 / 代入操作 / 普遍代数 / substitution / カルマンフィルター / 数理計画法 / residuated lattices / クライン群 / Dynamic Programming / Curry-Howard / 正規化 / 自然演繹体系 / AR model / RELEVANT LOGIC / 飛石状モデル / context / 層論 / 項書換え系 / 高次微分 / ショットキイ空間 / 強正規化 / CLASSICAL LOGIC / 剰余束 / Bellman Equation / ordered moving block bootstrap法 / 意味論 / 様相論理 / バンツハ空間 / 1次制約条件 / cut elimination / 逆像層 / 型としての論理式 / 人工衛星風速データ / 計画数学 / カテゴリ理論 / nonlinear optimization problem with constraints / ARモデル / Fuzzy Theory / Constructive logic / LANBDA-CALCULUS / シミュレーション / チャーチ・ロッサーの定理 / 非線形最適化問題 / ファジィ理論 / 決定可能性 / first-class context / quadratic constraint / moving block bootstrap法 / 明示的代入 / ショットキー群 / 最適解の安定性 / Mathematics for Programming / 知識の論理 / 検出力のシミュレーション / nonstandard logic / epistemic logic / マルコフ決定過程 / ゲーム意味論 / modal logic / チャーチ流 / メ-ビウス群 / 剰余構造 / カット除去定理 / game theory / 組成列 / singular value decomposition / Formulas-as-types / many-valued logics / 弱プレコンパクト集合 / linear constraint / 直観主義的様相論理 / 部分構造理論 / Substructural Logic / タイヒミコラ-空間 / substructural logics / Intuitionistic logic / 分配具象領域の表現定理 / 相関係数最大化 / カリー流 / Relevant logic / Wind velocity data by artificial satellite / ハウスドルフ次元 / 多値論理 / Test of curve difference / 弱ペテイス集合 / bootstrap検定 / ブートストラップ検定 / 認識論理 / lambda calculi / 2種類の曲線の差の検定 / ヨルゲンセン数 / 有限モデル性 / 型推論 / 型検査 / ファジイ理論 / α変換 / Model / Syntactic Property / 文脈 / 動的計画法 / moving block / 直観主義論理 / カタストロフィックな変化 / Type Theory / 型推論問題 / バナッハ空間 / ω-無矛盾性 / マルコフ過程 Less

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 logic
- 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
Regeneration of Church's Lambda calculus on BCK logicPrincipal Investigator
- Principal Investigator
  
  KOMORI Yuichi
- Project Period (FY)
  2003 – 2006
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Chiba University
Mathematical analysis of System Modeling and their applications
- Principal Investigator
  
  YASUDA Masami
- Project Period (FY)
  2002 – 2004
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Chiba University
Substructural Logics and their Algebraic Structures
- Principal Investigator
  
  ONO Hiroakira
- Project Period (FY)
  2001 – 2003
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Japan Advanced Institute of Science and Technology
Parameter estimation with constraints and its stability in statistical model
- Principal Investigator
  
  TAGURI Masaaki
- Project Period (FY)
  2001 – 2003
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Statistical science
- Research Institution
  Chiba University
Relation between Semantics of Logical System and its Syntactic Properties
- Principal Investigator
  
  SAKURAI Takafumi
- Project Period (FY)
  2000 – 2001
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  CHIBA UNIVERSITY
Advances in Nonstandard Logic
- Principal Investigator
  
  ONO Hiroakira
- Project Period (FY)
  1998 – 2000
- Research Category
  
  Grant-in-Aid for Scientific Research (B).
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Japan Advanced Institute of Science and Technology
State-space model approach to longitudinal data analysis by bootstrap
- Principal Investigator
  
  TAGURI Masaaki
- Project Period (FY)
  1998 – 2000
- Research Category
  
  Grant-in-Aid for Scientific Research (B).
- Research Field
  
  Statistical science
- Research Institution
  Chiba University
A Study of Substractural LogicsPrincipal Investigator
- Principal Investigator
  
  KOMORI Yuichi
- Project Period (FY)
  1998 – 1999
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Chiba University
Relation between Semantics of Type Theory and its Syntactic Properties
- Principal Investigator
  
  SAKURAI Takafumi
- Project Period (FY)
  1998 – 1999
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  Chiba University
非標準論理とその情報科学への応用
- Principal Investigator
  
  ONO Hiroakira
- Project Period (FY)
  1997
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Japan Advanced Institute of Science and Technology
関数解析学と関連分野の研究
- Principal Investigator
  
  松田稔
- Project Period (FY)
  1995
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  解析学
- Research Institution
  Shizuoka University
数理論理学と関連分野の研究Principal Investigator
- Principal Investigator
  
  古森雄一
- Project Period (FY)
  1995
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Shizuoka University
STRUCTURE OF INFERENCE IN CONSTRUCTIVE LOGICS
- Principal Investigator
  
  HIROKAWA Sachio
- Project Period (FY)
  1995 – 1997
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  KYUSHU UNIVERSITY
複素解析学と関連分野の研究
- Principal Investigator
  
  佐藤宏樹
- Project Period (FY)
  1994
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  解析学
- Research Institution
  Shizuoka University
確率過程と関連分野の研究
- Principal Investigator
  
  近藤亮司
- Project Period (FY)
  1994
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Shizuoka University
整数論と関連分野の研究
- Principal Investigator
  
  浅井哲也
- Project Period (FY)
  1993
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  Algebra
- Research Institution
  Shizuoka University
環論と関連分野の研究
- Principal Investigator
  
  伊澤達夫
- Project Period (FY)
  1993
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Shizuoka University
STUDY ON INFERENCE SYSTEMS OF CONSTRUCTIVE LOGICS
- Principal Investigator
  
  HIROKAWA Sachio
- Project Period (FY)
  1993 – 1994
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  KYUSHU UNIVERSITY

All 2015 2014 2013 2007 2006 Other

All Journal Article Presentation

[Journal Article] Reduction Rules for Intuitionistic λρ-calculus2015
- Author(s)
  Ken-etsu Fujita, Ryo Kashima, Yuichi Komori, and Naosuke Matsuda
- Journal Title
  
  Studia Logica
  
  Volume: 印刷中
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24500025
[Journal Article] Reduction Rules for Intuitionistic lambda-rho-calculus2015
- Author(s)
  K. Fujita, R. Kashima, Y. Komori, N. Matsuda
- Journal Title
  
  Studia Logica
  
  Volume: 103
- DOI
  10.1007/s11225-015-9616-1
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25400192
[Journal Article] A Simplified Proofs of the Church-Rosser Theorem2014
- Author(s)
  Yuichi Komori, Naosuke Matsuda & Fumika Yamakawa
- Journal Title
  
  Studia Logica
  
  Volume: 102 Pages: 175-183
- DOI
  10.1007/s11225-013-9470-y
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24500025, KAKENHI-PROJECT-25400192
[Journal Article] Lambda rho-calculus II2013
- Author(s)
  Yuich Komori
- Journal Title
  
  Tsukuba Journal of Mathematics
  
  Volume: 37
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25400192
[Journal Article] λρ-calculus II2013
- Author(s)
  Yuichi Komori
- Journal Title
  
  Tsukuba Journal of Mathematics
  
  Volume: 37 Pages: 307-320
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24500025
[Journal Article] λ ρ-calculsu2007
- Author(s)
  Yuichi Komori, Arato Cho
- Journal Title
  
  Proceedings of the 39th MLG meeting
  
  Pages: 1-6
- Data Source
  KAKENHI-PROJECT-15540107
[Journal Article] λp-calculus2007
- Author(s)
  古森雄一
- Journal Title
  
  Proceedings of the 40th MLG meeting
  
  Pages: 1-6
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15540107
[Journal Article] 汎用システムとしての「ラムダ計算+論理」2007
- Author(s)
  古森雄一
- Journal Title
  
  京都大学数理解析研究所講究録 1533
  
  Pages: 39-48
- Data Source
  KAKENHI-PROJECT-15540107
[Journal Article] λp-calculus2007
- Author(s)
  Yuichi Komori
- Journal Title
  
  Proceedings of the 40th MLG meeting
  
  Pages: 1-6
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15540107
[Journal Article] Independent Axiom Systems of Minimal formulas for Classical Logic2006
- Author(s)
  Yuichi Komori
- Journal Title
  
  Proceedings of the 39th MLG meeting
  
  Pages: 56-58
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15540107
[Journal Article] Independent Axiom Systems of Minimal formulas for Classical Logic2006
- Author(s)
  古森雄一
- Journal Title
  
  Proceedings of the 39th MLG meeting
  
  Pages: 56-58
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15540107
[Presentation] 数学者のために数理論理学雑談
- Author(s)
  古森雄一
- Organizer
  日本数学会
- Place of Presentation
  九州大学
- Invited
- Data Source
  KAKENHI-PROJECT-24500025

1. SAKURAI Takafumi (60183373)

# of Collaborated Projects: 5 results

# of Collaborated Products: 0 results
2. YAMAMOTO Mitsuharu (00291295)

# of Collaborated Projects: 5 results

# of Collaborated Products: 0 results
3. HIROKAWA Sachio (40126785)

# of Collaborated Projects: 4 results

# of Collaborated Products: 0 results
4. FUJITA Ken-etsu (30228994)

# of Collaborated Projects: 4 results

# of Collaborated Products: 2 results
5. 松田稔 (10022229)

# of Collaborated Projects: 4 results

# of Collaborated Products: 0 results
6. 佐藤宏樹 (40022222)

# of Collaborated Projects: 4 results

# of Collaborated Products: 0 results
7. ONO Hiroakira (90055319)

# of Collaborated Projects: 3 results

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

# of Collaborated Projects: 3 results

# of Collaborated Products: 2 results
9. 千葉慶子 (90022227)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
10. 中西敏浩 (00172354)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
11. 白井古希男 (70077915)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
12. NAKAGAMI Junichi (30092076)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
13. NAKAMURA Katsuhiro (10344962)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
14. 伊澤達夫 (20021941)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
15. KANEKO Mamoru (40114061)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
16. SUZUKI Nobu-yuki (60216421)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
17. TAKANO Mitio (70126423)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
18. KURATA Toshihiko (40311899)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
19. SHIMURA Tatsuya (90246835)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
20. TAGURI Masaaki (10009607)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
21. HASHIMOTO Akihiro (60164779)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
22. MIYANO Hisao (90200196)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
23. TSUJI Takashi (70016666)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
24. 浅井哲也 (50022637)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
25. 板津誠一 (20126767)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
26. 横山美佐子 (80240224)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
27. 小崎高太郎 (10028186)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
28. KONNO Yoshihiko (00205577)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
29. TANEMURA Hideki (40217162)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
30. KANAZAWA Makoto (20261886)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
31. TANAKA Yoshihito (70320132)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
32. HAMANO Masahiro (50313705)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
33. TOJO Satoshi (90272989)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
34. WANG Jinfang (10270414)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
35. SAKURAI Hirohito (00333625)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
36. YASUDA Masami (00041244)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
37. KURANO Masami (70029487)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
38. KADOTA Yoshinobu (90116294)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
39. YOSHIDA Yuji (90192426)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
40. 内藤聡 (60252160)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
41. 近藤亮司 (00021931)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
42. 外山芳人 (00251968)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
43. 渚勝 (50189172)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
44. 中村吉邑 (90110270)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
45. 西崎真也 (90263615)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
46. 腰越秀之 (70110294)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
47. コワルスキトマシュ (70303336)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
48. 多田充 (20303331)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
49. NAKAZAWA KOJI

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
50. MATSUDA NAOSUKE

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
51. Schubert Aleksy

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

Komori Yuichi 古森 雄一

KOMORI Yuichi 古森 雄一

Research Projects

Research Products

Co-Researchers

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Regeneration of Church's Lambda calculus on BCK logicPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A Study of Substractural LogicsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

数理論理学と関連分野の研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Komori Yuichi 古森雄一

KOMORI Yuichi 古森雄一