KOMORI Yuichi 古森雄一

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

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)

Research Category

KOMORI Yuichi 古森雄一