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